• 융합보안논문지
• /
• 제10권1호
• /
• pp.55-61
• /
• 2010

소프트웨어 제품을 개발하여 테스팅을 거친 후 사용자에게 인도하는 시기를 결정하는 일은 아주 실제적이고 흥미 있는 일이 된다. 이러한 문제를 소프트웨어 최적 방출시기라고 한다. 본 연구에서는 소프트웨어의 결함을 제거하거나 수정 작업 중에도 새로운 결함이 발생될 가능성이 있는 무한고장수를 가진 비동질적인 포아송 과정에 기초하고 고장간격 수명 시간의 형태에 따른 방출시간의 비교에 대하여 연구되었다. 소프트웨어 요구 신뢰도를 만족시키고 소프트웨어 개발및 유지 총비용을 최소화시키는 최적 소프트웨어 방출 정책이 된다. 본 논문의 수치적인 예에서는 모의실험 자료 즉, 강도함수가 일정한 경우, 증가하는 경우, 감소하는 경우를 적용하여 최적 방출시기를 추정하고 그 결과를 나열 하였다.

• Journal of Computing Science and Engineering
• /
• 제4권3호
• /
• pp.189-206
• /
• 2010

It is generally accepted that dynamic voltage scaling (DVS) is one of the most effective techniques of energy minimization for real-time applications in embedded system design. The effectiveness comes from the fact that the amount of energy consumption is quadractically proportional to the voltage applied to the processor. The penalty is the execution delay, which is linearly and inversely proportional to the voltage. According to the granularity of tasks to which voltage scaling is applied, the DVS problem is divided into two subproblems: inter-task DVS problem, in which the determination of the voltage is carried out on a task-by-task basis and the voltage assigned to the task is unchanged during the whole execution of the task, and intra-task DVS problem, in which the operating voltage of a task is dynamically adjusted according to the execution behavior to reflect the changes of the required number of cycles to finish the task before the deadline. Frequent voltage transitions may cause an adverse effect on energy minimization due to the increase of the overhead of transition time and energy. In addition, DVS needs to be carefully applied so that the dynamically varying chip temperature should not exceed a certain threshold because a drastic increase of chip temperature is highly likely to cause system function failure. This paper reviews representative works on the theoretical solutions to DVS problems regarding inter-task DVS, intra-task DVS, voltage transition, and thermal-aware DVS.

• 정보처리학회논문지A
• /
• 제10A권2호
• /
• pp.101-110
• /
• 2003

VXML에서는 시스템에 관련된 정보의 이용, 복잡한 수식의 해석, 반복적인 기능의 수행, 함수의 선언과 호출 등을 위하여 ECMAScript를 사용한다. 그러나 ECMAScript는 인터넷을 위한 표준 스크립트 언어이기 때문에 VXML과의 유기적 연동이 어렵다는 단점이 존재한다. 본 연구에서는 ECMASciipt와 VXML의 유기적 연동을 위하여 ECMAScript의 요구사항을 만족시키는 인터프리터를 설계하고 구현하였다. VXML과의 연동을 위하여 VXML변수의 관리, 시스템 함수의 수행, 수식의 해석 및 함수의 호출 등의 인터페이스를 추가하여, VXML과 연동을 시도하였다. 연동 결과 VXML의 다양한 알고리즘을 처리할 수 있어 VXML의 응용 범위를 넓힐 수 있는 가능성을 얻었다.

• Nuclear Engineering and Technology
• /
• 제49권6호
• /
• pp.1165-1171
• /
• 2017

The traditional form of parallelism in Monte Carlo particle transport simulations, wherein each individual particle history is considered a unit of work, does not lend itself well to data-level parallelism. Event-based algorithms, which were originally used for simulations on vector processors, may offer a path toward better utilizing data-level parallelism in modern computer architectures. In this study, a simple model is developed for estimating the efficiency of the event-based particle transport algorithm under two sets of assumptions. Data collected from simulations of four reactor problems using OpenMC was then used in conjunction with the models to calculate the speedup due to vectorization as a function of the size of the particle bank and the vector width. When each event type is assumed to have constant execution time, the achievable speedup is directly related to the particle bank size. We observed that the bank size generally needs to be at least 20 times greater than vector size to achieve vector efficiency greater than 90%. When the execution times for events are allowed to vary, the vector speedup is also limited by differences in the execution time for events being carried out in a single event-iteration.

• Journal of Information Processing Systems
• /
• 제20권1호
• /
• pp.116-130
• /
• 2024

In the Internet-of-Things (IoT) or blockchain-based network systems, secure keys may be stored in individual devices; thus, individual devices should protect data by performing secure operations on the data transmitted and received over networks. Typically, secure functions, such as a physical unclonable function (PUF) and fully homomorphic encryption (FHE), are useful for generating safe keys and distributing data in a network. However, to provide these functions in embedded devices for IoT or blockchain systems, proper inspection is required for designing and implementing embedded system-on-chip (SoC) modules through overhead and performance analysis. In this paper, a virtual platform (SoC VP) was developed that includes a secure key generation module with a PUF and FHE. The SoC VP platform was implemented using SystemC, which enables the execution and verification of various aspects of the secure key generation module at the electronic system level and analyzes the system-level execution time, memory footprint, and performance, such as randomness and uniqueness. We experimentally verified the secure key generation module, and estimated the execution of the PUF key and FHE encryption based on the unit time of each module.

• 대한안전경영과학회지
• /
• 제15권4호
• /
• pp.233-243
• /
• 2013

As companies were concerned with developing green logistics and environment, most logistics concerned functions like packaging, loading, storage, transportation and IT studies are active in study. Even if active in research studies, companies still recognized that logistics cost increases as green concepts are applied. For the efficient execution of green logistics management, it is absolutely necessary but difficult to build an optimal logistics system where each function is smoothly interacted through the proper integration and the link of various logistics functions and partners. This study aims to development of green logistics through integration of supply chain functions and partners. With this aim of study, case studies with analysis of embodiment, planning and operations for supply chain of companies are carried out.

• 대한전자공학회논문지
• /
• 제22권2호
• /
• pp.25-30
• /
• 1985

본 논문은 PLA 면적랑적화화를 위한 논리최소화에 대한 새로운 알고리즘을 제안한다. 계산기 처리시간이 변수의 수에 직접적으로 의존하는 종래구식과는 달리, 준 구식은 논리함수에서 base minterm과 consensus가 되지않는 민텀들의 집합을 그 함수로부터 제거하여 줌으로써 계산기 처리시간은 base minterm의 consensus의 차수에 의존하여 변수의 수가 증가할수록 종래형식에 비하여 행산시간치의 차가 커진다. 실제 계산기 실험을 통하여 종래수식과의 계산기 달행시문 비교치의 예를 제시한다.

• 한국공작기계학회논문집
• /
• 제11권1호
• /
• pp.61-69
• /
• 2002

This paper describes a converting algorithm between programmable languages of a software PLU. It is based on IEC 61131-3 standard and PC. The proposed control logic is designed by the software model and common element with data type, variables, POUs(program organization unit) and execution control unit commonly used within programmable languages of IEC 61131-3 Standard. The generation method of object file is proposed on five programmable language based on IEC 61131-3. It is represented as fo11ows; 1) the generation method using conversion algorithm from LD to IL with FBD(function block diagram), 2) the generation method using f code generation algorithm from SFC using the SFC execution sequence with FBD and ST(structured text). The proposed control logic generator was implemented by Visual C++ 6.0 and MFC on MS-windows NT 4.0.

• 전자공학회논문지B
• /
• 제31B권9호
• /
• pp.47-56
• /
• 1994

In this paper, we demonstrate how to design a redundant robot which is suitable for the multiple task execution without any constraints on the work space. The implementation is possible by the rigid connection of a cacro-robot and a micro-robot. A 5 d.o.f. articulated robor designed for commercial purpose is utilized as a micro-robot which can perform a general task with the appropriate adjustment of its base location. The base of a micro-robot is located at a suitable position by the macro-robot designed and implemented through this research. A task assigned to this redundant robot is performed mainly by the micro-robot. However, when the micro-robot cannot perform the task by itself or when the micro-robot has difficulties in performing the task, the coordination of the macro-robot is requited. To monitor the task execution efficiency of the micro-robot, we used the 'Manipulability Measure' as a cost function. The coordination between the two robots are verified both by the simulation and the experiment.

• 한국철도학회:학술대회논문집
• /
• 한국철도학회 2000년도 추계학술대회 논문집
• /
• pp.636-651
• /
• 2000

In these days, SNCF replace the connector wire (M-T type) with a dropper has a equivalent role and function of the one in general lines of TGV, and change the connector wire (T-T-M-M-T-T, T-T-M-M-T type, etc) into a New one has more flexible cable in parallel lines (air section air joint, etc) of TGV. The Connector wire has many problems according to a flow of excessive circulation current (or traction current) and a sudden rise of temperature on catenary when electric locomotive is running in high speed. To solve the question at issue of the connector wire in high speed railway catenary system of Fiance, SNCF return their operating experience in TGV lines to design and execution of catenary system Therefore, we have to deal with the question in design and execution of catenary system for kyoungbu HSR line because we will spend a lot of time and more money for maintenance than for construction of that.