• 한국지능정보시스템학회:학술대회논문집
• /
• 한국지능정보시스템학회 2005년도 공동추계학술대회
• /
• pp.21-44
• /
• 2005

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• 제13권3호
• /
• pp.1702-1721
• /
• 2019

A workflow process (or business process) management system helps to define, execute, monitor and manage workflow models deployed on a workflow-supported enterprise, and the system is compartmentalized into a modeling subsystem and an enacting subsystem, in general. The modeling subsystem's functionality is to discover and analyze workflow models via a theoretical modeling methodology like ICN, to graphically define them via a graphical representation notation like BPMN, and to systematically deploy those graphically defined models onto the enacting subsystem by transforming into their textual models represented by a standardized workflow process definition language like XPDL. Before deploying those defined workflow models, it is very important to inspect its syntactical correctness as well as its structural properness to minimize the loss of effectiveness and the depreciation of efficiency in managing the corresponding workflow models. In this paper, we are particularly interested in verifying very large-scale and massively parallel workflow models, and so we need a sophisticated analyzer to automatically analyze those specialized and complex styles of workflow models. One of the sophisticated analyzers devised in this paper is able to analyze not only the structural complexity but also the data-sequence complexity, especially. The structural complexity is based upon combinational usages of those control-structure constructs such as subprocesses, exclusive-OR, parallel-AND and iterative-LOOP primitives with preserving matched pairing and proper nesting properties, whereas the data-sequence complexity is based upon combinational usages of those relevant data repositories such as data definition sequences and data use sequences. Through the devised and implemented analyzer in this paper, we are able eventually to achieve the systematic verifications of the syntactical correctness as well as the effective validation of the structural properness on those complicate and large-scale styles of workflow models. As an experimental study, we apply the implemented analyzer to an exemplary large-scale and massively parallel workflow process model, the Large Bank Transaction Workflow Process Model, and show the structural complexity analysis results via a series of operational screens captured from the implemented analyzer.

• 한국통신학회논문지
• /
• 제15권10호
• /
• pp.811-818
• /
• 1990

이 논문의 목적은 데이타베이스로의 정보 시장에 관한 작업을 담당하는 FLA(Flont-end Language Analyzer)와 여기에서 추출된 데이타베이스의 일관성과 완전성을 쉽게 검사할 수 있고 사용자의 요구에 따라 다양한 형태의 문서를 생성해 주는 BIS(Back-end Information system)를 구축함에 있다. 앞으로 본 시스템음 소프트웨어 시스템 개발에 실제로 사용됨으로써 소프트웨어의 생산성과 신뢰성 향상에 기여할 수 있으리라 예상된다.

• 대한전자공학회:학술대회논문집
• /
• 대한전자공학회 2002년도 하계종합학술대회 논문집(5)
• /
• pp.297-300
• /
• 2002

In this study, we implement the potable blood gas analyzer measuring pH, pCO$_2$and pCO$_2$of the arterial blood. The implemented system by this study is divided into hardware and software part and also the hardware portion is parted by mechanism and electronic circuit unit. The system program is composed of operating, washing, correcting and measuring program. And to correct the system, two-point calibration method is used, one-point calibration method is also added for more accuracy, and system program is coded. For verifying the implemented system, We examine to response property of each electrode. And evaluate accuracy of the system using standard reagent and was construed as statistical.

• 대한기계학회논문집B
• /
• 제27권3호
• /
• pp.398-405
• /
• 2003

A fast response analyzer for measuring carbon dioxide concentration has been developed for transient characteristic and researches tested on internal combustion engine. The analyzer uses the well known NDIR(Non-Dispersive Infrared) method with miniaturized detection system, giving a time constant of approximately 30 microsecond, and sampling module consists of capillary tube. Since the transit time and the time constant of the sampling system depend on the sampling conditions, it is necessary to investigate the characteristics of sampling system before applied to exhaust gas measurement in engine. A unique method was designed to study the influence of the diameter of transfer sample line and operating conditions of the FRNDIR on transit time and time constant. A database of transit time and time constant was built up for different measured and simulated pressure conditions. The database can be used for correcting eventual $CO_2$ concentration measurement.

• Clinical and Experimental Reproductive Medicine
• /
• 제30권2호
• /
• pp.165-169
• /
• 2003

Objective: To evaluate the results of CASA systems and to compare its results. Methods: Fifty semen sampales were analysed. Concentration, motility and forward progression were evaluated simultaneously on the same semen samples using Cell Soft System-3000 (CS system) and Sperm Quality Analyzer-V (SQA system). Results: Mean semen volume was $2.8{\pm}1.2\;ml$. Mean value of sperm concentration, motility, forward progression using CS system were $83.4{\pm}45.7{\times}10^6/ml$, $52.3{\pm}16.4%$ and $48.6{\pm}13.4%$, respectively. And mean value of sperm concentration, motility, forward progression using SQA system were $78.2{\pm}42.9{\times}10^6/ml$, $57.0{\pm}24.0%$ and $50.6{\pm}21.9%$, respectively. There were no statistical significancy of sperm concentration, motility, forward progression between the two devices. Conclusion: SQA system variables well correlated with the CS system. As a screening test for semen quality, CS system and SQA system is considered as useful in the management of male infertility.

• 대한화장품학회지
• /
• 제30권2호
• /
• pp.207-210
• /
• 2004

유용성 감초산은 강한 항염 작용으로 주름개선용 기능성 화장품에서 널리 사용되어지는 물질이다. 그러나 용해성이 좋지 않고 빛, 열, 산소에 의하여 변질되기 쉽다. 본 연구에서는 유용성감초산을 PG/hydrogenated lecithin/MCT/glycerine/water를 microfluidzer를 이용해 30-50nm인 nanosolve-licorice를 만들고, 잘 용해된 nanosolve-licorice를 다공성 PMMA에 에탄올과 함께 넣은 후 microfluidzer를 1000 BAR에서 연속 3회 처리하여 안정화시켰다. 이 실험에서 글라블리딘 함량을 HPLC로 측정한 결과 기존의 리포좀에 비하여 3-5배 정도 안정성을 보였으며, PMMA 캡슐로 된 리코러스는 피부의 침투가 기존 리포솜에 비하여 월등히 우수하여 항염 효과를 더욱 증가시켰다. 이러한 실험을 image analyzer, particle size analyzer, FF-TEM, chromameter, HPLC등의 분석장비를 사용하였다.

• 방사성폐기물학회지
• /
• 제18권2_spc호
• /
• pp.327-336
• /
• 2020

HANARO (High-flux Advanced Neutron Application Reactor)는 우라늄의 핵분열 연쇄반응에서 생성된 중성자를 이용하여 다양한 연구개발을 수행하는 열출력 30 MW 규모의 연구용 원자로이다. 탈기탱크는 HANARO의 부속시설에 설치되어 있다. 탈기탱크는 내부환경요인으로 인해 기체오염물질을 발생시킨다. 탈기탱크는 기체오염물질을 허용 가능한 수준 이하로 유지하기위해 필요하며 기체시료채취판넬의 분석기에 의해 모니터링 된다. 응축수가 발생하여 기체시료채취판넬의 분석기 내부로 유입된다면, 분석기의 측정 챔버 내부에 부식이 발생하여 고장을 야기한다. 응축수의 생성 원인은 탈기탱크에 존재하는 기체가 분석기로 유입되는 과정에서 탈기탱크와 분석기사이 온도 차이다. 응축수 생성을 억제하고 계통 내부에 생성된 응축수를 효율적으로 제거하기 위해 탈기탱크와 기체시료채취판넬 사이에 히팅시스템이 설치되었다. 이 연구에서 우리는 히팅시스템의 효율성을 알고자 한다. 또한 Wall Condensation Model을 이용하여 유체 입구온도, 외부온도 및 히팅 케이블 설정온도 변화에 따른 파이프 온도와 평균응축량의 변화를 모델링하였다.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2003년도 하계학술대회 논문집 D
• /
• pp.2809-2811
• /
• 2003

Biochip-based diagnostic technology is an effective, time- and money-saving way of identifying Rifampin and Isoniazid resistant tuberculosis strains. In this paper, we suggest the optical system which is designed with the simple structure and has an appropriate specification for biochip analyzer including a CCD camera system. It consists of two parts with the same structure but opposite direction. each part is made by one lens, achromatic doublet and meniscus. We changed the working distance of the optical system and observed its characteristics.

• 한국공작기계학회논문집
• /
• 제15권5호
• /
• pp.1-6
• /
• 2006

The purpose of this study is to develop to portable near infrared analyzer measuring the sugar content of the fruits on a tree before harvesting ones. The portable near infrared system consists of a tungsten lamp, a coaxial optical fiber bundle and a multi-channel detector, which has 256 pixels and a concave transmission grating. Reflectance NIR spectra of orange were recorded by using a coaxial optical fiber bundle. The spectra were collected over the spectral range $400{\sim}1100nm$. Partial least squares regression(PLSR) was applied for a calibration and validation for determination of sugar contents. The multiple correlation coefficient was 0.99 and standard errors of calibration(SEC) was 0.069 brix. The calibration model predicted the sugar content for validation set with standard errors of prediction(SEP) of 0.092 brix. The sugar content in fruits was successfully quantified using the portable near infrared analyzer.