• Journal of the Korean Operations Research and Management Science Society
• /
• v.18 no.3
• /
• pp.79-100
• /
• 1993

This paper proposes an idea of reverse modeling that analyzes LP models and then converts them into an object-oriented model repository. The process of reverse modeling consists of (1) identifying and analyzing source models by meta processor, (2) model decomposition and generalization to scan the models and divide them into model components, and (3) deriving model selection rules from the components by rule generator. Through the process, we can extract reusable model components and build a model base with model selectioon rules. Examples with models created by SML and MODLER modeling languages are given to illustrate the methods. The model base management capabilities provided by reverse modeling can increase the reusabioity of current modeling tools.

• KOREAN JOURNAL OF PACKAGING SCIENCE & TECHNOLOGY
• /
• v.13 no.2
• /
• pp.75-78
• /
• 2007

Regulation of food packaging in Korea, Eurpoe and USA are surveyed. Food packaging manufacturer or converter has a responsibility to evaluate the safety of migration of harmful materials from typical finished packaging items. The 'overall migration limit' of all components from the packaging and 'specific migration limits(SML)' of monomers or additives are evaluated with food simulants, water, acetic acid, ethanol and n-heptane, based on the regulations of the countries. A substance not regulated has to be authorized with the technical data required, information on chemical identity, physical chemical and other properties, the intended use, migration studies and toxicological studies.

• Proceedings of the Korean Information Science Society Conference
• /
• 2001.04b
• /
• pp.412-414
• /
• 2001

정보시스템 구축이란 필연적인 수단의 대안으로 제시되고 있는 것이 인트라넷 환경이다. 그러나 사용자들은 단지 전자메일이나 전자게시판만보다 효율적으로 인트라넷 환경을 이용할 수 있는 Workflow 개념을 절실히 요구하고 있으며, 그 대표적인 예인 전자결재시스템이 기업의 업무에 적용되기를 원하고 있다. 하지만, 상용화된 현재의 그룹웨어 시스템간의 문서 호환성 결여는 인터넷이라는 통합 패러다임에 역행하는 결과를 낳게 되었고, 그룹웨어 시스템간의 정보의 공유와 확장성을 고려하지 않을 수 없게 되었다. 컴퓨터 환경의 보편화로 문서의 전자화와 문서관리 전자문서화로 변하고 있으며, 전자상거래와 전자문서교환, 전자문서관리시스템에서는 기본적으로 종이 문서를 사용하지 않지만, 아직도 문서 교환의 많은 부분이 팩스나 종이로 이루어지고 있다. 본 논문에서는 웹 표준 문서 포맷 기술로 자리잡고 있는 SML(eXtensible Markup Language)을 이용하여 웹기반 전자결재시스템 상호간의 문서호환성을 해결하기 위한 표준 문서 교환 시스템에 대한 프로토타입을 설계하고 이를 구현하였다.

• Journal of Biosystems Engineering
• /
• v.20 no.2
• /
• pp.173-179
• /
• 1995

A modeling technique of land rearrangement was proposed using Geographical Information System(GIS) based on PC ARC/INFO. Three regions with different slopes were chosen. At first, slope angle and direction were calculated, and lands were rearranged using various parameters. The required parameters are obtained from PC ARC/INFO and the design factors for land rearrangement. The shape of land before rearrangement could be compared with the shape of land after rearrangement. Besides the shape comparison, drain site could be determined and the information for cost of land rearrangement could be obtained. The system was integrated on a menu driven style with SML files and subprograms. GIS was proved to be useful for land rearrangement design.

• Journal of KIISE:Software and Applications
• /
• v.28 no.1
• /
• pp.73-89
• /
• 2001

본 연구에서는 일반화된 let-다형성(let-polymorphic) 타입 유추 알고리즘을 제시하고, 이로부터 얻어지는 모든 예 알고리즘들은 Hindley/Milner 타입 체계를 안전하고 완전하게 (sound and complete) 구현하고 있음을 증명하며, 일반화된 알고리즘의 두 예 알고리즘들간에 어느 한쪽이 항상 오류를 더 신속히 감지하게 되는 조건을 제시한다. 일반화된 알고리즘으로부터 이론적으로 검증된 두 타입 유추 알고리즘, 즉, 상향성 표준 타입 유추 알고리즘 W와 하향성 알고리즘 M 뿐만 아니라 두 알고리즘의 혼성 알고리즘(hybrid algorithm)을 만들 수 있다. 만들어진 예 알고리즘들의 안전성, 완전성, 상대적인 신속한 오류 감지 성질들은 본 논문의 증명에 의해 자동적으로 유추된다. 본 논문에서 제시되는 알고리즘으로부터 만들어 낼 수 있는 예 알고르즘에는 SML/NJ와 Objective Caml 컴파일러에서 채택한 알고리즘을 포함하고 있다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2001.04a
• /
• pp.439-441
• /
• 2001

보이스 포탈(Voice Portal) 서비스란 알고자 하는 정보를 음성으로 전화를 통해 명령하면 원하는 정보를 음성으로 서비스이다. 본 논문에서 구현된 시스템은 원하는 주식 정보를 음성으로 명령하면 Voice XML 서버가 찾고자 하는 주식 종목을 검색하여 다시 음성으로 알려주는 시스템이다. 인증의 절차를 수행하는 SMS(Short Message Service) 서버 모듈, PSTN 망과 Database 서버사이의 인터페이스를 제공하는 CTI(Computer Telephony Integration) 모듈, CTI 서버와 WWW(World Wide Web) 사이의 Voice XML 모듈, 정보를 검색하기 위한 Searching 모듈들이 필요하다. 음성 인식 기술을 기반으로 한 CTI 모듈 설계를 구현하였다. 또한 인정 방식으로 Random한 일회용 패스워드를 기반으로 한 SML 인증을 택하므로 더욱 더 안정된 서비스 제공을 목적으로 하였다.

• Proceedings of the KSRS Conference
• /
• 2003.11a
• /
• pp.198-200
• /
• 2003

This study proved if the high resolution satellite imagery of IKONOS is suitable for preparing digital forest cover map. Three methods, the pixel based classification with maximum likelihood (PML), the segment based classification with majority principle(SMP), and the segment based classification with maximum likelihood(SML), were applied to classify and delimitate forest cover of IKONOS imagery taken in May 2000 in a forested area in the central Korea. The segment-based classification was more suitable for classifying and deliminating forest cover in Korea using IKONOS imagery. The digital forest cover map in which each class is delimitated in the form of a polygon can be prepared on the basis of the segment-based classification.

• Journal of Food Hygiene and Safety
• /
• v.23 no.3
• /
• pp.218-221
• /
• 2008

The levels of sulfites in wooden chopsticks were analyzed using two different methods, distillation-alkali titration and ion chromatography. According to the two methods, Sulfur dioxide($SO_2$) was validated by 0.6 and 0.2 ${\mu}ml$ of limit of detection(LOD), 1.8 and 0.5 ${\mu}ml$ of limit of quantification, (LOQ) and a $R^2>0.998$ for linearity, respectively. The recoveries of $SO_2$ from food simulants spiked ar levels of 100 ppm were 70.2-100.2%. 158 samples of wooden chopsticks were monitored the migrated amounts of sulfites. Sulfites were detected in 30 samples in ranged of 0.6 to 15.5 ppm. Maximum migration level, 15.5 ppm of sulfites was considered giving no harmful effect to human since it was reached 5.5% of estimated SML.

• Journal of Korea Society of Industrial Information Systems
• /
• v.6 no.3
• /
• pp.1-19
• /
• 2001

Internet based on web service is growing rapidly and the effort to standardize the next generation web is world-widely being made. When the web was developed for the first time, HTTP, HTML, and URL were designed based on the structure of text background. Through those, asynchronous search and simple, unified expression patterns have been used. But recently many data on internet are becoming complicated. Consequently new structure and expression patterns including synchronous multimedia information are requested. The currently used standard language among user interface domain of W3C is SMIL which is XML-based one. SMIL describes where and how long the multimedia factors are integrated on the web. In this paper the standardization trend and important issues related to SMIL are reviewed and analyzed. Also the development of technology is discussed.

• Journal of Advanced Navigation Technology
• /
• v.12 no.5
• /
• pp.401-411
• /
• 2008

GeoWeb services deliver various thematic information related to geographic positions over the internet GeoWeb services needs to provide efficient accessibilities to geographic contents by interaction with users through the map graphic elements. SVG, which is an application of XML, gives rich DOM I/F for interaction with graphic objects. In this study map servers and client viewers are implemented to serve SVG map available on the fixed mobile internet computing environments. Map servers are made compliant with OGC WMS and WFS specifications and SVG map viewers are developed for both Windows PC and WinCE PDA.