• Journal of Technologic Dentistry
• /
• v.28 no.2
• /
• pp.367-373
• /
• 2006

This study was performed to observe the flow change of the inlay waxes at various temperatures. The flow of inlay waxes was tested according to the treatment conditions, for 10 minutes at 40$^{\circ}C$, 41$^{\circ}C$, 42$^{\circ}C$, 43$^{\circ}C$, 44$^{\circ}C$, and 45$^{\circ}C$ The flow of inlay waxes at various temperatures was measured with an electro dial gauge. The results were as fellows: 1. The flow change of the inlay waxes at various temperatures was shown to increase in the order of wax A, B, D, C. 2. Wax A was close to ADA specification with 3% flow at 40$^{\circ}C$ and 71% flow at 45$^{\circ}C$, but wax B and D did not reach up to ADA specification with 40% flow at 45$^{\circ}C$. 3. Wax C came up with 3% flow at 40$^{\circ}C$ and 7% flow at 45$^{\circ}C$, and it revealed a very low flow change at 5$^{\circ}C$.

• Journal of KIISE:Computing Practices and Letters
• /
• v.6 no.6
• /
• pp.608-619
• /
• 2000

In this paper, we give a formal semantics for Statechart via a translation into Algebra of Communicating Shared Hesources(ACSR). Statechart is a very rich graphical specification language, which is suitable to specify complicated reactive systems. However, the incorporation of graph into specification and rich syntax makes Statechart semantics very complicated and ambiguous. Thus, it is very difficult to verify the correctness of Statechart specifications. Also, we propose the formal verification method for Statechart specifications by showing equivalence relation between two Statechart specifications. This makes it possible to combine the advantages of a graphical language with the rigor of process algebra.

• Journal of KIISE:Software and Applications
• /
• v.27 no.4
• /
• pp.370-383
• /
• 2000

This paper describes a new technique known as specification-based regression testing that is used for the revalidation of concurrent programs after changes are made to specifications. This type of regression testing requires sequencing constraint that specify precedence relations on the synchronization events. In order to extract sequencing constraint automatically, we use Message Sequence Charts(MSCs) that are considered partial and nondeterministic specifications. We show how to identify which sequencing constraint is affected by the modifications made to a specification rather than creating new sequencing constraint from scratch to reduce the cost of regression testing. We also describe how to determine that each affected sequencing constraint is satisfied by a program being tested.

• Proceedings of the KIEE Conference
• /
• 2005.11c
• /
• pp.39-43
• /
• 2005

There are big differences between developed countries and Korea regarding to the circumstances of electrical installation construction. In other words, Korea, in spite of its small market size, has large pools of electrical construction companies or associated workers, and there are a lot of poorly electrical construction companies in domestically. Thus, in reality, it is difficult to invest in technical development to enhance Korea's technical level on electrical installation and companies are likely to construct as occasion demands instead of constructing in a technical manner. Therefore, the government needs to develop a standard specification as a guideline for stable, economical and technical electrical installation construction. With this standard specification, almost all electrical construction companies could practically use it and also could guarantee their construction quality as well. It is important to induce small companies to utilize the standard specification to secure their construction excellent quality so that the life of the nation, individual's properties and national properties could be well protected.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2004.05b
• /
• pp.800-803
• /
• 2004

This paper describes the design and implementation of the T=1 protocol based on lava Card. The T=1 protocol implemented in this paper complies with ISO/IEC 7816 standard. Also, JCOS(Java Card Operating Systems) including the contactless card protocol conforms to Java Card 2.2.1 specification and is running on 32-bit ARM7/TDMI processor. The protocol stack proposed and implemented in this paper is easy to maintenance of protocol independently. To verify the T=1 protocol implemented in this paper we tested the T=1 protocol scenarios defined in ISO/IEC 7816-3 Annex A. And we tested using USIM(Universal Subscriber Identity Module) cards, which include the implemented T=1 protocol. The T=1 protocol was tested and passed all against the specification 3GPP TS 31.122, which was the Conformance Test Specification for USIM cards including the test suites of both transmission protocols.

• Proceedings of the KIEE Conference
• /
• 2007.07a
• /
• pp.1181-1182
• /
• 2007

Light Rail Transit (LRT) System is an urban transit system which has approximately an intermediate transportation capacity between conventional subway and bus ($5,000{\sim}25,000$ persons per hour and per direction). It is a high-tech system which operational capacity, punctuality and mobility are remarkably improved. There are some types of LRT systems such as monorail, tramway, AGT(Automated Guideway Transit), and so on. The LRT systems have been applied and being operated in about a hundred lines around the world and many projects that apply the LRT systems in Korea are being proceeded and scheduled. For the efficient management, economical construction, and safe operation of various LRT systems, the establishment of national standard is necessary such as vehicle standardized specification, vehicle performance test standard, vehicle safety standard, construction guide, operation regulation, etc. of LRT systems. This paper presents the standard specification of electrical equipment of linear induction motor type light rail vehicle, that is LIM AGT(AGT system propelled with linear induction motor) vehicle. The LIM AGT system has been applied in Japan subway and ART(Advanced Rapid Transit) system of Canada and Yongin LRT is currently under construction.

• Journal of the Korea Society of Computer and Information
• /
• v.6 no.3
• /
• pp.23-28
• /
• 2001

There has been several meaning full efforts to save costs on system development and expand the life-time of a system in changeful IT circumstance. It was a module-based architecture that empower productivity at structured programming era. But it couldn't grow nor evolve, but could raise only calling frequency of module. But OOP or OO-method overcome limit of structured programing by class inheritance and/or overloading and/or over-riding. A component centric architecture, what is mixture of distributed systems, like CORBA or DCOM with OOP, can support not only high reusability or expansion of life-time but also Plug-&-Play between them. To assemble these component to build a new system in easy way, the well-formed specification of a component is highly required. At this study, the enhanced referential component architecture and its UML specification will be suggested.

• Journal of the Korean Applied Science and Technology
• /
• v.35 no.4
• /
• pp.1327-1337
• /
• 2018

Aviation fuel oil is more strictly controlled than other transport fuels because it can lead to major accidents in the event of a problem. The quality standards of the aircraft are specified by the domestic Korean Standard, the American Society for Testing and Materials and the International Air Transport Association, respectively. From 2016 to 2017, the quality analysis of 6 items such as aromatic content, sulfur content and distillation characteristics was carried out on the jet fuel produced at five domestic refineries. Domestic production of jet fuel has been shown to be in conformity with the quality standards and has been maintained at a constant level throughout the year. Compared with the specification of ASTM and IATA the aromatic content of domestic KS specification is set to be strictly 1.5 wt% higher than the ASTM and IATA setting specification, but it satisfies this specification sufficiently. In addition, other items such as sulfur content, distillation property and flash point satisfied both domestic and international specification.

• Journal of Korean Society of Steel Construction
• /
• v.16 no.1 s.68
• /
• pp.11-20
• /
• 2004

This paper focused on square steel tubular column to H-beam connections (concrete filled tubular) with an outside-type diaphragm. Based on the yield line theory and the nonlinear static FEM analysis the specification equations were evaluated by comparing them with previous result of the simplified tensile experiment[please check. The yield line theory applied to the mechanical model theory revised by K. Morita, the nonlinear static FEM analysis using abaqus/standard, the ultimate strength equation in the specification equation using the factor for long-time loading, and the yield ratio according to material. The allowable strength in the specification equations applied the safety factors of 2.2 and 2.6 in the cases with and without filled concrete, respectively. Therefore, the evaluation of strength(for the previous result of the simplified tensile experiment in this study) was considered possible through the yield line theory, the nonlinear static FEM analysis, and the specification equations. Likewise, the specification equations were seen to be an underestimate of the previous result of the simplified tensile experiment. The strength and displaced mesh in the FEM analysis approximated the previous result of the simplified tensile experiment.

• Journal of Advanced Marine Engineering and Technology
• /
• v.30 no.1
• /
• pp.11-21
• /
• 2006