• Title/Summary/Keyword: Model Checking Tool

Search Result 54, Processing Time 0.021 seconds

A Study on Strategic Management Model of National Defense Records Centers (국방기록물관리기관의 전략적 운영모형에 관한 연구)

  • Kang, Jin Young
    • The Korean Journal of Archival Studies
    • /
    • no.55
    • /
    • pp.97-133
    • /
    • 2018
  • A total of 133 defense records centers exist in the country, and checking their common problems, as well as the inherent problems and strategies of individual archives, is necessary to solve them. The Strategic Management Model of the defense records centers is a tool developed to check the archives' operational problems and solve them strategically. The researchers tried to help the military records centers in checking the problems and obtaining the strategic judgment of the commander to improve their work process. This study proposes the use of the model in individual defense records centers that establish midand long-term development plans with policy agencies, such as the Ministry of National Defense, to establish a records management policy and improve the said records centers. Based on literature studies, 67 items were developed in seven areas, reflecting the characteristics of experts' verification, statistical analysis, and defense records centers. This study also proposes the improvement of the records centers' strategy by citing cases that exhibit the use of the strategic operation model by the Ministry of National Defense.

A study on Three Dimensional Configuration Scan by Photographing Parameters (스퍼기어의 3차원 모델링과 검증에 관한 연구)

  • 김세민;김민주;이승수;김순경;전언찬
    • Proceedings of the Korean Society of Machine Tool Engineers Conference
    • /
    • 2001.10a
    • /
    • pp.369-374
    • /
    • 2001
  • Gear is general mechanical elements that used for power transmission between two shafts that interval is comparatively short. and it delivers big power as accurate ratio of speed. The profile of Spur gear which is the most basic factor is divided into Trochoidal fillet curve and Involute curve. Involute curve is used a lot of a shaped curve of machine parts such as a gear, a scroll compressor and a collar of centrifugal pump. However, it is poor to study the modeling of Trochoidal fillet curve and the three dimensions model shaped mathematical curve. This paper describes a mathematical model of profile shifted involute gear. and this model is based on Camus's theory. We draw three dimensions gear have accurate mathematical function using ADS, VisualLISP. and To check accuracy and perfection, we make a program of checking Interference. and use for this study.

  • PDF

Die Life Estimation of Hot Forging for Surface Treatment and Lubricants (표면처리 및 윤활제에 따른 열간 단조 금형의 수명 평가)

  • 이현철;김병민;김광호
    • Journal of the Korean Society for Precision Engineering
    • /
    • v.20 no.7
    • /
    • pp.26-35
    • /
    • 2003
  • This study explains the effects of lubricant and surface treatment on hot forging die life. The mechanical and thermal load, and thermal softening which is happened by the high temperature of die, in hot and warm forging, cause die wear, heat checking and plastic deformation, etc. This study is fur the effects of solid lubricants and surface treatment condition for hot forging die. Because cooling effect and low friction are essential to the long life of dies, optimal surface treatment and lubricant are very important to improve die life for hot forging process. The main factors, which affect die hardness and heat transfer, are surface treatments and lubricants, which are related to thermal diffusion coefficient and heat transfer coefficient, etc. For verifying these effects, experiments are performed for hot ring compression test and heat transfer coefficient in various conditions as like different initial billet temperatures and different loads. The effects of lubricant and surface treatment for hot forging die life are explained by their thermal characteristics. The new developed technique in this study for predicting tool life can give more feasible means to improve the tool life in hot forging process.

Noise-source Identification of Evaporator Using Partial Coherence Function (부분기여도함수를 이용한 증발기의 소음원 분석)

  • Choi, Ki-Soo;Jeong, Wei-Bong;Han, Hyung-Suk;Kim, Min-Seong
    • Transactions of the Korean Society for Noise and Vibration Engineering
    • /
    • v.19 no.4
    • /
    • pp.347-354
    • /
    • 2009
  • Frequency analysis is one of the most useful way to analyze response signal for the purpose of grasping the dynamic characteristics of system through Fourier transformation. Although it is very effective way for frequency analysis, it is hard to analyze out a specific sound or vibration component which is correlated with others. In this thesis, source contribution analysis tool for NI-PXI equipment is developed with LabVIEW using coherences of MISO(multiple-input single-output) model. For the purpose of examining propriety of developed tool, simulation is performed with several correlated signals that have different frequency range. After checking the OCF(ordinary coherence function) and PCF(partial coherence function) of the each signal for concerned frequency domain, an experiment is conducted on an evaporator that cause the principal noise of a refrigerator. This developed tool will be expected to build up more convenient and serviceable measurement system.

Study on Vacuum Casting and Cu Infiltration Powder Casting for Rapid Tooling (쾌속금형제작을 위한 진공주형과 동용침 분말주조기술에 관한 연구)

  • 임용관
    • Journal of Powder Materials
    • /
    • v.7 no.2
    • /
    • pp.102-109
    • /
    • 2000
  • With the emergence of the 3D CAD, it is possible to create a physical part directly from a digital model by accumulating layers of a given material. The technology is being widely used for checking designs, to create master models for rapid tooling, and for reverse engineering. However, in general, a model created by rapid prototyping technology is made of soft material that cannot be used as mass prouduction hard tool. Newly developed powder casting is suitable for rapid-manufacturing metallic tools. Powder casting can serve as a promising rapid tooling method because of high density characteristics and low dimensional shrinkage below 0.1% during sintering and infiltration. Through this process, we have realized significant time and cost savings eliminating the expense of conventional prototype tooling process.

  • PDF

OHDSI OMOP-CDM Database Security Weakness and Countermeasures (OHDSI OMOP-CDM 데이터베이스 보안 취약점 및 대응방안)

  • Lee, Kyung-Hwan;Jang, Seong-Yong
    • Journal of Information Technology Services
    • /
    • v.21 no.4
    • /
    • pp.63-74
    • /
    • 2022
  • Globally researchers at medical institutions are actively sharing COHORT data of patients to develop vaccines and treatments to overcome the COVID-19 crisis. OMOP-CDM, a common data model that efficiently shares medical data research independently operated by individual medical institutions has patient personal information (e.g. PII, PHI). Although PII and PHI are managed and shared indistinguishably through de-identification or anonymization in medical institutions they could not be guaranteed at 100% by complete de-identification and anonymization. For this reason the security of the OMOP-CDM database is important but there is no detailed and specific OMOP-CDM security inspection tool so risk mitigation measures are being taken with a general security inspection tool. This study intends to study and present a model for implementing a tool to check the security vulnerability of OMOP-CDM by analyzing the security guidelines for the US database and security controls of the personal information protection of the NIST. Additionally it intends to verify the implementation feasibility by real field demonstration in an actual 3 hospitals environment. As a result of checking the security status of the test server and the CDM database of the three hospitals in operation, most of the database audit and encryption functions were found to be insufficient. Based on these inspection results it was applied to the optimization study of the complex and time-consuming CDM CSF developed in the "Development of Security Framework Required for CDM-based Distributed Research" task of the Korea Health Industry Promotion Agency. According to several recent newspaper articles, Ramsomware attacks on financially large hospitals are intensifying. Organizations that are currently operating or will operate CDM databases need to install database audits(proofing) and encryption (data protection) that are not provided by the OMOP-CDM database template to prevent attackers from compromising.

Study on Extraction of Sub-element and Construction of System Model for the Technological Communication Skills (기술적 의사소통능력의 하위요소 추출과 체제모형 구축)

  • Kim, Ju Hyun;Lee, Yong Jin
    • 대한공업교육학회지
    • /
    • v.40 no.1
    • /
    • pp.105-120
    • /
    • 2015
  • The purpose of this study was to extract of Sub-elements of technological communication skills and to construct of a system model. In order to achieve the goal of the study, it was carried out in two steps: (1)Extraction sub-elements and definitions of technological communication skills, (2)Development of a system model of technological communication skills. Obtained conclusions by the process of this research were as follows. First, sub-elements of the technological communication skills were extracted and they were images, sketches, flowcharts, drawings, prototyping, symbols tables graphs and presentations. Second, using the 'technological communication tools' based on the "collaborative activities in online and offline', technological communication skills were defined as communication skills to be raised through the process of 'Idea through the Communication', 'Realization through the Communication', 'Wrap up through the Communication'. Third, technological communication skills were described as the system, in which 'Idea through the Communication(images, sketches, flowcharts)', 'Realization through the Communication(design, prototyping)', 'Wrap up through the Communication(symbol table graph, presentation)' were collaboratively activated. Fourth, checking tool for the technological communication skills was developed, based on checking tool for the existing communication skills and system model for technological communication skills. And it was improved by the expert validity test.

A Formal Specification and Meta-Model for Development of Cooperative Collection·Analysis Framework

  • Cho, Eun-Sook;Song, Chee-Yang
    • Journal of the Korea Society of Computer and Information
    • /
    • v.24 no.12
    • /
    • pp.85-92
    • /
    • 2019
  • Companies can identify user groups or consumption trends by collecting and analyzing opinions of many users on special subjects or their products as well as utilize them as various purposes such as predicting some specific trends or marketing strategies. Therefore current analyzing tools of social media have come into use as a means to measure the performances of social media marketing through network's statistical analysis. However these tools require expensive computing and network resources including burden of costs for building up and operating complex software platforms and much operating know-how. Hence, small companies or private business operators have difficulty in utilizing those social media data effectively. This paper proposes a framework applied into developing analysis system of social media. The framework could be set up and operate the system to extract necessary social media's data. Also to design the system, this study suggests a meta-model of proposed framework and to guarantee completeness and consistency, a formal specification of meta-model by using Z language is suggested. Finally, we could verify the clearness of framework's design by performing Z model checking of formal specification's output through Z-EVES tool.

The Study on the Generation of Verifying Rules for Consistency and Completeness of the Unified Modeling Language Diagrams (UML 다이아그램간의 일관성과 완전성을 위한 검증 규칙 생성에 관한 연구)

  • 김재웅;김진수;김치수;황선명
    • Journal of Korea Multimedia Society
    • /
    • v.3 no.3
    • /
    • pp.290-297
    • /
    • 2000
  • For verifying consistency and completeness of some UML diagrams as a representative of the graphic notations for object-oriented designs, we first give an analysis of some UML diagrams and apply simple ER model to the UML diagrams. Next, we formally define this graphical representation as a set of sets and a set of functions. According to the semantics of these functions, we derive a set of rules to assure the consistency and completeness of this graphical representation. These rules will be included with a CASE tool, which possesses both the diagramming facility and the consistency and completeness checking capability.

  • PDF

An application design atomation in machine tools design (공작기계 설게자동화 적용방안 연구)

  • 여진욱
    • Proceedings of the Korean Society of Machine Tool Engineers Conference
    • /
    • 1999.10a
    • /
    • pp.579-584
    • /
    • 1999
  • The purpose of the present paper are not to develope machine tools of new concepts and advanced mechanisms but to introduce and apply new methods and concepts in the design procedure by using and changing the previously existing technologies. In this paper 3D modeller was proposed for designing machine tools and the design and the better manufacturability checking than 2D one so that design error was dramatically reduced. As designer may easily understand the real shape of a part and assembly object, it's easy to draw the drawings not only in a conceptual design but also in a detailed design. Also, design automation software enabled designer to consider the real important design parameters by reducing time to spend in estimating and calculating the strength of the model by the computer aided automatic calculation instead of a tedious and complex calculation by manual method and help him to easily make the decision for selecting the stocks and design the structure of part or unit of machine tools.

  • PDF