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

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

• 스마트미디어저널
• /
• 제7권4호
• /
• pp.30-36
• /
• 2018

DataLake 프레임워크와 같은 단일 도메인 모델은 비즈니스 시스템의 규모 확장과 대량의 다양한 데이터들이 생성되는 빅데이터 환경, 그리고 데이터를 보다 스마트하게 처리하여 효율성 및 활용도를 높일 수 있는 방법으로 주목 받고 있다. 특히, 논리적인 단일 도메인 모델은 컴퓨팅 리소스의 유한함과 공유 경제에 의한 물리적으로 분할된 멀티 사이트의 데이터 처리를 위한 네트워크, 스토리지, 그리고 컴퓨팅 자원의 효율적 운영이 매우 중요하다. 기존의 Data Lake 프레임워크의 장점들을 기반으로 다양한 영역의 멀티 사이트들을 통합 및 데이터의 라이프 사이클을 관리하기 위한 DataLake 프레임워크의 Connected Data Architecture 개념과 기능들의 확장을 통한 다양한 응용 영역에 활용 가능한 CDA 기반 AI 서비스의 초안 설계 및 시나리오를 제안하고자 한다.

• 지식경영연구
• /
• 제7권2호
• /
• pp.53-68
• /
• 2006

Knowledge has become an important resource for organization. The manufacturing industry is usually operated on the basis of business processes, and most workers are familiar with their own processes. The process-based approach, therefore, can provide an efficient way to capture and navigate knowledge. In this study, we focus on knowledge which may be missed during knowledge transfer among workers. For this, we propose a method for analyzing knowledge flow, which is passed among business processes. We propose a process-based knowledge management framework for analyzing knowledge flow, which employs a two-phase analysis: process analysis and knowledge flow analysis. A knowledge flow model, represented by Knowledge Flow Diagram, is proposed as a tool for representing knowledge. We formulate several semantics for knowledge flow modeling. We build the three-level schema: conceptual, logical, and physical in order to automate the knowledge model adaptive to knowledge management systems. The proposed approach is verified and illustrated through a case study on the manufacturing process of A Company.

• 한국실내디자인학회논문집
• /
• 제24권3호
• /
• pp.30-37
• /
• 2015

The target of design is a harmony between Beauty and Usefulness. Design is a result from representation of visual language by designer's creative thinking system. also, As an ill-defined problem cannot be described completely. and subjectively interpret depend on the situation, it is very difficult to present a theoretical standard. There have been many Design Sciences researches in recent years. such as Rule Based Design, Parametric Design, Replacement Design, Analogy Design, Metaphor Design, Genetic Algorithm. but Objective research is still unsatisfactory condition to investigate true nature about Design. At this point, It is very important to formulating about meaning of Design Language and Thinking. This study will define about that, and based on this definition, Lay out a logical basis for Treatment design variable and materialization of process by "Elements", "Relationship", "Schema". ultimately it look forward to provide a framework and minimize the complexity about Design Thinking.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 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.

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

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

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 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.

• 대한기계학회논문집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.

• 한국CDE학회논문집
• /
• 제5권4호
• /
• pp.359-372
• /
• 2000

Current CAD systems are good enough to be used as a tool to manipulate three-dimensional shapes. This is a very important capability to be owned by a design tool because a major portion of designers'activities is spent on the shape manipulation in the design detailing process. However, the whole design process involves a lot more than the, shape manipulation. Currently, these remaining tasks, mostly logical reasoning process for the function realization together with structure decomposition in the top-down manner, are processed in the designer's brain. To support the top-down functional design process of a mechanical product, a system integrating the functional, structural and geometrical aspects of a product design in a unified environment is presented. Using this system, a designer can perform function decomposition, structure decomposition, and geometry detailing, and function verification activities in parallel and the whole design process it modeled resultantly. Once the whole design process is modeled, any redesign task can be automatically performed with the verification of the desired functions.

• 한국지능시스템학회논문지
• /
• 제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.