• Title, Summary, Keyword: Logical consequence

Search Result 40, Processing Time 0.059 seconds

A Case Study on Logical Network Separation through HCI method (HCI 방식을 통한 논리적 망분리 사례 연구)

  • Choi, Seoung Pyo;Shin, Sang Uk
    • Proceedings of the Korean Institute of Information and Commucation Sciences Conference
    • /
    • /
    • pp.747-749
    • /
    • 2017
  • To protect financial services against danger of financial accidents and customer information leakage caused by malware, injection attack and so on, Financial Services Commission announced "Financial Networks Security Enhancement Comprehensive Plan", which suggests the guideline of protecting customer information and providing secure financial services by separating network topology and then makes the financial company use network partitioning system. In consequence of this policy, financial companies respectively chose between the physical partitioning mechanism or the logical partitioning mechanism according to their IT environment. This paper suggests an efficient infrastructure configuration plan for making the logical network partition, by comparison of a construction of traditional general equipment and an integrated HCI(Hyper Converged Infrastructure) through 'Hyper Converged' which is one of virualization techniques for developing currently, and the case study of the integrated HCI method.

  • PDF

Forming Shop Analysis with Adaptive Systems Approach (적응시스템 접근법을 이용한 조선소 가공공장 분석)

  • Dong-Hun Shin;Jong-Hun Woo;Jang-Hyun Lee;Jong-Gye Shin
    • Journal of the Society of Naval Architects of Korea
    • /
    • v.39 no.3
    • /
    • pp.75-80
    • /
    • 2002
  • In these days of severe struggle for existence, the world has changed a great deal to global and digital oriented period. The enterprises try to introduce new management and production system to adapt such a change. But, if the only new technologies are applied to an enterprise without definite analysis about manufacturing, failure fellows as a logical consequence. Hence, enterprise must analyze manufacturing system definitely and needs new methodologies to mitigate risk. This study suggests that the new approach, which is systems approach for process improvement, is organized to systems analysis, systems diagnosis, and systems verification. Systems analysis analyzes manufacturing systems with object-oriented methodology-UML(Unified Modeling language) from a point of product, process, and resource view. Systems diagnosis identifies the constraints to optimize the system through scientific management or TOC(Theory of constraints). Systems verification shows the solution with virtual manufacturing technique applied to the core problem which emerged from systems diagnosis. This research shows the artifacts to improve the productivity with the above methodology applied to forming shop. UML provides the definite tool for analysis and re-usability to adapt itself to environment easily. The logical tree of TOC represents logical tool to optimize the forming shop. Discrete event simulator-QUEST suggests the tool for making a decision to verify the optimized forming shop.

A Conceptual Model of Knowledge Management System by using "4+1" views of UML (UML의 "4+1" 뷰를 이용한 지식 관리 시스템의 개념적 모델)

  • Sung Wook Ahn;Nam Yong Lee;Sung Yul Rhew
    • The Journal of Society for e-Business Studies
    • /
    • v.5 no.1
    • /
    • pp.123-134
    • /
    • 2000
  • Over the past several decades, several architectural approaches have been applied to develop Information Systems, The software architectural model has been recognized as one of the most important methods for improving productivity. Most conceptual models are difficult to understand and interpret at various system models. As a consequence, conceptual models of many Information Systems fail to represent, exploit, and apply to various aspects, which is needed for reducing development step of the architecture. In this paper, we will explain the architectural model as the 4+1 View of UML. This model integrates the Knowledge Management System into five views: the Logical View, the Process View, the Deployment View, Implementation View, and the Use-Case View. Moreover, this paper will not only provide information on the application of the software architectural model by stakeholders, but also ultimately improve productivity.

  • PDF

An expert system for hazard identification in chemical processes

  • Chae, Heeyeop;Yoon, Yeo-Hong;Yoon, En-Sup
    • 제어로봇시스템학회:학술대회논문집
    • /
    • /
    • pp.430-435
    • /
    • 1992
  • Hazard identification is one of the most important task in process design and operation. This work has focused on the development of a knowledge-based expert system for HAZOP (Hazard and Operability) studies which are regarded as one of the most systematic and logical qualitative hazard identification methodologies but which require a multidisciplinary team and demand much time-consuming, repetitious work. The developed system enables design engineers to implement existing checklists and past experiences for safe design. It will increase efficiency of hazard identification and be suitable for educational purposes. This system has a frame-based knowledge structure for equipment failures/process material properties and rule networks for consequence reasoning which uses both forward and backward chaining. To include wide process knowledge, it is open-ended and modular for future expansion. An application to LPG storage and fractionation system shows the efficiency and reliability of the developed system.

  • PDF

A study on computer-aided synthesis of process control system structure (전산기를 이용한 공정 제어구조 합성에 관한 연구)

  • Lo, Kyun;Yoon, En-Sup
    • 제어로봇시스템학회:학술대회논문집
    • /
    • /
    • pp.670-673
    • /
    • 1987
  • The structure of chemical process has become increasingly complex, due to better management of energy and raw materials. As a consequence, the design of control systems for complete plants now constitutes the focal point of engineering interest, rather than controller designs for single processing units. Instead of traditional methods based on complex mathematical model, chemical processes are represented by structural array and cause-and-effect graph to apply non-numerical problem-solving techniques. A systematic logical procedure to synthesize alternatives of control system structure and some heuristic rules to select a feasible solution from the vast number of alternatives that are possible are considered in this study.

  • PDF

Subdomain-Based Finite Element Method for Thermomechanical Analysis with Thermal Radiation (열복사를 고려한 열기계학적 해석을 위한 유한요소 부영역 결합법의 적용)

  • Shin Eui-Sup;Jin Ji-Man
    • Transactions of the Korean Society of Mechanical Engineers A
    • /
    • v.30 no.6
    • /
    • pp.705-712
    • /
    • 2006
  • A finite element method based on the penalized subdomain-interface framework is proposed for fully-coupled, nonlinear thermomechanical analyses with thermal contact anuor radiation boundaries. In the variational formulation, a well-known penalty functional scheme is adopted for connecting subdomains and interfaces that satisfy various continuity requirements. As a logical consequence, the whole domain can be arbitrarily divided into independently-modeled subdomains without considering the conformity of meshes along their interfaces. Since the nonlinearities due to the contact and radiation boundaries can be localized within a few subdomains, the computational efficiency of the present method is greatly increased with appropriate solution algorithms. By solving some numerical problems, these advantageous features are confirmed carefully.

Mathematical Giftedness and the Need of Mathematics Specialists in Elementary Grades

  • Pandelieva, Valeria
    • Research in Mathematical Education
    • /
    • v.12 no.4
    • /
    • pp.259-270
    • /
    • 2008
  • The change of the developed countries to highly technological societies continuously requires that they nurture and use the full potential of mathematically and scientifically talented people. As this is a process that should start early in order to be efficient, the main responsibility of identifying and addressing the specific needs of these people is assigned to public school systems and, in particular, to elementary teachers. In this regard, three significant areas of concern arise and are discussed in this paper: (a) The complexity in identifying mathematically promising and mathematically talented elementary students; (b) The highly responsible and difficult task for elementary teachers to differentiate and serve the mathematically promising students within an inclusive classroom; and (c) The need of teachers with specialized training and mathematics knowledge in pre-high school grades. The last one should be considered predominantly as a logical consequence of the first two. The main goal and, hence, the purpose of the paper is to promote understanding of this crucial necessity of mathematics specialists and to advocate for a change in this direction.

  • PDF

An Evaluation Model for Increasing Convenience of the Interior of FRT (궤도차량 실내디자인의 편의성 증대를 위한 평가 모형)

  • Jin Mi-Ja;Han Suk-Woo;Chang Se-Ky;Yoon Hee-Taek
    • Proceedings of the KSR Conference
    • /
    • /
    • pp.269-273
    • /
    • 2005
  • Since adding design elements to train manufacturing technologies creates addition of high value, it is necessary to develop design for FRT with increased convenience of transportation by rail, which is a new paradigm. Therefore, an evaluation model for increasing convenience of the interior of FRT should draw the requirements of such design and their importance and supply logical basis for setting standards of establishing convenience of system and evaluating and measuring them. In order to evaluate design elements such as interior layout and arrangement of facilities, the model, of which commonness and subjectivity have been verified, should be presented. In consequence, this study going to more concretely focus on new values and sensitive technologies, application of availability and visual communication.

  • PDF

The Ontological Conservativeness of Logic and Mereology (논리학의 존재론적 보수성과 부분전체론)

  • Kang, Soo-Whee
    • Korean Journal of Logic
    • /
    • v.13 no.2
    • /
    • pp.167-201
    • /
    • 2010
  • This paper aims to scrutinize the possibility of mereology as philosophically satisfiable metalogic. Motivation for this is straightforward. As I see, a traditional approach to metalogic presented in the name of mathematical logic posits the existence of mathematical entities such as sets, functions, models, etc. to give definitions of logical concepts like logical consequence. As a result, whenever logic is used in any individual sciences, this set-theoretical metalogic cannot but add these mathematical entities to the domain of them. This fact makes this approach contradict to the ontological conservativeness of logic. Mereology, however, has been alleged to be ontologically innocent, while it is a formal system very similar to set theory. So it may well be that some people thought of mereology as a good substitute for set theoretic metalanguage and concepts for ontologically neutral metalogic. Unfortunately, when we look into argument for the ontological innocence of mereology, we can find that mereological entities such as mereological sums or fusions are not ontologically neutral. Thus we can conclude that mereological approach to metalogic is not promising at all.

  • PDF

Gab Theory and Minimal Intuition on Truth (간극이론과 진리에 대한 최소직관)

  • Lee, Jinhee
    • Korean Journal of Logic
    • /
    • v.19 no.2
    • /
    • pp.145-184
    • /
    • 2016
  • Williamson(1994) proved incompatibility of Gab Theory and Tarski T-schema. But this does not means that Gab Theory could not involve intuition on truth that is expressed by T-schema. I will show that Gab Theory and mutual entailment of 'p' and 'it is true that p'(p⊨T

    and T

    ⊨p) are compatible. It will draw that Gab Theory can involve minimal intuition on truth. After all what I want to reveal is logical space for Gab Theory through the compatibility of the mutual entailment and negation of the Principle of Bivalence. To prove the compatibility, I will present a consequent relation which should be accepted whenever we accept Gab Theory and demonstrate Gab Theory and the mutual entailment imply following two thesis; 1) not-T

    and T are not equivalent. 2) p entails T

    but not-T

    does not entails not-p.

  • PDF