• 제목/요약/키워드: proof procedure

검색결과 60건 처리시간 0.027초

소형 장기체공형 무인기 날개의 구조 개량 설계

  • 이정진
    • 항공우주기술
    • /
    • 제1권2호
    • /
    • pp.179-185
    • /
    • 2002
  • 본 연구는 장기체공성 향상을 위한 개량형 무인기의 구조설계에 관한 방법 및 절차를 소개한 것이다. 상온 경화용 복합재료를 날개 전체에 적용하였다. 운반 및 보관의 용이성을 고려하여 날개 구조물을 3개로 분리하였고, 구조물의 경량화 및 강성의 증가를 위하여 샌드위치 구조물을 스킨 전영역에 적용하였고, 제한하중 4g에 해당되는 하중조건에서 구조강도시험을 수행하여 구조설계와 제작성을 점검하였다.

  • PDF

THE EXTENSION OF SOLUTIONS FOR THE CAUCHY PROBLEM IN THE COMPLEX DOMAIN II

  • Lee, Eun-Gu;Kim, Dohan
    • 대한수학회보
    • /
    • 제30권1호
    • /
    • pp.29-34
    • /
    • 1993
  • J. Leray [7] proposed a sufficient condition ofr the solvability of the Cauchy problem on the initial hyperplane x$_{1}$=0 with Cauchy data which are holomorphic with respect to the variables parallel to some analytic subvariety S of the initial hyperplane. Limiting the problem to the case of operators with constant coefficients, A. Kaneko [2] proposed a new sharper sufficient condition. Later we generalized this condition and showed that it is necessary and sufficient for the solvability of the Cauchy problem for the hyperfunction Cauchy data and the distribution Cauchy data which contain variables parallel to S as holomorphic parameters in [5, 6]. In this paper, we extend the results in [6] to the case of operators with variable coefficients and show that it is sufficient for the solvability of the Cauchy problem for the hyperfunction Cauchy data. Our main theorem can be considered as an example of a deep theorem on micro-hyperbolic systems by Kashiwara-Schapira [4] and we give a direct proof based on an elementary sweeping out procedure developed in Kaneko [3].

  • PDF

컴포넌트 검색을 위한 새로운 가중치 신경 접속 행렬 (A New Weighted Synaptic Connectvity Matrik for Component Retrieval)

  • 금영욱
    • 한국컴퓨터정보학회논문지
    • /
    • 제7권1호
    • /
    • pp.1-7
    • /
    • 2002
  • 최근에 컴포넌트에 기반한 소프트웨어 개발이 대학과 산업체의 중요 연구 대상이 되었다. 컴포넌트는 컴포넌트 저장소에 저장되는데 컴포넌트의 효율적인 검색은 컴포넌트에 기반한 소프트웨어 개발에 매우 중요하다. 이 논문에서 컴포넌트의 효율적인 검색을 위하여 새로운 가중치 함수를 사용한 신경 접속 행렬을 제안한다. 또한 부정 검색을 위한 신경 접속 행렬을 구하는 새로운 알고리즘을 제안하고 이를 증명한다. 마지막으로 논리 연산자를 사용한 질의에 대하여 효율적으로 행렬을 연산하는 과정을 제안한다.

  • PDF

임플란트 시술상 의료과오의 소송상 쟁점에 관하여 -계약의 법적성격 및 입증책임 완화를 중심으로- (Regarding Issues on the Lawsuit of Medical Malpractice in the Implant Procedure -Focusing on the contract's legal character and the mitigation of burden of proof-)

  • 한태일
    • 의료법학
    • /
    • 제19권1호
    • /
    • pp.143-163
    • /
    • 2018
  • 임플란트 시술은 소위 상업화된 의료에 속하고 상대적으로 시술자체가 단순 명료하며 그 시술이 성공가능성은 거의 100%에 달한다. 또한 환자에게 건강을 위한 불가피한 수단이기 보다는 선택적 수단의 의미를 지니는바 자기결정권의 보호를 위한 설명의무의 중요성이 특히 강조되기도 한다. 이러한 특성에 비추어 임플란트 시술 계약에 대하여는 도급의 성격이 강조되어 경우에 따라서는 식립 자체의 실패만으로도 의사의 과실이 존재한다고 할 수 있을 것이다. 또한 임플란트 시술은 상업화된 의료로서 단순 명료한 의료행위인바 과실여부는 직업적 평균인이 아닌 일반인의 상식을 기준으로 판단되어야 할 것이므로, 임플란트 시술 후 악결과가 발생한 환자는 예를 들어, 시술 중 과도한 통증과 출혈이 발생하였음에도 의사가 별 다른 조치를 취하지 않았다는 등을 입증하면 충분하고 그 전문가의 입장에서 의료행위가 적절치 못하였다는 점까지 밝혀야 하는 것은 아니다. 한편, 임플란트 의료과오 판결들을 살펴보건대 법원은 명시적으로 임플란트 시술계약을 도급이라고 판단하고 있지는 않더라도, 식립 자체의 성공여부로 의사의 과실을 판단하고 있어 일의 완성을 목적으로 하는 도급계약과 유사한 특성을 어느 정도 인정하는 듯 보인다. 또한 제시하고 있는 의료과실의 구체적 내용들에 비추어 의료과실의 판단도 일반인의 상식에 기초한 것으로 보인다.

검체검사 관련 법제도의 문제점 및 발전방향 (Problems and Developing Directions of the Legal System Related to Laboratory medical testing)

  • 황유성;정정일
    • 의료법학
    • /
    • 제9권2호
    • /
    • pp.209-229
    • /
    • 2008
  • When we are totalizing the lawsrelated to the medical, as the Laboratory medical testing is a kind of the medical act, it is the regulation that the medical technologist can analyze the specimen using in vitro diagnostic devices and diagnosticdrugs under the guidance of doctor or dentist from a corresponding medical institution and can report through verification and interpretation. However, in real medical fields, 'the guidance of doctor' is seriously in-sufficient or even the person who is not the medical technologist is executing. Furthermore the cases that produce inspection results with devices or reagents which are not validated nor approved have been frequently occurred. The result of Laboratory medical testing derived from this procedure can become the important information for the disease control of a country, and also can be decisive to the definite diagnosis and the prognostic monitoring about the patient disease. In spite of its significant medical act to be applicable to an unique proof with the related expert appraisal result in the medical mal-practice lawsuit, our reality in which the quality control is not properly working due by the costs and the labor shortage related to the Laboratory medical testing is quietly in bad condition. Even from now, the government should recognize the significance of the Laboratory medical testing and must achieve more strict administrative management as well as the law maintenance.

  • PDF

국제 전자결제시스템에서 금융기관의 책임 및 정책적 시사점 -한국과 미국의 전자금융제도 비교- (A Comparative Study on bank's responsibilities in the Electronic Payment System -comparison between Korea and U.S.A-)

  • 이병렬
    • 통상정보연구
    • /
    • 제12권1호
    • /
    • pp.35-54
    • /
    • 2010
  • This article explored the bank's responsibilities in electronic payment system between Korea and U.S.A. In order to complete my research object, I used Article 4A of the U.C.C. and EFTA of 1978 and by Electronic Financial Transaction Act of Korea as a analytic instruments. I also adapted America's various regulations to regulate concerned parties(banks). The system of this article is going to display as fellows; First, I presented recent trend and legal stabilities of electronic payment in this article. Second, I focuses on the allocation of risk of loss caused by ambiguous term in payment orders that do not express the subjective intention of the senders. I also did analyze the solution procession of error occurring in course of send of payment order. Third, In any action which involves a customers's liability for an unauthorized electronic fund transfer, the burden of proof is upon the financial institution to show that the electronic fund transfer was authorized. Forth, Customers have to report the error and unauthorized electronic fund transfer after awaring of it. Then bank will be liable for such a unauthorized electronic fund transfer. But If customer's failure to report, the bank has exemptions. Lastly, In order to prevent or detect the unauthorized electronic fund transfer, bank will agree with custom to establish a commercially reasonable security procedure, while bank has duties to notify in order to decrease the loss resulted from unauthorized payment order in korea law.

  • PDF

수분 밀폐형 컴퓨터시스템(MPC) 개발 - MPC의 성능평가 - (Development of the Moisture Protected Computer - Efficiency Test of the MPC -)

  • 김진현;김태욱;성광기
    • 한국산업융합학회 논문집
    • /
    • 제10권2호
    • /
    • pp.115-122
    • /
    • 2007
  • The MPC(Moisture Protected Computer) system is completely unique. It was recently invented in Korea and it is a technological break-through in the field of computer systems. It will be instrumental in the development of a complete moisture air-tight capability and will work well in field environments. The MPC includes the following: 1) An enclosed design. 2) Moisture proof computer enclosure joints. 3) System dust protection & an impact buffing system. 4) A normal temperature maintenance system when the temperature inside the computer is low. 5) The ability to generate heat and a radiate system inside the computer 6) An automatic power input sensing controller device. 7) A safety device in case of mis-operation. 8) A proper admission procedure for various tests. Because of the above, and as a result of temperature property experiments, there aren't any operational problems. The result of this treatise could provide very important data for verification of cases involving: using strong materials to protect against explosions, searching for ways to make the size and weight small, and for making repairs easier. As a result, it could achieve price and function competitiveness in advanced countries such as the USA and in Europe.

  • PDF

Closed Queueing Networks and Zeros of Successive Derivatives

  • Namn, Su-Hyeon
    • 한국경영과학회지
    • /
    • 제22권1호
    • /
    • pp.101-121
    • /
    • 1997
  • Consider a Jackson type closed queueing network in which each queue has a single exponential server. Assume that N customers are moving among .kappa. queues. We propose a candidata procedure which yields a lower bound of the network throughput which is sharper than those which are currently available : Let (.rho.$_{1}$, ... .rho.$_{\kappa}$) be the loading vector, let x be a real number with 0 .leq. x .leq. N, and let y(x) denote that y is a function of x and be the unique positive solution of the equation. .sum.$_{i = 1}$$^{\kappa}$y(x) .rho.$_{i}$ (N - y(x) x $p_{i}$ ) = 1 Whitt [17] has shown that y(N) is a lower bound for the throughput. In this paper, we present evidence that y(N -1) is also a lower bound. In dosing so, we are led to formulate a rather general conjecture on 'quot;Migrating Critical Points'quot; (MCP). The .MCP. conjecture asserts that zeros of successive derivatives of certain rational functions migrate at an accelerating rate. We provide a proof of MCP in the polynomial case and some other special cases, including that in which the rational function has exactly two real poles and fewer than three real zeros.tion has exactly two real poles and fewer than three real zeros.

  • PDF

대형 디지털TV Display 모듈의 내충격 설계를 위한 손상평가 연구 (A Shock Damage Evaluation Study of Large Digital TV Display Modules)

  • 문성인;최재붕;김영진;서형원;이정권;구자춘
    • 한국소음진동공학회논문집
    • /
    • 제14권10호
    • /
    • pp.945-954
    • /
    • 2004
  • Recently, specifications of flat display module is going to be higher definition, brightness and more wide viewing angle. On the other hand, physical thickness of those modules is forced to be slimmer and lighter. The flat display modules such as plasma or TFT-LCD employ thin crystallized panels that are normally weak to high level transient mechanical energy inputs. As a result, anti-shock performance is one of the most important design specifications of TFT-LCD modules. TFT-LCD module manufacturers and their customers like PC or TV makers perform a series of strict impact/drop test for the modules. However most of the large display module designs are generated based on engineer's own trial-error experiences. Those designs may result in disqualification from the drop/impact test during final product evaluation. A rigorous study on the impact failure of the displays is of course necessitated in order to avoid the problems. In this article, a systematic design evaluation is presented with combinations of FEM modeling and testing to support the optimal shock proof display design procedure.

이동형 정보통신 기기용 화면표시 장치의 내충격 평가 방법 연구 (Study on The Anti-Shock Performance Evaluation of TFT-LCD module for Mobile IT Devices)

  • 김병선;김정우;이덕진;최재붕;김영진;백승현;주영비;구자춘
    • 한국정밀공학회지
    • /
    • 제23권7호
    • /
    • pp.130-137
    • /
    • 2006
  • TFT-LCD(Thin Film Transistor Liquid Crystal Display) module is representative commercial product of FPD(Flat Panel Display). Thickness of TFT-LCD module is very thin. It is adopted for major display unit for IT devices such as Cellular Phone, Camcorder, Digital camera and etc. Due to the harsh user environment of mobile IT devices, it requires complicated structure and tight assembly. And user requirements for the mechanical functionalities of TFT-LCD module become more strict. However, TFT-LCD module is normally weak to high level transient mechanical shock. Since it uses thin crystallized panel. Therefore, anti-shock performance is classified as one of the most important design specifications. Traditionally, the product reliability against mechanical shock is confirmed by empirical method in the design-prototype-drop/impact test-redesign paradigm. The method is time-consuming and expensive process. It lacks scientific insight and quantitative evaluation. In this article, a systematic design evaluation of TFT-LCD module for mobile IT devices is presented with combinations of FEA and testing to support the optimal shock proof display design procedure.