• Journal of Educational Research in Mathematics
• /
• v.15 no.4
• /
• pp.505-522
• /
• 2005

In this article we studied the role of spreadsheet in teaching function and modeling activity by some examples and students' activity performed by the six 10th graders. We especially focused the role of spreadsheet in understanding of various kinds of functions and the families of functions, and in the explanation of the given modeling problem situations. The functions of automatic copy, graphic and the cell reference of spreadsheet can be used to make students observe the causes and effects of changes of the various kind of mathematical representations of functions such as algebraic formulas, tables and graphs. Especially those functions give students a chance to identify family of functions by changing the parameters and this may lead them to the discovery of mathematical facts. In modeling activities they play a key role in the stages of the analysis of the model, explanation of the results of model and conjecture of the real world situations. As well as they make students find the rules underlying in the real world by making spreadsheet as simulation environments, which are almost impossible to make in paper and pencil environments, and give them a chance to justify their findings using mathematics.

• IE interfaces
• /
• v.20 no.1
• /
• pp.79-86
• /
• 2007

In B2B e-commerce environments, many initiatives for process modeling have made efforts to design business processes correctly. Especially, Petri nets have been widely used as a good theory to design and verify process models. Therefore, we propose the process modeling method for the B2B e-commerce based on Petri nets. First of all, a B2B process model based on BPSS is represented by the UML activity diagram. Second, the activity diagram is transformed to a Petri net model. For the transformation, well-behaved building blocks/control structures and the modeling rules for inter-organizational workflow processes are proposed. Third, the process is partitioned into sharable processes for individual business partners. Finally, according to needs of individual business partners, the sharable processes are modified by well-structured refinement rules. The whole procedure is explained with the purchase process of an e-bookstore.

• Proceedings of the CALSEC Conference
• /
• 1999.07a
• /
• pp.207-213
• /
• 1999

When function modeling with IDEF0 which is called as a standard methodology for CALS (FIPS 183), the initial work is to determine the purpose and viewpoint, and the next work is to generate a data list and an activity list. This work requires participant's discussion and agreements. The main problems for these working are a communication between participants and efficient discussion processing. Brainstorming is the most useful method for this work. The paper is for development for the modeling assistant tool to promote the business modeling. In this paper, we will introduce the tool which name is 'MindMapper' and 'Dyna-IDEF'. Mind-mapper is software for mind-map method that is used for creative thinking. Using this tool, we refine the result of the brainstorming about activity list and translate the result into the functional model of IDEF0 using Dyna-IDEF. The translated functional model is prototype model without ICOM arrows.

• Journal of Korean Institute of Industrial Engineers
• /
• v.12 no.1
• /
• pp.119-131
• /
• 1986

Described in this paper is a modelling methodology for mass production system simulation. The mass production system under consideration consists of various types of flow lines, special purpose production facilities, conveyor lines, palletized carts, and storage facilities. This type of production system is typical in home appliance industry, automobile industry, footwear industry, etc. where a variety of product mix are mass-produced. The modelling methodology is based on the "discrete-event formalism", and an "activity-oriented world view" is adopted to formalize the system description. A distinctive feature of the modelling methodology is that only the static structure (ie, system components) is included in the fixed model. The dynamic structure of the system is specified through a "data-driven" mechanism, which is an extension of the "experimental frame" concept. Each type of system components (ie, flow line, conveyors, carts, etc.) is formally modeled by using Activity Cycle Diagrams. The issue of "model structuring" is also addressed. The modeling methodology has been successfully applied in a real simulation study of a mass production system.

• Journal of KIISE:Software and Applications
• /
• v.32 no.6
• /
• pp.486-501
• /
• 2005

XPDL is a XML-based language for process definition exchange that is proposed by WfMC. This paper propose a model which model XPDL document structure (Schema) using UML in order to define and to exchange workflow process, and make business flow understanding ease for inter-business cooperation. So, we define mapping rules in which map XPDL documents into UML class diagram and UML activity diagram. By these mapping rules, elements composing XPDL process meta-model are mapped into UML class diagram, and process activities are mapped into UML activity diagram. Also, we apply proposed mapping technique to model a workflow of (')Credit card state check system.(')

• BMB Reports
• /
• v.41 no.6
• /
• pp.444-447
• /
• 2008

Trypanothione reductase is an important target enzyme for structure-based drug design against Leishmania. We used homology modeling to construct a three-dimensional structure of the trypanothione reductase (TR) of Leishmania infantum. The structure shows acceptable Ramachandran statistics and a remarkably different active site from glutathione reductase(GR). Thus, a specific inhibitor against TR can be designed without interfering with host (human) GR activity.

• Molecules and Cells
• /
• v.28 no.2
• /
• pp.81-85
• /
• 2009

$Na^+-H^+$ exchanger (NHE) is the main acid extruder in cardiac myocytes. We review the experimental findings of ion-dependency of NHE activity, and the mathematical modeling developed so far. In spite of extensive investigation, many unsolved questions still remain. We consider that the precise description of NHE activity with mathematical models elucidates the roles of NHE in maintaining ionic homeostasis, especially under pathophysiological conditions.

• Journal of Digital Contents Society
• /
• v.11 no.4
• /
• pp.571-578
• /
• 2010

Recently, many social networking services using mobile devices are spread. Also, many studies based on location and time are increasing. However, existing studies have been difficult to resolve queries by place, time, and events. In the paper, we propose time and space modeling method for social services. We propose Human Activity Graph and Quad Relation Factors through time, place, event, and social activity of users, and we design the database scheme for data collect and analysis.

• International conference on construction engineering and project management
• /
• 2020.12a
• /
• pp.41-49
• /
• 2020

Concurrent construction offers considerable improvement for shorten the project duration of its production process. Therefore, standardized concurrent construction is widely applied in building construction projects. However, resources planning for standardized concurrent construction project is manually developed by construction manager. This practice is not effective since it is time-consuming and error-prone for managers to identify all project-specific information, distinguish different activity-resource types, interpret these types and analyze how they affect resource allocated on an ad hoc basis. Therefore, this research investigates the opportunity for leveraging activity modeling to enable automated resource planning for standardized concurrent construction during project development, with identifying the characteristics of construction activities under standardized concurrent planning and determining the activity-resources types that affects resource planning. Both will function as a basis for modeling these construction activities in a computer-interpretable manner and for automation in resource planning.

• Biotechnology and Bioprocess Engineering:BBE
• /
• v.1 no.1
• /
• pp.46-50
• /
• 1996

In order to design industrial scale reactors and proceises for multi-phase biocatalytic reactions, it is essential to understand the mechanisms by which such systems operate. To il-lustrate how such mechanisms can be modeled, the hydrolysis of the primary ester groups of triglycerides to produce fatty acids and monoglycerides by lipased (glycerol-ester hydrolase) catalysis has been selected as an example of multiphase biocatalysis. Lipase is specific in its behavior such that it can act only on the hydrolyzed (or emulsified) part of the substrate. This follows because the active center of the enzyme is catalytically active only when the substrate contacts it in its hydrolyzed form. In other words, lipase acts only when it can shuttleback and forth between the emulsion phase and the water phase, presumably within an interphase or boundary layer between these two phases. In industrial applications lipase is employed as a fat splitting enzyme to remove fat stains from fabrics, in making cheese, to flavor milk products, and to degrade fats in waste products. Effective use of lipase in these processes requires a fundamental understanding of its kinetic behavior and interactions with substrates under various environmental conditions. Therefore, this study focuses on modeling and simulating the enzymatic activity of the lipase as a step towards the basic understanding of multi-phase biocatalysis processes.