• 대한수학교육학회지:수학교육학연구
• /
• 제15권4호
• /
• pp.505-522
• /
• 2005

이 글은 함수의 지도와 수학적 모델링 활동에서 스프레드시트가 어떻게 활용될 수 있는지에 대하여 살펴보고자 한 것이다. 2절에서는 스프레드시트가 함수 그래프의 개형을 파악하거나 계수 변화가 함수의 그래프에 미치는 영향을 알아보는 데 도움을 주고 새로운 수학적 사실을 발견할 수 있는 기회를 제공할 수 있음을 보인다. 3절에서는 학생이 수행한 모델링 활동을 통하여 스프레드시트의 기능이 수학적 모델링 활동에서의 다양한 상황을 해석하고 예측하는데 유용함을 보이고 새로운 사실의 발견과 이의 수학적 정당화 가능성의 기회를 제공할 수 있음을 보인다.

• 산업공학
• /
• 제20권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.

• 한국전자거래학회:학술대회논문집
• /
• 한국전자거래학회 1999년도 학술대회지 vol.1
• /
• 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.

• 대한산업공학회지
• /
• 제12권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.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제32권6호
• /
• pp.486-501
• /
• 2005

XPDL(XML Process Definition Language)은 프로세스 정의 교환을 위하여 WfMC에서 제안한 XML 기반 언어이다. 본 논문에서는 워크플로우 프로세스의 정의와 교환을 위하여 XPDL 문서의 구조(Schema)를 UML 다이어그램으로 모델링하여 기업들 간의 상호연동과 협업을 위한 업무흐름 파악을 용이하게 하는 모델을 제안한다. 이를 위해 XPDL 문서를 UML의 클래스 다이어그램과 액티비티 다이어그램으로 변환하는 사상 규칙을 정의하여, XPDL 프로세스 메타모델(Meta-Model)를 구성하는 각 엘리먼트는 클래스 다이어그램으로 모델링하고, 프로세스 액티비티(Process Activity)는 액티비티 다이어그램으로 모델링하는 기법을 제안한다. 또한 제안된 기법을 "신용 카드 상태 체크 시스템"의 워크플로우에 대한 XPDL 문서을 적용하여 제안된 기법의 유효성을 검증한다.

• BMB Reports
• /
• 제41권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
• /
• 제28권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.

• 디지털콘텐츠학회 논문지
• /
• 제11권4호
• /
• pp.571-578
• /
• 2010

최근 모바일 기기를 기반으로 수많은 소셜 네트워크 서비스가 확산되고 보급되는 가운데, 위치와 시간을 기반으로 하는 연구들이 증가하고 있다. 그러나 기존 연구들에서는 장소와 시간, 이벤트에 대한 조합적인 질의를 해결하는 것이 주요한 문제가 되었다. 본 연구에서는 소셜 서비스를 위한 시공간 모델링 방안으로 장소와 시간, 이벤트, 사용자의 소셜 액티비티를 통해 Human Activity Graph 모델링 방안과 Quad Relation Factors를 제안하고, 이를 위한 데이터 수집과 분석을 위한 하부 구조를 설계하였다.

• 국제학술발표논문집
• /
• The 8th International Conference on Construction Engineering and Project Management
• /
• 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
• /
• 제1권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.