http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
- 中文 을 입력하시려면 zhongwen을 입력하시고 space를누르시면됩니다.
- 北京 을 입력하시려면 beijing을 입력하시고 space를 누르시면 됩니다.
RISS 인기검색어
- 검색키워드
- 저자 : 鄭喜澤 (검색결과 225 건)
- 무료
- 기관 내 무료
- 유료
-
페트리넷을 이용한 워크플로우 명세의 완료가능성 및 무결성 검증
정희택,이도헌,Ceong, Hee-Taek,Lee, Do-Heon 한국정보처리학회 2000 정보처리논문지 Vol.7 No.7
최근에 자동화된 업무처리 시스템으로써, 워크플로우 시스템에대한 연구가 활발히 이루어지고 있다. 본 연구는 병행 수행되는 과업간에 다양한 종속성을 포함한 워크플로우 명세에 대해, 페트리넷을 이용한 완료 기능성 및 완료 무결성 검증 방안을 제안한다. 이를 위해 첫째, 기존에 연구된 워크플로우 그래프를 이용한 워크플로우 명세 방안을 간략히 기술한다. 둘째, 워크플로우 명세의 검증을 위해, 워크플로우 그래르를 레트리넷으로 변환하기 우한 방안을 제안한다. 셋째, 페트리넷을 이용하여 워크플로우 명세가 왼료 가능한지를 검증하는 완료 가능성 검증과 원하지 않는 워크플로우 상택가 존재하는지 검증하는 무결성 검증방안을 제안한다. 넷째, 제안된 검증방안의 구현 및 모순 추출 방안을 제안한다. A study on workflow as an automated business processing system is done recently. This appear proposes a method to verify commitability and integrity of workflow specifications, which include various dependencies between parallel tasks, using petri nets. For this, firstly, e describe briefly workflow specification method using workflow graphs. Secondly, we propose a method to convert a workflow graph into a petri net to verify workflow specifications. Thirdly, we suggest the commitability verification method using petri nets to check whether workflow specifications can commit or not and the integrity verification method to check whether invalid components exist or not. Lastly, we implement the proposed verification method and propose a defect extraction method.
-
-
-
-
정희택,서정현 여수대학교 2002 論文集 Vol.17 No.-
An evaluation analyzes the accomplishment of an educatee's schoolwork by a curriculum. It is necessary for us to find the way of a course of study for a poor learner by overall evaluation at school. So this study suggests the measure that teacher can analyse a poor learner and apply the way of a course of study by association rule mining.
-
정희택 한국정보통신학회 2002 한국정보통신학회논문지 Vol.6 No.8
자동화된 업무 처리를 위한 워크플로우 시스템이 일반화되었다. 본 연구는 워크플로우 로그 로부터 워크플로우 명세를 탐사하는 방안을 제안한다. 제안한 기법은 과업간 순환, AND 그리고 OR 제어 흐름을 고려하여 워크플로우 명세를 탐사한다. 또한 로그 생성 시에 워크플로우 명세를 탐사할 수 있는 동적 탐사 기법을 제안한다. Workflow systems, automated business processing, have been generalized. In this paper, we propose a method to mine workflow specification on workflow logs. The method detects workflow specification considering cycle, AND and OR control flow between tasks. Also, we provide dynamic mining method to detect workflow specification in which log is generated.
-
가스터빈엔진용 축류압축기의 공력 설계 기법개발 및 적용
鄭喜澤 慶尙大學校生産技術硏究所 1996 生産技術硏究所論文集 Vol.12 No.-
The aerodynamic design system of the axial-flow compressors for the large-scaled industrial gas turbines was developed using the conventional methods. The current design procedure is composed of the four separate program modules; i.e., 1) preliminary design 2) computation of the aero-thermal properties using the streamline curvature method, 3) determination of the blade profiles and 4) the estimation of the full-stage compressors at the off-design conditions. Using this design systems, the aerodynamic design was performed for the six-stage LP compressor for 100 MW class industrial engines. The aero-thermal conditions for the full-stage and full-span blade design was computed and the detail design of the first rotor blade was performed. The LPC engine performance at the variable speedline and flow rates are predicted using the simple meanline stage-stacking methods. In addition, the conceptual design of the LPC components including the inlet flow passage and the exit turning vane to the intercooler was done for the mechanical design as the future work.
-
가스터빈엔진 내부유동장 해석용 계산격자점 생성기법 연구
鄭喜澤 慶尙大學校生産技術硏究所 1997 生産技術硏究所論文集 Vol.13 No.-
Computaional grids used in the solution of the Naveir-Stokes equations for numerical simulation of gas-turbine flow fields are generated such that they are suited both for the geometry complexities and for the flow characteristics. The present grid generation system adopts the multiblock structure based on the structured H-grids. The numerical algorithm adopts the combination of the algebraic and elliptic method to create the internal grids efficiently and quickly. The system consists of four separate modules for blade-geometry modeling and grid generation. The grid generation method generates a series of two-dimensional grids in the blade-to-blade passage to build up the three-dimensional grid. The system input is made of the results of the preliminary design, i.e., flow-path, aerodynamic conditions along the spanwise direction, and the blade profile data. The final grids generated from each module of the system are used as the preprocessor for the performance prediction of the sectional blade, the blade-stacking process and the three-dimensional flow simulation inside the gas-turbine flow passage. For purposes of illustration, the grid generation system is applied to cascade flow simulations of a transonic turbine rotor and aerodynamic design of the LP compressor.
-
시간제약을 고려한 워크플로우 명세의 일관성 검증 및 스케줄링
정희택 여수대학교 1999 論文集 Vol.14 No.2
According to the complication and the extensiveness of an organization, the request for an automated business processing is on the increase recently. In this reason. the research on a workflow management system distinguishing business processing definitions from their executions is made briskly. In this paper, we propose integrity verification and scheduling of workflows with temporal constraints. we suggest a verification method for the integrity that workflow specifications has no contradiction and can be executed. This method presents the conflict contradictions of temporal constraints and dependencies and verify them. Lastly we propose an scheduling method for workflow specifications with temporal constraints. This method composes conflict resolution module, task decision module and task coordination module. Conflict resolution module can detect the correct execution between workflows based on data dependency. Task decision and coordination module enforce the temporal constraints and dependencies using task status.
-
연관 검색어 추천
이 검색어로 많이 본 자료
활용도 높은 자료
