• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 2006.05a
• /
• pp.258-264
• /
• 2006

웹 서비스 기반의 비즈니스 프로세스 관리 시스템은 트랜잭션에 대한 신뢰도의 확보를 위하여 트랜잭션 관리가 필요하다. 트랜잭션 관리를 위한 여러 트랜잭션 프로토콜들이 제시되었지만, 다양한 프로토콜들은 서로간의 이질성으로 인해 비즈니스 프로세스 관리 시스템들 간의 상호호환을 저해한다. 이를 해결하기 위하여 본 연구에서는 시맨틱스 기반의 트랜잭션 프로토콜을 제안한다. 시맨틱스 기반의 트랜잭션 프로토콜은 상태와 메시지에 대한 정적 시맨틱스(Static Semantics)와 상태 전이에 관한 동작 시맨틱스(Operational Semantics)로 구성된다. 정적 시맨틱스는 프로토콜의 상태와 메시지를 Web Ontology Language(OWL)을 사용하여 온톨로지 기반으로 정의한 모델로서, 트랜잭션 프로토콜에 대한 상호 이해도를 높일 수 있을 것으로 기대된다. 동작 시맨틱스는 비즈니스 트랜잭션의 상태전이를 Abstract State Machine(ASM)으로 정의한 모델로서, 트랜잭션 실행에 대한 자동화와 체계적인 모니터링을 지원할 것으로 기대된다. 트랜잭션 프로토콜들간의 상호호환을 위하여 이러한 정적 시맨틱스와 동작 시맨틱스를 기반으로 하여 각 트랜잭션 프로토콜 및 중립 트랜잭션 프로토콜의 시맨틱스를 정의한다. 정의된 각 트랜잭션 프로토콜의 정적 시맨틱스는 중립 트랜잭션 프로토콜의 정적 시맨틱스와 온톨로지 기반의 매핑 관계를 형성한다. 중립 트랜잭션 프로토콜의 정적 시맨틱스를 매개로 한 온톨로지 매핑은 각 트랜잭션 프로토콜들 간의 상호호환을 지원할 것으로 기대된다.

• Journal of Korean Ophthalmic Optics Society
• /
• v.17 no.3
• /
• pp.293-298
• /
• 2012

Purpose: We compared static retinoscopy in eyes opened with cycloplegic refraction depending on the hyperopia for school-aged children. Methods: There were 59 eyes (30 patients) who were divided into 3 groups - the mild hyperopia (+0.25 D ~ +1.00 D), moderate hyperopia (+1.25 D ~ +2.00 D) and high hyperopia (+2.25 D or more). They all had 0.8 visual acuity or more. Autorefraction and retinoscopy were performed prior to cycloplegic refraction, and then copmared with manifest refraction and cycloplegic refraction. Results: Hyperopia measured with static retinoscopy tends to be measured higher than manifest refraction for school-aged children. Changes of spherical power was statistically significant (p < 0.001). Changes of astigmatism was not statistically significant (p > 0.05). Conclusions: The difference between cycloplegic refraction and static retinoscopy was not significant for hyperopic school-aged children. The use of retinoscopy was limited for opticians because of legal constraints. The usage of static retinoscopy in eyes opened for optician should be generalized under the conditions not using the cycloplegic.

• Journal of KIISE:Software and Applications
• /
• v.28 no.8
• /
• pp.551-559
• /
• 2001

정적 슬라이싱과 동적 슬라이싱의 차이는 동적 슬라이싱은 프로그램에 주어진 입력을 가정하는 반면에 정정 슬라이싱은 입력에 대한 가정을 하지 않는다는 점이다. 동적 슬라이싱은 실행-시간 정보를 이용할 수 있으므로 정적 슬라이싱보다 적은 슬라이스를 만들 수 있으나 특정 입력 상태에만 적용될 수 있다는 제한을 갖는다. 이 논문은 초기 상태들의 집합에 대해서 프로그래을 슬라이싱하는 요약 프로그램 슬라이싱이라는 새로운 기법을 제시한다. 이 방법은 프로그램으로부터 슬라이스를 구하는데 요약 해석을 이용한다. 요약 해석을 프로그램 실행 없이 프로그램의 실행-시간 동작에 대한 안전한 정보를 제공한다. 따라서 결과적으로 얻은 요약 슬라이스는 주어진 입력 상태들의 집합에 대해서 정적으로 계산되었다는 점에서 동적 슬라이스와는 다르다. 또한 요약 프로그램 슬라이싱은 배열과 같은 자료구조를 정적 슬라이싱보다 정확하게 다룰 수 있으며 슬라이스 크기도 줄일 수 있다.

• Journal of Convergence for Information Technology
• /
• v.8 no.6
• /
• pp.107-116
• /
• 2018

This is a descriptive research conducted on 143 junior nursing students using PANAS to get basic data for intervention program checking emotional state before child nursing practicum. The collected data were analyzed using SPSS 19.0, the positive affects were significantly higher in males than in females but the negative affects were reversed. Multiple regression analysis to identify factors affecting positive and negative affects showed the negative affects were influenced by sex, while the positive ones were by satisfaction in major, personality type, motive of admission, and types of hospital. The explanatory rate of these variables on the positive and negative affects were 22.8% and 7.8%, respectively. Emotional intervention program before child nursing practicum is necessary through implementing qualitative researches identifying the causes of negative affects before child nursing practicum of nursing students. Also, it is recommended the experimental studies comparing emotional states before and after child nursing practicum and other subjects'.

• Proceedings of the Korean Fiber Society Conference
• /
• 2001.10a
• /
• pp.163-166
• /
• 2001

최적의 사 균제도를 갖는 방적사를 제조하기 위해서는 슬라이버나 조사와 같은 섬유집합체가 어떤 일정 수준의 섬유응집력 및 드래프트 특성을 가져야 하는 것으로 알려져 있다. 드래프트 힘이 어느 정도 올라가면 정적마찰력을 극복한 가속된 섬유와 아직 가속되지 않은 섬유간의 상태가 계속해서 변화하게 되는데, 이와 같이 정적상태에서 동적상태로 전환됨에 따라 사 균제도에도 그에 상응하는 영향을 미치게 된다. (중략)

• The Proceedings of the Korean Institute of Illuminating and Electrical Installation Engineers
• /
• v.3 no.2
• /
• pp.56-62
• /
• 1989

자연채광에 관한 에너지 해석을 하기 위해서는 주광조도를 예측하여야 하며, 주광조도를 예측하기 위해서는 천공상태를 추정할 수 있어야만 한다. 즉, 천공상태의 최저상태나 최소설계기준을 추정할 수 있어야만 자연채광에 의한 에너지 절약을 해석할 수가 있다. 천공상태를 추정하는데에는 CIE에서 개발한 정적 천공모델이 많이 이용되어 왔다. 그러나 천공은 정적광원이 아니라 시간에 따라 동적으로 변하고 있음으로 자연채광설계에서 에너지의 영향을 평가하기 위해서는 보다 융통성이 있는 천공모델이 요구된다. 따라서 이 논문은 그동안 동적천공을 나타낼 수 있도록 개발된 비표준천공의 추정방법, 동적 천공상태의 추정방법, 주광조도와 천공휘도의 추정방법, 주광의 유용성 평가방법 등을 비교분석함으로써, 앞으로 우리나라 기후상태에 적합한 자연채광용 천공모델을 개발하는데 기초자료화하였다.

• Computational Structural Engineering
• /
• v.11 no.1
• /
• pp.179-190
• /
• 1998

A geometrically nonlinear finite element formulation of spatial cable networks is presented using two cable elements. Firstly, derivation procedures of tangent stiffness and mass matrices for the space truss element and the elastic catenary cable element are summarized. The load incremental method based on Newton-Raphson iteration method and the dynamic relaxation method are presented in order to determine the initial static state of cable nets subjected to self-weights and support motions. Furthermore, static non-linear analysis of cable structures under additional live loads are performed based on the initial configuration. Challenging example problems are presented and discussed in order to demonstrate the feasibility of the present finite element method and investigate static nonlinear behaviors of cable nets.

• Journal of the Society of Disaster Information
• /
• v.19 no.4
• /
• pp.851-858
• /
• 2023

Purpose: A study was conducted to ensure the structural safety of a raised girder bridge with improved cross-sectional efficiency compared to the conventional PSC girder. For this purpose, the cross-sectional specifications such as girder length, height, and width were determined, the arrangement of the tendons was designed, and the practical performance of the raised girder under static and dynamic loads was verified. Method: The static performance experiment examined the serviceability limit state by measuring behavioral responses such as deflection and cracking to primary and secondary static loads. In addition, the dynamic load loading experiment measured the acceleration and displacement behavior response over time to calculate the natural frequency and damping ratio to examine the usability limit state. Result: As a result of the static performance test, the deflection value based on the maximum applied load showed stable behavior, and the crack width measured at the maximum applied load level was very small, satisfying the serviceability limit state. In addition, a natural frequency exceeding the natural frequency calculated during the design of the dynamic loading experiment was found, and a damping ratio that satisfies the current regulations was found to be secured.

• The Journal of Society for e-Business Studies
• /
• v.11 no.2
• /
• pp.93-110
• /
• 2006

A Business Process Management System(BPMS) requires transaction management to guarantee reliability for transactions. Though several transaction protocols have been suggested for the transaction management, the difference of transaction protocols interrupts interoperability among transaction management systems. In this paper, a business process transaction based on semantics is suggested. It is defined based on the static semantics and the operational semantics. As the static semantics defines the ontologies for transaction states and transaction messages using Web Ontology Language(OWL), it solves the difference of expression for the concepts of transaction protocols. As the operational semantics defines state transitions of business process transactions using Abstract State Machine(ASM), it can guarantee formalism for transaction operations. The operational semantics refers to the state ontology and message ontology defined in the static semantics. This approach can enhance interoperability among various transaction protocols, increase the understandability for the transaction protocols, and support autonomous transaction execution and systematic transaction monitoring.

• Journal of the Korean Institute of Intelligent Systems
• /
• v.26 no.2
• /
• pp.135-140
• /
• 2016

Corrective controllers enable fault diagnosis and tolerance for various faults in asynchronous sequential circuits without resort to redesign. In this paper, we propose a static corrective controller in order to decrease the size of the controller. Compared with dynamic controllers, static controllers can be made using only combinational circuits, as they need no inner states. We address the existence condition and design procedures for static corrective controllers that overcome state transition faults. To show the validity and advantage, the proposed controller is applied to an SEU error counter implemented on FPGA.