• Asia pacific journal of information systems
• /
• v.11 no.3
• /
• pp.63-89
• /
• 2001

The purpose of this research is to develop strategic alternatives for the high-tech products development by comparatively studying characteristics of the industry and R&D structures in Korea and the US. Some of the environmental, strategic, organizational and project teams' characteristics are studied. Data were collected from Korea and US high-tech companies through interviews and questionnaires and event analysis method was used to analyze them. The findings are as follows: First, when the level of market concentration is high, cycle time tends to be longer. Therefore, if there are many competitors in the market, new products development should be swift due to competitive pressures. Second, the developmental strategy should be directed toward the existing customers to speed up new products development. That is, a defensive strategy would result in a shorter cycle time and response time compared to a strategy directed to a niche market. Third, when the level of formalization is high, cycle time tends to be shorter. This means that formal procedures for new products idea development or new products development policies shorten new products development time.

• Proceedings of the Korean Information Science Society Conference
• /
• 2005.11b
• /
• pp.958-960
• /
• 2005

이식성과 성능 사이의 타협을 위해 수식 평가 순서를 부분적으로 정의할 수 밖에 없는 C 언어는 표준이 사용하는 일반 영어의 모호성으로 일부 복잡한 수식의 유효성(validity)을 판별하기 어려운 문제를 안고 있다. 그동안 의존 관계나 언어 형식화(formalization)를 이용해 일관되게 유효성을 판별하려는 시도가 있었으나 이해와 구현 모두가 용이해야 한다는 표준의 요구를 만족하지 못했다. 본 연구에서는 구현을 고려해 AST(Abstract Syntax Tree)에 변수의 참조$\cdot$수정 정보를 덧붙여 수식 부작용(side effect)과 관련된 시퀀스 포인트(sequence point) 문제를 해결하는 효율적인 모델을 제안한다.

• Nuclear Engineering and Technology
• /
• v.28 no.6
• /
• pp.522-531
• /
• 1996

The adoption of expert systems mainly as operator supporting systems is becoming increasingly popular as the control algorithms of system become more and more sophisticated and complicated. The verification phase of knowledge base is an important part for developing reliable expert systems, especially in nuclear industry. Although several strategies or tools have been developed to perform potential error checking, they often neglect the reliability of verification methods. Because a Petri net provides a uniform mathematical formalization of knowledge base, it has been employed for knowledge base verification. In this work, we devise and suggest an automated tool, called COKEP(Checker Of Knowledge base using Extended Petri net), for detecting incorrectness, inconsistency, and incompletensess in a knowledge base. The scope of the verification problem is expanded to chained errors, unlike previous studies that assume error incidence to be limited to rule pairs only. In addition, we consider certainty factor in checking, because most of knowledge bases have certainty factors.

• Journal of Korean Society of Industrial and Systems Engineering
• /
• v.21 no.47
• /
• pp.253-266
• /
• 1998

The purpose of this study was to analyze the difference in logistics information system and indirect effects of logistics performances on the acceptance level of logistics information system. The limitation and recommendation of this study were as follows : First, as the history of logistics introduction in Korean corporations is short, the level of logistics information system sampled in this study is very low. So the findings of this study is hard to represent the general logistics information system situation of in Korea our corporations. Second, the focus of this study is on the manufacturing corporations, so the study on the logistics corporations is required. And the study on the effects of firm's situation(formalization, decentralization, concentration, strategic plans) on the characteristics of logistics information system is needed.

• Journal of the Korean Society for information Management
• /
• v.1 no.1
• /
• pp.127-145
• /
• 1984

The purpose of the present paper is (1) to clarify the significance and the role of informal communication in research activities, (2) to grasp the characteristics of Invisible College, the social organization for informal communication, and its effect on research activities and (3) to pay consideration to formalization of informal communication systems. To comprehend all the things is necessary to improve information services.

• The Journal of Information Technology and Database
• /
• v.4 no.1
• /
• pp.31-50
• /
• 1997

객체지향 데이터베이스 시스템에서 시간지원 데이터베이스를 다룰 때 발생하는 중요한 문제는 관계 의미에 따라 시간과 속성을 결합하는 방법에 있다. 관계형 모델처럼 속성 버전화에 대한 기존의 연구 결과는 시간지원 객체지향 모델에 적용할 수 없다. 이것은 객체지향 모델이 복합 객체를 구성하기 위해서 기존의 모델보다 더욱 강력한 구성자들을 제공하기 때문이다. 그래서 이 논문은 객체지향 데이터베이스에 시간 개념을 통합하기 위한 형식적 접근방법을 제안한다. 이 논문의 목적은 객체 사이에 관계하는 일반화, 집단화와 연관화에 따라 시간지원 객체지향 데이터베이스 표현을 연구하는 것이다. 이 논문은 시간지원 객체지향 모델에서 속성 버전화의 개념을 정의하고, 객체 사이에 존재하는 관계에 대해서 시간을 표현하는 것에 중점을 둔다. 또한 관계 의미에 대한 제약조건을 규정하고, 표현 기준에 기반하여 검토한다. 이 논문은 객체지향 데이터 모델을 형식화함으로써 대수 연산자의 설계시 강력한 연산 기능을 제공할 뿐만 아니라 모듈의 재사용성을 제공할 수 있다.

• Journal of the Ergonomics Society of Korea
• /
• v.25 no.3
• /
• pp.43-47
• /
• 2006

Macro interface is primarily focused at the organization, while micro interface is primarily focused at the products or services. UI(User Interface) or UX(User Experience) organizations in Korea are institutionalized from 2000 years. Since most of the UI organizations are not institutionalized with the strategic plan, structures of them aren't optimized efficiency. The structure of the organization is conceptualized as having three core dimensions: complexity, formalization, and centralization. The status of the UI organizations in Korea is reviewed with these dimensions. This study issued the key success factors for institutionalization for UI team. Organizational maturity is considered in 5 levels based on a model by CMMI. The UI strategy has to be based the maturity level of the organization.

• Annual Conference on Human and Language Technology
• /
• 2006.10e
• /
• pp.220-227
• /
• 2006

지식표현의 도구초서 온톨로지 사용이 증가함에 따라 온톨로지를 구축하기 위한 온톨로지 구축 도구들도 다양하게 개발되고 있다. 그러나 현재까지의 온톨로지 구축 도구들은 개념화(conceptualization)한 지식을 형식화(formalization)하는 목적으로 개발되었다. 그러므로 온톨로지 구축자가 지식을 개념화하는 과정에서, 온톨로지의 특성에 따라 적절한 온톨로지 구축을 지원하는 시스템이 필요하다. 본 논문에서는 특정분야의 전문가 또는 비전문가가 언어자원을 기반으로 지식을 개념화하고 형식화하여 온톨로지를 구축하는 온톨로지 구축 시스템(Ontology Construction System)을 제안한다. 제안한 시스템을 구현하고, 구현한 시스템을 활용한 실제 온톨로지 구축 실험을 통해 OntoCS가 온톨로지를 구축함에 있어서 능률을 높임을 알 수 있었다.

• The Journal of Information Technology and Database
• /
• v.7 no.1
• /
• pp.55-65
• /
• 2000

Information semantics is a well-known issue in areas of information systems researches. It describes what data mean, how they are created, where they can be applied to ; thus, it provides indispensable information for management of data. This article proposes to formalize information semantics by the processes that data are created or transformed. A scheme is proposed to describe an information production structure, which is called an information structure graph. An information structure graph is a directed graph, whose leaves are primary input data objects and whose root and internal nodes are output objects. Information semantics is derived from an information structure graph that has data as its root. For this, rules are proposed to manipulate and compare graphs. The structural relationships among information structure graphs are mapped into semantic relationships among data.

• Proceedings of the Korean Information Science Society Conference
• /
• 2005.07a
• /
• pp.910-912
• /
• 2005

실제 공간에서 네트워크를 통해 지역적으로 산재해 있는 통신 노드들에 관한 최단거리 문제 등을 위시한 각종 지리적 요소를 지니고 있는 문제들을 다루는 것은 복잡할 뿐만 아니라, 환경 및 상태 의존적이라 용이하지 않다고 할 수 있다. 본 논문에서는 네트워크를 통해 존재하는 실제 공간상에서의 지리적 성격의 문제를 특정 공간상의 문제로 매핑하여, 형식화(formalization)함으로써, 그 공간상에서의 수학적 문제로 변환하여 접근할 수 있는 효율적이고 간단한 방법을 제안한다. 그리하여 인터넷상에서의 2 노드 간의 최단 거리 문제를 위한 접근으로서, 본 논문에서 제안된 공간상에서의 두 노드 간의 수학적 거리를 정의하여 정형화된 수학적 최단거리를 구하도록 한다.