• 제목/요약/키워드: Run Rules

검색결과 77건 처리시간 0.027초

C 시큐어 코딩 규칙 분류를 통한 실행 안전성을 보장하는 한글 언어 설계 (A Design of a Korean Programming Language Ensuring Run-Time Safety through Categorizing C Secure Coding Rules)

  • 김연어;송지원;우균
    • 정보과학회 논문지
    • /
    • 제42권4호
    • /
    • pp.487-495
    • /
    • 2015
  • 요즘에는 대부분 정보가 전산화되어 다루어지고 있기 때문에 전산화된 정보의 안전성을 높이는 것이 매우 중요하다. 하지만 코딩 실수로 발생하는 많은 메소드 오용 때문에 소프트웨어 자체가 취약해짐에 따라 정보의 안전성이 위협받을 수 있다. 해킹 공격을 원천적으로 차단하여 정보의 안전성을 높이기 위해 시큐어 코딩 가이드가 제안된 바 있지만, C와 Java 프로그래머를 위주로 작성되었기 때문에 다른 프로그래밍 언어에서는 적용하기 어렵다. 이 논문에서는 다른 프로그래밍 언어에도 사용할 수 있도록 시큐어 코딩 가이드의 규칙을 재분류한다. 구체적으로 행정자치부에서 발표한 C 시큐어 코딩 가이드를 이용하였다. 그리고 이 분류에 따라 구별된 규칙을 새로 제안한 한글 프로그래밍 언어인 새싹에 적용해 보았다. 그 결과 새싹에서는 C 언어 대비 점검해야 할 취약점 규칙의 수가 52% 줄어든 것으로 나타났다.

2중 2 런규칙을 사용한 공정이상 감지방법의 경제성 분석 (Economic Analysis for Detection of Out-of-Control of Process Using 2 of 2 Runs Rules)

  • 김영복;홍정식;이창훈
    • 대한산업공학회지
    • /
    • 제34권3호
    • /
    • pp.308-317
    • /
    • 2008
  • This research investigates economic characteristics of 2 of 2 runs rules under the Shewhart $\bar{X}$ control chart scheme. A Markov chain approach is employed in order to calculate the in-control average run length (ARL) and the average length of analysis cycle. States of the process are defined according to the process conditions at sampling time and transition probabilities are derived from the state definitions. A steady state cost function is constructed based on the Lorezen and Vance(1986) model. Numerical examples show that 2 of 2 runs rules are economically superior to the Shewhart $\bar{X}$ chart in many cases.

Java/RTI를 위한 Test Suite 개발 (Development for Java/RTI Test Suite)

  • 이정욱;김용주;김영찬
    • 한국정보통신학회:학술대회논문집
    • /
    • 한국해양정보통신학회 2003년도 춘계종합학술대회
    • /
    • pp.749-752
    • /
    • 2003
  • HLA(High Level Architecture)는 미 국방성에서 제안한 분산 시뮬레이션을 위한 실시간 분산 데이터 공유를 위한 객체, 시간, 인터페이스 규격을 말한다. 이 HLA는 (1) Rules, (2) Interface Specification, (3) Object Model Template 둥의 3가지 구성요소로 정의되며, 인터페이스 명세를 구현한 것이 RTI(Run-Time Infrastructure)이다. RTI는 분산 운영체계가 응용 프로그램에게 서비스를 제공하는 것과 유사한 방법으로 Federation을 구성하고 있는 Federate들에게 상호연동에 필요한 서비스를 제공한다. 모든 서비스들이 표준에 적합하게 구현되었는지 테스트하기 위한 방법은 DMSO에서 제안한 RTI를 검증하기 위한 2단계 과정을 통해 테스트된다. 본 논문에서는 1단계 테스트를 위한 테스트 절차와 그 방법에 대해 논한다 테스트 결과를 토대로 각 영역에서 DMSO에서 제안한 Level One Test Procedures에 따라 RTI가 Interface Specification에 적합하게 구현되었는지 확인하며, 각 단계마다 올바른 명령과 예상된 결과가 나오는지 테스트하기 위한 Test Suite를 개발한다.

  • PDF

다중 에이전트 기반의 고대 국가 형성 시뮬레이션 (The Multi-Agent Simulation of Archaic State Formation)

  • S. Kim;A. Lazar;R.G. Reynolds
    • 한국시뮬레이션학회:학술대회논문집
    • /
    • 한국시뮬레이션학회 2003년도 춘계학술대회논문집
    • /
    • pp.91-100
    • /
    • 2003
  • In this paper we investigate the role that warfare played In the formation of the network of alliances between sites that are associated with the formation of the state in the Valley of Oaxaca, Mexico. A model of state formation proposed by Marcos and Flannery (1996) is used as the basis for an agent-based simulation model. Agents reside in sites and their actions are constrained by knowledge extracted from the Oaxaca Surface Archaeological Survey (Kowalewski 1989). The simulation is run with two different sets of constraint rules for the agents. The first set is based upon the raw data collected in the surface survey. This represents a total of 79 sites and constitutes a minimal level of warfare (raiding) in the Valley. The other site represents the generalization of these constraints to sites with similar locational characteristics. This set corresponds to 987 sites and represents a much more active role for warfare in the Valley. The rules were produced by a data mining technique, Decision Trees, guided by Genetic Algorithms. Simulations were run using the two different rule sets and compared with each other and the archaeological data for the Valley. The results strongly suggest that warfare was a necessary process in the aggregations of resources needed to support the emergence of the state in the Valley.

  • PDF

CHILL 언어의 병행처리를 위한 Run-time 지원 시스템의 설계 및 구현 (A Design and Implementation of Run-time Support System for Concurrent Processing of the CHILL)

  • 하수철;조철회
    • 한국정보처리학회논문지
    • /
    • 제6권7호
    • /
    • pp.1941-1954
    • /
    • 1999
  • 본 논문은 ITU-T 통신 처리 시스템용 프로그래밍 언어 CHILL에서 제공되는 병행처리 기능을 적용하기 위한 CHILL 실행시간 지원 시스템(CRS : CHILL Run-time support System)의 설계 및 구현에 관한 연구이다. CHILL은 다른 병행 프로그래밍 언어에 비해 다양한 병행처리 기능들을 제공하고 있기 때문에, CRS의 설계는 병행처리 기능의 인터페이스 규격을 설계한다. CHILL의 병행처리 프리미티브는 프로시듀어 호출 형식으로 사용하도록 라이브러리 방식을 사용하며, CHILL 프로세스의 실행을 병행적으로 제어하기 위해 CHILL 프로그램 구동 루팀 및 문맥 교환부와 CHILL 프로세스 제어부를 구현한다.

  • PDF

페푸프 제어 시스템을 위한 퍼지-신경망 기방 고장 진단 시스템의 개발 (Development of Neuro-Fuzzy-Based Fault Diagnostic System for Closed-Loop Control system)

  • 김성호;이성룡;강정규
    • 제어로봇시스템학회논문지
    • /
    • 제7권6호
    • /
    • pp.494-501
    • /
    • 2001
  • In this paper an ANFIS(Adativo Neuro-Fuzzy Inference System)- based fault detection and diagnosis for a closed loop control system is proposed. The proposed diagnostic system contains two ANFIS. One is run as a parallel model within the model in closed loop control(MCL) and the other is run as a series-parallel model within the process in closed loop(PCL) for the generation of relevant symptoms for fault diagnosis. These symptoms are further processed by another classification logic with simple rules and neural network for process and controller fault diagnosis. Experimental results for a DC shunt motor control system illustrate the effectiveness of the proposed diagnostic scheme.

  • PDF

Is Economic Globalization Destructive to Air Quality? Empirical Evidence from China

  • GURBUZ, Eren Can
    • The Journal of Asian Finance, Economics and Business
    • /
    • 제9권10호
    • /
    • pp.15-27
    • /
    • 2022
  • Recently, as carbon dioxide (CO2) emissions have increased overall and contributed to air pollution, and awareness of environmental degradation has grown. This study examines the impacts and causalities of economic globalization, economic growth, energy consumption, and capital formation on CO2 emissions in China over the period 1971-2014. The vector error correction model (VECM) and Granger causality test on time-series data are employed to observe the interactions between CO2 emission, economic globalization, and various economic factors, including economic growth, energy consumption, and capital formation, since China's early stage of globalization. The empirical results indicate the existence of bidirectional causalities from economic growth, gross capital formation, economic globalization, and CO2 emission to energy consumption, and bidirectional casualty from energy consumption to CO2 emission relationships in the short run. The findings of this study suggest that indirect bidirectional causalities from economic growth, economic globalization, and capital formation to CO2 emission through energy consumption are observed. Moreover, economic globalization accelerates CO2 emission in the short run but decreases it in the long run. To reduce CO2 emissions, and to ensure sustainable economic growth and economic globalization progress, some crucial energy-saving and energy-efficiency policies, regulatory rules, and laws are recommended.

선적 24시간전 적하목록전송규칙(24 Hours Rules)의 주요내용과 문제점 (The Main Substance and Some Problems of 24 hours Advance Cargo Manifest Declaration Rule)

  • 한상현;엄광열
    • 정보학연구
    • /
    • 제8권1호
    • /
    • pp.95-112
    • /
    • 2005
  • This paper will look into the Main Substance and Some Problems of 24 hours Advance Cargo Manifest Declaration Rule, focuses on the Policy implication of Korea's and counter measures of our parties concerned about 24-hour advance vessel manifest rule. The 24-hour rule requires cargo owners to submit cargo manifest information to U.S. Customs 24 hours before vessel sailing from the final foreign port to a U.S. port. Cargo manifest information must be complete, accurate, and timely. As of February 2, 2003 manifest information can be submitted by paper or electronically. Cargo descriptions must be at a level of detail consistent with Harmonized Tariff Schedule (HTS) codes used by U.S. Customs. HTS codes are 10 digits. Electronic submissions are made via the Automated Manifest System (AMS) run by U.S. Customs.

  • PDF

Design of School Management Information System Based on the Indonesian National Education Standard

  • Kornelis, Marsella;Ock, Young Seok
    • International Journal of Contents
    • /
    • 제10권2호
    • /
    • pp.67-73
    • /
    • 2014
  • With a population of around 237,424,363 in 33 provinces, Indonesia is one developing countries that needs an excellent School Management Information System (SMIS) to accomplish its educational mission. To reach the goal, it is necessary to know the rules, culture of school and related data prior to building the SMIS. This study is focused on the Indonesian National Education Standards. It is has nine standards that are described by the Regulation of Education Ministry. To manage the schools' organization, this paper aims to develop a SMIS based on the Indonesian National Education Standards by using ARIS(Architecture of Integrated Information System) to help schools run efficiently. The new system will be built using UML(Unified Modeling Language), this new system conforms to the education rules of the government. Finally, the conclusion and future research are described.

Limiting the Number of Open Projects to Shorten the NPD Schedule

  • Wang, Miao-Ling;Yang, Chun-I;Chang, Sheng-Hung
    • Industrial Engineering and Management Systems
    • /
    • 제10권1호
    • /
    • pp.34-42
    • /
    • 2011
  • Many companies open multiple projects simultaneously due to market trends, which results in a crowding out effect because of limited resources. R&D engineers become overloaded and scheduling of product development is delayed resulting in timing misses and lost sales leads. The company in this case study (Company A), often opens up many projects simultaneously in order to respond to market needs quickly. The engineers are overloaded and, of course, the schedule is delayed. In order to identify problems, Company A began using Dr. Goldratt's Thinking Processes (TP) during new product development (NPD). When the analysis phase of TP was completed, Company A's core problem was identified as "the quantity of kick-off projects." Consequently, new rules and conditions and procedures were proposed for the opening, suspending, stopping, and closing of projects. Finally, the "Future Reality Tree" ensured that the proposed rules, conditions and procedures were set up as an available solution approved for practical application by executives. After a one-year trial run, the results showed that the Project Duration Rate was reduced by 53%, the Project Closed Rate was increased by 140% and the Project on Time Rate was increased from 10% to 68%. The above results give significant evidence of the benefits of the proposed methodology.