• 제목/요약/키워드: 기능 모델링

Search Result 1,156, Processing Time 0.027 seconds

LOSIM : Logic Simulation Program for VLSI (LOSIM : VLSI의 설계검증을 위한 논리 시뮬레이션 프로그램)

  • Kang, Min-Sup;Lee, Chul-Dong;Yu, Young-Uk
    • Journal of the Korean Institute of Telematics and Electronics
    • /
    • v.26 no.5
    • /
    • pp.108-116
    • /
    • 1989
  • The simulator described here-LOSIM(LOgic SIMulator)-was developed to verify the logic design for VLSI(Very Large Scale Integrated) circuits at mixed level. In this paper, we present a modeling approach to obtain more accurate results than conventional logic simulators [5-6,9] for general elements, functional elements, transmission gates and tri-state gates using eight signal values and two gignal strengths. LOSIM has the capability which can perform timing and hazard analysis by using assignable rise and fall delays. We also prosent an efficient algorithm to accurately detectdynamic and static hazards which may be caused by the circuit delays. Our approach is based on five logic values and the scheduled time. LOSIM has been implemented on a UN-3/160 workstation running Berkeley 4.2 UNIX, and the program is written in C language. Static RAM cell and asynchronous circuit are illustrated as an example.

  • PDF

A Systematic Model for Constructing Environment in Virtual World (가상세계 구축을 위한 체계적 환경 모델링 방법)

  • Kim, No-Sun;Park, Jong-Hee
    • Journal of the Institute of Electronics Engineers of Korea CI
    • /
    • v.38 no.3
    • /
    • pp.13-23
    • /
    • 2001
  • In this paper, we design and implement a virtual environment which forms the basis of constructing a virtual world in a systematic fashion. Though virtual environments have been developed in several systems using the virtual reality, they are designed without a systematic method of constructing. In our framework, a virtual environment is structured in six layers according to their functions and ranges based on a classification of environmental factors of which the real world is composed. These layers compose a universal environment in our virtual world by operating independently and exchanging information with one another periodically. The designed environment shows that it Can provide diverse real life situations and is easily extensible to enhance its functionalities. We present effective design schemes for several important environmental factors. We demonstrate viability of our framework through implementing a plausible virtual world based on the proposed schemes.

  • PDF

Investigation on the $8{\times}8$ ReadOut IC for Ultra Violet Detector (UV 검출기 제작을 위한 $8{\times}8$ ReadOut IC에 관한 연구)

  • Kim, Joo-Yeon;Kim, Tae-Geun
    • Journal of the Institute of Electronics Engineers of Korea TE
    • /
    • v.42 no.3
    • /
    • pp.45-50
    • /
    • 2005
  • A UV camera is being used in various application regions such as industry, medical science, military, and environment monitoring. A ROIC(ReadOut IC) is developed and can read the responses from UV photodiode sensors which are made with III-V nitride semiconductors of GaN series haying high resolution and high efficiency. To design FPA(Focal Plane Array) UV $8{\times}8$ ROIC, the photodiode type sensor devices are modeled as the capacitor type ones. The ROIC reads out signals from the detector at)d outputs sequentially pixel signals after amplifying and noise filtering of them. The ROIC is fabricated using the $0.5{\mu}m$ 2Poly 3Metal N-well CMOS process. And then, it and photodiode array are hybrid bonded by gold stud bumping process using ACP(Anisotropic Conductive Paste). After the packaging, UV images appearing on PC verified the operations of the ROIC.

A Study on the Overseas Expansion Strategy of u-City based on BIM/GIS (BIM/GIS 기반 u-City 해외진출 전략 연구)

  • Na, Joon Yeop;Lee, Woo Sik;Hong, Chang Hee;Hwang, Jung Rae
    • Spatial Information Research
    • /
    • v.20 no.6
    • /
    • pp.119-127
    • /
    • 2012
  • u-City is next generation city which can innovate functions of city. It can realize increase of convenience, improvement of life quality and safety guarantee by convergence of information technologies and ubiquitous service with urban space. Market of u-City is in range of rapid growth and u-City can make enormous synergy effects by accompanying construction technologies with spatial information, sensor technologies, communications network and related equipments. In this study, we analyzed the domestic/abroad status, researches and element technologies involved in u-City. And, we suggested overseas expansion strategy of u-City such as selection and analysis of target nations, packaging method of u-City service models and application of BIM/GIS connection technologies in terms of u-City construction and operation.

A Study on Design Improvement for Smoke-Control System Using the Pressurization of the Elevator Shaft (승강로 가압 제연설비의 설계개선에 관한 연구)

  • Kim, Il-Young;Kim, Kyung-Jin;Hong, Ji-Hwan;Kwon, Chang-Hee;Yoo, Chul-Kwon
    • Fire Science and Engineering
    • /
    • v.33 no.3
    • /
    • pp.74-83
    • /
    • 2019
  • In the U.S., the pressurization of elevator shaft was developed in 1972 to allow vulnerable people, such as the elderly and weak who could not use escape stairs in case of fire, to evacuate. It is an advantage in terms of space saving by not using vertical ducts. This study drew the problem of the pressurization of elevator shaft based on the existing domestic patents and proposed improvements. The smoke control volume calculation method is proposed by using vertical modeling. Leakage gaps in elevator doors need to be reviewed through experimental data or actual data. The evacuation floor was divided, the openings in the elevator machine room were automatically closed to the fire signal and the relief damper was installed to improve the performance. The improved method functions as the smoke control damper supplying the air flow rather than maintaining the differential pressure. To increase reliability of the research results, the procedure was performed to verify by using Contam.

Design and Implementation of Rule-based BPEL System for BPEL Rule Modeling (BPEL 규칙 모델링을 위한 규칙 기반 BPEL 시스템 설계와 구현)

  • Kwak, Donggyu;Choi, Jaeyoung
    • Journal of IKEEE
    • /
    • v.17 no.3
    • /
    • pp.332-338
    • /
    • 2013
  • BPEL is a standard executable language for specifying actions within business processes with Web services. BPEL workflow requires rule engine to describe application process in BPEL, as the requirements increase. It is needed to develop new BPEL's engine or modify BPEL's engine in order to add the functionality of rules to BPEL engines, but this method is not easy to implement and it requires very high cost. In this paper, we present an R4BPEL document, which uses the original BPEL grammar and includes a rule document. With this method, it is possible to build rule-based BPEL environment easily by adding web services with rules and R4BPEL document analyzer to the general-purpose Web services. In this paper, we campared a BPEL's document in proposed system with a BPEL's document in the existing system. And we demonstrated the simplicity of the rule-based system.

The optimum damping retrofit for cabinet structures of NPP by μ-GA (μ-GA를 이용한 원전 캐비닛구조물의 최적감쇠보강)

  • Lee, Gye-Hee;Ha, Dong-Ho
    • Journal of the Earthquake Engineering Society of Korea
    • /
    • v.9 no.1 s.41
    • /
    • pp.1-7
    • /
    • 2005
  • The optimal seismic retrofitting of NPP(Nuclear Power Plant) cabinet structures that contain seismic category 1 relays was studied in this paper. During earthquake event, the failure modes of relays are not appeared in form of structural failure, but are appeared in form of contact chatter of relay. Therefore, the retrofitting of cabinet has to be aimed at the reducing of the structural response, such as acceleration. In this study, the optimal characteristic values of dampers were searched by ${\mu}$-GA (micro-Genetic Algorithm) scheme for several installation patterns. To keep accuracy and efficiency of analysis, the structural models of cabinet were considered as a frame structure. The responses of structure were obtained inform of acceleration response spectra derived from the results of nonlinear time history analysis including damping nonlinearity. The objective function of the optimum procedure was constructed based on the maximum ratio of maximum spectral value and target GERS (General Equipment Ruggedness Spectra). The results show the good improvements of fitness for adequate retrofitting pattern. Especially, the improvements of fitness were remarkable when the values of damping exponents are low.

Performance Analysis for Optimization of the Wireless Local Loop System (WLL (Wireless Local Loop) 시스템의 최적화를 위한 성능 분석)

  • Hwang, Sang-Woo;Park, Doo-Yeong
    • The Journal of Engineering Research
    • /
    • v.3 no.1
    • /
    • pp.97-106
    • /
    • 1998
  • In this paper, we analyze the WLL systems with high chip rate, which virtually eliminates the multipath fading effects by appling space diversity functions. First, we found out the capacity of reverse link which resulted from performing computer simulation of the transmission and reception of the WLL systems to evaluate the performance of the WLL systems in real environment. Besides, we analyze the radio propagation medium and the link budget and from the results, made RCSU for providing of the AWGN multipath fading channel. This RCSU is produced to characterize the urban radio propagation medium in various environments. From the simulation results, diversity gains increase as depth of fading becomes deeper. We also confirm that the systems applied diversity reduce the effects of multipath fading phenomena which cause to degrade the performance of WLL systems, based on the results $E_b/N_o$ and BER curve.

  • PDF

Development of a Concurrency Control Technique for Multiple Inheritance in Object-Oriented Databases (객체지향 데이터베이스의 다중계승을 위한 동시성 제어 기법 개발)

  • Jun, Woochun;Hong, Suk-Ki
    • Journal of Internet Computing and Services
    • /
    • v.15 no.1
    • /
    • pp.63-71
    • /
    • 2014
  • Currently many non-traditional application areas such as artificial intelligence and web databases require advanced modeling power than the existing relational data model. In those application areas, object-oriented database (OODB) is better data model since an OODB can providemodeling power as grouping similar objects into class, and organizing all classes into a hierarchy where a subclass inherits all definitions from its superclasses. The purpose of this paper is to develop an OODB concurrency control scheme dealing with multiple inheritance. The proposed scheme, called Multiple Inheritance Implicit Locking (MIIL), is based on so-called implicit locking. In the proposed scheme, we eliminate redundant locks that are necessary in the existing implicit locking scheme. Intention locks are required as the existing implicit locking scheme. In this paper, it is shown that MIIL has less locking overhead than implicit locking does. We use only OODB inheritance hierarchies, single inheritance and multiple inheritance so that no additional overhead is necessary for reducing locking overhead.

Development of the 3-D Fracture Network Analysis and Visualization Software Modules (삼차원 불연속면 연결구조 해석 및 가시화 소프트웨어 모듈 개발)

  • Noh, Young-Hwan;Choi, Yosoon;Um, Jeong-Gi;Hwang, Sukyeon
    • Tunnel and Underground Space
    • /
    • v.23 no.4
    • /
    • pp.261-270
    • /
    • 2013
  • As part of the development of the 3-D geologic modeling software, this study addresses on new development of software modules that can perform the analysis and visualization of the fracture network system in 3-D. The developed software modules, such as BOUNDARY, DISK3D, FNTWK3D, CSECT and BDM, are coded on Microsoft Visual Studio platform using the MFC and OpenGL library supported by C++ program language. Each module plays a role in construction of analysis domain, visualization of fracture geometry in 3-D, calculation of equivalent pipes, production of cross-section map and management of borehole data, respectively. The developed software modules for analysis and visualization of the 3-D fracture network system can be used to tackle the geomechanical problems related to strength, deformability and hydraulic behaviors of the fractured rock masses. All these benefits will further enhance the economic competitiveness of the domestic software industry.