• Title/Summary/Keyword: Logical

Search Result 2,666, Processing Time 0.032 seconds

A study of the exterior and interior relation's consitutional principle on three yin three yang (삼음삼양(三陰三陽) 표리(表裏) 관계(關係)의 구성원리(構成原理)에 대한 연구(硏究))

  • Kim, Jin-Ki;Choi, Dal-Yeong
    • The Journal of Korean Medicine
    • /
    • v.16 no.1 s.29
    • /
    • pp.437-450
    • /
    • 1995
  • In order to clear the basic concept about oriental medical physiology and pathology, We studied the theory of three yin, three yang, and it is based on the principle that yang goes forward and yin goes back. The result were summarized as follows. 1. It showed how to originate about the concept of three yin three yang. 2. It showed the logical basis concerning that the TAIYANG channels are open, the YANGMING channels are shut, the SHAOYANG channels are pivots, the TAIYIN open, SHAOYIN shut, JUEYIN pivots. 3. According to the opening, closing, pivoting principle, It explained the exterior and interior relation such as TAIYANG and SHAOYIN, YANGMING and TAIYIN, SHAOYANG and JUEYIN. 4. According to the opening, closing, pivoting principle, It showed that arteries of the twelve channels rotated in lung channel of hand-TAIYIN, the large intestine channel of hand-YANGMING, the stomach channel of foot-YANGMING, the spleen channel of foot-TAIYIN, the heart channel of hand-SHAOYIN, the small intestine channel of hand-SHAOYANG, the urinary bladder channel of foot-TAIYANG, the kidney channel of foot-SHAOYIN, the pericardium channel of hand-JUEYIN, the sanjiao(三焦) channel of hand-SHAOYANG, the gall bladder channel of foot-SHAOYANG, the liver channel of foot-JUEYIN. 5. As arteries of the twelve channels was based on the cycle, the logical criticism about Napgibup(納氣法) was shown.

  • PDF

The Mapping Method by Equation for Adding Disks for Striping System (스트라이핑 시스템에서 디스크 추가를 위한 계산에 의한 매핑 방법)

  • 박유현;김창수;강동재;김영호;신범주
    • Journal of Korea Multimedia Society
    • /
    • v.6 no.1
    • /
    • pp.15-27
    • /
    • 2003
  • Recently, the volume of data is increasing rapidly in server for multimedia service, according to development of multimedia application environment. In recent research for storage technology the technology like of the SAN(Storage Area Network) advantages in scalibility of storage devices, and can read data from multiple disk arrays through RAID 0, 5. The RAID 0 and 5 translate to logical address to physical address using equation, but in case of adding disks at the system with equation -based mapping, the problem that we must rearrange the whole data in the previous disks happens. We use the mapping table to solve this problem in recent, but we can not load the whole mapping table in main memory because it occupies too large space. Therefore the extra I/Os are demanded to evaluate real physical address of data, so total performance of the system is degraded. In this paper, we propose the mapping method that supports the scalibility in RAID 0 or 5 system. The proposing method applies small metadata, so- called SZIT and simple equation, so it is possible that we make translate logical address to physical address rapidly and it is scalable in disk extending simultaneously Our suggesting method, if we add disks to the striping system for expanding of storage capacity, has an advantage of never stop service. So, SZlT-based mapping method can do online-disk-expanding in real-time service.

  • PDF

A Study on the Logical Structure of the 'Landscape' with a Meaning Context (입경의 의미체험에 따른 풍경개념의 구조에 관한 연구)

  • 진희성;노재현
    • Journal of the Korean Institute of Landscape Architecture
    • /
    • v.19 no.1
    • /
    • pp.31-43
    • /
    • 1991
  • In considering the relationship between natural beauty and the human frame of mind, or the interconnections between the Landscape and the point of view, we are concerned primaily with the external factors. Historically, certain physical features tended to cause shifts in human attitudes toward landscapes; We concentrate on this phenomenon of changeful scenery rather than on what psychological factors caused certain landscapes to be regarded as remarkable or unique. In a similar fashion we must ask ourselves what the basic elements in landscape are and attempt to ascertain their visual and spatial characteristics before we attempt to desingn environments that are fundamentally, physical in character. Futhermore, the experience of meanings, a part of literatual association process, appeared through the intension of nature study looking for the best landscape phenomena out of simple naturelooking. Of course, as the variable degree of landscapes changes, the dualistic relationship between humans and objects shows the different experience of meanings as the time changes even in landscapes which possess variable factors in same season. The study is conducted by defining the nature of recognizing and appreciating the logical structure of the concept "Landscape" after analysis of meaning context appeared in 'Kyung' which is consists of time, space and elements in landscape.

  • PDF

Design of an Algorithmic Debugging Technique for Java Language (자바 언어를 위한 알고리즈믹 디버깅 기술의 설계)

  • Kouh, Hoon-Joon;Yoo, Weon-Hee
    • The KIPS Transactions:PartA
    • /
    • v.11A no.1
    • /
    • pp.97-108
    • /
    • 2004
  • This paper proposes to use an algorithmic debugging technique for locating logical errors in Java programs. The algorithmic debugging is a semi-automated debugging technique that builds an execution tree from a source program and locates logical errors, if any, included in the program from the execution tree with top-down method. So, it is very important to build a suitable execution tree from the various programming languages. In this paper we propose the method for building an execution tree iron Java programs and walk through an example. This approach could reduce the number of interactions between a user and a debugging system than the traditional step-wise debugging technique.

A Logical Model of Library System towards Knowledge Service (지식 서비스 지향 도서관 시스템의 논리 모델)

  • Lee, Hyun-Sil;Bae, Chang-Sub;Lee, Eun-Joo;Han, Sung-Kook
    • Journal of the Korean Society for information Management
    • /
    • v.26 no.3
    • /
    • pp.45-67
    • /
    • 2009
  • The ecosystem of the Library has been radically changing in the advent of ubiquitous information service technology. We are already aware of the digital library due to popularizing digital information resources and we are impressed with Library 2.0 and Social Semantic Digital Library of user-centered, service-oriented library. We summarize the ultimate goal of the evolution of library systems as knowledge services and propose a logical model of library system for the realization of knowledge services. This local model can be applied for a library framework to harmonize the diverse knowledge resources, active users with participation and collaboration, the innovation of library business and ubiquitous information service technologies to achieve the missions of library in knowledge-intensive society.

A Systems Engineering Approach to Implementing Hardware Cybersecurity Controls for Non-Safety Data Network

  • Ibrahim, Ahmad Salah;Jung, Jaecheon
    • Journal of the Korean Society of Systems Engineering
    • /
    • v.12 no.2
    • /
    • pp.101-114
    • /
    • 2016
  • A model-based systems engineering (MBSE) approach to implementing hardware-based network cybersecurity controls for APR1400 non-safety data network is presented in this work. The proposed design was developed by implementing packet filtering and deep packet inspection functions to control the unauthorized traffic and malicious contents. Denial-of-Service (DoS) attack was considered as a potential cybersecurity issue that may threaten the data availability and integrity of DCS gateway servers. Logical design architecture was developed to simulate the behavior of functions flow. HDL-based physical architecture was modelled and simulated using Xilinx ISE software to verify the design functionality. For effective modelling process, enhanced function flow block diagrams (EFFBDs) and schematic design based on FPGA technology were together developed and simulated to verify the performance and functional requirements of network security controls. Both logical and physical design architectures verified that hardware-based cybersecurity controls are capable to maintain the data availability and integrity. Further works focus on implementing the schematic design to an FPGA platform to accomplish the design verification and validation processes.

Arrangement Lightwave Network : An Application of Arrangement Graphs to Multihop Lightwave Network (순열 방사형 광 통신망 : 다중 홉 광 통신망을 위한 순열 방사형 그래프의 응용)

  • Kim, Won;Jun, Moon-Seog
    • Journal of KIISE:Information Networking
    • /
    • v.27 no.1
    • /
    • pp.12-21
    • /
    • 2000
  • Arrangement graph has desirable properties for design requirements of a multihop lightwave network, such as node and edge symmetry, low diameter, simple routing, etc. In this paper, arrangement lightwave network based on arrangement graph model is proposed as new logical topology of multihop lightwave network. In the proposed scheme, multistar and grouping of network are used for improving reusability of wavelength and scalability. Also, this paper shows that the proposed scheme is an alternative logical topology for application requiring more nodes with limited wavelengths by evaluating performance with related works.

  • PDF

Design of Hybrid Debugging Technique for Locating Logical Errors in Java Source Codes (자바 원시 코드에서 논리적인 오류를 찾는 복합 디버깅 기술의 설계)

  • Kouh, Hoon-Joon
    • The Journal of the Korea Contents Association
    • /
    • v.6 no.10
    • /
    • pp.114-125
    • /
    • 2006
  • In the previous work, we presented HDT for locating logical errors in Java programs. The HDT locates an erroneous method at an execution tree using an algorithmic program debugging technique and locates a statement with errors in the erroneous method using a step-wise program debugging. It reduced the number of programmer debugging in Java programs. But the HDT still increases the number of debugging because the size of the recent programs increases than the past programs and the number of methods is increasing. This paper proposes HDTS using a program slicing technique (PST) at the MDT. HDTS can reduce the number of programmer debugging. Specially, the more the number of methods and statements increases, the more HDTS has effects.

  • PDF

Logical Consistency in Risk Assessment using the Korean Fuzzy Linguistic Variables (한국어 퍼지 언어변수를 이용한 리스크 평가의 논리적 일관성)

  • Lim, Hyeon-Kyo;Byun, Sanghun
    • Journal of the Korean Society of Safety
    • /
    • v.31 no.4
    • /
    • pp.120-125
    • /
    • 2016
  • Usually, a risk can be expressed as a product of likelihood and consequence of a hazard factor. Therefore, conventional risk assessment is carried out by frequency analysis and severity analysis, in turns. However, it is well known that intuitive thinking is another excellent way of thinking of human beings. This study aimed to confirm whether there exist any difference in risk assessment results derived by two different procedures - intuitive and analytical. Thus, the present study showed 10 different illustrations to 30 undergraduate students. Their responses were organized as fuzzy membership functions, and summarized as risk assessments, and compared. The results were also verified with the help of statistical hypothesis testing, which showed no significant difference. On the contrary, however, similarity measure used in fuzzy set theory was not credible as anticipated. Many cases failed to satisfy statistical hypothesis even with similarity measure higher than 0.60 so that only a trend could be accepted. In addition, a subject showed a somewhat consistent logical discrepancy in his response, which implied the necessity of sincere analysis in fuzzy formulations.

A Design Methodology of Relational Database Schema Without the Conceptual Design Step (개념적 설계를 배제한 관계형 데이터베이스 스키마의 설계)

  • Um Yoon-Sup
    • Journal of the Korea Institute of Information and Communication Engineering
    • /
    • v.9 no.2
    • /
    • pp.445-453
    • /
    • 2005
  • The design process of a relational database system consists of requirement analysis, conceptual design using ER diagram, logical design, and physical design. In logical design process, the conceptual schema is transformed to relational schema, and relational schema is normalized. This traditional design process is hard to applied in real database design process, since there is an ambiguity in conceptual design process. In this paper, we suggest a new design process, which provides more structural design steps by removing the conceptual design process. In new approach, we produce the data flow diagram by the structural methodology. From the attributes in the data store of data flow diagram, we construct relational table schema, and we normalize relational schema. Finally we produced table relationship diagram in order to figure out relationships between tables.