• 한국정밀공학회:학술대회논문집
• /
• 한국정밀공학회 1995년도 추계학술대회 논문집
• /
• pp.509-512
• /
• 1995

A new modeling incorporating the role of control arm is proposed for the Macpherson type suspension system. Vertical displacement of the sprung mass and angular displacement of the control arm are selected as main control variables in the new modeling. With the same values of suspension vehicle parameters the conventional modeling and the new modeling are compared in terms of open loop characteristics.

• 대한수학교육학회지:학교수학
• /
• 제9권4호
• /
• pp.467-486
• /
• 2007

이 논문은 스프레드시트를 활용한 수학적 모델링에서 스프레드시트 환경이 수학적 모델의 정교화과정에 어떤 영향을 미치는 지를 고찰한 것이다. 좀 더 자세히 살피면 수학적 모델링에서 스프레드시트 모델의 활용은 학생이 분석 불가능한 수학적모델도 분석할 수 있도록 해줌으로써 모델을 단순화하지 않고, 대신 모델을 정교화 할 수 있는 기회를 제공하고 수학적 개념을 확장해 나갈 수 있음을 보였다. 또한 수학적 모델을 스프레드시트 모델로 변환하여, 수학적 모델로부터 수학적 결론을 얻는 단계를 거치지 않고도 실세계 상황을 해석하고 설명할 수 있는 기회를 제공할 수 있음을 보였다.

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

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

• East Asian mathematical journal
• /
• 제36권2호
• /
• pp.147-172
• /
• 2020

The purpose of this study is to provide to understand correctly for teachers and pre-service teachers who have the wrong conception of mathematical modeling. We present the differences modeling problems and general application problems to identify between general application and modeling problems. We propose the entire process from modeling tasks development to solve the problems of mathematical modeling. Additionally, the entire process of the possible solutions was concluded for the presented modeling problems. We proposed what students and teachers should perform at each stage of each phase of the modeling cycle. The concrete tasks were suggested for teachers and students at each phase of modeling cycles, with the specific role of the teacher in the overall process for students' modeling activities.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• 제8권2호
• /
• pp.691-708
• /
• 2014

This paper formalizes a special type of social networking knowledge, which is called "workflow performer-role affiliation networking knowledge." A workflow model specifies execution sequences of the associated activities and their affiliated relationships with roles, performers, invoked-applications, and relevant data. In Particular, these affiliated relationships exhibit a stream of organizational work-sharing knowledge and utilize business process intelligence to explore resources allotting and planning knowledge concealed in the corresponding workflow model. In this paper, we particularly focus on the performer-role affiliation relationships and their implications as organizational and business process intelligence in workflow-driven organizations. We elaborate a series of theoretical formalisms and practical implementation for modeling, discovering, and visualizing workflow performer-role affiliation networking knowledge, and practical details as workflow performer-role affiliation knowledge representation, discovery, and visualization techniques. These theoretical concepts and practical algorithms are based upon information control net methodology for formally describing workflow models, and the affiliated knowledge eventually represents the various degrees of involvements and participations between a group of performers and a group of roles in a corresponding workflow model. Finally, we summarily describe the implications of the proposed affiliation networking knowledge as business process intelligence, and how worthwhile it is in discovering and visualizing the knowledge in workflow-driven organizations and enterprises that produce massively parallel interactions and large-scaled operational data collections through deploying and enacting massively parallel and large-scale workflow models.

• 한국정보시스템학회지:정보시스템연구
• /
• 제14권3호
• /
• pp.1-8
• /
• 2005

This paper formally defines a role-driven security and access control model of a business process in order eventually to provide a theoretical basis for realizing the secured business process management systems. That is, we propose a graphical representation and formal description of the mechanism that generates a set of role-driven security and access control models from a business process modeled by the information control net(ICN) modeling methodology that is a typical business process modeling approach for defining and specifying business processes. Based upon the mechanism, we are able to design and accomplish a secured business process management system that provides an unified resource access control mechanism of the business process management engine domain's and the application domain's. Finally, we strongly believe that the secured access control policies from the role-driven security and access control model can be easily transformed into the RBAC(Role-based Access Control) model that is a standardized security technology for computer and communications systems of commercial and civilian government organizations.

• International Journal of Computer Science & Network Security
• /
• 제21권3호
• /
• pp.153-164
• /
• 2021

The increasing importance of such fields as embedded systems, pervasive computing, and hybrid systems control is increasing attention to the time-dependent aspects of system modeling. In this paper, we focus on modeling conceptual time. Conceptual time is time represented in conceptual modeling, where the notion of time does not always play a major role. Time modeling in computing is far from exhibiting a unified and comprehensive framework, and is often handled in an ad hoc manner. This paper contributes to the establishment of a broader understanding of time in conceptual modeling based on a software and system engineering model denoted thinging machine (TM). TM modeling is founded on a one-category ontology called a thimac (thing/machine) that is used to elaborate the design and analysis of ontological presumptions. The issue under study is a sample of abstract modeling domains as exemplified by time. The goal is to provide better understanding of the TM model by supplementing it with a conceptualization of time aspects. The results reveal new characteristics of time and related notions such as space, events, and system behavior.

• 통합자연과학논문집
• /
• 제8권1호
• /
• pp.75-79
• /
• 2015

Thromboxane A2 receptors (TXA2-R) are the G protein coupled receptors localized on cell membranes and intracellular structures and play pathophysiological role in various thrombosis/hemostasis, modulation of the immune response, acute myocardial infarction, inflammatory lung disease, hypertension and nephrotic disease. TXA2 receptor antagonists have been evaluated as potential therapeutic agents for asthma, thrombosis and hypertension. The role of TXA2 in wide spectrum of diseases makes this as an important drug target. Hence in the present study, homology modeling of TXA2 receptor was performed using the crystal structure of squid rhodopsin and night blindness causing G90D rhodopsin. 20 models were generated using single and multiple templates based approaches and the best model was selected based on the validation result. We found that multiple template based approach have given better accuracy. The generated structures can be used in future for further binding site and docking analysis.

• Asia pacific journal of information systems
• /
• 제8권2호
• /
• pp.69-83
• /
• 1998

Some simulation tools have been developed to support business process reengineering. These tools can be used to not only analyze an as-is model of the existing process but also assess the potential value and feasibility of to-be models. But most of them are restricted to analyzing and redesign of the workflow only. Little attention is paid to the organization of people and their roles. This paper Presents a new methodology for business process simulation modeling and analysis. The methodology is based on the concepts of roles and customer-supplier chains. So the proposed methodology allows for tracking people and their roles affected by reengineering the business process. It enables one to analyze and evaluate not only workflow, but roles that are part of the flow. This paper developed a simulator to systematically construct simulation models and conduct simulations easily and efficiently. A case study is also presented as an illustrative example.

• 통합자연과학논문집
• /
• 제7권4호
• /
• pp.234-240
• /
• 2014

C-C chemokine receptor type 4 (CCR4) is a chemokine receptor with seven transmembrane helices and it belongs to the GPCR family. It plays an important role in asthma, lung disease, atopic dermatitis, allergic bronchopulmonary aspergillosis, cancer, inflammatory bowel disease, the mosquito-borne tropical diseases, such as dengue fever and allergic rhinitis. Because of its role in wide spectrum of disease processes, CCR4 is considered to be an important drug target. Three dimensional structure of the protein is essential to determine the functions. In the present study homology modeling of human CCR4 was performed based on crystal structure of CCR5 chemokine receptor. The generated models were validated using various parameters. Among the generated homology models the best one is selected based on validation result. The model can be used for performing further docking studies to identifying the critical interacting residues.