• The Transactions of the Korea Information Processing Society
• /
• v.5 no.5
• /
• pp.1204-1215
• /
• 1998

In this paper, we propose a scenario representing method, a specification language, and a verification technique for OARTS(Object based Approach for Real-Time Systems). As well as the general modeling method(event trace diagram), this study includes a specification language and a verification technique because there was no study about methodological level technique for scenario development as yet. Centering around the synchronization problem of transition of external modules which are the communication interfaces based on the objects, we lay stress on the representation of sequence of external events and internal action transitions. From the results of practical experiences, it has been ascertained that the proposed method reflect well the requirements in the analysis step, and its validity of the representation has been identified by a conceptual verifier. We support that it can serve as an analyzing tool for representing a general real-time scenarios also.

• IE interfaces
• /
• v.10 no.3
• /
• pp.63-73
• /
• 1997

This paper presents requirements for workflow management systems supporting CITIS. We propose an architecture of global workflow management system which aims at supporting external workflow among different organizations rather than internal one. The architecture consists of five key elements, that is process definition language, process graphic design tool, control engine, status monitoring tool, and interface models. For each of these elements, implementation requirements are presented and its major functions are described. A key concept to the CITIS standard is the integration of disparate systems in distributed environment. This leads us to place a special emphasis on the interface models that can enhance the interoperability between externally participating workflow systems. Two interface models for the global workflow management system are explained. CORBA, the most widely accepted standard for distributed object management, can be adopted to facilitate the integration. World Wide Web can be used for the underlying platform on which information is exchanged and the status of processes instances is monitored. The workflow management system can provide a ready and easy access to and management of the data for CALS environments.

• IE interfaces
• /
• v.25 no.2
• /
• pp.255-263
• /
• 2012

In order to ensure the reliability and specialty of weapon system test results, a policy of extending certified testing service institutions has been driven by applying accreditation system of the ones in defense industry. Bass and Logistic models are used to apply the policy effectively and forecast the diffusion pattern of certified testing service institutions. The parameters for diffusion forecast are estimated using the diffusion pattern of certified testing service institutions in non-defense industry, and these are applied to forecast the diffusion of certified ones in defense industry. Coefficients of innovation and imitation of Bass model are analyzed to derive the factors influencing the early adoption and diffusion patterns. The more increasing the coefficients, the earlier adoption occurred. Diffusion pattern due to coefficient of imitation, internal factor, has larger effect on sensitivity of diffusion pattern. This means that the self recognition of necessity is more effectively worked than the policy or regulations driven by government.

• IE interfaces
• /
• v.20 no.4
• /
• pp.469-478
• /
• 2007

Rail transportation terminals play an important role in inland transportation systems, because the operation productivity in the terminals significantly influences the efficiency of the whole transportation systems. This paper addresses a design method of a real rail terminal that satisfies a pre-specified throughput capacity. In order to construct high performance rail terminal, it is shown how design parameters can be estimated systematically. Examples of the design parameters are the number of transshipment tracks, the number of rail cranes, and the number of internal trucks. These design parameters are estimated by using simple equations and the validity of the values of these parameters are tested by using simulation. Furthermore, some iterative correction procedure, which uses the simulation technique and the equations alternately, are proposed.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.11 no.4
• /
• pp.648-655
• /
• 2007

Nowadays, to realize ubiquitous computing environment, many research activities have been going on within various kinds of research domains including automatic identification sensor network, home network, telematics and so on. Especially, RFID middleware that supports the aggregation of RFID tag data, control and management, and the integration with legacy systems has recently gained a lot of attention. Meanwhile, EPCglobal defined an ALE(Application Level Events) standard specification, which exists between RFID readers and applications, and substitutes the previous systems called Savant. In the specification internal structures and implementation technologies of ALE are not mentioned and only external interfaces are defined. This approach easies the verification of standard compliance and inter-operability of the layer. In this paper, we present the design of ALE-compliant RFID middleware systems that process RFID tag data efficiently.

• Journal of Aerospace System Engineering
• /
• v.15 no.4
• /
• pp.57-63
• /
• 2021

The launch vehicle (LV) separation detection interface of the satellite, which is designed to initiate the launch and early operation phase (LEOP) for S-band data transmission and the solar array deployment after the LV separation, is one of the hazard items at the launch site. Therefore, this interface should satisfy the single-fault tolerance requirement for the range safety. In this paper, we discuss the LV separation detection interfaces for two different satellite launch configurations and propose a method to guarantee for the satellite to start the LEOP even under the emergency case such as a partial separation from the LV. Furthermore, the proposed method meets the range safety requirement of the launch site. As this method only changes the external harness configuration of the satellite, it increases the reliability of the satellite early operation without any modification of the existing internal logics to detect the separation event.

• Journal of Auto-vehicle Safety Association
• /
• v.15 no.3
• /
• pp.27-33
• /
• 2023

Electric vehicles are widely produced from many car manufacturers around the world instead of internal combustion engine vehicle in order to respond a variety of environmental regulations. Also, they are applying for modular design method to develop plenty of the vehicles. And, both of these two issues will be an important trend to lead the future global automobile industries for a long time. In this paper, new brake architecture concept is proposed in order to respond to such a situation. First, physical interfaces between brake system like caliper, disc and other counter-parts are established for modular assembly. Second, we analyze effective factors of brake system for electric vehicles which need to reflect vehicle specifications such as total vehicle weight. Here, we consider ideal brake force by critical deceleration. Third, we simulate accumulated regenerative brake energy for two main driving modes to confirm to effectiveness for a variety of Electric Vehicle. Finally, we hope that it contributes to implement brake architecture for the development of Electric Vehicle platform through such a study.

• Journal of the Korean Society of Visualization
• /
• v.22 no.1
• /
• pp.6-17
• /
• 2024

This study examined the natural convection heat flow characteristics of the melting process of PCM (palm oil) inside a liquid flexitank(bag) for a cargo container. A film heating element was installed on the bottom of the container, and numerical analysis was performed under heat flux conditions of 1,000 to 4,000 W/m². As a result, the melt interface of the PCM rises to a nearly horizontal state over time. In the initial stage, conduction heat transfer dominates, but gradually waves at the cell flow and melt interfaces are formed due to natural convection heat transfer. As melting progresses, the Ra number increases parabolically, and the Nu number increases linearly and has a constant value. The Nu number rises slowly under low heat flux conditions, whereas under high heat flux conditions, the Nu number rises rapidly. As the heat flux increases, the internal temperature oscillation of the liquid phase after melting increases. However, under high heat flux conditions, excess heat exceeding the latent heat is generated, and the temperature of the molten liquid is raised, so the increase in melting rate decreases. Therefore, the appropriate heating element specification applied to a 20-ton palm oil container is 2,000 W/m².

• The Journal of Korean Academy of Prosthodontics
• /
• v.54 no.4
• /
• pp.370-378
• /
• 2016

Purpose: The purpose of this study was to investigate screw joint stability and sagittal fit between internal connection implant fixtures of two different manufacturers and customized abutments. Materials and methods: Internal connection implant systems from two different manufacturers (Biomet 3i system, Astra Tech system) were selected for this study (n=24 for each implant system, total n=48). For 3i implant system, half of the implants were connected with Ti ready-made abutments and the other half implants were connected with Ti CAD-CAM custom ones of domestic-make (Myplant, Raphabio Co., Seoul, Korea) and were classified into Group 1 and Group 2 respectively. Astra implants were divided into Group 3 and Group 4 in the same way. Micro-CT sagittal imaging was performed for fit analysis of interfaces and preloading reverse torque values (RTV) were measured. Results: In the contact length of fixture-abutment interface, there were no significant differences not only between Group 1 and Group 2 but also between Group 3 and Group 4 (Mann-Whitney test, P>.05). However, Group 2 and Group 4 showed higher contact length significantly than Group 1 and Group 3 in abutment-screw interface as well as fixture-screw one (Mann-Whitney test, P<.05). In addition, RTV was lower in CAD-CAM custom abutments compared to ready-made ones (Student t-test, P<.05). Conclusion: It is considered that domestically manufactured CAD-CAM custom abutments have similar fit at the fixture abutment interface and it could be used clinically. However, RTV of CAD-CAM custom abutments should be improved for the increase of clinical application.

• Journal of the Korean Ceramic Society
• /
• v.35 no.7
• /
• pp.647-647
• /
• 1998

(La,Sr)CoO3/Pb(Zr,Ti)O3/(La,Sr)CoO3 (LSCO) heterostructures have been grown on LaAlO3 substrates by pulsed laser deposition (PLD) to investigate asymmetric polarization of Pb(Zr,Ti)O3 (PZT) thin flims with different electrode configuration. P-V hysteresis loop of LSCO/PZT/LSCO was symmetric. However, LaCoO3 (LCO_/PZT/LSCO showed a largely asymmetric P-V hystersis loop and large relaxation of the remanent polarization at the negatively poled state, which means that the negatively poled state was unstable. On the other hand, LSCO/PZT/LCO exhibited large relaxation of the positively poled state. The asymmetric behavior of the polarized states implies the presence of an interal electric firld inside the PZT layer. It is suggested that internal electric field is caused by built-in voltages at LCO/PZT and LSCO/PZT interfaces. The built-in voltages at LCO/PZT and CSCO/PZT interfaces were 0.6 V and -0.12 V, respectively.