• Journal of the Korean Data and Information Science Society
• /
• 제6권2호
• /
• pp.17-27
• /
• 1995

제약 조건 만족의 관점에서 불확실한 지식을 표현하고 처리하는 방법을 제안하였다. 등식이나 부등식은 만족되어야 할 제약 조건들이며, 제약 조건들은 수리 논리식으로 표현될 수 있는데 이들은 주어진 수리 논리식들의 집합에 대한 만족성을 계산하는 제약 조건 해결 프로그램에 의해 답을 얻을 수 있다. 불확실성을 포함한 규칙 기반 시스템들은 확률론의 초보적인 내용을 응용하여 표현되는데, 이 경우 제약 조건 해결 프로그램으로 효율적인 결과를 얻을 수 있다.

• 대한기계학회논문집A
• /
• 제30권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.

• 한국신재생에너지학회:학술대회논문집
• /
• 한국신재생에너지학회 2008년도 추계학술대회 논문집
• /
• pp.17-20
• /
• 2008

Cold start of a fuel cell system is a major obstacle should be overcome as to commercialize it, especially for passenger vehicle applications. However, the cold start characteristics is so complicated since it involves various phenomenon such as ice-blocking in GDL, ionic conductivity in membrane affected by water activity with phase change, heat transfer through components such as bipolarplates or endplates, electro-chemical reactions affected by circumferential temperature and humidity as well. Axiomatic design provides a systematic method to investigate the complex phenomenon although it was developed as a methodology to establish logical design procedure by Nam P. Suh in 1990s. This paper presents a framework to approach the complex cold start problem using Axiomatic Design which features simplifying a problem through hierarchical decomposition and decoupling from the view of functional requirements and design parameters.

• 국제학술발표논문집
• /
• The 1th International Conference on Construction Engineering and Project Management
• /
• pp.962-967
• /
• 2005

Construction management requires decision-making skills. Main approaches to training construction management students are: (1) analyzing sample situations involving decision-making; and (2) teaching logical decision-making procedures. The absence of 'pressure' factors in these approaches has significant impacts on the success of the training. The approaches also lack 'dynamic' effects that help create a spontaneous plan for construction projects where unforeseen changes and interruptions may occur. To minimize the adverse effects of the existing approaches, this paper proposes a framework for developing a web-based training system. The application is delivered as a game involving decision-making on the student's part in response to developments at the job-site, and where one student competes against another in an attempt to simulate a real-world scenario.

• Asia pacific journal of information systems
• /
• 제28권4호
• /
• pp.258-273
• /
• 2018

What is individuals' privacy notion, and does it change with the social roles taken up by them? We explored these questions using a qualitative interpretive research approach. We found that individuals have mixed notion of privacy. Individuals view privacy either as a commodity or as a control. Further, we found that an individual's privacy notion is a function of their social role within the society and their privacy preferences. Our research points to the importance of expanding the notion of privacy to encompass a broader understanding of privacy preferences. We theorize our findings using social penetration theory and presents a privacy model which provides the logical framework for interpreting people's views on privacy.

• 한국지능시스템학회논문지
• /
• 제20권1호
• /
• pp.1-6
• /
• 2010

Ying[M.S. Ying, Linguistic quantifiers modeled by Sugeno integrals, Artificial Intelligence 170(2006) 581-606] studied a framework for modeling quantifiers in natural languages in which each linguistic quantifier is represented by a family of fuzzy measures and the truth value of a quantified proposition is evaluated by using Sugeno integral. In this paper, we consider interval-valued fuzzy measures and interval quantifiers which are the generalized concepts of fuzzy measures and quantifiers, respectively. We also investigate logical properties of a first order language with interval quantifiers modeled by the Sugeno integral with respect to an interval-valued fuzzy measures.

• 전기학회논문지
• /
• 제66권1호
• /
• pp.137-143
• /
• 2017

In this paper, we investigate static control of Boolean networks described in the framework of semi-tensor product (STP) operation. The control objective is to determine control input nodes and their logical values so as to stabilize the considered Boolean network to a desired fixed point or cycle. Using topology of Boolean networks such as incidence matrix and hub nodes, a set of appropriate control input nodes is selected, and based on STP operations, we assign constant control inputs so that the controlled network can converge to a prescribed fixed point or cycle. To validate applicability of the proposed scheme, we conduct a numerical study on the problem of determining control input nodes for a Boolean network representing hierarchical differentiation of myeloid progenitors.

• 정보처리학회논문지D
• /
• 제15D권3호
• /
• pp.411-420
• /
• 2008

본 논문에서는 헬스케어 홈 서비스를 위해 가정 내에 설치된 센서/기기로부터 수집된 위치, 건강 그리고 쾌적환경 정보를 이용하여 유비쿼터스 헬스케어를 지원하는 u-헬스케어 상황정보 시스템(HCIS)을 구현했다. HCIS는 분산자원의 맞춤형 관리모델인 분산객체그룹프레임워크(DOGF)를 기반으로 헬스케어 홈 환경에서 다양한 상황정보, 응용 그리고 장치들을 논리적인 하나 또는 그 이상의 단위로 그룹화하고 관리한다. 또한 본 시스템은 DOGF의 구성요소인 모바일프락시와 컨텍스트제공자를 통해 가정 내 거주자의 위치를 기반으로 연속적인 헬스케어용 멀티미디어 서비스를 지원하고, 거주자에게 필요한 상황정보를 제공한다. 본 시스템의 수행성을 검증하기 위해 홈 내에서 제공되는 헬스케어 응용으로 거주자 위치기반의 끊임없는 멀티미디어 서비스와 처방 주의 및 스케줄 알림/알람 서비스를 구현했다. 그리고 시나리오에 따라 거주자가 위치한 영역의 서비스 장치를 통해 헬스케어 홈 서비스의 수행결과를 보였다.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2000년도 추계학술대회 논문집 학회본부 D
• /
• pp.615-617
• /
• 2000

Temporal Logic Frameworks is convenient to represent temporal relation. It is useful to represent a dynamic properties of Discrete Event Dynamic Systems. Also, it is convenient to express a current and next state of event using logical representation. Because the teachability tree of the Temporal Logic Frameworks is very complexity it is difficult to understand. In this paper, we defined some rules to represent Temporal Logic Frameworks by Petri Net and proposed am method of the representation of them Petri Net for the Temporal Logic Frameworks. An example are used to demonstrate the feasibility of this method.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 1999년도 하계학술대회 논문집 B
• /
• pp.838-840
• /
• 1999

In this paper, modeling and analysis of discrete event systems by temporal logic frame works and petri net is considered. The reachability tree of the petri net can be used to solve the safeness, boundedness, conservation and coverability problems of discrete event systems. But the reachability tree of the petri net do not solve reachability and liveness problems in general. We proposed a method that synthesised the petri net and the temporal logic frameworks. This method slove some problems of petri net by logical representation of temporal logic frameworks.