• 제목/요약/키워드: Interpreted Systems

검색결과 285건 처리시간 0.026초

전략적 제한에 기초한 지식 및 전략 시스템 (Knowledge and Strategic Ability based on Strategic Constraints)

  • 구자록
    • 한국컴퓨터정보학회논문지
    • /
    • 제14권12호
    • /
    • pp.33-40
    • /
    • 2009
  • 다중에이전트 시스템의 분석에 중요한 시간, 지식, 그리고 전략에 관한 개념들을 구체화하기 위해 번역시스템(Interpreted Systems)과 ATL및 ATEL을 살펴보고, 특히 ATEL의 문제점, 즉 하나의 에이전트는 그 자신의 상태에 대해 확실한 정보를 갖지 못하더라도 전략을 구성함에 있어서 전체 시스템의 현재 상태에 접근할 수 있으며, 또한 ATEL의 불명확한 행위들에 대한 표현은 일반적인 상황을 모델링하는 것을 어렵게 하는 문제점들을 해결하기 위한 방안으로 게임이론의 서브게임 완전한 나쉬평형 (subgame perfect Nash equilibrium)에 기초한 전략적 제한(strategic constraints)을 그 문제의 해결책으로 제안한다. 또한, 전략적 제한에 기초한 번역시스템을 다중에이전트 시스템에서의 모델체킹 (model checking)을 위한 하나의 방법으로 제안한다.

음양론에 입각한 시스템 사고의 접근 (Yin Yan Approach to Systems Thinking)

  • 김동환
    • 한국시스템다이내믹스연구
    • /
    • 제10권1호
    • /
    • pp.97-107
    • /
    • 2009
  • In this paper, a structural similarity between traditional oriental philosophy and systems thinking is discussed. The polarity of causal relationship and feedback loops can be interpreted in terms of yin and yang of oriental philosophy. A positive feedback loop which is linked to the yang is a force or mechanism that accelerates changes in systems. A negative feedback loop which is linked to the yin can be interpreted as a force oppressing any changes. In this sense, systems thinking can be related to the oriental philosophy. With this linking pin between them, systems thinking can be introduced and educated more friendly in oriental society. Furthermore, systems thinking can get a set of rich insights from the oriental philosophy. This paper suggests a linking leverage between systems thinking and oriental philosophy.

  • PDF

송전선의 정전용량과 인덕턴스의 통일적 해석법 (A unified analysis method for capacitance and inductance of power transmission lines)

  • 황석영
    • 전기의세계
    • /
    • 제29권3호
    • /
    • pp.185-192
    • /
    • 1980
  • It is revealed that duality and similarity between both capacitance and inductance systems coexist, and also that the former is more efficient than the latter in application viewpoints in time-invariant linear cases as far as both systems are concerned. This paper, using the similarity relation, proposes a new magnetics capacity concept similar to electrostatic capacity so that inductance systems may be interpreted as the corresponding capacitance systems. The new concept makes it convenient to analyze the both systems by unified approach. Finally an example demonstrates the applicability and convenience of the proposed method, through the analysis of capacitances and inductances on the transposed transmission line.

  • PDF

조직 내 중심성이 IT활용능력에 미치는 영향: 소셜네트워크 관점 (Effects of Centrality on IT Usage Capability : A Perspective of Social Networks)

  • 김효준;곽기영
    • 한국정보시스템학회지:정보시스템연구
    • /
    • 제20권1호
    • /
    • pp.147-169
    • /
    • 2011
  • In organizations, evaluating the competency of individuals through the position or status has many limitations. To overcome these limitations, this study analyzes the organization's informal network using social network analysis. We measured out-degree centrality and in-degree centrality by making use of social network analysis technique. Out-degree centrality is interpreted as 'madangbal' in that actors actively help other people, while in-degree centrality is interpreted as 'prestige' in that other people want to have a relationship with. This research examines the effects of individual's 'prestige' and 'madangbal' in the instrumental network and communication network on IT competency. We carried out empirical analysis using social network data that were collected from undergraduate students. The result reveals that relationship between IT competency and centrality in the instrumental network is statistically significant, while relationship between IT competency and centrality in the communication network does not show significant results.

경북 포항시 일월동 택지개발지구의 지반상태 파악을 위한 탄성파탐사 (Seismic exploration for understanding the subsurface condition of the Ilwall-dong housing construction site in Pohang-city, Kyongbook)

  • 서만철
    • 지구물리
    • /
    • 제2권1호
    • /
    • pp.45-56
    • /
    • 1999
  • 경북 포항시 일월동 지역에서 482 m 길이의 동서 방향의 측선에 대한 탄성파 굴절법 및 반사법탐사를 실시하였다. 자료수집에서 지오폰 간격과 오프셋은 각각 2 m로 설정하였으며, 발파는 끝점 발파 배열 방법을 이용하여 한 발파점마다 24채널을 기록하였다. 발파 간격은 2 m로 하여 측선의 전구간에서 탄성파 자료를 취득하였다. 굴절법탐사 자료의 해석은 수평다층구조 이론을 적용하여 실시하였으며, 반사파 자료 처리는 트레이스 편집, 이득조절, 공심점 분류, 수직경로시차 보정, 뮤트 과정을 거친 후 동일 오프셋 모음을 취하여 단일중첩 탄성파 단면을 작성하고 필터링을 거친 후 해석에 이용하였다. 굴절법탐사 자료 해석결과 조사 측선 구간의 천부지반은 크게 2층으로 구분되는데, 상부층은 267∼566 m/s 의 P파 속도 분포를 보여 대체로 미고결 퇴적층이며, 하부층은 1096∼3108 m/s 의 P파 속도 분포를 보여 풍화암∼경암의 암반으로 구성되었음을 알 수 있다. 상부 미고결층은 수평적으로 큰 변화를 보이고 있는 바, 측선의 동측 구간에는 평균 400 m/s 의 P파 속도를 보이는 미고결 사암층이 3∼5 m 두께로 발달되어 있으며, 측선의 서측 구간은 평균 340 m/s 의 P파 속도를 갖는 매립토층이 8∼10 m 두께로 발달된 것으로 해석된다. 반사파 단면도에서 조사구간에 3개의 고각의 단층대가 분포하며, 이들 단층대를 경계로 기반암이 나누어져 있으며 단층대 사이의 구간은 비교적 안정된 지반으로 해석된다. 대형 건물의 위치는 단층대를 피하여 안정된 지반 구간에 위치해야 함을 고려할 때, 그 기초를 3∼10 m 깊이 하부에 위치하는 기반암 내에 설치되도록 설계되어야 할 것이다.

  • PDF

AN INTERPOLATIVE FUZZY INFERENCE METHOD AND ITS APPLICATION

  • SHIMAKAWA, Manabu;MURAKAMI, Shuta
    • 한국지능시스템학회:학술대회논문집
    • /
    • 한국퍼지및지능시스템학회 1998년도 The Third Asian Fuzzy Systems Symposium
    • /
    • pp.556-561
    • /
    • 1998
  • This paper deals with our proposed fuzzy inference method, in which the fuzzy relation is represented by the membership functions of the antecedent and consequent parts, it is not used any fuzzy composition. The strong point of this method is that the membership function of an inferred conclusion has a simple shape and thus its meaning can be interpreted easily. Firstly, the proposed method is explained, and then it is applied to fuzzy modeling of distributed data.

  • PDF

중력탐사에 의한 옥천대 남서부의 지하지질구조(1) (Subsurface Geological Structure of the Southwestern Part of Ogcheon Zone by Gravity Survey (1))

  • 김성균;안건상;오진용
    • 자원환경지질
    • /
    • 제30권4호
    • /
    • pp.363-369
    • /
    • 1997
  • As a part of the study to know the deep geological structure of the Ogcheon Zone. gravity survey is performed along the survey line of which direction is roughly perpendicular to major faults of the Zone. Recent studies for petrology. geochemistry. and structural geology in south-western Ogcheon Zone are outlined. Raw gravity data are corrected to obtain Bouguer anomalies and the anomalies are interpreted to obtain subsurface structures along the survey line. The subterranean density discontinuities determined from the power spectrum method are appeared at depths of 15.4 km and 2.8 km. It is considered that the depth of 15.4 km indicates the boundary between upper and lower crust. Probably the depth of 2.8 km represents the boundary between upper volcanic formations and granites. Alternatively. the observed Bouguer anomalies are interpreted in terms of lateral density variation model. Finally. the subterranean geological structure to satisfy the Bouguer anomalies is presented through the iterative forward method in which results obtained from surface geological informations and from the inverse method are adopted as an initial model.

  • PDF

FUZZY LOGIC KNOWLEDGE SYSTEMS AND ARTIFICIAL NEURAL NETWORKS IN MEDICINE AND BIOLOGY

  • Sanchez, Elie
    • 한국지능시스템학회논문지
    • /
    • 제1권1호
    • /
    • pp.9-25
    • /
    • 1991
  • This tutorial paper has been written for biologists, physicians or beginners in fuzzy sets theory and applications. This field is introduced in the framework of medical diagnosis problems. The paper describes and illustrates with practical examples, a general methodology of special interest in the processing of borderline cases, that allows a graded assignment of diagnoses to patients. A pattern of medical knowledge consists of a tableau with linguistic entries or of fuzzy propositions. Relationships between symptoms and diagnoses are interpreted as labels of fuzzy sets. It is shown how possibility measures (soft matching) can be used and combined to derive diagnoses after measurements on collected data. The concepts and methods are illustrated in a biomedical application on inflammatory protein variations. In the case of poor diagnostic classifications, it is introduced appropriate ponderations, acting on the characterizations of proteins, in order to decrease their relative influence. As a consequence, when pattern matching is achieved, the final ranking of inflammatory syndromes assigned to a given patient might change to better fit the actual classification. Defuzzification of results (i.e. diagnostic groups assigned to patients) is performed as a non fuzzy sets partition issued from a "separating power", and not as the center of gravity method commonly employed in fuzzy control. It is then introduced a model of fuzzy connectionist expert system, in which an artificial neural network is designed to build the knowledge base of an expert system, from training examples (this model can also be used for specifications of rules in fuzzy logic control). Two types of weights are associated with the connections: primary linguistic weights, interpreted as labels of fuzzy sets, and secondary numerical weights. Cell activation is computed through MIN-MAX fuzzy equations of the weights. Learning consists in finding the (numerical) weights and the network topology. This feed forward network is described and illustrated in the same biomedical domain as in the first part.

  • PDF

분산 객체지향 시스템을 위한 정형 명세 방법에 관한 연구 (Formal Specification Methods for Distributed Object-Oriented Systems)

  • 이상범
    • 한국정보처리학회논문지
    • /
    • 제7권5호
    • /
    • pp.1426-1433
    • /
    • 2000
  • As distributed computing systems become popular, many modeling techniques and methods have been developed in specify the specification formally and verify the distributed/concurrent sytems. In spite of importance of communication in distributed object-oriented systems, specifying of communication method generally has not been emphasized in the design phase. One reason is due to the system designer misunderstanding, that is, a specification needs to be independent on the implementation. However, since defining communication pattern indistributed object-oriented systems is more serious than the required message passing method in the design phase. specifying the communication pattern is necessary instead of postponing until the implementation. In this paper, two formal specification techniques, temporal logic method and Petri nets method, for the communication in distributed systems are discussed. One is based on the temporal logic, which specifies the different patterns of primitive predicates. This method enable to define the underlying mechanism which can be interpreted as constraints. The Petri net method helps to specify the dynamic behavior of communicational patterns using the properties of Petri nets.

  • PDF