• Title/Summary/Keyword: Run-rules

Search Result 77, Processing Time 0.026 seconds

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

  • Kim, Yeoneo;Song, Jiwon;Woo, Gyun
    • Journal of KIISE
    • /
    • v.42 no.4
    • /
    • pp.487-495
    • /
    • 2015
  • Since most of information is computerized nowadays, it is extremely important to promote the security of the computerized information. However, the software itself can threaten the safety of information through many abusive methods enabled by coding mistakes. Even though the Secure Coding Guide has been proposed to promote the safety of information by fundamentally blocking the hacking methods, it is still hard to apply the techniques on other programming languages because the proposed coding guide is mainly written for C and Java programmers. In this paper, we reclassified the coding rules of the Secure Coding Guide to extend its applicability to programming languages in general. The specific coding guide adopted in this paper is the C Secure Coding Guide, announced by the Ministry of Government Administration and Home Affairs of Korea. According to the classification, we applied the rules of programming in Sprout, which is a newly proposed Korean programming language. The number of vulnerability rules that should be checked was decreased in Sprout by 52% compared to C.

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

  • Kim, Young Bok;Hong, Jung Sik;Lie, Chang Hoon
    • Journal of Korean Institute of Industrial Engineers
    • /
    • v.34 no.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.

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

  • 이정욱;김용주;김영찬
    • Proceedings of the Korean Institute of Information and Commucation Sciences Conference
    • /
    • 2003.05a
    • /
    • pp.749-752
    • /
    • 2003
  • The HLA is defined by three components: (1) Rules, (2) the HLA Interface Specification, and (3) the Object Model Template(OMT). The RTI(Run-Time Infrastructure) software implements the interface specification. It provides services in a manner that is comparable to the way a distributed operating system provides services to applications. A way to test whether is suitable for a standard, and all service was implemented is tested through two phases of processes to verify the RTI which proposed in DMSO. In this paper, we discuss Level One Test Procedures and a method. Confirms whether RTI was implemented in Interface Specification according to Level One Test Procedures appropriately through a test. Develops Test Suite for every each step to test whether a correct command and the expected results are occur.

  • PDF

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

  • S. Kim;A. Lazar;R.G. Reynolds
    • Proceedings of the Korea Society for Simulation Conference
    • /
    • 2003.06a
    • /
    • 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

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

  • Ha, Su-Cheol;Jo, Cheol-Hoe
    • The Transactions of the Korea Information Processing Society
    • /
    • v.6 no.7
    • /
    • pp.1941-1954
    • /
    • 1999
  • This paper presents a design and implementation of CRs(CHILL Run-time support System) to adapt the concurrent processing facilities of CHILL(CCITT High Level Language) which had recommended by ITU-T(International Telecommunication Union Telecommunication Standardization Sector). Because the CHILL provides more various concurrent processing facilities that other concurrent programming language, a design and implementation on CRS can give us real effects to gain the major functionalities and the techniques of the concurrent processing. In this paper, we design the interface rules of concurrent functions to conform with the CHILL compiler. We use the concurrent processing primitives as the library style to be invoked by procedure calls, and implement the start-up routine of the CHILL program, the context switching routine, and the CHILL process control parts to control be execution of the CHILL processes concurrently.

  • PDF

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

  • Kim, Seong-Ho;Lee, Seong-Ryong;Gang, Jeong-Gyu
    • Journal of Institute of Control, Robotics and Systems
    • /
    • v.7 no.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
    • /
    • v.9 no.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.

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

  • Han, Sang-Hyun;Eom, Kwang-Yeol
    • The Journal of Information Technology
    • /
    • v.8 no.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
    • /
    • v.10 no.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
    • /
    • v.10 no.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.