• Journal of the Korean Society of Clothing and Textiles
• /
• v.26 no.1
• /
• pp.62-73
• /
• 2002

The purpose of this study was to develop men's formal jacket pattern for the Korean males of age 25 to 34 age with an average physique. Through the survey on seven industries of the ready-made men's wear, we investigated size systems and jacket patters presently practiced. From the fitting test of four patterns (three for ready-made jacket patterns, one for educational pattern) the moat favorable and comfortable pattern was selected. New experimented jacket pattern was based on it. The findings were as followed. 1) Survey of the domestic ready-made garment industries showed that each company classified its own manufactured goods according to its own size systems. 2) Anthropometric measurments of forty males for the subjects of lilting test were agreed to the survey of National Anthropometric of Korean(1997). These were also compatible to the standard size (100-88-175) of investigated industries. 3) Experimental jacket pattern was completed through the three times rectification and it gained higher ratings.

• Proceedings of the KIEE Conference
• /
• 2005.07d
• /
• pp.2489-2491
• /
• 2005

Currently, Programmable Logic Contorller(PLC) uses Real Time Operation System(RTOS) as basic OS. RTOS executes defined results as to defined time. General features of RTOS emphasize the priority in each task, high-speed process of external interrupt, task scheduling, synchronization in task, the limitation of memory capacity. For safety critical placement, PLC software needs Verification and Validation(V&V). For example, nuclear power plant. In this paper, PLC RTOS is verified by formal methods. Particularly, formal method V&V uses verification tool called 'STATEMATE', and shows the results.

• Asia pacific journal of information systems
• /
• v.14 no.1
• /
• pp.79-100
• /
• 2004

As a part of ebXML(Electronic Business using eXtensible Markup Language) framework, BPSS(Business Process Specification Schema) has been provided to support the direct specification of the set of elements required to configure a runtime system in order to execute a set of ebXML business transactions. The BPS,' is available in two stand-alone representations, a UML version and an XML version. Due to the limitations of UML notations and XML syntax, however, current ebXML BPSS specification fails to specify formal semantic constraints completely. In this study, we propose a constraint classification scheme for the BPSS specification and describe how to formally represent those semantic constraints using OCL(Object Constraint Language). As a way to validate p Business Process Specification(BPS) with the formal semantic constraints, we suggest a rule-based approach to represent the formal constraints and demonstrate its detailed mechanism for applying the rule-based constraints to the BPS with a prototype implementation.

• Lingua Humanitatis
• /
• v.5
• /
• pp.221-264
• /
• 2003

This paper takes issue with the idea of language as a 'serial-time structure' as opposed to the 'real-time event' of speech, an idea entrenched in Chomskyan model of linguistic theory. The discussion centers around the leitmotif question: Is language constructed entirely from a finite set of apriori discrete symbol types, as the 'competence vs performance' dichotomy implies\ulcorner A set of linguistic patterns examined in this study, largely with regard to phonological considerations, points to the evidence to the contrary. That is, while the patterns may be said to be linguistically distinct, they are not discretely, different, i.e. not different enough to be reliably differentiated. It is demonstrated that much of current research in phonology, including the most recent Optimality Theory, is misdirected in that it falsely presupposes a discrete universal phonetic inventory. The main thrust of the present study is that there is no sharp boundary between 'competence' defined as the formal, symbolic, discrete time domain of language and human cognition on the one hand and 'performance' as the continuous, fuzzy, real-time domain of human physiology on the other.

• Journal of Korean Society of Industrial and Systems Engineering
• /
• v.35 no.3
• /
• pp.110-117
• /
• 2012

A product family design has received much attention over the last several decades, since a product family-based development shortens lead-times and reduces cost, as well as increases efficiency and effectiveness of the product realization process. It is challenging work, however, to define the product family design in the heterogeneous product development environments, due to myriads of products related information described in different ways across products in any companies. In this paper, we provided a way of defining product family design framework using formal concept analysis and ontology language. Based on this, the specific product family can be derived by ontological reasoning, and the new product concept can be also expanded in the framework. The proposed framework is formalized using OWL (Web Ontology Language) and implemented in $Prot{\acute{e}}g{\acute{e}}$. Actual product family design algorithm is carried out using FaCT++ engine, a plug-in to $Prot{\acute{e}}g{\acute{e}}$, and the benefits of the proposed method are also demonstrated through a case study.

• Proceedings of the Korea Committee for Ocean Resources and Engineering Conference
• /
• 2001.05a
• /
• pp.133-138
• /
• 2001

Formal safety assessment (FSA) is defined as a structured and systematic methodology aimed at enhancing maritime safety including protection of life, health, and the marine environment and property, by using risk and cost/benefit assessment or, more specifically, it is a process of identifying hazard, evaluating risk and deciding on course of action to control those risks. Emphasis is placed on the structural aspect of the failure of cargo hold. This study is expected to illustrate how a new methodology, i.e. the Formal Safety Assessment, can be applied to specific ship safety problems.

• Journal of Agricultural Extension & Community Development
• /
• v.1 no.1
• /
• pp.47-56
• /
• 1994

From 1995, the WTO(World Trade Organization) system will be activated in the world market. Therefore more liberalization in agricultural are expected. Korean farmers should be trained to overcome the difficulty due to trade liberalization. The non-formal education for farmers is carried out by various forms but does not fit need of farmers mostly. The moor part of non formal training was focused on agricultural skills so there must be more emphasis on non-agricultural skills. There are some lacks in linkage between training and government support for trainees. So more support for farmers trainees such as aspects(for example cure finanical support) and non economic support(for example the raising of farmers morale) are needed.

• Journal of Appropriate Technology
• /
• v.7 no.2
• /
• pp.172-187
• /
• 2021

In remote villages without access to modern IT technology, simple devices such as smartcards can be used to carry out business transactions. These devices typically store multiple business applications from multiple vendors. Although devices must prevent malicious or accidental security breaches among the applications, a secure communication channel between two applications from different vendors is often required. In this paper, first, we propose a method of establishing secure communication channels between applications in embedded operating systems that run on multi-applet smart cards. Second, we enforce the high assurance using an intransitive noninterference security policy. Thirdly, we formalize the method through the Z language and create the formal specification of the proposed secure system. Finally, we verify its correctness using Rushby's unwinding theorem.

• Journal of the Korean Institute of Intelligent Systems
• /
• v.15 no.4
• /
• pp.486-491
• /
• 2005

This paper proposes the system model that is more efficient and active than formal home automation system and it can conquer the limits of formal one using intelligent mobile robot. This system uses specialized intelligent mobile robot for home environment and the robot moves around home instead of human. We call the system model to HAuPIRS (Home Automation system using PDA based Intelligent Robot System). HAuPIRS control architecture is composed three parts and each part is User Level, Cognitive Level, Executive Level. It is easy to use system and possible to extend the home apparatus from new technology. We made the PBMoRo System (PDA Based Mobile Robot System) based on HAuPIRS architecture and verified the efficiency of the system model.

• Proceedings of the Korea Society for Industrial Systems Conference
• /
• 1999.12a
• /
• pp.373-377
• /
• 1999

Role Based Access Control(RBAC) reduces the cost of administering access control policies as well as making the process less error-prone. The administration tool is most important component in the concept of RBAC. The administration tool for the RBAC security system is required the consistency of a relationships between user and role in the RBAC Database. In this paper, we propose formal specification in order to manage user-role and role-role relationships. The proposed formal specification leads to the consistency requirements for the RBAC database which are defined as a set of relationship. This paper can easily derive the implementation of the RBAC administration tool by formal specification of operations.