• Title/Summary/Keyword: Logical model

Search Result 526, Processing Time 0.026 seconds

Design of ILS M&S for RAM Analysis in Guided Weapon System (유도무기체계 RAM분석을 위한 ILS M&S 설계)

  • Lee, Yong-Bin;Lee, Dong-Wook;Lee, Joo-Hyung;Um, Chun-Sup;Park, Jang-Won
    • Journal of the Korea Society for Simulation
    • /
    • v.24 no.2
    • /
    • pp.19-29
    • /
    • 2015
  • M&S techniques are utilized for various purposes on the national defense, and its importance is increasing than ever. For analyzing RAM (Reliability, Availability and Maintainability) of weapon system, using M&S techniques can be more effective and practical way than deterministic approach, because M&S approach can consider uncertain variables and various constraints in the ILS (Integrated Logistics support) field. For design of ILS M&S, we first set up a purpose of M&S, attributes of real system and other similar ILS M&S tool. Then, we convert real system into model which consists of mathematical formula and logical expression. In this thesis, we introduce modeling procedures of M&S that describes total life cycle of 'OO guided weapon system' and the contents proposed in this paper can provide references for developing other M&S tool.

Vertical Handover Framework for Maritime Multi-band Networks (해상 멀티대역 네트워크를 위한 수직 핸드오버 프레임워크 설계)

  • Cho, A-Ra;Yun, Changho;Park, Jong-Won;Lim, Yong-Kon
    • Journal of the Korea Institute of Information and Communication Engineering
    • /
    • v.18 no.12
    • /
    • pp.2847-2856
    • /
    • 2014
  • It is necessary for maritime multi-band networks, which provide ships with diverse and seamless multimedia services, to perform vertical handover. As IEEE 802.21 WG has standardized vertical handover technologies for terrestrial wireless networks that do not consider VHF, HF, satellite networks, they cannot be directly applied to maritime multi-band networks. In this paper, the vertical handover framework for use in maritime mutlti-band networks is proposed, which includes the logical architecture, the communication reference model, re-defined handover primitives, and the handover process. The proposed vertical handover for maritime multi-band network can be applied in the ocean alone, as well as to the heterogeneous wireless networks which embrace both terrestrial and maritime networks.

Critical Constructionism as a Philosophical Foundation of the Program for Enhancing Science Culture (<과학문화 발전 프로그램>을 위한 철학적 기초로서의 비판적 구성주의)

  • Lim Byoung-Kap
    • Journal of Science and Technology Studies
    • /
    • v.1 no.2 s.2
    • /
    • pp.439-467
    • /
    • 2001
  • We need to establish a systematic and consistent program in order to enhance 'science culture.' Such a program cannot be obtained without understanding the methods of doing science, with which the philosophers of science have been concerned. I divide the historical development of the philosophical understandings of doing science into three as follows: 1) the 'normative' philosophy of science, 2) the 'historical' philosophy of science and 3) the 'naturalized' philosophy of science. Based upon the classification, I propose the 'critical constructionism' and explicate its theses. I then argue that critical constructionism can incorporate the strengths of the above schools of philosophies of science. Considering the cross-disciplinary nature of the science studies, it is claimed that critical constructionism alone can mediate and facilitate the collaborative understanding of science and contribute to enhancing the science culture because of its comprehensive understandings of the methods of doing science.

  • PDF

A cell scheduling of a logically separated buffer in ATM switch (ATM 스위치에서 논리적으로 분할된 버퍼의 셀 스케쥴링)

  • 구창회;나지하;박권철;박광채
    • The Journal of Korean Institute of Communications and Information Sciences
    • /
    • v.22 no.8
    • /
    • pp.1755-1764
    • /
    • 1997
  • In this paper, we proposed the mechanism for the buffer allocation and a cell scheduling method with logical separation a single buffer in the ATm switch, and analyzed the cell loss probability and the delay of each trafic (CBR/VBR/ABR) based on the weighted value and the dynamic cell service scheduling algorithm. The proposed switch buffering system classifies composite trafics incoming to the switch, according to the characteristic of traffic, then stores them in the logically separated buffers, and adopts the round-robin service with weighted value in order to transmit cells in buffers though one output port. We analyzed 4 cell service scheduling algorithms with dynamic round-robinfor each logically separated service line of a single buffer, in which buffers have the respective weighted values and 3 classes on mixed traffic which characteristized by traffic descriptor. In simulation, using SIMCRIPT II.5., we model the VBR and the ABR traffics as ON/OFF processes, and the CBR traffic as a Poisson processes. As the results of analysis according to the proposed buffer management mechanism and cell service algorithm, we have found that the required QoS of each VC can be quaranteed depends on a scale of weighted values allocated to buffers that changed the weighted values, and cell scheduling algorithm.

  • PDF

Semantic Representation of Concept of Bio-signal Data (생체 신호 데이터의 의미 관계 표현)

  • Moon, Kyung-Sil;Park, Su-Hyun
    • Journal of the Korea Institute of Information and Communication Engineering
    • /
    • v.15 no.2
    • /
    • pp.292-298
    • /
    • 2011
  • In order to acquire new information and biological meaning of the signal data by defining the relationships between them, new modeling technique, ontology, has been proposed. The data of bio-signal can be represented as a systematic and logical to manage continuously bio-signal data using ontology. Furthermore, knowledge of which resources are utilized to provide improved service quality in medical information, health services in various fields. However, relevant studies have not been performed actively to compare importance of relationships between bio-signals. Therefore semantic representation of biometric information should be by defining the relationship between bio-signals. In this paper, we have developed bio-signal ontology to use as a model for using domain knowledge. We verified the usefulness of the ontology by using scenarios.

Design of A Database Architecture for Hierarchical Security Policy Model (계층적 구조 보안 정책 모델을위한 데이터 베이스 구조 설계)

  • Yun, Yeo-Wung;Hwang, Yoon-Cheol;Um, Nam-Kyeong;Kim, Kwun-Woo;Lee, Sang-Ho
    • The KIPS Transactions:PartC
    • /
    • v.8C no.6
    • /
    • pp.711-720
    • /
    • 2001
  • An enlarging a scale of logical domain organizing Internet, security policy association among entities become complicated. Establishment and control of security policies for each system is a hard problem to solve because of the environment and composite factors with variable properties. In this paper, to solve this actual problems, we orgainze a hierarchical structure of network and than we design the structure of database to apply security policies for secure communication. This enables efficient management of security data and association of security policy by using designed data structure between different domain in hierarchical structure with make secure communication possible.

  • PDF

Development and Evaluation of Ontology for Diagnosis in Oriental Medicine (한의진단 Ontology 구축과 평가)

  • Shin Sang-Woo;Jung Gil-San;Park Kyung-Mo;Kim Seon-Ho;Park Jong-Hyun
    • Journal of Physiology & Pathology in Korean Medicine
    • /
    • v.20 no.1
    • /
    • pp.202-208
    • /
    • 2006
  • The goal of this study is to develop knowledge representation method for the construction and evaluation of ontology for diagnosis in oriental medicine. To develop the expert system for decision making on diagnosis and treatment, the systematic and structural knowledge which can be processible in EMR(Electronic Medical Record) must be precedent, and the Computational Process which control the system as well. This study set up an ontology as a trial model to represent the oriental medical knowledge into the machine processible one. Protege 2.1 has been used to build the ontology, and the serialization format of our ontology is the XML document based on OWL. The components of oriental medical diagnosis was arranged with the combination of symptoms which belong to the certain symptom patterns. Then natural language which expresses the oriental medical diagnosis components were converted into the logical sentence, and individual characteristic symptoms into each values of specific properties. In addition to the study, the diagnosis software for oriental medicine was developed and it used the ontology which we developed. Sequently, we tested the software to confirm the appropriateness of ontology. The result of the test shows that diagnostic questions are automatically formulated according to the diagnosis components of this ontology and that as such diagnostic results are induced. Therefore, the ontology system in this study will be efficient to develop the diagnosis program and useful as a tool for doctors to make decision. But, it is not recommendable to apply the system to the clinical environment until the clear diagnosis standards are introduced, and the more reliable diagnosis program can be developed based on the more appropriate ontology mentioned above.

Simulation Analysis to Optimize the Management of Military Maintenance Facility (군 정비시설 운용 최적화를 위한 시뮬레이션 분석 연구)

  • Kim, Kyung-Rok;Rhee, Jong-Moon
    • Journal of the Korea Academia-Industrial cooperation Society
    • /
    • v.15 no.5
    • /
    • pp.2724-2731
    • /
    • 2014
  • As the future national defense plan of government focus on advanced weapon system, military maintenance facility becomes more important. However, military maintenance facility has been managed by director's experience and simple mathematical calculation until now. Thus, the optimization for the management of military maintenance facility is suggested by more scientistic and logical methods in this study. The study follows the procedure below. First, simulation is designed according to the analysis of military maintenance facility. Second, independent variable and dependent variable are defined for optimization. Independent Variable includes the number of maintenance machine, transportation machine, worker in the details of military maintenance facility operation, and dependent variable involves total maintenance time affected by independent variable. Third, warmup analysis is performed to get warmup period, based on the simulation model. Fourth, the optimal combination is computed with evolution strategy, meta-heuristic, to enhance military maintenance management. By the optimal combination, the management of military maintenance facility can gain the biggest effect against the limited cost. In the future, the multipurpose study, to analyze the military maintenance facility covering various weapon system equipments, will be performed.

An Extended I-O Modeling Methodology based on FSM (유한상태기계에 기반한 확장된 I-O 모델링 방법론)

  • Oh, Soo-Yeon;Wang, Gi-Nam;Kim, Ki-Hyung;Kim, Kangseok
    • Journal of the Korea Society for Simulation
    • /
    • v.25 no.4
    • /
    • pp.21-30
    • /
    • 2016
  • Recently manufacturing companies have used PLC control programs popularly for their automated production systems. Since the life cycle of production process is not so long, the change of the production lines occur frequently. Most of changes happen with modification of the position information and control process of the equipment. PLC control program is also modified based on the fundamental process. Therefore, to verify new PLC program by configuring virtual space according to real environment is needed. In this paper we show a logical modeling method, based on Timed-FSA useful for sequence control and dead-lock prevention. There is a problem wasting user's labor and time when defining a variety of states in a device. To overcome this problem, we propose an extended I-O model based on existing methods by adding a token concept of Petri Nets. Also we will show the usability of the extended I-O modeling through user study.

The Prospect of 'Recordkeeping Regime' in the Public Sector of Korea : Examination on the characteristics of the Tables of Transactions for Records Scheduling by PRA Act (한국 공공분야 '기록보유(Recordkeeping)'체제 전망 -'기록물분류기준표'의 제도적 의의와 특성 -)

  • Lee, Seung-Eok
    • The Korean Journal of Archival Studies
    • /
    • no.4
    • /
    • pp.31-62
    • /
    • 2001
  • In this paper, I examined specific characteristics of the Tables of Transactions for Records Scheduling(TRS) (記錄物分類基準表 ; Kirokmul-Bulyukijun - Pyo) system by Public Records and Archives Act(PRA Act, No. 5709, 1999). All staffs and employees in governmental agencies of Korea must register, classify and dispose of their official records according to TRS by the Presidential Regulation for the application of PRA Act(No. 17050, 2000). Namely, the criteria of TRS is applicable to all stages of records lifecycle from creation to disposition(transfer to Archives or legal destruction). In the theoretical and methodological area, therefore, it is absolutely important that records managers and archival professionals in Korea make analysis on functions and characteristics of TRS by PRA Act. In the first, my examination take notice of possibility of 'adequate and proper documentation' about activity of the executive organization in TRS system. Other attention is that records management according to TRS means managing of records not only as physical entities but as logical entities which imply content and context of creation and use. In other hand, I wish to account for reasonable separation consideration for continuing utility of archives from current use of records throughout agencies duration Another theme of discussion in this paper is the theoretical framework which give account of TRS's characters. In conclusion, accountability for characteristics of TRS system could have been found in counterproposal view including the concept of Records continuum and the notion of Recordkeeping regime in Australia based on rethinking about Records lifecycle model. In the extent of practical area, more or less, it is imbalanced method that compare TRS by PRA Act to Recordkeeping regime based on Records continuum. Nevertheless, the concept and notion is suitable framework that give account of the prospect of recordkeeping system under PRA Act.as well as the meaningful characteristic of TRS.