• 한국시뮬레이션학회논문지
• /
• 제10권1호
• /
• pp.25-34
• /
• 2001

In this paper, we describe the generation method of interface logic which replace between IP & IP handshaking signal with asynchronous logic circuit. Especially, we suggest the new asynchronous sequential "Waveform to VHDL" code creation algorithm by flow chart conversion : Wave2VHDL - if only mixed asynchronous timing waveform is presented the level type input and pulse type input for handshaking, we convert waveform to flowchart and then replace with VHDL code according to converted flowchart. Also, we confirmed that asynchronous electronic circuits are created by applying extracted VHDL source code from suggest algorithm to conventional domestic/abroad CAD Tool, Finally, we assured the simulation result and the suggest timing diagram are identical.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2012년도 한국컴퓨터종합학술대회논문집 Vol.39 No.1(B)
• /
• pp.205-207
• /
• 2012

본 논문은 Use Case 기반 개발에서 요구사항부터 테스트 케이스를 자동 추출하는 메커니즘을 제안 하고자 한다. 제안한 메커니즘은 기존의 테스트케이스 생성 메커니즘을 Use Case 메커니즘과 접목한 것이다. 그리고 그 기반으로 자동 도구 구현을 통해 모든 가능한 테스트 케이스 추출하는데 있다. 이는 최소의 테스트 케이스로 100%의 기능적인 요구사항 커버리지 만족시킨다는 Gary 방법을 이용하고자 함이다. 이 도구의 단계는 확장된 UML 다이어그램으로부터 원인-결과 다이어그램을 전환 한 후, 결정 테이블화한다. 마지막 단계는 이를 통하여 테스트케이스가 자동적으로 발생 한다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2012년도 한국컴퓨터종합학술대회논문집 Vol.39 No.1(B)
• /
• pp.193-195
• /
• 2012

소프트웨어 시스템의 신뢰성과 안정성을 보장하기 위해서는 시스템에 내재된 결함을 가능한 많이 줄이는 것이 중요하다. 이는 테스팅을 통해 수행할 수 있으며, 상태 다이어그램을 기반으로 한 테스팅 기법들이 많이 연구되고 있다. 이러한 연구들은 상태와 전이의 경로 커버리지에 초점을 두고, 메시지 시퀀스에 따른 테스트를 고려한다. 하지만 메시지 시퀀스에 따른 테스트 케이스는 모두 정상적인 환경의 테스트 데이터를 반영하고, 그에 따라 무효한 테스트에 취약성을 보인다. 따라서 본 논문에서는 부가적인 산출물을 최소화하고, 시스템의 예외처리를 강화하기 위해 가상의 비정상 전이와 상태를 추가하여 상태 다이어그램으로부터 무효한 테스트 케이스를 도출하는 방법을 제안한다.

• 한국연소학회:학술대회논문집
• /
• 대한연소학회 2003년도 제27회 KOSCO SYMPOSIUM 논문집
• /
• pp.185-193
• /
• 2003

Basic flow fields of two dimensional V flames were examined as a preliminary work to study the instability of premixed flame with vorticity generation. Laminar premixed propane and methane flame were anchored by electrically heated wire to make two dimensional V flames. Flow fields were measured mainly by PIV(Particle Image Velocimetray) and the results were compared with those obtained by LDV(Laser Doppler Velocimetry) to confirm their reliability. Because the curvatures of V flames are so small, V flames were locally assumed to be inclined planar flames in gravitational field. The measured flow fields were locally compared with those of analytical solutions, which showed the qualitatively similar results. In downstream region, the vorticity fields were nearly constant except region near the center line, which support the assumption of locally one dimensional flame. Besides it was tried to find experimentally the similarity of flow fields in downstream region. Finally, stability diagram of propane and methane flames were drawn for the equivalence ratio less than one and the wide range of mean velocity.

• 전자공학회논문지C
• /
• 제34C권2호
• /
• pp.12-18
• /
• 1997

An efficient synthesis method of cellular architecture FPgA is proposed in this paper. To generate a logical representation called complex term which is to be directly mapped onto the cellular architecture FPGA, and SO or ESOP minimization tool was used in previous methods. Instead, we use a logic function transformed into BDD (binary decision diagram) in the actual generation of the complex temrs. In this process it estimates the cost(i.e. the number of complex terms) for three branches, 0-branch and 1-branches. This process is continued over the whole BDD to do such computation, and we observed that the number of complex terms has been reduced compared to the previous results.

• Journal of information and communication convergence engineering
• /
• 제8권4호
• /
• pp.443-448
• /
• 2010

The electrical curtain is an electronic product which is most suitable for the sphere of intelligent home network. It provides the basic feature of intelligent home network such as the followings; various functions, powerful control. It also becomes the ideal technology with inexpensive power-line protocol, energy saving and solar power generation. Generally it is a suitable motor for BLDC to move the electrical curtain, because it provides the maintenance without difficulty, long-lived use with good efficiency. On this paper, we proposed the BLDC motor controller designed by CDM(Coefficient Diagram Method) and evaluated its performance with a simulation of the plant, designed the electrical curtain using BLDC motor and powe-line protocol.

• 한국실내디자인학회논문집
• /
• 제15권6호
• /
• pp.101-110
• /
• 2006

Many architects in the second machine age experiment on the movement in architectural design. They consider a movement as a flow of information and vector as well as the real motion. They express the movement in architectural design as nomad architecture, network city, rhizome, mutual transformation among building, environment and visitors, and form generation as the actualization of the virtual. It is partly the result of the philosophy of Deleuze and Bergson that a movement is just a duration as a difference of quality. It is because Deleuze explains that the realization of the virtual as a becoming is also the kind of movement. This study analyzes the method of expression of movement in architectural design in the second machine age. As a result, the movement in architectural design in the second machine age was expressed in two ways. One method is a territorialized movement that moves in the fixed trajectory and the other is a deterritorialized movement that moves in the random indeterminate trajectory.

• 한국정보통신학회:학술대회논문집
• /
• 한국해양정보통신학회 2009년도 춘계학술대회
• /
• pp.763-766
• /
• 2009

The electrical curtain is an electronic product which is most suitable for the sphere of intelligent home network. It provides the basic feature of intelligent home network such as the followings; various functions, powerful control. It also becomes the ideal technology with inexpensive power-line protocol, energy saving and solar power generation. Generally it is a suitable motor for BLDC to move the electrical curtain, because it provides the maintenance without difficulty, long-lived use with good efficiency. On this paper, we proposed the BLDC motor controller desinged by CDM(Coefficient Diagram Method) and evaluated its performance with a simulation of the plant, designed the electrical curtain using BLDC motor and powe-line protocol.

• 지식경영연구
• /
• 제20권1호
• /
• pp.1-26
• /
• 2019

This tutorial introduces procedures and methods for performing structural equation modeling using R. For this, we present the whole process of analyzing the structural equations model from the confirmatory factor analysis to the path diagram generation using the lavaan package, which is relatively well evaluated among the R packages supporting the structural equation modeling, together with the R program codes. Considering that research applying structural equation modeling techniques is the mainstream in a variety of social sciences, including business administration, and that there is growing interest in open source R, this tutorial focuses on researchers who are looking for alternatives to traditional commercial statistical packages and is expected that it will be a useful guidebook for them.

• Advances in Energy Research
• /
• 제8권4호
• /
• pp.265-273
• /
• 2022

In this study, a product gas yield and carbon conversion were measured during the coal pyrolysis. The pyrolysis process occurred under two different atmospheres such as subcritical (45 bar, 10℃) and supercritical CO₂ condition (80 bar, 35℃). Under the same pressure (80 bar), the atmosphere temperature increased from 35℃ to 45℃ to further examine temperature effect on the pyrolysis at supercritical CO₂ condition. For all three cases, a power input supplied to heating wire placed below coal bed was controlled to make coal bed temperature constant. The phase change of CO₂ atmosphere and subsequent pyrolysis behaviors of coal bed were observed using high-resolution camcorder. The pressure and temperature in the reactor were controlled by a CO₂ pump and heater. Then, the coal bed was heated by wire heater to proceed the pyrolysis under supercritical CO₂ condition.