• Journal of Multimedia Information System
• /
• 제4권3호
• /
• pp.107-114
• /
• 2017

As to talk about computer aided 3D modeling, it can be conformed to the popular aesthetics based theory of heightening the organizing useful visual information. This thesis heightens the formativeness of the 3D modeling from the angle of the Gestalt psychology and attempts a finding of a method as also explains among the grouping laws of Gestalt. They are the definitions and the special features of 'The Law of Proximity', 'The Law of Similarity', 'The Law of Closure', 'The Law of Continuity', etc. And, through a logical, theoretical analysis, the relationships between such laws are found out. And the case examples of the uses of such laws in the 3D animation character designs and the situation in which such laws are applied to the things in the actual lives are analyzed. If it is intended to improve the formativeness of the 3D model forms, the rules of the simplicity, the safety, and the symmetry must be pursued according to the visual recognitions of the human beings. Because the actual objects are seen and touched, other than the visual pursuits by the human beings, the functionalities and the practicalities of the objects must be considered.

• 한국안전학회지
• /
• 제22권3호
• /
• pp.81-87
• /
• 2007

In this study digital human models of ship construction tasks using modeling & simulation were constructed and human models' activities through human activity analysis were evaluated. Human Factors experts analyzed the actual workers' tasks using the same technique used in human activity analysis at the same time. The main objective of this study is to check a possibility of applying digital human modeling technique to ship construction tasks that are mostly non-standardized(not uniformed) whereas most applications of digital human modeling technique have been applied to standardized tasks. We evaluated postures of both real workers and digital humans by RULA. It turned out that the final scores of RULA evaluation on real workers are the same as the RULA scores for digital humans. However, there were differences of RULA detail scores between real workers and digital humans in the several processes related with the wrist twist and deviations. Those differences are considered to be resulted from the error in the on-site measuring worker's body dimension which could be reduced by accurate tools to correct data for body dimension and digital real drawings for facilities. The results showed possibility of application of digital human modeling and ergonomic analysis on informal work operations as well as formal operations in the shipbuilding industry.

• 대한전자공학회:학술대회논문집
• /
• 대한전자공학회 2002년도 ITC-CSCC -2
• /
• pp.920-923
• /
• 2002

In this paper, we propose Class Diagram With Constraints (CDWC) as an object oriented modeling technique which makes validation possible in software development. CDWC is a simple and basic model for the object oriented analysis, and has a reasonable strictness for software developers. CDWC consists of class diagrams and constraints (invariant and pre/post conditions), using UML and a subset of OCL.. We introduce a method of validation of CDWC using the verification technique of algebraic formal specification language CafeOBJ.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2001년도 가을 학술발표논문집 Vol.28 No.2 (1)
• /
• pp.457-459
• /
• 2001

정보검색시스템은 지역적으로 분산된 이기종의 컴퓨터들 간의 데이터 교환과 다양한 종류의 DB에 대한접근을 가능하게 함으로써, 기업에게 공급망 관리에 대한 통합된 정보를 제공한다. 정보검색시스템은 X3.285에 기반한 데이터 레지스트리 모델을 이용하여 모델링되었고, 모델링이 주어진 가정 하에서 요구사항을 만족하는지를 검증하기 위해 핵심 부분인 메타데이터 레지스트리 관리기(MDR Manager) 부분 만을 SMV를 이용하여 검증하였다.

• 한국생물정보학회:학술대회논문집
• /
• 한국생물정보시스템생물학회 2005년도 BIOINFO 2005
• /
• pp.348-353
• /
• 2005

In this paper we discuss the formulation and the analysis of a signaling pathway by Petri nets. In order to explicitly and formally describe the molecular mechanisms and pathological characteristics of signaling pathways, we propose a new modeling method to construct signaling pathways on the basis of formal representation of Petri net. Our proposed extended algorithm effectively finds basic enzymic components of signaling pathways by employing T-invariants of Petri nets with considering the origination leading to an occurrence of inhibition functions than existing methods. An application of the proposed algorithm is given with the example of Interleukin-1 and Interleukin-6 signaling pathways.

• Industrial Engineering and Management Systems
• /
• 제6권1호
• /
• pp.72-82
• /
• 2007

Business Rules are formal statements about the data and processes of an enterprise. They present projections of the organization's constraints and ways of working on their supporting information systems. Therefore, their collection, structuring and organization should be central activities within information systems. In an enterprise, business rules are used to represent certain aspects of a business domain (static rules) or business policy (dynamic rules). Hence, regarding problem domains in the organization, business rules are classified into two groups: static and dynamic business rules. The paper introduces a new concept of business rules, Extended Dynamic Business Rule (EDBR) which contains the results of the occurrence of business rule's action. The focus of this paper is in the organizing, defining and modeling of such business rules using Mineau's approach. Mineau's approach is an extension of Sowa's Conceptual Graph theory.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 2005년도 ICCAS
• /
• pp.433-437
• /
• 2005

The goal of our research is to develop a formal modeling methodology for supervisory and controlling systems that have artificially intelligent features. This approach is agent-based and central to the development of the model of mobility agent considering reactivity for real-time purpose and deliberation for optimal realization and safe-fail problems for critical systems like Intelligent Transportation Systems by high-level Petri net. By using nets within nets we investigate the concurrency of the system and the agent in one model without losing the needed abstraction, and synchronous channels are introduced to denote the coordination and communication. Finally an example is demonstrated.

• 한국콘크리트학회:학술대회논문집
• /
• 한국콘크리트학회 2000년도 가을 학술발표회논문집(I)
• /
• pp.273-278
• /
• 2000

These days, the number of residential-commercial buildings and apartments with pilotis is increasing. Generally, these buildings have a special structural called as Hybrid Structures consisting of upper-Walls and lower-Frames. However, this structures have some problems to be solved for the application of the regulation on the earthquake-resistant design and analysis techniques. Especially, in the case of irregular formal structures, engineers have to consider both the equivalent static analysis and the dynamic analysis. Thus, it is recommended to analyze those to inelastic region for economical reasons. In this paper, the method of modeling preceding the inelastic dynamic analysis using the DRAIN-2DX is presented to compare with those from MIDAS GENw program.

• Journal of Information Technology Applications and Management
• /
• 제12권1호
• /
• pp.35-48
• /
• 2005

An architectural framework is developed for integrating geospatial and temporal data with relational information from which a spatio-temporal data warehouse (STDW) system is built. In order to implement the STDW, a generic conceptual model was designed that accommodated six dimensions: spatial (map object), temporal (time), agent (contractor), management (e.g. planting) and tree species (specific species) that addressed the 'where', 'when', 'who', 'what', 'why' and 'how' (5W1H) of the STDW information, respectively. A formal algebraic notation was developed based on a triplet schema that corresponded with spatial, temporal, and relational data type objects. Spatial object structures and spatial operators (spatial selection, spatial projection, and spatial join) were defined and incorporated along with other database operators having interfaces via the generic model.

• 한국전산구조공학회:학술대회논문집
• /
• 한국전산구조공학회 2006년도 정기 학술대회 논문집
• /
• pp.520-527
• /
• 2006

The structural design process of the buildings consists of several design phases, which perform the simple calculation and the decision mailing to be with designers judgement, recursively. In this paper, the information that created during the design phases and used for generating the rational design result is called intermediate information. The intermediate information as well as the structural design results must be managed together in order to develop an integrated system for computer aided structural design. This paper presents the research for the object modeling concepts and the formal object model according to them for the systematic management of not only structural design results but also intermediate information.