• Title/Summary/Keyword: logic tool

Search Result 330, Processing Time 0.023 seconds

Software Tool Development for structured Programming (구조적 프로그램을 위한 소프트웨어 Tool의 개발)

  • Lee, Dong-Choon;Kim, Seong-Jong;Kim, Chang-Bok;Shin, In-Chul;Rhee, Sang-Burm
    • Proceedings of the KIEE Conference
    • /
    • 1987.07b
    • /
    • pp.1140-1143
    • /
    • 1987
  • The purpose of this study is to develop a systematic tool which can reduce the abstractness of the structured programming disciplines by a system. The system is an interactive software which forces the user to think and write software in a hierarchical stepwise refinement fashion for an implementation of the software design. The program produced by the system has a program control structure and a logic flow which are very easy to recognize. The modification of a program is, therefore, easier to attain by altering the specifications of the modules involved. It is possible to reduce the programming errors because of those characteristics.

  • PDF

Nonlinear Time Series Analysis Tool and its Application to EEG

  • Kim, Eung-Soo;Park, Kyung-Gyu
    • International Journal of Fuzzy Logic and Intelligent Systems
    • /
    • v.1 no.1
    • /
    • pp.104-112
    • /
    • 2001
  • Simply, Nonlinear dynamics theory means the complicated and noise-like phenomena originated form nonlinearity involved in deterministic dynamical system. An almost all the natural signals have nonlinear property. However, there exist few analysis software tool or package for a research and development of applications. We develop nonlinear time series analysis simulator is to provide a common and useful tool for this purpose and to promote research and development of nonlinear dynamics theory. This simulator is consists of the following four modules such as generation module, preprocessing module, analysis module and ICA module. In this paper, we applied to Electroencephalograph (EEG), as it turned out, our simulator is able to analyze nonlinear time series. Besides, we could get the useful results using the various parameters. These results are used to diagnostic the brain diseases.

  • PDF

MVC model design for an Authorization Tool of UML Class Diagram (UML 클래스 도해의 저작도구를 위한 MVC모델의 설계)

  • Kim, Jae-Hoon;Kim, Yun-Ho
    • Proceedings of the Korean Institute of Information and Commucation Sciences Conference
    • /
    • 2010.10a
    • /
    • pp.634-637
    • /
    • 2010
  • This paper suggests the design of MVC model for an authorization tool of UML class diagram. In the design of MVC model, it is designed to define view, controller and model and perform the individual role of each component. The View represents GUI and the Controller is responsible for data input and output and the Model is to handle the business logic. The MVC model design for an authorization tool of class diagram gives the role independently and tries to be flexible with system by dividing into the suitable features of each component.

  • PDF

An approach to building factory scheduling expert system by using model-based AI tool

  • Maruyama, Tadsshi;Konno, Satoshi
    • 제어로봇시스템학회:학술대회논문집
    • /
    • 1992.10b
    • /
    • pp.446-451
    • /
    • 1992
  • In this paper, we propose a method to manage production system easily for operators when either equipments or products are changed. And we explain the scheduling AI tool which realizes the proposal method. The tool's knowledge expression consists of models, rules, mathematical expression and fuzzy logic. The model expresses the relations between products and manufacture, and properties of products. The models are separated into three type, equipment model, operation model, and product model. These models are classified by applicable fields as the assembly process or continuous plant process, The model expression of each type is based on object oriented paradigm. We report systems utilizing our approach.

  • PDF

A Study on Heat and Mass Balance in a Coal Gasifier (석탄 가스화기 열 및 물질정산에 관한 연구)

  • Kim, Bong-Keun;Yoo, Jeong-Seok;Kim, You-Seok
    • 한국신재생에너지학회:학술대회논문집
    • /
    • 2007.11a
    • /
    • pp.424-428
    • /
    • 2007
  • In the current most tool using heat and mass balance in a coal gasifier is dependent on commercial code such as STANJAN, CHEMKIN. However, in order to keep the self-reliance technology, it is necessary to develop the original design tool available for comprehension and analysis on the spot. So in this study, its own heat and mass balance program is developed on the assumption that the process in a coal gasifier is adiabatic and quasi-equilibrium. The mass balance is calculated by using the chemical equilibrium principle. Also the heat and mass balance according to main operating factors such as temperature, pressure and O2/Coal ratio, was carried in this tool. This heat and mass balance was verified on the basis of the results simulated in STANJAN, commercial codes using similar logic.

  • PDF

Ontological Modeling of E-Catalogs using Description Logic (Description Logic을 이용한 전자카타로그 온톨로지 모델링)

  • Lee Hyunja;Shim Junho
    • Journal of KIISE:Databases
    • /
    • v.32 no.2
    • /
    • pp.111-119
    • /
    • 2005
  • Electronic catalog contains ich semantics associated with products, and serves as a challenging practical domain for ontology application. Ontology is concerned with the nature and relations of being. It can play a crucial role in e-commerce as a formalization of e-Catalogs. Description Logics provide a theoretical core for most of the current ontology languages. In this paper, we present an ontological model of e-Catalogs in DL. We take an Extended Entity Relationship approach for conceptual modeling method, and present the fundamental set of modeling constructs and corresponding description language representation for each construct. Additional semantic knowledge can be represented directly in DL. Our modeling language stands within SHIQ(d) which is known reasonably practical with regard to its expressiveness and complexity. We illustrate sample scenarios to show how our approach may be utilized in modeling e-Catalogs, and also implement the scenarios through a DL inference tool to see the practical feasibility.

A Radiation-hardened Model Design of CMOS Digital Logic Circuit for Nuclear Power Plant IC and its Total Radiation Damage Analysis (원전용 IC를 위한 CMOS 디지털 논리회로의 내방사선 모델 설계 및 누적방사선 손상 분석)

  • Lee, Min-Woong;Lee, Nam-Ho;Kim, Jong-Yeol;Cho, Seong-Ik
    • The Transactions of The Korean Institute of Electrical Engineers
    • /
    • v.67 no.6
    • /
    • pp.745-752
    • /
    • 2018
  • ICs(Integrated circuits) for nuclear power plant exposed to radiation environment occur malfunctions and data errors by the TID(Total ionizing dose) effects among radiation-damage phenomenons. In order to protect ICs from the TID effects, this paper proposes a radiation-hardening of the logic circuit(D-latch) which used for the data synchronization and the clock division in the ICs design. The radiation-hardening technology in the logic device(NAND) that constitutes the proposed RH(Radiation-hardened) D-latch is structurally more advantageous than the conventional technologies in that it keeps the device characteristics of the commercial process. Because of this, the unit cell based design of the RH logic device is possible, which makes it easier to design RH ICs, including digital logic circuits, and reduce the time and cost required in RH circuit design. In this paper, we design and modeling the structure of RH D-latch based on commercial $0.35{\mu}m$ CMOS process using Silvaco's TCAD 3D tool. As a result of verifying the radiation characteristics by applying the radiation-damage M&S (Modeling&Simulation) technique, we have confirmed the radiation-damage of the standard D-latch and the RH performance of the proposed D-latch by the TID effects.

Simulation Tool Development for Dynamic Tracked Tensioning System in Tracked Vehicles (궤도차량의 동적 궤도장력 조절시스템을 위한 시뮬레이션 툴 구축)

  • 김일민;김민철;임훈기;허건수
    • Proceedings of the Korean Society of Machine Tool Engineers Conference
    • /
    • 2002.04a
    • /
    • pp.76-81
    • /
    • 2002
  • The characteristics of the track are important concerning the mobility of tracked vehicles. It can be represented in terms of the track tension and maintaining the track tension adequately guarantees the stable and improved driving of the tracked vehicles. The track tension must be known in order to be controlled and it needs to be estimated in real-time because it is difficult to be measured. The tension around idler and sprocket can be controlled by the frizzy logic control system base on the estimated values. Dynamic Track Tensioning System(DTTS) which is estimating and controlling the track tension. In this paper, simulation tool is developed in order to apply the DTTS to real battle tanks. To construct the simulation tool, the Modeling the tracked vehicle, constructing estimation system, and designing controller should be achieved first and then all subsystem should be organized in one. The simulation tool make the RecurDyn model of tracked vehicle, which is plant model, and the control system exchange their data simultaneously. Simulation with many kinds of driving conditions and road conditions is carried out and the results are interpreted. The interpretation provides necessary information to apply the DTTS to real battle tanks.

  • PDF

FBDtoVHDL: An Automatic Translation from FBD into VHDL for FPGA Development (FBDtoVHDL: FPGA 개발을 위한 FBD에서 VHDL로의 자동 변환)

  • Kim, Jaeyeob;Kim, Eui-Sub;Yoo, Junbeom;Lee, Young Jun;Choi, Jong-Gyun
    • Journal of KIISE
    • /
    • v.43 no.5
    • /
    • pp.569-578
    • /
    • 2016
  • The PLC (Programmable Logic Controller) has been widely used for the development of digital control system of nuclear power plant. The PLC has high maintenance costs and increasing complexity, hence, FPGA (Field Programmable Gate Array) based digital control system has been considered as an alternative. However, the development of FPGA based digital control system is a challenge for PLC engineers because they are required to learn about new language to develop FPGA and knowledge and know-how acquired in the development of PLC is not transferable. In this study, we proposed and implemented an automatic translation tool for translation of FBD (Function Block Diagram), a programming language of PLC software, into VHDL (VHSIC Hardware Description Language). Automatically translating the FBD to VHDL using this tool allows PLC engineers to develop FPGA without any knowledge of the hardware description language.

Reconstruction Analysis of Pedestrian Collision Accidents Using Fuzzy Methods (퍼지수법을 활용한 보행자 충돌사고 재구성 해석)

  • Park, Tae-Yeong;Han, In-Hwan
    • Journal of Korean Society of Transportation
    • /
    • v.29 no.1
    • /
    • pp.125-134
    • /
    • 2011
  • In order to reconstruct vehicle-pedestrian collision accidents, this paper presents a fuzzy tool to estimate accurately the impact velocity of the vehicle using parameters which could be easily collectable at the accident scene. The fuzzy rules and membership functions were set up using number of over 200 domestic and foreign data from accidents and empirical tests and 700 data from multibody simulation experiments. The developed fuzzy tool deduces the category of pedestrian trajectory and impact speed of the vehicle using 4 membership functions and 2 logic rules. The membership function of throw distance was differently set according to the deduced category of trajectories. The implemented fuzzy program was validated through comparing with the domestic and foreign empirical data. The output results agree very well in impact velocities of vehicle resulting the accuracy and usefulness of the developed tool in the reconstruction analysis of vehicle-pedestrian collision accidents.