• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2011년도 춘계학술발표대회
• /
• pp.1447-1448
• /
• 2011

초저온 액화 공정 플랜트의 정상 운전시 제어 로직을 사전에 점검할 수 있는 테스트 플랫폼을 개발하였다. 초저온 액화 공정 플랜트상의 주요 제어 대상 포안트 17 개를 선정하여 PID 및 cascade 제어 알고리즘을 구현하였으며 이를 시뮬레이터에 연결하여 제어 로직 계산 결과를 테스트하였다. 시뮬레이터에서는 제어시스템의 제어 로직에 대한 동적 반응 특성을 계산하여 제시함으로써 제어시스템의 제어 로직을 사전에 분석, 점검할 수 있도록 역할을 수행한다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2011년도 춘계학술발표대회
• /
• pp.1327-1328
• /
• 2011

소프트웨어 개발 프로세스인 V-model 은 미국이나 유럽과 같이 소프트웨어 개발 프로세스의 역할이 잘 정립되어 있는 곳에서는 적용이 쉬우나 우리나라의 개발 실정에는 맞지 않는 경향이 있다. 이 논문에서는 한국의 현실을 반영하여 기존 model 인 V-model 대신 한국실정을 반영하는 W-model을 제시하려고 한다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2011년도 추계학술발표대회
• /
• pp.1342-1345
• /
• 2011

A valid scenario generation is essential for model checking software. This paper suggests an automated scenario generation technique through the analysis of function called-by graphs and call graphs of the program source code. We provide the verification process including the scenario generation and show application results on the Trampoline operating system using CBMC as a back-end model checker.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2011년도 춘계학술발표대회
• /
• pp.1364-1366
• /
• 2011

본 논문은 자동차 분야의 품질 프로세스 모델인 Automotive SPICE와 기능안전성을 강조한 자동차 분야 ISO 26262 표준을 가지고 통합 프로세스심사 프레임워크를 구성하였다. 두 표준의 프로세스의 맵핑을 통해 심사에 활용할 수 있도록 구성해봄으로써 실제 심사 시 프로세스 능력 수준의 평가와 함께 소프트웨어의 기능안전성에 대한 수준도 판단해 볼 수 있도록 하였다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2007년도 추계학술발표대회
• /
• pp.574-575
• /
• 2007

R은 통계 계산과 그래픽을 위해 다양한 기능을 제공하는 언어 및 환경이다. R은 다양한 장점을 제공하지만, 대량의 자료 처리에 대한 고려가 되어 있지 않아서 사용자들이 불편을 겪고 있다. 이 논문에서는, 이러한 대량의 자료 처리 문제를 어떤 방법으로 해결할 수 있으며, 어떠한 추가적인 사항을 생각할 수 있는지 서술하고자 한다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2007년도 춘계학술발표대회
• /
• pp.197-200
• /
• 2007

본 연구에서는 정보시스템을 보유하고 있는 제조업체를 위하여 인터넷 접근이 가능하도록 모바일 기반의 ERP 시스템 프로세스를 설계하였다. 휴대용 단말기를 이용하여 작업 현장에서 직접 ERP 시스템에 접근하여 정보 서비스를 받을 수 있으며, 구매정보 또는 협력업체와 인터넷을 이용하여 구매정보를 실시간으로 전달하고 각종 납품 실적을 협력업체에서 확인할 수 있는 시스템이다. 본 시스템은 모바일을 기반으로 한 ERP 시스템으로 업무 리드타임을 단축시키고 생산성의 극대화를 꾀하며 사용의 편의성과 이동성 제공으로 인해 사용자 만족도 또한 향상 시킬 수 있을 것으로 기대된다.

• 한국정보통신학회:학술대회논문집
• /
• 한국해양정보통신학회 2008년도 추계종합학술대회 B
• /
• pp.257-260
• /
• 2008

We build middleware architecture with J2EE and LiveGraph to process different ubiquitous healthcare application's data and process that data into useful information, which can play a most important role in decision making in ubiquitous Healthcare System. Application developers mostly rely on third party middleware, tools and libraries (i.e., webservers, distributed middleware such as CORBA, etc.) to respond the emerging trends of their target domain. With this middleware we tried to enhance the efficiency of application by decrease their memory uses, data processing and decision making on another web module which is independent of each application. For middleware system, we proposed an algorithm by which we can find some important conclusion about different health status likewise ECG, Accelerometer. etc., which can be used in various data processing and determine the current health status. In this paper we also analyze some different low level and high level middleware technology which were used to build different kind middleware likewise CAMUS, MiLAN and try to find the best solution in the form of middleware for Ubiquitous Healthcare Information System.

• International Journal of Advanced Culture Technology
• /
• 제9권3호
• /
• pp.327-333
• /
• 2021

Inbody is a tool for measuring health information with high reliability and accuracy to analyze body composition. Unlike the existing method of storing/processing and outputting data on the server side, the health information generated by InBody requires accurate support for health sharing and data analysis services using mobile devices. However, in the process of transmitting body composition measurement information to a mobile service, a problem may occur in data transmission/reception processing. The reason for this is that, since the network network in the cloud environment is used, if the connection is cut off or the connection is changed, it is necessary to provide a global service, not a temporary area, focusing on the mobility of InBody information. In addition, since InBody information is transmitted to mobile devices, a standard schema should be defined in the mobile cloud environment to enable information transfer between standardized InBody data and mobile devices. We propose a mobile cloud system using EMRA(Extended Metadata Registry Access) in which a mobile device processes and transmits body data generated in the inbody and manages the data of each local organization with a standard schema. The proposed system processes the data generated in InBody and converts it into a standard schema using EMRA so that standardized data can be transmitted. In addition, even when the mobile device moves through the area, the coordinator subsystem is in charge of providing access services. In addition, EMRA is applied to the collision problem due to schema heterogeneity occurring in the process of accessing data generated in InBody.

• Journal of Information Processing Systems
• /
• 제13권4호
• /
• pp.951-969
• /
• 2017

In this paper, we newly propose a traffic information service model that collects traffic information sensed by an individual vehicle in real time by using a smart device, and which enables drivers to share traffic information on all roads in real time using an application installed on a smart device. In particular, when the driver requests traffic information for a specific area, the proposed driver-personalized service model provides him/her with traffic information on the driving directions in advance by predicting the driving directions of the vehicle based on the learning of the driving records of each driver. To do this, we propose a traffic information management model to process and manage in real time a large amount of online-generated traffic information and traffic information requests generated by each vehicle. We also propose a road node-based indexing technique to efficiently store and manage location-based traffic information provided by each vehicle. Finally, we propose a driving learning and prediction model based on the hidden Markov model to predict the driving directions of each driver based on the driver's driving records. We analyze the traffic information processing performance of the proposed model and the accuracy of the driving prediction model using traffic information collected from actual driving vehicles for the entire area of Seoul, as well as driving records and experimental data.

• 한국HCI학회:학술대회논문집
• /
• 한국HCI학회 2009년도 학술대회
• /
• pp.1150-1155
• /
• 2009

정보화 사회에서 정보의 양은 기술의 발달로 급격하게 증가하고 있다. 그로 인해 정보의 다양화와 복잡성 또한 증가하여 빠른 정보처리에 어려움을 주고 있다. 정보의 복잡성 속에 정보의 구조화, 범주화는 사용자가 쉽게 정보에 접근할 수 있게 만들며 처리 속도도 빠르게 해 준다. 본 연구는 정보의 범주화에서 색을 통한 범주화가 정보처리 속도 향상에 어떠한 영향을 주는지를 실험적으로 확인해 보려 한다. 실험 1은 복잡한 정보를 가진 노선도에서 역을 찾는 과제를 시행 하였을 때, target 역 이름의 색과 노선의 색이 동일 할 때 그렇지 않는 경우 보다 탐색시간을 빠름을 보여주고자 한다. 그리고 실험2는 단어 분류 과제에서 색의 범주화가 단어의미 범주화 보다 빨리 처리되며, 색의 대비가 클 때 더 효과적임을 보여 주고자 한다.