• The Korean Publising Journal, Monthly
• /
• s.352
• /
• pp.30-31
• /
• 2005

• Journal of Korea Fair Competition Federation
• /
• no.111
• /
• pp.6-13
• /
• 2004

중소수급사업자는 원사업자와의 거래관계에 있어 자신의 권리를 충분히 주장할 수 없는 것이 보통이다. 바로 이 점에서 경제적 약자인 수급사업자의 지위를 보완하여 공정한 하도급거래질서를 확립하는 데 기여하는 경제법의 하나로서의 하도급법을 서비스분야에도 적용하여야 하는 필요성을 찾을 수 있다. 서비스산업의 눈부신 발전을 필요조건으로, 서비스분야의 불공정거래행위에 대한 개선요구의 증가를 충분조건으로 하여 용역위탁거래를 하도급법 적용대상에 포함시키는 계기가 되었다고 할 수 있다.

• Journal of the Korean Society for Precision Engineering
• /
• v.13 no.7
• /
• pp.133-139
• /
• 1996

전형적인 상태 관측기에서는, 외란이 시스템 입력에 가해지는 경우 시스템의 상태 추정이 불가능하다. 이러한 상태관측 문제에 대한 한가지 대책법으로서 비례적분(PI) 관측기가 제안되어 스텝외란의 소거에 대한 유효성이 밝혀져 로바스트 제어기 설계에 대한 응용으로서 널리 연구가 행해져 왔다. 그러나, 미지입력에 대한 PE 관측기 설계는 여전히 문제로 남아 있다. 이 논문에서는 미지입력 PI 관측기의 설계법을 제안하고, 이에 대한 응용으로서 완전 LTR을 실현할 수 있는 결과를 보인다. 먼저, 입력의 정보없이 시스템의 상태를 추정할 수 있는 미지입력 PI 관측기의 충분조건을 제안하고, PE 관측기의 설계에 요구되는 필요충분조건을 보인다. 이러한 조건은 완전 LTR의 실현을 위한 직접적인 요구조건임을 보인다. 따라서, 완전 LTR을 달성하면서 지정한 관측기의 극을 지니는 PI 관측기 설계가 가능하다.

• Journal for History of Mathematics
• /
• v.22 no.1
• /
• pp.75-88
• /
• 2009

In this article it is investigated what role analysis play in the reasoning. The author suggests that the mathematical statements should be reformulated so that analysis can be activated in the reasoning.

• 종축개량
• /
• v.11 no.11 s.69
• /
• pp.34-36
• /
• 2006

무한의 경쟁체재에서 낙농가가 안정적인 소득을 지속적으로 확보해 나가기 위해서는 소비자로부터 선택 받을 수 있는 고품질의 안전한 우유.유제품을 생산하는 것이 낙농경영의 필요조건이라면, 고품질의 안전한 우유.유제품 시장이 지속적으로 확대될 수 있도록 소비촉진활동에 참여하는 일은 낙농경영의 충분조건인 것이다.

• The Mathematical Education
• /
• v.13 no.3
• /
• pp.22-32
• /
• 1975

Matroid와 transversal theory에 관한 연구가 활발하게 진행되고 있다. 이 논문은 circuit matroid가 transversal이 되기 위한 필요 충분 조건을 지적하고 이를 증명한 것이다. 곧 어떤 graph의 circuit matroid가 transversal이 되기 위한 필요 충분 조건은 그 graph가 graph $K_4$거나 $C_{k}$ $^{2}$에 homeomorphic인 subgraph를 포함하지 않은 것이다. 증명의 방법으로는 주로 matroid의 cocircuit의 성질을 사용하여 transversal Matroid의 presentation을 적절하게 적용하고 graph의 reduction과 contraction을 이용한다.

• Proceedings of the Safety Management and Science Conference
• /
• 2013.11a
• /
• pp.561-567
• /
• 2013

본 연구는 졸음운전의 지표로 예상되는 심전도의 LF/HF 비율이 효과적으로 졸음운전을 예측하는지를 검증하는 것이었다. 본 연구는 총 31명이 참가하였으며, 가상 운전 시뮬레이션 과제를 활용하여 진행하였다. 수면박탈이 운전 중 LF/HF 비율에 영향을 미치는지를 검증하기 위해 충분한 수면을 취한 조건과 수면이 박탈된 조건으로 실험을 실시하였다. 충분한 수면을 취한 조건에서 참가자는 전날 6시간 이상의 수면을 취한 후 30분동안 진행되는 가상 운전과제를 수행하였다. 수면이 박탈된 조건에서는 실험에 참여하기 전날에 참가자가 5시간 이하의 수면을 취하도록 유도한 후 60분 동안 진행되는 가상 운전 과제에 참여하도록 하였다. 참가자는 두 조건 모두에서 심전도를 측정할 수 있는 장비를 착용한 상태로 가상 운전 과제를 수행하였다. LF/HF 비율과 지각된 졸음운전과의 관계성을 확인하기 위해서 참가자가 가상 운전 과제를 수행하는 동안 10분간격으로 주관적 졸림정도를 측정하였다. 실험 결과 충분한 수면을 취한 조건보다 수면박탈 조건에서 참가자의 LF/HF 비율이 감소하였으며, 동일하게 주관적 졸림정도는 증가하였다. 또한 주관적 졸림정도가 LF/HF비율을 예측하는 것으로 나타났다. 따라서 LF/HF 비율을 통한 졸음 운전 예측은 타당한 것으로 나타났다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2007.06b
• /
• pp.15-20
• /
• 2007

기존의 연구는 DNA 커널을 통한 기계 학습이 DNA 분자들을 통한 in vitro 실험을 통해 가능함을 보였다. 이 때, DNA 커널을 통한 분류 분제는 온도 조절을 통해 양한정(positive definite) 조건을 만족시킬 때 분류 문제를 잘 풀며, 양한정 조건을 만족시키기 위한 조건으로 높은 온도에서 시작하여 온도를 내리며 hybridization시키는 방법을 제안하였다. 이 논문에서는 보다 정량적인 분석을 통해서 이 hybridization 방법이 양한정 조건을 만족시키기에 적합한 방법임을 보이고, 간단한 hybridization 모델을 통해 양한정 조건을 만족시킬 수 있는 hybridization 온도 계획의 충분 조건을 유도한다. 또한 시작 온도와 끝 온도의 경계 조건으로 제시되는 이 충분 조건을 통해 현실적인 온도 조절 계획을 위한 시퀀스의 코딩 방법을 알게 된다.

• The Science & Technology
• /
• v.35 no.3 s.394
• /
• pp.55-58
• /
• 2002

국민의식 개조되야 과기발전 충분조건, 국민과학화운동 정치적 차원 승화해야

• Journal of the Institute of Electronics Engineers of Korea SC
• /
• v.41 no.3
• /
• pp.9-16
• /
• 2004

This paper provides an observer-based Η$\infty$ output feedback controller design method for descriptor systems with time-varying delay by just one LMI(linear matrix inequality) condition. The sufficient condition for the existence of controller and the controller design method are presented by perfect LMI approach which can be solved efficiently by convex optimization. The design procedure involves solving an LMI. Since the obtained condition can be expressed as an LMI form all variables including feedback gain and observer gain can be calculated simultaneously by Schur complement changes of variables, and singular value decomposition. Moreover, The proposed controller design algorithm can be extended to the observer-based robust Η$\infty$ output feedback controller design method for descriptor systems with parameter uncertainty and time delay. An example is given to illustrate the results.