• 정보처리학회논문지:컴퓨터 및 통신 시스템
• /
• 제2권7호
• /
• pp.303-310
• /
• 2013

컴퓨팅 환경에서 소프트웨어가 차지하는 역할이 커지면서 소프트웨어 보안은 더욱 중요한 문제가 되고 있다. 동적 오염 분석은 프로그램 실행 중에 신뢰할 수 없는 소스로부터 유래된 오염된 데이터의 이동을 추적하고 관리하는 분석 방법이다. 이 분석 방법은 소프트웨어의 보안 검증 뿐만 아니라 소프트웨어의 동작을 이해하고, 예상하지 못한 오류에 대한 테스팅 및 디버깅 등에서 활용할 수 있다. 기존에 이와 관련한 연구에서는 동적 오염 분석을 이용한 분석 사례를 보여주고 있지만, 동적 오염 분석에서 오염된 정보 전파 과정 및 동작 과정에 대해서 체계적이고 논리적으로 기술하지 못하고 있다. 본 논문에서는 이런 분석 과정을 이론적으로 기술함으로써 오염된 정보의 전파 과정을 어떻게 추적할 수 있는지 논리적으로 보여주고, 이를 응용할 수 있는 이론적 모델을 제시하고 있다. 본 논문에서 기술한 이론적 모델에 대해서 분석기를 구현하고 프로그램에 대한 분석 결과를 통해서 모델의 정확성을 검증한다. 그리고, 프로그램에 나타나는 오염 정보들의 전파 과정을 보이고 결과를 검증한다. 본 이론적 모델은 동적 오염 분석에서 자료 흐름의 분석 과정을 이해하고 이를 활용하는 분석 방법을 설계하거나 구현하는 기반 지식으로 활용될 수 있을 것이다.

• 한국정보시스템학회지:정보시스템연구
• /
• 제5권
• /
• pp.21-41
• /
• 1996

Linear programming has become an important tool in decision-making of modern business management. This remarkable growth can be traced to the pioneering efforts of many individuals and research organizations. The popular using of personal computers make it very easy to process those complicated linear programming models. Furthermore advanced linear programming software packages assist us to solve L.P. models without any difficult process. Even though the advanced L.P. professional packages, the needs of more detailed deterministic elements for business decisions have forced us to apply dynamic approaches for more resonable solutions. For the purpose of these problems applying to the "Mathematica" packages which is composed of mathematic tools, the simplex processes show us the flexible and dynamic decision elements included to any other professional linear programming tools. Especially we need proper dynamic variables to analyze the shadow prices step by step. And applying SAS(Statistical Analysis System) packages to the L.P. problems, it is also one of the best way to get good solution. On the way trying to the other L.P. packages which are prepared for Spreadsheets i.e., MS-Excel, Lotus-123, Quatro etc. can be applied to linear programming models. But they are not so much useful for the problems. Calculating simplex tableau is an important method to interpret L.P. format for the optimal solution. In this paper we find out that the more detailed and efficient techniques to interpret useful software of mathematica and SAS for business decision making of linear programming. So it needs to apply more dynamic technique of using of Mathematica and SAS multiple software to get more efficient deterministic factors for the sophiscated L.P. solutions.

• 에너지공학
• /
• 제8권2호
• /
• pp.213-223
• /
• 1999

최근 원자력발전소의 안전계통 소프트웨어는 신뢰성을 향상시키기 위해 ANSI/IEEE-ANS-7-4.3.2-1982 기준에 따라 확인 및 검증이 이루어지고 있다. 이 규정은 안전관련 소프트웨어가 정적 및 동적 환경에서 시험되어야 한다고 요구하고 있다. 부적절노심냉각감시계통의 경우에 정적시험 절차 및 관련기술들은 개발되었으나 동적시험 절차 및 관련기술들은 개발되지 않았다. 따라서, 본 논문에서는 미개발된 기술들을 논의하고, 동적시험 절차와 시험 입력자료 생성 프로그램을 제안한다. 이 프로그램의 성능은 울진 3,4호기 최종 안전성 분석 보고서의 사고해석 결과를 사용하여 확인하였다.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• 제11권2호
• /
• pp.846-864
• /
• 2017

Software Defined Network (SDN) realizes management and control over the underlying forwarding device, along with acquisition and analysis of network topology and flow characters through south bridge protocol. Data path Identification (DPID) is the unique identity for managing the underlying device, so forged DPID can be used to attack the link of underlying forwarding devices, as well as carry out DoS over the upper-level controller. This paper proposes a dynamic defense method based on Client-Puzzle model, in which the controller achieves dynamic management over requests from forwarding devices through generating questions with multi-level difficulty. This method can rapidly reduce network load, and at the same time separate attack flow from legal flow, enabling the controller to provide continuous service for legal visit. We conduct experiments on open-source SDN controllers like Fluid and Ryu, the result of which verifies feasibility of this defense method. The experimental result also shows that when cost of controller and forwarding device increases by about 2%-5%, the cost of attacker's CPU increases by near 90%, which greatly raises the attack difficulty for attackers.

• 한국전산구조공학회:학술대회논문집
• /
• 한국전산구조공학회 2006년도 정기 학술대회 논문집
• /
• pp.971-976
• /
• 2006

This paper presents a design technique of steel structures subjected to static and dynamic loadings using practical nonlinear inelastic analysis software. The beam-column approach using the stability functions and the plastic hinge concept enables the software to suitably predict second-order effects and inelastic behavior of beam-columns. For dynamic analysis. the incremental from of the equation of motion is solved by the use of a step-by-step numerical integration procedure in which the assumption of constant acceleration over a small time step is employed. The accuracy of the analysis program is validated using the results of ABAQUS program and experimental tests. A user-friendly graphic interface of the software is developed to facilitate the modeling process and result interpretation of the problem. A design example of large span bridge is presented to detail the direct design process using the practical advanced analysis software.

• 한국철도학회:학술대회논문집
• /
• 한국철도학회 2000년도 춘계학술대회 논문집
• /
• pp.284-291
• /
• 2000

Interlocking software used in the electronic interlocking has been implemented through the structured approach until now. But there was the demerit that interlocking software has some problem in the standardization and the maintenance because of the limit in structured approach. Object-Oriented method overcoming this demerit was specified in the design step and the analysis step. There were object model, dynamic model and functional model in the analysis step and there were also two steps which were system design and object design in the design step. In this paper, Interlocking software was designed using Object-Oriented method to improve the standardization and the maintenance of the electronic interlocking. The electronic interlocking was analyzed with object modeling, dynamic modeling and functional modeling.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2011년도 한국컴퓨터종합학술대회논문집 Vol.38 No.1(A)
• /
• pp.361-364
• /
• 2011

Nowadays, an explosive increase of mobile devices has triggered a lot of research into radio resource management. Therefore, many studies have been done and still underway to use this limited resource efficiently. However, most of the existing studies focused on efficiency in mac layer. In this paper, I proposed a timer to manage radio resource, which refreshes the timer's values based on the number of connections dynamically. This dynamic timer enables Base Station (BS) to be able to manage available radio resources efficiently and accommodate much more Mobile Stations (MSs). Simulation result showed that BS with dynamic timer could accommodate the MS about 30% more, compared with BS with a static timer in terms of radio resource management. Dynamic timer is not restricted to any specific network standard. So its mechanism is practical and implementable without changing the original standard, which can contribute to service providers by increasing capability that BS can support.

• Journal of Electrical Engineering and Technology
• /
• 제5권4호
• /
• pp.561-570
• /
• 2010

This paper presents an advanced dynamic simulation model of a proton exchange membrane fuel cell for the optimal design of a fuel cell power conditioning system (FC-PCS). For the development of fuel cell models, the dynamic characteristics of the fuel cell are considered, including its static characteristics. Then, software fuel cell simulation is realized using Matlab-Simulink. Specifically, the design consideration of PCS (i.e., power semiconductor switch, capacitor, and inductor) is discussed by comparatively analyzing the developed simulator and ideal DC source. In addition, a cosimulation between the fuel cell model and PCS realized using the PSIM software is performed with the help of the SimCoupler module. Detailed analysis and informative simulation results are provided for the optimal design of fuel cell PCS.

• International Journal of Computer Science & Network Security
• /
• 제24권4호
• /
• pp.192-196
• /
• 2024

The memory coherence problem occurs while mapping shared virtual memory in a loosely coupled multiprocessors setup. Memory is considered coherent if a read operation provides same data written in the last write operation. The problem is addressed in the literature using different algorithms. The big question is on the correctness of such a distributed algorithm. Formal verification is the principal term for a group of techniques that routinely use an analysis that is established on mathematical transformations to conclude the rightness of hardware or software behavior in divergence to dynamic verification techniques. This paper uses UPPAAL model checker to model the dynamic distributed algorithm for shared virtual memory given by K.Li and P.Hudak. We analyse the mechanism to keep the coherence of memory in every read and write operation by using a dynamic distributed algorithm. Our results show that the dynamic distributed algorithm for shared virtual memory partially fulfils its functional requirements.

• 한국수학교육학회지시리즈D:수학교육연구
• /
• 제16권2호
• /
• pp.107-123
• /
• 2012

A group of twenty-nine high school student-teachers were given a set of mathematical propositions focusing on shape-to-shape transformations. Their task was to determine through hands-on manipulation and use of dynamic software that each shape be transformed into an area equivalent rectangular region. This paper reports on a classroom-based research.