• Proceedings of the Korea Information Processing Society Conference
• /
• 2008.05a
• /
• pp.327-330
• /
• 2008

본 논문은 도형 요구사항(Requirement Diagram)을 기반으로 MC/DC를 만족하는 테스트 케이스를 생성하는 방법을 기술한다. MC/DC는 테스트 케이스의 여러 커버리지 중 테스트 케이스의 질 측면과 효율성 측면에서 우수하다. 하지만 MC/DC는 구조적 커버리지(Structural Coverage)로써 이를 바로 도형 요구사항에 대해 적용시킬 수 없다. 그러므로 MC/DC를 기반으로 도형 요구사항에 적용하는 방법을 제시한다.

• International journal of advanced smart convergence
• /
• v.13 no.1
• /
• pp.85-91
• /
• 2024

Currently, generative artificial intelligence is a hot topic around the world. Generative artificial intelligence creates various images, art, video clips, advertisements, etc. The problem is that it is very difficult to verify the internal work of artificial intelligence. As a requirements engineer, I attempt to create a toon image by applying linguistic mechanisms to the current issue. This is combined with the UML object model through the semantic role analysis technique of linguists Chomsky and Fillmore. Then, the derived properties are linked to the toon creation template. This is to ensure productivity based on reusability rather than creativity in toon engineering. In the future, we plan to increase toon image productivity by incorporating software development processes and reusability.

• Journal of the Institute of Electronics Engineers of Korea SD
• /
• v.42 no.11
• /
• pp.23-32
• /
• 2005

The automatic generation of circuit diagrams has been practically used in the HDL based design for decades. Nevertheless, the diagrams became too complicated for the designers to identify the signal flows in the RTL and system level designs. In this paper, we propose four techniques to enhance the roadability of the complicated diagrams. They include i) the transformation of repetitive instances and terminals into vector forms, ii) an improved loop breaking algorithm, iii) a flat tap which simplifies the two level bus ripping structure that is required for the connection of a bundle net to multiple buses, and iv) the identification of block strings, and alignment of the corresponding blocks. Towards validating the proposed techniques, the diagrams of an industrial strength design m generated. The complexity of the diagrams has been reduced by up to $90\%$ in terms of the number of wires, the aggregate wire length, and the area.

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.40 no.11
• /
• pp.979-987
• /
• 2012

This paper implements and integrates algorithms for terrain following of UCAVs (Unmanned Combat Aerial Vehicles): trajectory generation, guidance, and navigation. Terrain following is very important for UCAVs because they perform very dangerous missions such as Suppression of Enemy Air Defences while the terrain following can improve the survivability of UCAVs against from the air defence systems of the enemy. To deal with the GPS jamming, terrain referenced navigation based on nonlinear filter is chosen. For the trajectory generation, Voronoi diagram is adopted to generate horizontal plane path to avoid the air defense system. Cubic spline method is used to generate vertical plane path to prevent collisions with ground while flying sufficiently close to surface. Follow-the-Carrot and pure pursuit tracking methods, which are look-ahead point based guidance algorithms, are applied for the guidance. Numerical simulation is performed to verify the performance of the integrated terrain following algorithm.

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.46 no.2
• /
• pp.175-181
• /
• 2018

Electric pump system is new technology for next generation propulsion unit. The system has simple structure which dose not need gas generator, injector and turbine and might better pump for low cost and low payload rocket. Therefore, this paper suggests conceptual design of electric-pump Permanent-Magnet Synchronous Motor (PMSM) which has 50 kW & 50,000 RPM for rocket. To satisfy the system's requirement, electromagnetic analysis is conducted for suitable inner and outer diameter of stator and rotor which uses 4000 Gauss cylinder magnet and Inconel 718 can to fix whole rotor. Futhermore, to confirm rotational vibration, rotordynamics analysis is conducted. By this analysis, Campbell diagram is printed. From the diagram, natural frequency could be determined for the only motor and dynamo meter test bench.

• Journal of Intelligence and Information Systems
• /
• v.6 no.1
• /
• pp.1-16
• /
• 2000

This paper analyzes the approaches of Web-based expert systems by comparing their pros and cons. and proposes a methodology of implementing the Web-based backward inference engines with reduced burden to Web servers. There are several alternatives to implement expert systems under the WWW environment : CGI, Web servers embedding inference engines external viewers Java Applets and HTML. Each of the alternatives have advantages and disadvantages of each own in terms of development and deployment testing scalability portability maintenance and mass service. Especially inference engines implemented using HTML possess relatively large number of advantages compared with those implemented using other techniques. This paper explains the methodology to present rules and variables for backward inference by HTML and JavaScript and suggests a framework for design and development of HTML-based Expert System. A methodology to convert a traditional rule base to an Experts Diagram and then generate a new HTML-based Expert System from the Experts Diagram is also addressed.

• The Journal of the Institute of Internet, Broadcasting and Communication
• /
• v.17 no.6
• /
• pp.113-119
• /
• 2017

The Rich Communication Service(RCS) is a next generation mobile messaging service. Since it has been developed and managed by a wireless service provider, 3rd party application developers cannot utilize the RCS features in their apps. A few studies have been proposed to solve this problem, even though they were not viable level of deployment. This paper presents a Web-based Rich Communication Service Software Framework(WebRSF) to help the 3rd party application developers adopt RCS features easily. WebRSF converts complicated RCS protocols to simple web-based protocols for providing the RCS 1-to-1 chat service to the 3rd parties. Communication protocols between WebRSF and its clients are defined in this paper. Also, a network configuration diagram and a message flow diagram are defined. Finally, performance evaluation between the WebRSF client and the RCS client are performed to simulate the load on clients' devices. It shows that the WebRSF client has 17% less loads than the RCS client while initiating sessions, and has 25% more loads after initiating sessions.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.6 no.8
• /
• pp.1161-1168
• /
• 2002

In this paper, the throughput performance of an ARQ scheme is analyzed with noisy feedback channel, in order to exactly analysis for performance of an ARQ scheme. An ARQ mechanism is presented by state diagram, and the throughput of an ARQ scheme is mathematically derived using generation function for a signal flow graph. The channel is modeled by the Nakagami-m fading channel which is distributed over far and wide, and the throughput performance of an ARQ scheme, which is applied in BPSK and BFSK systems, according to feedback gain and fading index m is analyzed through computer simulation. In the results, It is shown conformed that the throughput of an ARQ scheme decreased according to the increase of the noise for feedback channel, but it increased according to the increase of the feedback gain and fading index m. Also, it is shown that the throughput of an ARQ scheme using BPSK system is superior to BFSK system because of the difference of bit error probability between BPSK and BFSK systems.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.17 no.7
• /
• pp.1653-1659
• /
• 2013

In this paper, we propose a new ECAD software for efficiently analyzing and debugging of digital architecture implemented in Verilog HDL or VHDL codes. This software firstly elaborates HDL codes so as to extract internal architecture structure, then generates several graphical aids such as hierarchical schematics by applying placement and routing algorithm, object tree to show configuration of each module, instance tree to show hierarchical structure of instances, and SPD (Signal Propagation Diagram) to show internal interconnections. It is more important function that same objects in different views(HDL codes, object tree, instance tree, SPD, waveform etc.) can be highlighted at the starting any object. These functions are sure to improve efficiency of manual job to fix bugs or to analyze HDL codes.

• The KIPS Transactions:PartD
• /
• v.12D no.4 s.100
• /
• pp.569-582
• /
• 2005

As information and business communication via Internet are growing up, web-based software is wide spread and more important on the viewpoint of software qualify than stand-alone. Research on verification of web content links and web-based Program was tried, but has short on covering various types of web based software and making experiments to be applied in real testing practice. This paper suggests a modeling technique to be applied to dynamic and various types of web-based software. First, it identifies each elements consisting of web-based software and then construct a model of Object Control Flow Graph and Object Relationship Diagram. We can generate test cases covering all test paths of ORD or invoking key points test route. Suggested modeling method and test case selection technique are verified by applying five types of web-based software and compared with other web-based test techniques.