• Journal of the Korean Data and Information Science Society
• /
• v.6 no.2
• /
• pp.17-27
• /
• 1995

We propose a framework for representing and processing uncertain knowledge on the basis of constraint satisfaction. A system of equations and/or inequalities can be considered as a set of constraints that should be solved, and each constraint in the set is transformed into a corresponding logical formula which can be solved through a constraint solving program. Most of rule-based systems, for instance, use a simple probabilistic theory in order to maintain uncertain knowledge, therefore uncertain knowledge can be represented and processed in the constraint satisfaction program quite efficiently.

• Transactions of the Korean Society of Mechanical Engineers A
• /
• v.30 no.6 s.249
• /
• 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.10a
• /
• 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.

• International conference on construction engineering and project management
• /
• 2005.10a
• /
• 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
• /
• v.28 no.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.

• Journal of the Korean Institute of Intelligent Systems
• /
• v.20 no.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.

• The Transactions of The Korean Institute of Electrical Engineers
• /
• v.66 no.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.

• The KIPS Transactions:PartD
• /
• v.15D no.3
• /
• pp.411-420
• /
• 2008

This paper implemented the u-Healthcare Context Information System (HCIS) supporting ubiquitous healthcare by using location, health and titrating environment information collected from sensors/devices equipped in home for healthcare home service. The HCIS is based on the Distributed Object Group Framework (DOGF), a management model which can customize distributed resources, and manages various context information, applications and devices as a group in healthcare home environment, as one more logical units. Also, this system provides continuous healthcare multimedia service considering a resident's location using Mobile Proxy, and the healthcare context information through Context Provider to a resident in home. For verifying execution of our system, we implemented the seamless multimedia service based on resident's location and the prescription/advice and schedule notification/alarm service as healthcare applications in home. And we showed the executing results of healthcare home service by using service device existed in the residential space on which the resident is located according to the healthcare scenario.

• Proceedings of the KIEE Conference
• /
• 2000.11d
• /
• 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.

• Proceedings of the KIEE Conference
• /
• 1999.07b
• /
• 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.