• ICROS
• /
• v.6 no.3
• /
• pp.82-90
• /
• 2000

본 논문에서는 관리제어시스템의 사양으로 주어진 언어가 일반적으로 제어불가능이거나 관측불가능인 상황하에서 관리제어기 설계에 대한 문제를 다룬다. 먼저 사양언어가 제어불가능인 겨우 제어가능성의 성질들을 이용하여 사양언어에 근사한 최고 제어가능 부언의 및 최적 닫힘 제어가능 초언어를 유도해내고 이를 바탕으로 관리제어기를 설계한다 그리고 사양언어가 관측불가능인 경우는 관측가능성의 집합연산에 대한 성질들을 이용하여 사양언어에 가장 근사하면서 관측가능인 초언어 및 관측가능성보다 강한 조건인 표준성을 도입하여 관측가능 부언어 등을 유도하고 이를 토대로 관리제어기를 설계힌다 나아가 사양언어가 제어불가능이면서 관측불가능인 경우의 관리제어가 설계에 대해 결과를 확장한다.

• Journal of the Korean Society for Railway
• /
• v.6 no.1
• /
• pp.24-41
• /
• 2003

1개의 주행로(궤도형)위에 차량이 과좌 또는 현수(懸垂)하여 주행하는 교통기관으로 고무바퀴가 보이지 않는다. 과좌형 모노레일(Straddle type) : 궤도형위에 걸터않아서 주행하는 방식 현수형 모노레일)Suspended type) : 궤도형을 달리는 대차로부터 자체가 매달리는 방식으로 지상구간의 설정이 불가능하다. (지상구간 설정이 불가능하다)(중략)

• Korean Journal of Construction Engineering and Management
• /
• v.6 no.1 s.23
• /
• pp.58-64
• /
• 2005

We should consider climatic factors influencing construction works in order to estimate construction time correctly. This study is to analyze climate elements affecting construction duration and to calculate non-working days far Inchoen territorial region. Through surveying literatures and examining several existing criteria we suggest a Proper criteria for each climate elements which would be used for estimating non-working days. The criteria is made on the raw climate data of Meteorological Administration during the last 30 years(1974-2003) far Incheon region. In case of rainfall, it is estimated as non-working days when daily precipitation is expected more than 10mm, its number of days for Incheon is 29 days. In case of low temperature, the number of non-working days for the concrete works(its criteria be below $4^{\circ}C$ average) and the finishing works(below $0^{\circ}C$ average) is 97 days, 52 days, respectively. In case of high temperature, it is three days when daily highest temperature is expected going over $32^{\circ}C$

• Convergence Security Journal
• /
• v.23 no.5
• /
• pp.143-150
• /
• 2023

Applications on physically unclonable circuits (PUFs) for implementing and utilizing security protocols with hardware is on the rise. PUFs have the capability to perform functions such as authentication, prevention of replication, and secure storage of critical information in integrated circuits and security systems. Through the implementation of physically unclonable circuits, a wide range of security features, including confidentiality, integrity, and availability, can be applied. Therefore, PUFs are promising candidate to build secure integrated circuits and hardware systems. However, in order that PUFs possess security features, PUFs should possess characteristics such as unpredictability, uniqueness, and robustness characteristics. This study provides a detailed explanation and introduction of the methods to characterize the PUF properties. By applying the results, it becomes possible to quantitatively evaluate the characteristics of implemented PUFs and assess their availabilities for security system applications.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2007.06a
• /
• pp.289-292
• /
• 2007

우리가 다른 이들과 만나 대화하는 것은 극히 평범한 일이다. 하지만 대화뿐만이 아니라 의사소통마저도 힘들어하는 이들이 있다. 이들은 언어 장애를 가진 이들이다. 언어 장애에는 태어나면서부터 장애를 가지는 선천적 장애와 사고와 질병으로 인한 후천적 장애가 있다. 그 중 후천적 장애는 언어장애와 더불어 신체적 장애를 가진 이들이 있다. 이들을 본 논문에서는 중증 언어 장애인이라고 분류하였다. 중증 언어 장애인의 장애정도를 크게 글자 표현이 불가능한 상태로부터 4가지 단계로 나뉠 수 있다. 글자 표현이 불가능하지만 개체 선택이 가능한 1단계, 손 혹은 발을 이용하여 가부 결정만 가능한 2단계, 지체를 이용하여 표현이 불가능한 3단계, 그리고 마지막 4단계가 3단계의 표현마저도 불가능하여 의사소통이 전혀 불가능한 상태이다. 사고로 인한 후천적 장애인 경우 위의 4가지 단계중 하나의 단계에서 머물러 있지만, 루게릭병과 같은 병은 위의 4가지 단계를 몇 년에 걸쳐서 진행되기 때문에 일반적인 장비로써는 이 들과의 의사소통이 불가능하다. 본 논문에서는 위의 1,2,3단계의 중증 언어 장애인을 대상으로 그들이 의사소통을 정확하고 신속하게 전달하기 위해서 어떠한 인터페이스를 사용하는 것이 효과적인 방법에 대해 논해보고, 향후 발전될 방향에 대해서 그 방향을 제시하였다.

• Korean Journal of Construction Engineering and Management
• /
• v.7 no.4 s.32
• /
• pp.137-145
• /
• 2006

Calculating non-working days is very important element for the accurate estimation of construction time. And non-working days are largely affected by weather factors such as rainfall, wind velocity, snowfall and temperature. In the case of concrete works, there are lots of referable information for the calculation of non-working days due to the weather factors. However, for the structural steel works, there are very limited information only. Through literature survey and interviews with a few engineers, this paper established the weather factors that affect steel structural works and the impact of those factors. Based on the factors and the expected impact of the factors together with the weather data during the last 15 years in Seoul region gathered from Korea Meteorological Administration, this paper suggests the monthly non-working day of structural steel work due to weather factors. This information can be used for the early estimation of construction time.

• Feed Journal
• /
• v.3 no.6 s.22
• /
• pp.118-123
• /
• 2005

• 건강소식
• /
• v.15 no.3 s.148
• /
• pp.32-34
• /
• 1991

환경을 오염으로부터 방지하는 일은 ‘나 혼자만’해서는 결코 온전히 보전될 수 없다. 그렇다고 ‘나부터 실천’하지 않으면 환경보전은 영원히 불가능하다.

• Journal of Korean Philosophical Society
• /
• no.93
• /
• pp.121-148
• /
• 2011

The uncodifiability thesis in anti-theory argument is the typical claim for the impossibility of ethical theorizing. Based on this thesis reflecting particularism strongly, contemporary anti-theorists in ethics argue that individual decisions in particular situations cannot be codified into moral principles. The uncodifiability thesis needs to be examined by the following two issues: a theoretical issue of whether the object of codification is moral practices or not; and a practical one of whether moral principles present the decision procedure of moral reasoning or not. The characteristics of practical reasoning show that the object of codification in ethics, as moral theorists insist, is not moral practices but morality itself. Also moral theorists, contrary to the criticisms of anti-theorists, insist that moral reasoning is comprised of not only moral principles but also moral judgments with contextual knowledge and moral wisdom. In brief, moral theorists make a persuasive response to the uncodifiability thesis when they do neither intend to codify moral practices into moral principles nor to deduce the moral reasoning from moral principles. For them moral judgments should be examined by the moral principles which present universal and idealistic morality.

• Proceedings of the Korean Information Science Society Conference
• /
• 1998.10a
• /
• pp.311-313
• /
• 1998

이동에이전트는 독립된 객체로서 자율성을 가지고 컴퓨터를 이동하며 부연된 임무를 수행하는 프로그램이다. 이동에이전트는 코드와 데이터로 구성된 프로그램이므로 쉽게 복제될 수 있다. 이렇게 복제된 이동에이전트를 이동에이전트 클론이라 한다. 복제된 클론은 원본과 구별이 불가능하다. 이것은 에이전트의 인증을 불가능하게 만들고 예상되지 않은 에이전트의 중복 수행을 야기하며 에이전트의 내부정보 유출 공격을 위한 수단으로 사용된다. 본 논문에서는 이동에이전트 클론에 의한 이러한 문제점을 고찰하고 온라인 상에서 클론의 존재를 탐지하고 실행을 방지하며 클론을 생성한 서버를 확인하는 프로토콜을 설계한다.