• ETRI Journal
• /
• 제25권3호
• /
• pp.187-194
• /
• 2003

Delay testing has become an area of focus in the field of digital circuits as the speed and density of circuits have greatly improved. This paper proposes a new scan flip-flop and test algorithm to overcome some of the problems in delay testing. In the proposed test algorithm, the second test pattern is generated by scan justification, and the first test pattern is processed by functional justification. In the conventional functional justification, it is hard to generate the proper second test pattern because it uses a combinational circuit for the pattern. The proposed scan justification has the advantage of easily generating the second test pattern by direct justification from the scan. To implement our scheme, we devised a new scan in which the slave latch is bypassed by an additional latch to allow the slave to hold its state while a new pattern is scanned in. Experimental results on ISCAS'89 benchmark circuits show that the number of testable paths can be increased by about 45 % over the conventional functional justification.

• 대한전기학회논문지:전력기술부문A
• /
• 제48권9호
• /
• pp.1161-1166
• /
• 1999

Delay testing has become highlighted in the field of digital circuits as the speed and the density of the circuits improve greatly. However, delay faults in sequential circuits cannot be detected easily due to the existence of state registers. To overcome this difficulty a new scan filp-flop is devised which can be used for both stuck-at testing and delay testing. In addition, the new scan flip-flop can be applied to both the existing functional justification method and the newly-developed reverse functional justification method which uses scan flip-flops as storing the second test patterns rather than the first test patterns. Experimental results on ISCAS 89 benchmark circuits show that the number of testable paths can be increased by about 10% on the average.

• 대한수학교육학회지:수학교육학연구
• /
• 제24권2호
• /
• pp.205-225
• /
• 2014

본 연구는 초등학교 6학년 학생들이 기하 증가 패턴을 탐구하는 상황에서 함수적 관계를 어떻게 인식하고 일반화하며 표현하는지에 대해 분석하였다. 연구 결과, 처음에는 학생들이 그림에 의존하여 문제를 해결하는 경향을 보였으나, 후속 항들을 탐구하는 과정에서 일반화에 대한 시도가 자연스럽게 나타났다. 또한, 패턴 탐구의 결과를 어떤 방식으로 표현하는지는 개인에 따라 차이가 있었는데, 이 표현 방식은 패턴을 일반화하고 유사 상황에 적용하는 과정에도 영향을 끼쳤다. 본 연구는 이러한 결과들을 토대로, 초등학교에서의 함수적 사고의 지도 방안에 대한 시사점을 제공한다.

• 산업경영시스템학회지
• /
• 제23권54호
• /
• pp.167-177
• /
• 2000

The problem of system reliability is very important issue in the nuclear power plant, because the failure of its system brings about extravagant economic loss, environment destruction, and quality loss. This paper therefore proposes a normalized scoring model by the qualitative factors order to evaluate the robust reliability of nuclear power plants under uncertainty. Especially, the qualitative factors including risk, functional, human error, and quality function factors for the robust justification has been also introduced. Finally, the analytical reliability and safety assessment model developed in this paper can be used in the real nuclear power plant.

• 항공우주기술
• /
• 제8권2호
• /
• pp.68-74
• /
• 2009

지구 관측용 광학탑재체를 포함하는 정지궤도 복합위성에는 관측 대상인 지구의 기준위치 정보를 제공하기 위해 적외선 지구센서가 장착된다. 정지궤도상에서 지구센서와 관측 탑재체사이의 지향차는 그 크기가 작더라도 관측 영상의 품질에 심각한 영향을 미칠 가능성이 있다. 따라서 이러한 지향차를 줄이기 위해 궤도상에서 기하학적 안정성을 보장할 수 있는 지지구조물이 적용되었다. 본 논문에서는 통신해양기상위성에서 지구센서 장착을 위해 사용된 지지구조물에 대한 설계 측면의 타당성을 제시한다. 이를 위해 설계 전반의 내용을 기술하고, 설계과정에서 고려된 안정성 측면의 제반 사항과 강성과 강도 등의 요구조건에 대한 부합 여부를 살펴볼 것이다.

• 대한의용생체공학회:의공학회지
• /
• 제28권1호
• /
• pp.29-35
• /
• 2007

This study was designed to investigate the feasibility to utilize the electromyogram (EMG) for estimating the muscle torque. The muscle torque estimation plays an important role in functional electrical stimulation because electrical stimulation causes muscles to fatigue much faster than voluntary contraction, and the stimulation intensity should then be modified to keep the muscle torque within the desired range. We employed the neural network method which was trained using the major EMG parameters and the corresponding knee extensor torque measured and extracted during isometric contractions. The experimental results suggested that (1) our neural network algorithm and protocol was feasible to be adopted in a real-time feedback control of the stimulation intensity, (2) the training data needed to cover the entire range of the measured value, (3) different amplitudes and frequencies made little difference to the estimation quality, and (4) a single input to the neural network led to a better estimation rather than a combination of two or three. Since this study was done under a limited contraction condition, the results need more experiments under many different contraction conditions, such as during walking, for justification.

• 국제학술발표논문집
• /
• The 3th International Conference on Construction Engineering and Project Management
• /
• pp.622-627
• /
• 2009

Business process engineering (BPE) is a top-down management approach for increasing efficiency and productivity through radical and fundamental changes to the business processes of the organization. BPE requires firms to initially develop a model of the existing business processes of the firm to distinguish functional tasks from processes used for coordinating inputs, activities and outputs. The model is used for understanding the business processes in the organization and to simulate the effect of changes to the processes. The model can also be used to justify business processes, which involves assessing whether the business process provides value to the customer in its current configuration. Justification requires a careful examination of the key business processes used by the firm to identify systemic shortcomings in the process and to create a new business process to produce greater efficiency. BPE also considers automating as many business processes as possible to increase operational efficiency and the integration of business process tasks. The construction industry has been slow to adopt BPE because of its project approach in which a major firm contracts with various functional service providers and regards each project as unique. The industry focuses on functional task efficiency rather than business process efficiency. There is no formal methodology or criteria for determining whether a business process is effective for a construction firm in its current configuration. The use of performance measures such as costs, task duration times or other metrics can be useful in evaluating the effectiveness of an existing business process and for modeling the possible outcome of a fundamental and radical change to the process.

• 한국정보처리학회논문지
• /
• 제2권3호
• /
• pp.425-432
• /
• 1995

본 논문에서는 VLSI 회로망의 데스트 패턴 생성에 적합한 범용 자동 데스트 패턴 생성기(UATPG)의 설계 및 구현 기법을 기술하고자 한다. UATPG는 기존 ATPG의 용량을 확장하고 CAD 사용자에게 편리한 설계 환경을 제공하는데 초점을 맞추어 구현되었다. 테스트 패턴 생성시에 함수적 게이트의 신호선 논리값확인 및 고장효과전달을 효과적 으로 수행하기 위하여 경험적인 기법을 고안하여 적용하였다. 또한, 테스트 용이화 설계(design for testability)에 사용되는 기억소자(flip-flop)가 의사 입출력으로 이 용되어 VLSI 회로망의 시험성을 한층 높여 주었다. 그 결과, UATPG는 사용의 용이성과 성능면에서 좋은 성과를 보여주었다.

• 한국영어학회지:영어학
• /
• 제4권2호
• /
• pp.117-149
• /
• 2004

The paper is to argue against the asymmetric CP-V2 analysis of Old English, according to which finite verbs invariably undergo movement into a clause-final T within subordinate clauses and reach the functional head C within main clauses. The asymmetric CP-V2 analysis, first of all, faces difficulty in explaining a wide range of post-verbal elements within subordinate clauses. To resolve the problem, the analysis has to abandon the obligatoriness of V-to-T movement or introduce various types of extraposition whose status is dubious as a legitimate syntactic operation. Obligatory V-to-T movement in Old English lacks conceptual justification as well. Crosslinguistic evidence reveals that morphological richness in verbal inflection cannot entail overt verb movement. Moreover, the operation is always string-vacuous under the asymmetric CP- V2 analysis and has no effect at the interfaces, in violation of the principle of economy. The distribution of Old English finite verbs in main clauses also undermines the asymmetric CP-V2 analysis. Conceptually speaking, a proper syntactic trigger cannot be confirmed to motivate obligatory verb movement to C. The operation not only gets little support from nominative Case marking, the distribution of expletives, or complementizer agreement but also requires the unconvincing stipulation that expletives as well as sentence-initial subjects result from string-vacuous topicalization. Finally, textual evidence testifies that Old English sometimes permits non-V2 ordering patterns, many of which remain unexplained under the asymmetric CP-V2 analysis.

• 대한영상의학회지
• /
• 제83권2호
• /
• pp.265-283
• /
• 2022

흉부영상의 적절한 활용을 위해 한국형 코로나바이러스 감염증(이하 COVID-19) 흉부영상진단 시행 가이드라인을 개발하였다. 8가지 문장형 핵심 질문을 선정하고, 근거기반 임상영상 가이드라인 수용개작 방법론에 의거하여 권고안을 작성하였다. 권고 내용은 다음과 같다. COVID-19 확진자와 접촉한 증상이 없는 사람에 대하여 COVID-19의 진단을 위하여 흉부영상검사(흉부X선검사 또는 CT)를 사용하지 않는 것이 적절하다. COVID-19가 의심되는 증상이 있으나 reverse transcription polymerase chain reaction 검사를 이용할 수 없는 경우 흉부영상검사 사용을 고려할 수 있다. COVID-19가 확인된 환자에게 병원 입원을 결정하기 위하여 임상 평가 및 검사실 검사와 함께 흉부영상검사를 고려할 수 있다. COVID-19 입원환자의 증상 경중 및 위험요인의 유무에 따라 흉부영상검사를 고려할 수 있으며, 치료 방법을 결정하거나 수정하는데 이용할 수 있다. COVID-19 환자에서 객혈 또는 폐색전증이 의심되는 경우 CT 혈관조영술을 시행할 수 있다. 증상이 호전된 COVID-19 환자의 퇴원 결정을 하는데 흉부영상검사를 사용하지 않는 것이 적절하다. COVID-19에서 회복된 환자를 추적검사할 때 폐 기능 장애가 있는 환자에서 치료 가능한 폐질환과 구별하기 위해 흉부영상검사를 고려할 수 있다.