• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2014년도 춘계학술발표대회
• /
• pp.599-602
• /
• 2014

본 논문은 FBDtoVerilog 변환기의 correctness 검증을 지원하는 시나리오 생성기에 대해 소개한다. 현재 원자력 발전소의 제어기는 PLC 를 이용하여 개발되고 있지만, 최근 FPGA 를 이용한 제어기 개발의 필요성이 증가하고 있다. 우리는 이를 지원하기 위해 PLC 개발에 사용되는 언어인 FBD를 FPGA 에 사용되는 언어인 Verilog 로 자동 변환하는 변환기 FBDtoVerilog 를 개발 하였다. 하지만 원자력 발전소와 같은 안전 필수 시스템은 철저하고 엄격한 검증 과정이 필수 이기 때문에, 우리는 FBDtoVerilog 를 검증할 수 있는 Co-Simulation 환경을 구축하여 검증할 계획을 가지고 있다. Co-Simulation 환경을 위한 첫 번째 단계로 자동화된 시나리오 생성기를 개발 하였다. 개발된 시나리오 생성기는 도메인 특징을 반영한 시나리오를 생성할 수 있고, 무한한 개수의 시나리오를 자동으로 생성할 수 있는 장점을 가지고 있다.

• 한국신재생에너지학회:학술대회논문집
• /
• 한국신재생에너지학회 2011년도 춘계학술대회 초록집
• /
• pp.197.2-197.2
• /
• 2011

Preliminary analysis on the modeling conditions and the simulation results is conducted only to evaluate the correctness of the simulation configuration further to apply for the LASGIT project. Except for the unrealistic modeling conditions for the relations of capillary pressure and relative permeability against water saturation used previously, the simulation results successfully demonstrate Helium propagation typical for two-phase flow. Further elaborated simulation with more realistic parameters should complete the weak points of the preliminary work.

• 정보과학회 논문지
• /
• 제44권6호
• /
• pp.566-572
• /
• 2017

플래시 저장 장치가 저장 장치로서 널리 사용되면서 성능, 신뢰성, 견고성 등 여러 가지 측면에서 검증이 필요하여 시뮬레이션 방법론이 다양하게 연구되어 왔다. 그 결과 최근까지 플래시 저장장치 시뮬레이터는 기능적 모델링과 시간적 모델링 관점에서 많은 발전이 있었다. 그러나 이러한 발전에도 불구하고 플래시 저장장치의 노화 효과를 평가하기 위해서는 장시간의 테스트 시간을 대폭 단축할 수 있는 방법이 필요하다. 본 논문은 사용자 설정에 따라 시뮬레이션 속도를 자유롭게 조절할 수 있는, 소위 멀티 코어 확장성을 제공하는 실시간 시뮬레이션 방법을 제안한다. 제안하는 방법은 임의의 CPU 코어 개수가 주어져도 그에 맞는 확장 가능한 시뮬레이션 속도를 제공하며, 그 속도에 관계없이 항상 정확한 시뮬레이션 결과를 보장한다. 본 논문은 리눅스 커널 모듈 형태로 구현한 시뮬레이터를 이용하여 멀티코어 확장성과 모델의 정확성을 실험적으로 검증한다.

• 대한전자공학회:학술대회논문집
• /
• 대한전자공학회 1999년도 추계종합학술대회 논문집
• /
• pp.855-858
• /
• 1999

In this paper, we present a FPCA implementation of IDEA algorithm. Target technology is Altera FLEX 10K FPCA. The correctness of the implementation is verified by the timing simulation with max+plus II.

• 한국정보통신학회논문지
• /
• 제11권4호
• /
• pp.840-845
• /
• 2007

무선 센서 네트워크에서 효율적인 데이터 처리와 신속한 전송을 위해 사용되는 미들웨어는 순간적인 데이터 밀집현상으로 발생하는 중간 노드의 데이터 손실 문제를 해결해야한다. 본 논문에서는 계산 능력, 소비 전력 등 극히 한정된 자원만을 사용하여 데이터를 전달해야 하는 무선 센서 네트워크 환경에서 수집된 데이터의 효율성 및 정확성을 향상시킬 수 있는 Delta-Average 기법을 제시하였다. 제안된 기법을 통해 데이터의 상이성과 평균화 방식을 이용함으로써 순간적인 데이터 밀집현상으로부터 중복된 데이터에 대한 불필요한 전송을 방지하면서 정확성을 높이도록 하였다. 마지막으로 제안된 기법의 성능을 평가하기 위해 TinyDB에서 TOSSIM 시뮬레이션을 수행하였으며 성능분석 결과를 통해 데이터 정확성이 향상되었음을 검증하였다.

• 한국정밀공학회지
• /
• 제13권11호
• /
• pp.132-142
• /
• 1996

This paper presents a technique to model and control a manipulator which has a flexible link and moves in a vertical plane. The flexible link is modeled as an Euler-Bernoulli Beam. Elastic deformation of the flexible link is represented using the assumed modes method. A comparison function which satisfies all geometric and natural boundary conditions of a cantilever beam with an end mass is used as an assumed mode shape. Lagrange's equation is utilized for the development of a discretized model. This paper presents a simple technique to improve the correctness of the developed model. The final model including the shortening effect due to elastic deformation correlates very well with experimental results. The free body motion simulation shows that two assumed modes for the representation of the elastic deformation is proper in terms of the model size and correctness. A control algorithm is developed using PID control technique. The proportional, integral and derivative control gains are determined based on dominant pole placement method with a rigid one-link manipulator. A position control simulation shows that the control algorithm can be used to control the position and residual oscillation of the flexible one-link manipulator effectively.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• 제3권6호
• /
• pp.667-681
• /
• 2009

We describe a method to decompose a cube with trilinear interpolation into a collection of tetrahedra with linear interpolation, where the isosurface topology is preserved for all isovalues during decomposition. Visualization algorithms that require input scalar data to be defined on a tetrahedral grid can utilize our method to process 3D rectilinear data with topological correctness. As one of many possible examples, we apply the decomposition method to topologically accurate tetrahedral mesh extraction of an interval volume from trilinear volumetric imaging data. The topological correctness of the resulting mesh can be critical for accurate simulation and visualization.

• 대한전자공학회:학술대회논문집
• /
• 대한전자공학회 2001년도 하계종합학술대회 논문집(2)
• /
• pp.313-316
• /
• 2001

In this paper we present the design of a JPEG Encoder using SystemC Methodology Our methodology supports the efficient mapping of C/C++ functional descriptions directly into hardware. The use of C/C++ to model al1 parts of the system provides great flexibility and enables faster simulation compared to existing methodologies. The designer can estimate system performance and verify functional correctness of the designs using commonly available software compilers. A design flow in SystemC begins with an untimed description in C++, using a library of new data types useful for modeling hardware. The description can be compiled and simulated for functional correctness. Then, the design may be refined by adding interface specification and timing information, and again the timed description can be compiled with a standard C++ compiler, simulated, and debugged.

• Journal of Information Processing Systems
• /
• 제13권4호
• /
• pp.1029-1042
• /
• 2017

A joint channel estimation and data detection technique for a multiple input multiple output (MIMO) wireless communication system is proposed. It combines the least square (LS) training based channel estimation (TBCE) scheme with sphere decoding. In this new approach, channel estimation is enhanced with the help of blind symbols, which are selected based on their correctness. The correctness is determined via sphere decoding. The performance of the new scheme is studied through simulation in terms of the bit error rate (BER). The results show that the proposed channel estimation has comparable performance and better computational complexity over the existing semi-blind channel estimation (SBCE) method.

• Computers and Concrete
• /
• 제28권6호
• /
• pp.605-619
• /
• 2021

Building Information Modeling (BIM) models are a powerful tool for preserving and using architectural history. Manually creating information models for such a significant number and variety of architectural monuments as Dong drum towers is challenging. The building logic based on "actual measurement construction" was investigated using the metamodel idea, and a metamodel-based automated modeling approach for the wood framework of Dong drum towers was presented utilizing programmable algorithms. Metamodels of fundamental frame kinds were also constructed. Case studies were used to verify the automated modeling's correctness, completeness, and efficiency using metamodel. The results suggest that, compared to manual modeling, automated modeling using metamodel may enhance the model's integrity and correctness by 5-10% while also reducing time efficiency by 10-20%. Metamodel and construction logic offer a novel way to investigate data-driven autonomous information-based modeling.