• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 2003.06a
• /
• pp.1663-1667
• /
• 2003

This thesis is on tile development of LD(Laser Diode) chip tester and the control system based on graphical programming language(LabVIEW) to control the equipment. The LD chip tester is used to test the optic power and the optic spectrum of the LD Chip. The emitter size of LD chip and the diameter of the receiver(optic fiber) are very small. Therefore, in order to test each chip precisely, this tester needs high accuracy. However each motion part of the tester could not accomplish hish accuracy due to the limit of the mechanical performance. Hence. an image processing with machine vision was carried out in order to compensate for the error. and also a load test was carried out so as to reduce tile impact of load on chip while the probing motion device is working. The obtained results were within ${\pm}$5$\mu\textrm{m}$ error.

• Proceedings of the KSR Conference
• /
• 2007.05a
• /
• pp.1000-1007
• /
• 2007

Recently, many critical control systems are developed using formal methods. When software applied to such systems is developed, the employment of formal methods in the software requirements specification and verification will provide increased assurance for such applications. Earlier error of overlooked requirement specification can be detected using formal specification method. Also the testing and full verification to examine all reachable states using model checking to undertake formal verification are able to be completed. In the comparison of other formal specification methods, we choose the Z formal language for applying to the train control system. Using Z is able to realize higher correctness in the requirement specification, and we propose the Statemate of the best solution in formal verification tools for the system modeling and verification. The Statemate makes it possible to prove thoroughly the system execution from the simple graphical modeling of the complicated train control system. Then we can expect that the model-based formal method combining Z with Statemate will be utilized widely for the railway systems due to various strong points.

• Journal of the Korean Institute of Telematics and Electronics B
• /
• v.30B no.5
• /
• pp.43-51
• /
• 1993

A new Hangul code called Truecode is developed for accomodating to the future computing environments of graphical user interface and multimedia as well as for corresponding with the invention principle of Hangul. Truecode is not a forced two-byte code of syllable unit, as completion-type of combination-type, currently used, but a one byte code of phoneme unit, which can represent initial consonant, vowel, and final consonant each. It is quite different from three-byte code of syllable unit and also does not require the fill code used for three-byte code. We expect great contribution to the Hangul culture from Truecode's some important following features. It can express all the Korean characters we may imagine and does not cause any problem in communication. As well as we may use direct connection font, we can assign ont-to-one correspondence between Truecode and a keyboard with three sets. Truecode has a good advantage in developing application softwares of Hangul and it can nicely be applied to the fields of speech recognition and artificial intelligence using natural language.

• 한국전산유체공학회:학술대회논문집
• /
• 1999.11a
• /
• pp.145-151
• /
• 1999

An Interactive grid generation program(KGRID) with graphical user interface(GUI) has been improved. KGRID works on the UNLX environment and GUI has been implemented with OSF/Motif and X Toolkit and the graphics language is Open GL for visualization of the 3D objects. It supports more convenient user environment to generate 2D and 3D multi-block structured grid systems. It provides various useful field grid generation methods, which are the algebraic methods, the elliptic partial differential equations method and the predictor-corrector method. It also supports 3D surface grid generation with NURBS(Non-Uniform Rational B-Spline) and various stretching functions to control grid points distribution on curves and surfaces. And some menus are added to perform flexible management, for the objects. We generated surface and field grid system about full aircraft configuration using KGRID. The performance and stability of the KGRID is verified through the generation of the grid system about a complex shape.

• The Transactions of the Korean Institute of Electrical Engineers B
• /
• v.50 no.5
• /
• pp.205-213
• /
• 2001

This paper presents a virtual instrumentation(VI) system for LIMs performance on-line monitoring. The VI is designed using the graphical programming language LabVIEW and is capable of performing on-line measurement functions, including data acquisition, display, and analyses in the time and frequency domains, as well as data archiving. To monitor in real time the steady-state and transient electromagnetic thrust of LIMs, the search coil is used for the determination of the flux linkage components, which is then multiplied by the appropriate current components to yield a signal proportional to the electromagnetic thrust. This paper reports the LIM's dynamics measured by the proposed on-line monitoring system.

• Proceedings of the KIEE Conference
• /
• 2002.11b
• /
• pp.253-255
• /
• 2002

The paper presets the improvements of MMI at the PROSET2000 correction program which is totally computerized system of the power system protection. The Base Form that is an open interface is developed to be able to compose the screen by reading the input screen from the database. It also is developed to be suitable for the environment of the Graphical User Interface instead of the DOS window when the users do the pannel settings. Program development in this paper is designed by Unified Modeling Language(UML) techniques.

• Proceedings of the KIEE Conference
• /
• 2002.11d
• /
• pp.160-162
• /
• 2002

This paper presents a virtual instrumentation (VI) system for on-line monitoring the performance of universal motor. The VI is designed using the graphical programming language LabVIEW and is capable of performing real time measurement functions, including data acquisition, display, and analyses in the time and frequency domains, as well as data archiving. The electrical quantities and the mechanical quantities on the performance of universal motor monitored by the proposed system are reported.

• Journal of Power System Engineering
• /
• v.14 no.1
• /
• pp.40-46
• /
• 2010

This paper shows the development process for measuring three-dimensional flow velocity components in a web-browser. The system is developed in an embeddable C/C++ interpreter Ch and Ch-CGI toolkit. The interface for the web-based measurement system consists of a set of web HTML files and Ch files for CGI. All of data in web browser are passed to Ch-CGI script to generate the output of new HTML file. PC-Server and PC-Client can submit measurement parameters and receive the text/graphical results each other. PC-Client can control the test equipment by using a parameters that received from PC-Server. It also can pass the test results between the web-based measurement system. In summary, the designed measurement system is evaluated, the outputs shown well on the web browser.

• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 2006.05a
• /
• pp.629-630
• /
• 2006

This paper present a design experience of supervisory control system platform for agile and intelligent manufacturing(AIM). Embodied integrated environment that can do in place that do work direction, analysis command file generation, achievement using Petrinet-type Graphical Language(PGL) in proposed Supervisory Control System. Also, embodying whole system software in Modular done form, did to have extensity to fit in developer's requirement.

• Computers and Concrete
• /
• v.16 no.3
• /
• pp.415-428
• /
• 2015

Study on flexural retrofitting of RC beams using external bars with additional intermediate anchorages at soffit is reported in this paper. Effects of varying number of anchorages in the external bars at soffit were studied by finite element analysis using ANSYS 12.0 software. The results were also compared with available experimental results for beam with only two end anchorages. Two sets of reference and retrofitted beam specimens with two, three, four and five anchorages were analysed and the results are reported. FE modeling and non-linear analysis was carried out by discrete reinforcement modeling using Solid65, Solid45 and Link8 elements. Combin39 spring elements were used for modeling the frictional contact between the soffit and the external bars. The beam specimens were subjected to four-point bending and incremental loading was applied till failure. The entire process of modeling, application of incremental loading and generation of output in text and graphical format were carried out using ANSYS Parametric Design Language.