• 한국경영과학회:학술대회논문집
• /
• 대한산업공학회/한국경영과학회 2006년도 춘계공동학술대회 논문집
• /
• pp.258-264
• /
• 2006

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

• 한국안광학회지
• /
• 제17권3호
• /
• pp.293-298
• /
• 2012

목적: 학령기아동 원시안에 대하여 굴절이상도에 따라 양안개방상태에서 정적 검영법을 실시하고 조절마비하 굴절검사와 비교하였다. 방법: 최대 교정시력이 0.8 이상인 학령기아동을 대상으로, 59안(30명)을 경도원시(+0.25 D~+1.00 D), 중등도 원시(+1.25 D ~ +2.00 D), 고도원시(+2.25 D 이상)로 나누었다. 자동굴절검사와 양안개방상태에서 정적 검영법(retinoscopy)은 조절 마비제 투여 전에 실시하였고, 이후에 조절 마비하 굴절검사를 실시하여 양안개방 상태에서 정적 검영법과 현성 굴절 검사값을 비교하였다. 결과: 학령기 아동의 모든 원시군에서 자동굴절검사에 비해 양안개방상태에서 정적 검영법에서의 원시도가 더 높게 측정되는 경향이 있었으며 구면굴절력의 변화에 대해 유의성이 있었다(p<0.001). 난시의 변화는 양안개방상태에서 정적 검영법, 현성검사 그리고 조절마비하 굴절검사에서는 통계학적 유의성이 없었다(p>0.05). 결론: 아동의 원시안에 대해서 조절마비하 굴절검사가 필요하겠으나 양안개방상태에서 정적 검영법과 통계학적 유의한 차이가 발견되지 않았다. 타각적 굴절검사기기에 대한 법률적 제약이 있는 안경사에게 있어서는 조절마비제를 사용하지 않는다면 양안개방상태에서 정적 검영법의 사용이 보편화 되어 야 한다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제28권8호
• /
• pp.551-559
• /
• 2001

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

• 융합정보논문지
• /
• 제8권6호
• /
• pp.107-116
• /
• 2018

본 연구는 아동간호학 실습 전 정서상태를 확인하여 아동간호학 실습 교육 중재프로그램의 기초자료를 얻기 위해 PANAS를 이용하여 간호학과 3학년 학생 143명을 대상으로 시행된 서술적 조사연구이다. 수집된 자료를 SPSS 19.0으로 분석한 결과, 정적정서는 남학생이, 부적정서는 여학생 유의하게 높았으며, 정적 부적정서 미치는 영향요인 규명을 위한 다중회귀분석에서 전공만족도, 성격유형, 간호학 선택동기 및 실습예정 병원유형이 정적정서에의 영향요인이었던 반면 성별이 부적정서에 영향을 미치는 것으로 나타났고, 이들 변수들의 정적, 부적정서에의 설명력은 각각 22.8%, 7.8%이었다. 간호대학생의 아동간호학 실습 전 느끼는 부적정서의 원인을 규명하는 질적연구를 통해 아동간호학 실습 전 정서중재 프로그램의 시행이 필요하다. 또한 실습 전후의 정서상태를 비교하는 실험연구 및 기타 간호학 학과목 실습과 관련된 간호대학생의 정서상태의 비교 연구 시행을 제언한다.

• 한국섬유공학회:학술대회논문집
• /
• 한국섬유공학회 2001년도 가을 학술발표회 논문집
• /
• pp.163-166
• /
• 2001

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

• 한국조명전기설비학회지:조명전기설비
• /
• 제3권2호
• /
• pp.56-62
• /
• 1989

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

• 전산구조공학
• /
• 제11권1호
• /
• pp.179-190
• /
• 1998

두개의 케이블요소를 이용한 3차원 케이블망의 정적 비선형 유한요소해석기법을 제시한다. 먼저, 공간 트러스요소와 탄성현수선 케이블요소(elastic catenary cable element)의 접선강도행렬과 질량행렬을 유도하는 과정을 간략히 요약한다. 지점 변위를 일으키고 자중을 받는 케이블망의 초기평형 상태를 결정하기 위하여, Newton-Raphson 반복법에 근거한 하중증분법과 현수케이블요소를 적용하는 경우에 viscous damping을 고려한 dynamic relaxation법을 제시한다. 또한 초기의 정적평형상태를 기준으로 추가하중에 대한 케이블망의 정적 비선형해석을 수행한다. 지점변위와 외력을 받는 케이블 구조에 대하여 비선형해석을 수행하고, 해석결과들을 기존의 문헌의 결과와 비교, 검토하므로써 본 논문에서 제시한 이론 및 해석방법의 타당성을 입증한다.

• 한국재난정보학회 논문집
• /
• 제19권4호
• /
• pp.851-858
• /
• 2023

연구목적: 종래의 PSC 거더에 비해 단면 효율이 개선된 양각 거더교의 구조적 안전성을 확보하기 위한 연구를 수행하였다. 이를 위해 거더 길이, 높이, 폭과 같은 단면의 제원을 정하고 강연선의 배치를 설계하여 정적 및 동적 하중에 의한 양각 거더의 실질적인 성능을 검증하였다. 연구방법: 정적 성능 실험은 1차 및 2차 정적 하중에 대한 처짐, 균열 등의 거동 응답을 측정하여 사용성 한계상태를 검토하였다. 또한, 동적 하중 재하 실험은 시간에 따른 가속도, 변위 거동 응답을 측정하여 고유진동수 및 감쇠비를 산정하여 사용성 한계상태를 검토하였다. 연구결과: 정적 성능 실험 결과 최대 재하하중 기준 처짐값은 안정적인 거동을 나타났고, 최대 재하하중 수준에서 측정된 균열폭은 매우 작아서 사용성 한계상태를 만족하는 것으로 나타났다. 또한, 동적 하중 재하 실험 설계 시 산정된 고유진동수를 상회하는 고유진동수가 나타났으며, 현행 규정에 만족하는 감쇠비를 확보하는 것으로 나타났다.

• 한국전자거래학회지
• /
• 제11권2호
• /
• pp.93-110
• /
• 2006

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

• 한국지능시스템학회논문지
• /
• 제26권2호
• /
• pp.135-140
• /
• 2016

비동기 순차 회로를 위한 교정 제어기는 회로를 재설계하지 않고도 회로 내에 존재하는 여러 고장을 탐지하고 극복하는 능력을 보인다. 이번 논문에서는 교정 제어기의 크기를 줄이기 위한 방법으로서 정적 교정 제어기(static corrective controller)를 제안한다. 동적 제어기에 비해 정적 제어기는 제어기 상태가 필요 없으므로 조합 회로(combinational circuit)만으로 구현 가능하다. 본 논문에서는 상태 천이 고장에 대한 정적 내고장성 교정 제어기가 존재할 조건과 설계 과정을 규명한다. 또한 제안된 제어 기법을 FPGA로 구현된 SEU 오류 카운터에 적용하여 그 효용성을 실험적으로 검증한다.