• Journal of the Korea Society for Simulation
• /
• v.12 no.2
• /
• pp.45-53
• /
• 2003

This paper presents a retargetable compiled assembly simulation technique for fast ASIP(application specific instruction processor) simulation. Development of ASIP which satisfies design requirements in various fields of applications such as telecommunication, wireless network, etc. needs formal design methodology and high-performance relevant software environments such as compiler and simulator In this paper, we employ the architecture description language(ADL) named ${HiXR}^2$ to automatically synthesize an instruction-level compiled assembly simulator. A compiled simulation has benefit of time efficiency to interpretive one because it performs instruction fetching and decoding at compile time. Especially, in case of assembly simulation, instruction decoding is usually a time-consuming job(string operation), so the compiled simulation of assembly simulation is more efficient than that of binary simulation. Performance improvement of the compiled assembly simulation based on ${HiXR}^2$ is exemplified with an ARM9 architecture and a CalmRISC32 architecture. As a result, the compiled simulation is about 150 times faster than interpretive one.

• Proceedings of the KSR Conference
• /
• 1998.05a
• /
• pp.408-418
• /
• 1998

This paper presents the implementation of comparator which is self-testing with respect to the faults caused by any single physical defect likely to occur in NMOS and CMOS integrated circuit. The goal is to use it for the fault-tolerant system. First, a new fault model for PLA(Programmable Logic Array) is presented. This model reflects several physical defects in VLSI circuits. It focuses on the designs based on PLA because VLSI chips are far too complex to allow detailed analysis of all the possible physical defects that can occur and of the effects on the operation of the circuit. Second, this paper shows that these design, which has been implemented with 2 level AND-ORor NOR-NOR circuit, are optimal in term of size. And it also presents a formal proof that a comparator implemented using NOR-NOR PLA, based on these design, is sol f-testing with respect to most single faults in the presented fault model. Finally, it discusses the application of the self-testing comparator as a building block for the implementation of the fault-tolerant system.

• Journal of Korean Society of Industrial and Systems Engineering
• /
• v.22 no.52
• /
• pp.229-239
• /
• 1999

Enterprise integration, which aims to enhance an enterprise's competitive edge, requires a highly structured product information model as a common product database. Previous research works on this issue have been narrowly focused on the transformation of product information between various operation areas, leading to a situation where enterprise integration lacks a formal method of information modeling. In this paper, research works and issues surrounding product information modeling for enterprise integration are reviewed, and the requirements for a product information model are identified. A product information model called L3DPIM (Layered Three Dimentional Product Information Model) is proposed, which is based on a feature-based design process. This model is expected to serve as a modeling paradigm for enterprise integration.

• Proceedings of the Korean Institute of Navigation and Port Research Conference
• /
• 2006.10a
• /
• pp.11-18
• /
• 2006

Ship Pilotage is one of the most important parts in the construction and development of Shanghai International Shipping Center as it has the fundamental function for the promotion and speed-up of the ship navigation and cargo operation. Recently, Shanghai Maritime University and Shanghai Harbour Pilotage Administration Station had carried out a research project of 'Study on Ship Safety Pilotage in the Shanghai Harbour by Way of FSA (Formal Safety Assessment)'. The aim of this project is to put out some proposes of the decision-making for the improvement of the safety pilotage in Shanghai habour through the way of the FSA. Now these proposes of the decision-making have been adopted and conducted in practice and satisfactory results have been achieved. In the paper, some detailed information, methods and ideas about this research project have been introduced and explained for improving the safety pilotage in Shanghai Harbour.

• Smart Media Journal
• /
• v.5 no.2
• /
• pp.8-14
• /
• 2016

In this paper, we propose a model for coaching and formal operating procedures performed capstone design advisor during the design done to allow effective guidance and management. Coaching model is proposed through coaching and capstone design proposed by coaching on the procedure for the implementation and management, Mokpo National University Department of Computer Engineering student in the program outcomes, performance assessment of the effective operation of the capstone design based social network service the demonstrated effectiveness of the coaching model.

• The Mathematical Education
• /
• v.51 no.4
• /
• pp.429-453
• /
• 2012

The purpose of the study were to analyze teaching models of arithmetic operations of integers in Korean middle school mathematics textbooks of the first grade and Americans', from which we compare and analyze standards for choice of models of middle school teachers and preservice mathematics teachers. We also analyze the effect of the choice of teaching models for students to understand and appreciate number systems as a coherent body of knowledge. On the basis of that, we would like to find the best model to help students understand and reason the process of formulate the arithmetic operations of natural numbers and integers into the operation of the real number system. Furthermore, we help these series of the study to be applied effectively in the middle school mathematics class in Korea.

• Korean Linguistics
• /
• v.65
• /
• pp.295-320
• /
• 2014

The idiom is listed in the lexicon, because it's meaning cannot be inferred from it's constituents. And the idiom is a single semantic unit. Thus the idiom is inserted to the syntax in the quality of a word. But the idiom is not always inserted to the syntax as a word. In the process generating the sentence, we can recognize the categorial property of the idiom that it is formally equal to the syntactic phrase. Then each of the constituents of the idiom can be inserted to the syntax. This is why the syntactic operation(as modification, topicalization, relativization, etc) can be applied to the constituent of the idiom. In this respect the idiom is a flexible construction as the listeme of a lexicon. The flexible property of the idiom is related to the dynamicity of a lexicon. The formal or semantic transformation of the idiom is the good example to show the dynamicity of a lexicon.

• Journal of Digital Convergence
• /
• v.12 no.9
• /
• pp.219-223
• /
• 2014

In line with the advanced wireless communication technology, M2M (Machine-to-Machine) communication has drawn attention in industry. M2M communication features are installed and operated in the fields where human accessibility is highly limited such as disaster, safety, construction, health and welfare, climate, environment, logistics, culture, defense, medical care, agriculture and stockbreeding. In M2M communication, machine replaces people for automatic communication and countermeasures as part of unmanned information management and machine operation. Wireless M2M inter-device communication is likely to be exposed to intruders' attacks, causing security issues, which warrants proper security measures including cross-authentication of whether devices are legitimate. Therefore, research on multiple security protocols has been conducted. The present study applied SessionKey, HashFunction and Nonce to address security issues in M2M communication and proposed a safe protocol with reinforced security properties. Notably, unlike most previous studies arguing for the security of certain protocols based on mathematical theorem proving, the present study used the formal verification with Casper/FDR to prove the safety of the proposed protocol. In short, the proposed protocol was found to be safe and secure.

• Transactions of the Korean Society of Mechanical Engineers A
• /
• v.39 no.5
• /
• pp.473-482
• /
• 2015

Recent development in science and technology has enabled vehicles to be equipped with advanced autonomous functions. ADAS (Advanced Driver Assistance Systems) are examples of such advanced autonomous systems added. Advanced systems have several operational modes and it has been observed that drivers could be unaware of the mode they are in during vehicle operation, which can be a contributing factor of traffic accidents. In this study, possible mode confusions in a simulated environment when vehicles are equipped with an adaptive cruise control system were investigated. The mental model of the system was designed and verified using the formal analysis method. Then, the user interface was designed on the basis of those of the current cruise control systems. A set of human-in-loop experiments was conducted to observe possible mode confusions and redesign the user interface to reduce them. In conclusion, the clarity and transparency of the user interface was proved to be as important as the correctness and compactness of the mental model when reducing mode confusions.

• Korean Journal of Poultry Science
• /
• v.11 no.1
• /
• pp.33-39
• /
• 1984

The pattern of economic integration in the broiler industry can be grouped into three categories; 1) non-integration, 2) quasi-integration and 3) complete-integration. It is general to see that the non-integration is quite common under the market conditions of perfect competition, whereas the complete integration is more preferable in the imperfect competition. The quasi-integration, however, exists at all phases where the complete integration is not fully formed and implemented, but the non-integration has begun to alter its nature into integrated structure. The broiler industry in Korea has been characterized with the typically non-integrated independent operation, resulting in considerable price fluctuation and unstable industry as a whole. As a means of solving out the problem stemed from the non-integrated, growers and agribusinessmen involved in broiler industry have tended to develope the regular customer relationship prevailed between two parties. In fact, it has been practiced for years that most growers have been dealt with factor suppliers or processors on a regular basis for advantages of better price and quality, useful information, management help and so forth. Under the customary transaction, no formal contract has been made due to simple buyers and sellers relations, not like the one used to be performed in the form of contractual agreement. The broiler industry realizes the direction to go ahead toward the formal arrangement of integrated system from current regular transactions. As more Vowers, suppliers and processors recognize the necessity of it, the non-integrated industry appears to become the partially integrated by developing the existing customer relationship in such a way that functions of integrators are. further expanded and better organized. As a result, a type of quasi-integration started to show up by an integrator dominated in the field of hatching, feedmilling, dressing and by a grower's coop, It is concluded, therefore, that the evolution of quasi-integration in Korea's broiler industry is continuously taking place, implying the close approach to the completely integrated broiler production and marketing system.