• Proceedings of the KAIS Fall Conference
• /
• 2009.05a
• /
• pp.575-578
• /
• 2009

지금까지의 건강예보제가 절대적 생산량이 부족하고, 건강정보에 관한 권위가 제한되어 있었으며, 예측정보의 생산과 적용에 대한 방법론적인 한계 등의 이유로 실패했던 것을 분석해 볼 때 지금 건강예보제 보완을 위해 필요한 점은, 충분한 정보 제공과 정보 수집의 정기성 등이 시급하다고 할 수 있다. 현재 전염병웹보고 시스템과 같은 온라인상으로 접할 수 있는 서비스를 제공하고 있지만, 이에 대한 홍보가 부족하고 정보 또한 신뢰성을 확고히 얻고 있지 못하기 때문에 전염병에 국한되어 있는 정보 제공이 아닌 일반적인 건강 상식과 관련된 분야로 정보 제공의 영역을 확장시켜야 할 것이다. 또한 정보 수집 방법을 명확히 공고하여, 공감대를 형성할 수 있어야 하며, 분류 체계를 명확히 하여, 개개인이 원하는 정보를 찾아 볼 수 있도록 데이터 베이스 작업이 필요하다고 할 수 있다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2010.04a
• /
• pp.973-976
• /
• 2010

제안요청서(RFP)는 사업목적 달성을 위해 발주자가 공급자의 제안을 받기 위한 요구사항을 정의한 문서로 프로젝트 목표 수행의 중요한 요소이고, 불명확한 요구사항과 요구의 변경, 외부 수행 작업의 문제, 일정과 예산의 비현실성 등은 프로젝트의 성공적인 수행을 저해하는 위험요인이다. 본 논문에서는 2005년부터 2009년까지 공공 SI(System Integration) 프로젝트의 RFP를 대상으로 첫째, 미국 프로젝트 표준규격인 PMBOK(Project Management Body of Knowleage) 지식 및 관리 프로세스 영역을 적용하여 현황을 분석하였고 둘째, Core와 Support 프로세스 영역을 비교분석하고, 셋째, Core 프로세스의 범위, 일정, 비용 영역에 대해 분석하였다. 연구결과로 공공 SI RFP의 범위, 일정, 비용을 의미한 항목에서 분명한 차이를 보여 보완이 요구되었다. 향후 본 연구를 통해 공공 SI 프로젝트의 RFP 작성시 명확성을 제고하여 프로젝트 성공 수행에 도움이 되도록 하고자 한다.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.15 no.1
• /
• pp.449-459
• /
• 2014

The proposed 2+1 view integrated metamodel defined formerly with a graphical class model can not be guaranteed the syntactic clarity and accuracy precisely for the metamodel due to the informal specification. This paper specifies the syntactic semantics formally for the 2+1 view integrated metamodel using Z and Object-Z and checks the accuracy of the metamodel with Z/Eves tool. The formal specification is expressed in Z and Object-Z schema separately for syntax and statics semantics of the 2+1 view integrated metamodel, which applying the converting rule between class model and Z/Object-Z. The accuracy of the Z specification for the metamodel is verified using Z/Eves tool, which can check the syntax, type, and domain of the Z specification. The transformation specification and checking of the 2+1 view integrated metamodel can help establish more accurate the syntactic semantics of its construct and check the accuracy of the metamodel.

• Journal of Digital Convergence
• /
• v.19 no.12
• /
• pp.51-62
• /
• 2021

This study developed the factors capable of systematic/comprehensive evaluation of the task performance in order to strengthen the performance management of the professional career personnel invitation program (PCPIP). To this end, a performance evaluation framework was developed by analyzing existing project evaluation studies based on boundary theory and Kirkpatrick's four-level evaluation model. Afterwords, through two Delphi surveys, evaluation factors that can measure performance in terms of individual and invitation institutions of PCP were derived and validated. With this procedure, five evaluation factors were finally selected: adaptability, connectivity, clarity, compatibility, and expandability. This study has implications suggesting a performance evaluation factors capable of hybrid quantitative/qualitative evaluation for the performance management of PCPIP operated by National Research Foundation of Korea Research since 1994.

• Proceedings of the Korea Multimedia Society Conference
• /
• 1998.10a
• /
• pp.118-123
• /
• 1998

정형방법들은 명세와 설계 문제들에서 모호성, 불완전성, 그리고 불일치성을 보다 쉽게 발견하고 수정하기 위해 사용된다. Z 저형 명세 언어를 객체 지향 패러다임으로 기술하기 위하여, 클래스 기술에 대한 명확한 정의가 필요하다. 그리고 이를 증명할 수 있는 프로토타입이 필수적이다. Z 스키마의 숨김 연산자와 그의 확장인 논리 한정 연산자와 투사 연산자를 이용하여 클래스의 원리를 가지는 클래스 스키마를 유도하여 정의한다. 유도된 클래스 스키마가 상속성, 다형성, 캡슐화 등의 객체 지향 원리를 가지는가에 대한 증명하기 위한 프로토타입을 설계한다.

• Proceedings of the Korea Multimedia Society Conference
• /
• 2002.05d
• /
• pp.700-704
• /
• 2002

본 논문은 UML로 모델링 된 Track&Trace 시스템[1]을 확장성과 유연성이 뛰어나며, 웹 상에서 안전하고 신뢰성 있으며 다양하고 광범위한 데이터 교환을 위한 XML로의 설계에 관한 연구이다. 이를 위해 UML 클래스 다이어그램의 클래스, 멤버 데이터와 데이터 타입을 이용해 Well-Formed XML에서 요소와 컨텐츠로 변환한다. 이러한 XML의 구조를 명확하게 정의하기 위해 클래스 다이어그램의 데이터 타입과 다중성을 이용해 DTD를 설계하고, 동시에 확장성을 갖춘 XML 스키마를 설계한다. 또한, XML 문서와 독립적으로 출력을 위한 스타일 지점인 CSS 와 XSL도 설계한다.

• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 2004.05a
• /
• pp.21-21
• /
• 2004

본 논문은 수동 힘반영 기구의 안정성을 제어하기 위한 방법으로 수동성 제어기를 제안한다. 수동 힘반영 기구는 브레이크와 같은 수동 엑츄에이터를 사용함으로써 힘을 반영하게 되는데, 여기에 사용되는 수동 엑츄에이터는 사용자가 움직이고자 하는 방향의 반대방향으로만 힘을 생성할 수 있기 때문에, 힘을 생성할 수 있는 방향에 제한이 있다. 따라서 가상의 벽면을 나타내는 데에도 정확히 원하는 방향의 힘을 제시하지 못하고, 힘의 근사화를 통하여 가장 근접한 방향의 힘을 생성해낸다. 이는 이상적인 수동 힘반영 기구의 연구에서도 나타나며, FME(Force Manipulability Ellipsoid)에 의해 명확하게 설명이 되는 현상이다.(중략)

• Proceedings of the Korean Society of Disaster Information Conference
• /
• 2023.11a
• /
• pp.123-124
• /
• 2023

현대 산업현장에서의 생산성과 경쟁력은 안전 및 작업 효율성과 직결되어 있다. 특히, 4차 산업혁명의 중심축인 인공지능(AI) 기술의 발전이 산업현장의 작업 환경과 절차를 혁신하는 데 중요한 역할을 하고 있음이 점차 명확해지고 있다. 이 연구는 인공지능의 기술적 발전과 산업현장의 작업 안전성 및 효율성 간의 관계에 초점을 맞추어, 어떻게 AI 기술의 도입과 활용이 산업현장의 미래를 형성하고 있는지를 탐구하였다.

• Journal of the Korean BIBLIA Society for library and Information Science
• /
• v.25 no.1
• /
• pp.107-129
• /
• 2014

Providing reliable and high quality information sources will be one of the basic skills of librarians in the future. Therefore, this study proposed evaluation criteria for health-related information sources based on a survey of public and medical librarians. As a result, a total of 21 items were selected as evaluation items, in three groups. The first, the health information content group, had 13 evaluation items, including accuracy, recency, medical expertise, regular updates, consideration of audience, objectivity, ease of understanding, plain (non-scientific or technical) language, completeness, relevance to the topic, verifiability, citation of information sources, and specification of precautions or warnings. The second group, the health-information sources group, had 5 evaluation items including clarity of health information for achieving its purpose, clarification of the responsibility of health information, compliance to the privacy policy, fairness of health information providers, and ethics of health information providers. The third group was the health-information website design group, and featured 4 evaluation criteria: ease of access, search capabilities, website ease of use, and query-response services.

• The KIPS Transactions:PartD
• /
• v.17D no.6
• /
• pp.431-442
• /
• 2010

Because embedded system is combined system of hardware and software, we should design by considering elements such as real-time, reactive, small size, low weight, safe, reliable, harsh environment, low cost, and so on. However, those are poorly reflected on current embedded system development. Especially, there is few existed framework-based embedded system development. As a result, there are many internal codes which is not related with system operation in currently developed embedded system, and reusability or variability is not considered into embedded system development. Therefore we propose a formal specification technique using Z language to guarantee completeness or consistency of design of reusability framework proposed for improving reusability of embedded system. Also we assure correctness of framework design by checking Z model through Z-Eves Tool.