• Journal of the Korea Institute of Military Science and Technology
• /
• v.20 no.5
• /
• pp.688-699
• /
• 2017

Model-based test, a well-known method of the black box tests, is consisted of the following four steps : model construction using requirement, test case generation from the model, execution of a SUT (software under test) and detection failures. Among models constructed in the first step, state-based models such as UML standard State Machine are commonly used to design event-based embedded systems (e.g., weapon control systems). To generate test cases from state-based models in the next step, coverage-based techniques such as state coverage and transition coverage are used. Round-trip path coverage technique using W-Method, one of coverage-based techniques, is known as more effective method than others. However it has a limitation of low failure observability because the W-Method technique terminates a testing process when arrivals meet states already visited and it is hard to decide the current state is completely same or not with the previous in the case like the GUI environment. In other words, there can exist unrevealed faults. Therefore, this study suggests a Extended W-Method. The Extended W-Method extends the round-trip path to a final state to improve failure observability. In this paper, we compare effectiveness and efficiency with requirement-item-based technique, W-Method and our Extended W-Method. The result shows that our technique can detect five and two more faults respectively and has the performance of 28 % and 42 % higher failure detection probability than the requirement-item-based and W-Method techniques, respectively.

• Journal of the Institute of Convergence Signal Processing
• /
• v.11 no.1
• /
• pp.32-40
• /
• 2010

In this work, the method of acquiring the pupil function of optical system is proposed. The wavefront aberration and the intensity distribution of pupil can be analysed with the pupil function. This system can be adopted to the manufacturing line of optical pickup directly and also has good performance to analysing various property of optical instrument. It is one kind of inverse problem to get pupil functions by 3D beam data. The extended Nijboer-Zernike(ENZ) approach recently proposed by Netherlands research group is adopted to accompany to solve these inverse problem. The ENZ approach is one of a aberration retrieval method for which numerous approaches are available. But this approach is new in the sense that it use the highly efficient representation of pupil functions by means of their Zernike coefficients. These coefficients are estimated by using matching procedure in the focal region the theoretical 3D intensity distribution and measured 3D intensity distribution. The algorithm that can be applied more general circumstance such as high-numerical aperture instrument is developed by modifying original ENZ approach. By these scheme, MS windows based GUI program is developed and the good performance is verified with generated 3D beam data.

• Bulletin of the Korean Chemical Society
• /
• v.34 no.2
• /
• pp.615-621
• /
• 2013

Solvolyses of isobutyl chloroformate (4) in 43 binary solvent mixtures including highly aqueous media, water, $D_2O$, $CH_3OD$, 2,2,2-trifluoroethanol (TFE) as well as aqueous 1,1,1,3,3,3-hexafluoro-isopropanol (HFIP) solvents were performed at $45^{\circ}C$, in order to further investigate the recent results of D'Souza, M. $J^1$. et al.; solvolyses of 4 are found to be consistent with the proposed mechanism ($Ad_E$). The variety of solvent systems was extended to comprise highly ionizing power solvent media ($Y_{Cl}$ > 2.7 excepted for aqueous fluorinated solvents and pure TFE solvent) to investigate whether a mechanistic change occurs as solvent compositions are varied. However, in case of 18-solvent ranges having aqueous fluorinated solvent systems (TFE-$H_2O$ and HFIP-$H_2O$) and/or having $Y_{Cl}$ > 2.7 solvent systems, the solvent effect on reactivity for those of 4 are evaluated by the multiple regression analysis as competition with $S_N2$ - type mechanism. And in pure TFE and 97 w/w % HFIP solvents with high $Y_{Cl}$ and weak $N_T$, these solvolyses are understood as reactions which proceed through an ionization ($S_N1$) pathway.

• Journal of Digital Convergence
• /
• v.11 no.8
• /
• pp.213-218
• /
• 2013

In this paper, when vehicle inspection is made, the check way is recommended based on the intelligent and personalized in the workplace, education, and other space-time according to the current situation. These results increase productivity, reduce costs, and improve performance. So we designed vehicle inspection recommendation system using ontology. Recommendation method is that components connected concept are shown according to weight value. if components are connected with other concept, the components are extended.

• 한국신재생에너지학회:학술대회논문집
• /
• 2010.06a
• /
• pp.180.2-180.2
• /
• 2010

Simulation technology for dynamic analysis of wind turbine is developed. The Aerodyn and the DAFUL are chosen for aerodynamic analysis and multi-body and flexible body dynamics respectively. Subroutines and variables of Aerodyn developed by NREL are analyzed with hub-height wind data, full field turbulent wind data and Airfoil data. The interface to perform coupled analysis between AeroDyn and DAFUL, GUI for modeling several parts of wind turbines are developed. The program will be extended to analyze the coupled analysis of aerodynamic and hydrodynamic behavior for floating offshore wind turbines.

• Proceedings of the Computational Structural Engineering Institute Conference
• /
• 1995.04a
• /
• pp.147-159
• /
• 1995

PC that has been used extensively since the end of 1970 has extended its applicability to the structural analysis Held, and recently the study for advanced integrated structural design system is increasing. This paper concentrates on the steel greenhouse structure applying light steel element At first it provides GUI for correct input of structured analysis data from the pre-processor which models greenhouse structure and extracts a shape data from an analysis data file. Secondly, the data thus extracted is automatically connected with external analysis module. Thirdly, it takes up the study concequence of integrated structural design system for greenhouse that presents the analysis result as a diagram instead of a number.

• IE interfaces
• /
• v.13 no.3
• /
• pp.539-547
• /
• 2000

An architecture of a Web-based Decision Support system for mathematical analysis is presented. Front-end modules provide web-client GUI environment for mathematical analysis. The networking architecture is built upon client/server system by Java socket and accesses database by JDBC in WWW. Back-end modules provide decision supporting service and data management for mathematical programming analysis. In the back-end any analysis tools, such as mathematical optimizer, simulation package, or statistics package can be used. As an application example for this implementation, optimal facility replacement decision problem is selected. In the implementation the optimal facility replacement decision problem is formulated as a shortest path problem. It uses Oracle DB and CPLEX package as the mathematical optimizer. While ORAWeb is designed and implemented on the optimal facility replacement problem, it can easily be extended to any decision supporting problems that would require mathematical optimization process.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.12 no.4
• /
• pp.766-771
• /
• 2008

As the practical range of SAW Device extended into various fields including physical sensor, chemical sensor and ID Tag, the platform for various SAW Devices is required more than ever. While SAW ID or Sensors advanced remarkably, the development of platform which applies to SAW Sensor left much to be desired. Therefore this paper represents the SAW platform in order to use SAW ID such as ID Tag or Sensors more conveniently. The SAW platform consists of a RF module which can recognize SAW ID and a main module which has a hish performance processor in order to process the response signal of SAW ID. The main module which has a high performance processor is designed by GUI environmental type to ensure that users are able to use the platform more easily. In this paper, the SAW platform, which is based on ARM9 core processor, used Windows Embedded CE 6.0 OS which brings friendly interface to users. Also the developers can make less effort to design various applications with sensors.

• Journal of Power Electronics
• /
• v.14 no.1
• /
• pp.92-104
• /
• 2014

To insure stable operation and eliminate twice torque ripple, a topology for a six phase permanent magnet synchronous generator (SP-PMSG) with a neutral point connected together was analyzed in this paper. By adopting an extended transformation matrix, the mathematic model of the space vector control was established. The voltage and torque equations were deduced while considering the third harmonic flux and inductance. In addition, the suppression third harmonic method and the closed loop control strategy were proposed. A comparison analysis indicates that the cooper loss minimum method and the current magnitude minimum method can meet different application requirements. The voltage compensation amount for each of the methods was deduced which also takes into account the third harmonic effect. A simulation and experimental result comparison validates the consistency through theoretical derivation. It can be seen that all of the two control strategies can meet the requirements of post-fault.

• Transactions of the Korean Society of Machine Tool Engineers
• /
• v.10 no.5
• /
• pp.118-123
• /
• 2001

Most structures of automobile are composed of many substructures connected to one another by various types of mechanical joints. In automotive engineering, it is important to study these connected structures under various dynamic farces for the evaluations of fatigue life and stress concentration exactly. It is rarely obtained the accurate load history of specified positions because of the errors such as modeling, measurement, and etc. In the beginning of design, exact load data are actually necessary for the fatigue strength and life analysis to minimize the cost and time of designing. In this paper, the procedure of practical dynamic load determination is developed by the combination of the principal stresses of F.E. analysis and experiment. Inverse problem and least square pseudo inverse matrix are adopted to obtain an inverse matrix of analyzed stresses matrix. Pseudo-Practical dynamic load was calculated for Lab. Test of sub-structure. GUI program(PLODAS) was developed for whole of above procedure. This proposed method could be extended to any geometric shape of structure.