• 제목/요약/키워드: operator space

검색결과 972건 처리시간 0.021초

One-sided Readings of Numbers in Modal Sentences

  • Kwak, Eun-Joo
    • 영어영문학
    • /
    • 제57권3호
    • /
    • pp.429-455
    • /
    • 2011
  • Numbers have been regarded as one-sided, and their exactly readings have been understood as the results of scalar implicature. This Neo-Gricean view on numbers becomes less persuasive due to theoretical and experimental counterarguments. In spite of growing evidence for theirtwo-sided readings, numbers are still one-sided in modal sentences. Moreover, the occurrence of a negative operator may worsen the acceptability of modal sentences with numbers. In the framework of Vector Space Semantics, I have derived two-sided readings of numbers with the simple notions of monotonicity of modals and scopal relations between modals and numbers. I have also argued that the awkwardness incurred by negation is the result of a split set of vectors for a number. The incoherent set of vectors is understood as the lack of an ideal behavior, which is against the deontic modality of the sentence.

A TECHNIQUE WITH DIMINISHING AND NON-SUMMABLE STEP-SIZE FOR MONOTONE INCLUSION PROBLEMS IN BANACH SPACES

  • Abubakar Adamu;Dilber Uzun Ozsahin;Abdulkarim Hassan Ibrahim;Pongsakorn Sunthrayuth
    • Nonlinear Functional Analysis and Applications
    • /
    • 제28권4호
    • /
    • pp.1051-1067
    • /
    • 2023
  • In this paper, an algorithm for approximating zeros of sum of three monotone operators is introduced and its convergence properties are studied in the setting of 2-uniformly convex and uniformly smooth Banach spaces. Unlike the existing algorithms whose step-sizes usually depend on the knowledge of the operator norm or Lipschitz constant, a nice feature of the proposed algorithm is the fact that it requires only a diminishing and non-summable step-size to obtain strong convergence of the iterates to a solution of the problem. Finally, the proposed algorithm is implemented in the setting of a classical Banach space to support the theory established.

공간 적응적 영상복원을 이용한 블록화 현상 제거 기법 (The Technique of Blocking Artifacts Reduction Method Based on Spatially Adaptive Image Restoration)

  • 김태근;우헌배;백준기
    • 전자공학회논문지S
    • /
    • 제35S권12호
    • /
    • pp.46-54
    • /
    • 1998
  • 본 논문에서는 고속 적응적 영상 복원 필터를 소개한다. 이 필터는 압축된 영상의 복원 과정에서 발생하는 블록화 현상을 효율적으로 제거하기 위해 블록 분류라는 방법을 사용한다. 각 블록의 에지 방향은 이산 코사인 변환(DCT) 계수를 사용하여 분류되고 각 방향에 대응하는 제한적 최소 제곱(Constrained Least Square:CLS) 필터는 블록의 본원에 사용된다. 이 복원 필터는, 일련의 코딩 과정에서 양자화 연산이 비선형이고 다대일 매핑 연산자라는 관찰에 근거한다. 다음으로, 비선형과 공간 가변적 열화 연산자를 제거하기 위해 제한적 최적화 기법을 소개한다. 그리고 본 논문에서 제안된 복원 필터는 실시간 처리를 위하여 생략형 FIR 필터의 형태로 구현된다. 이것은 HDTV, DVD 그리고 화상회의 시스템에서 복구 영상의 후처리 과정에 적합하다.

  • PDF

휴대형 고순도 게르마늄검출기에 대한 스펙트럼-조사선량율 변환연산자의 결정 (Determination of Spectrum-Exposure Rate Conversion Factor for a Portable High Purity Germanium Detector)

  • 곽상수;박종묵;노성기
    • Journal of Radiation Protection and Research
    • /
    • 제13권2호
    • /
    • pp.29-40
    • /
    • 1988
  • 환경방사선 측정에 이용되는 휴대형 고순도 게르마늄검출기에 대한 스펙트럼-조사선량율 변환연산자를 원판형선원의 공간분포함수와 검출기의 평면에 대한 측정효율식을 적용하여 이론적으로 유도했다. 이와 같이 구한 변환연산자와 휴대형 고순도 게르마늄검출기를 이용해 한국에너지연구소내에서 방사선 조사선량율을 측정했다. 측정한 조사선량율을 이미 알려진 3'${\phi}\;{\times}$3'NaI(Tl) 섬광검출기에 대한 변환연산자를 적용해 NaI(Tl)검출기로 측정한 조사선량율과 가압형 이온전리함으로 측정한 값과 비교했다. 고순도 게르마늄 검출기로 얻은 결과는 NaI(Tl) 검출기와 가압형 이온전리함으로 얻은 값보다 약 17-29% 낮음을 보여주었다. 이 차이는 다른 문헌에서 보인 차이와 거의 같았다. 본 논문에서 제시한 스펙트럼-조사선량율 변환연산자는 탁상용 계산기로 쉽게 계산할 수 있으며 환경방사선의 측정에 사용되는 여러 검출기에 대해서도 쉽게 적용할 수 있는 장점이 있고 지각에서 방출되는 각 핵종별로 조사선량율을 구할 수 있는 장점이 있다.

  • PDF

Attributes for Developing a Database for Construction Information Interface

  • Moon, Sungwoo;Cho, Kyeongsu
    • 국제학술발표논문집
    • /
    • The 6th International Conference on Construction Engineering and Project Management
    • /
    • pp.673-673
    • /
    • 2015
  • Earthwork is an operation that provides space for structures, and it takes up a large portion of the construction costs in a construction project. In large-scale earthwork, numerous types of construction equipment are used in the operation. The types of equipment should be selected based on the field conditions and the construction methods. These construction vehicles are constantly changing positions during the earthwork operation. Therefore, the equipment operators require effective communication to ensure the efficiency of the earthwork operation. All equipment operators should exchange information with the other equipment operators. Information should be exchanged continuously to support decision making and increase productivity during the earthwork operation at the construction site. This paper investigates the attributes required for an information interface between construction vehicles during an earthwork operation. This paper 1) discusses the importance of an information interface for construction vehicles in order to increase productivity during an earthwork operation, 2) analyses the types of attributes that need to be communicated between construction vehicles, and 3) provides a database that has been built for attribute control. The database built for the information interface between construction vehicles will enhance communication between vehicle operators. Table I shows the typical attributes that should be shared between the excavator operator and the dump truck operator. This information needs to be shared among the operators, as it helps them to plan the earthwork operation in a more efficient manner. A database has been developed to store this information in an entity relation diagram. A user-interface display environment is also developed to provide this information to the operators in the construction vehicles. The proposed interface can help exchange information effectively and facilitate a common understanding during the earthwork operation. For example, the vehicle operators will be aware of the planned volume, excavated volume, transportation time, and transportation numbers. As a part of this study, mobile devices, such as mobile phones and google glasses, will be used as hands-on communication tools.

  • PDF

시카고협약체계에서의 EU의 항공법규체계 연구 - TCO 규정을 중심으로 - (A Study on Aviation Safety and Third Country Operator of EU Regulation in light of the Convention on international Civil Aviation)

  • 이구희
    • 항공우주정책ㆍ법학회지
    • /
    • 제29권1호
    • /
    • pp.67-95
    • /
    • 2014
  • 시카고협약 일부 체약국은 자국 항공사에게 AOC(Air Operator Certificate)를 승인하여 발행하는 것 이외에 외국 항공사에게도 FAOC(Foreign AOC)를 발행하고 있으며 다양한 항공안전평가도 실시하고 있다. 외국 항공사에게 FAOC 승인 발행 및 항공안전 평가 실시는 점차 확대되고 있는 추세로 전 세계적으로 항공안전증진 및 항공기 사고율 감소에 기여한 공로가 크다고 볼 수 있으나, 항공사 입장에서는 추가적인 허가제도 및 운항제한으로 인하여 항공기 운항 상 불편이 초래되고 있다. 유럽항공안전청(EASA)은 European public law 인 Basic Regulation에 의해 2003년에 설립되어 운영되고 있는 유럽의 단일 항공안전전문기관이다. EASA의 주요 임무는 민간항공분야의 안전기준 및 환경보호기준을 최상의 기준으로 증진하는 것이며, 감항, 승무원, 항공기 운항, 공항 및 ATM 등에 대한 입법업무 및 표준설정 업무를 관장하고 있으며 업무 범위가 점점 확대되고 있다. 유럽에서 TCO(Third country operator) Implementing Rule이 발효(2014.5.26.)됨에 따라, EASA는 32개 EASA 회원국으로 운항하고자 하는 모든 항공운송사업용 TCO에 대하여 안전에 대한 승인을 행할 권한을 가진다. 이에 따라, TCO에 대한 평가 및 승인을 할 때, 안전관련 부문에 대한 평가 및 승인은 EASA가 담당하고 운영허가(Operating permit) 부문은 종전과 같이 각 국가의 항공당국이 수행하게 된다. EU/EASA를 운항하는 TCO가 불편 없이 항공운송사업을 행할 수 있도록 신규제도 도입을 위한 전환기간으로 30개월이 적용 된다. 현재 EASA 회원국을 운항하는 항공사는 TCO 규정 발효 후 6개월 이내인 2014.11.26.까지 EASA에 TCO 허가 신청서를 제출해야 하며, EASA는 TCO 규정 발효 후 30개월 이내에 평가를 완료해야 한다. 유효한 TCO 허가는 운영허가 전에 취득해야 할 사전 요건으로, TCO 허가를 받지 못한 TCO는 EASA 회원국이 발행하는 운영허가를 발급받을 수 없다. TCO 허가 필요 여부는 항공운송사업에 해당하는지에 따라 결정되며 항공운송사업을 행할 경우 TCO 허가를 받아야 한다. 부정기편을 운항하는 항공사의 경우 일정기준을 충족한다면 TCO 허가 없이 운항이 가능하기는 하나 잠재적인 미래 수요가 예상되는 경우 원활한 서비스 제공을 위해 사전에 TCO 허가를 취득하는 것이 바람직하다고 본다. 본 논문에서는 EU의 TCO 규정 도입과 관련하여, EASA의 기능 및 TCO 규정을 포함한 EU의 항공법규체계에 대한 법적 근거와 내용을 고찰하고, 우리나라가 착안하고 개선해야 할 몇 가지 제언과 개선방안을 제시하였다. 본 논문이 1) 항공사가 TCO 허가를 준비하는데 도움이 되고, 2) 정부, 학계 및 항공사 등 유관부문에서 항공안전증진을 위한 국제 동향을 이해하는데 도움이 되고, 3) 국내 항공법규 개선 및 정부조직의 기능을 개선하는데 도움을 주고, 4)아울러, 국제표준 준수 및 항공안전증진에 기여하길 기대한다.

항공기운항자의 제3자 책임에 관한 면책사유로서의 불가항력 조항에 관한 고찰 - 독일 항공법상의 해석을 중심으로 - (A Study of the Force Majeure as Immunity by 3rd Party Liability of the Aircraft-Operator -With respect to the German Aviation Act-)

  • 김성미
    • 항공우주정책ㆍ법학회지
    • /
    • 제31권1호
    • /
    • pp.37-62
    • /
    • 2016
  • 상법 제931조 4호에 불가항력에 관한 조항은 두가지 문제점을 내포하고 있다. 첫째, 그 적용 범위에 있어 명확하지 않으며, 둘째, 동조 1호의 열거된 면책사유와 불가항력은 중첩적 가능성이 제기될 수 있다. 불가항력이란 자연재해 및 제3자로 인한 외부적 영향에 의한 경우를 뜻한다. 후자의 해석으로 인한, 제3자의 외부적 영향으로 발생한 사건이라는 해석은 굉장히 광범위하고 포괄적인 의미인데, 이는 집행자의 해석에 따라 각각에 적용되기에 그 기준의 명확성에 대해 의심해 볼 여지가 있다. 더욱이 항공기사고로 인한 (지상) 제3자의 손해는 그 발생빈도가 적고, 또한 이는 신설조항으로 그 분석과 적용에 대한 연구는 필요하다. 하여 외부적 행위로 인하여 (지상) 제3자에게 (비계약적) 손해가 발생하였다면, 그 손해의 범위의 기준을 마련하는 것이 법률적용의 명확성에 있어 바람직하지 않을까 사료된다. 불가항력으로 인한 항공기운항자의 면책은 항공기운항자의 산업보호라는 입장에서 필요한 조항이 될 수도 있다. 반대로 이는 언제나 피해자의 보호법익과 상충된다. 하여, 법률적 보호에 있어 가장 우선시 고려해야 할 사항은 누구의 보호법익이 우선적으로 고려되어야 할 것인가 이므로, 기업보호라는 측면도 결코 간과할 수 없는 부분이지만, 예상치 못한 피해를 받은 항공기사고로 인한 (지상) 제3자의 보호는 기업보호에 앞서 담보되어야 할 보호법익이다. 다음으로 중첩적 가능성이란, 상법 제931조의 1호와 4호이다. 1호에 정치, 경제적 이유로 발생된 사건에 대한 면책이라는 규정을 두고 있는데, 이는 4호의 불가항력에 대한 해석과 맞물릴 수 있다. 위에서 설명한대로 불가항력의 해석상, 제3자의 외부적 영향의 원인으로 경치 경제적 이유로 발생되어지는 일련의 사건을 포함한다고 볼 수 있으므로, 이에 대한 중복적 규정이라는 의문이 생긴다. 결론적으로 향후에 발생하게 될 규정의 구체화와 양 당사자 간의 균형있는 보호를 위하여 이에 관한 고려가 필요하다고 사료된다.

항공연계 복합운송의 현황과 손해배상책임 - 대법원 2014.11.27. 선고 2012다14562 판결을 중심으로 - (A study on air related multimodal transport and operator's legal liabilities)

  • 이창재
    • 항공우주정책ㆍ법학회지
    • /
    • 제31권1호
    • /
    • pp.3-36
    • /
    • 2016
  • 사안의 화물은 중국 칭다오를 출발하여 한국으로 수입된 귀금속으로, 사실관계에 따르면 인천공항까지 항공운송된 이후에 공항에서 서울 용산에 소재한 수하인의 주소지까지 육상운송되던 도중에 화물의 일부가 도난당하는 사고가 발생하였다. EXW조건으로 운송된 본건 화물에 대해 항공화물특송업을 영위하는 피고 운송인은 수출지 칭다오에서 수입자와 항공화물운송계약을 체결하였고 그에 관한 증빙으로 항공화물운송장이 발행되었다. 화물분실에 관한 손해배상책임에 관하여, 피고 운송인은 피고의 항공운송약관 및 민법과 상법에 우선하여 몬트리올협약이 적용되어야 함을 주장하면서 그에 따라 자신의 손해배상책임은 협약에 규정된 바와 같이 일정 한도로 제한되어야 한다고 주장하였다. 본 사안의 원고는 수입업자에게 보험금을 지급하고서 수입업자의 손해배상청구권을 대위행사하는 보험자였는데, 원고는 본 사건의 손해가 육상운송구간에서 발생하였으며 몬트리올 협약 제18조 제4항에 따라 항공운송 이외 구간에서 발생한 손해에 대해서는 협약이 적용될 수 없다고 주장하였다. 동 규정에 따르면 항공운송의 기간에는 공항 외부에서 행한 육상, 해상 또는 내륙수로운송은 포함되지 아니하는 것으로 명시되어 있기 때문이다. 또한 그러한 운송이 항공운송계약을 이행함에 있어서, 화물의 적재, 인도 또는 환적을 목적으로 하여 행하여졌을 때에는 반증이 없는 한 어떠한 손해도 항공운송 중에 발생한 사고의 결과라고 추정된다는 규정도 있다. 이에 따라 원고 보험자는 원칙적으로 항공운송 규범은 비(非)항공운송 구간에서 발생한 손해에 대해서는 적용되어서는 아니 되고, 더욱이 본 건과 같이 육상운송 구간에서 손해가 발생한 것으로 추정되고 그에 관한 반대의 입증이 존재하지 않는 경우에는 협약상 항공운송 중에 발생한 손해에 관한 추정규정도 적용되지 않으므로 오로지 육상운송에 관한 규범에 따라 피고 운송인이 손해배상책임을 부담하여야 한다고 주장하였다. 우리 상법상 육상운송에 관한 규정은 어떠한 책임제한원칙도 두지 않고 있으므로 만약 상법이 적용되고 몬트리올 협약과 같은 항공운송규범이 적용되지 않는다면 피고 운송인의 손해배상책임은 실손해배상을 기준으로 산정되어야만 하였다. 사안의 제1심과 원심은 원고 보험자의 주장을 받아들여 항공운송 규범의 적용을 불허하면서 역시 그에 따른 책임제한규정도 적용될 수 없다고 판단하였다. 이에 반해 대법원은 사안에서 체결된 운송계약의 내용으로 항공화물운송장의 이면약관의 적용을 긍정하여 피고 운송인이 책임제한을 원용할 수 있다고 판단하였다. 본 논문은 위와 같은 사실관계를 바탕으로 법원의 판단내용을 재검토하는 것을 주요 내용으로 한다. 특히 복합운송인에 의해 복합운송증권이 발행되는 '단순한 복합운송계약'과 항공운송의 이행과정에서 항공화물의 적재, 인도, 환적을 목적으로 이종의 운송수단이 사용되는 '확장된 항공운송계약'의 구별 필요성에 관해서도 살펴보았다. 본 연구는 기존에 해상운송 중심적이던 복합운송에 관한 연구와 비교하여 항공연계 복합운송에 관한 논의를 전개하였다는 점에서 의의가 있다고 하겠다.

객체인식과 분석을 위한 3D 체인코드의 적용 (Application of 3D Chain Code for Object Recognition and Analysis)

  • 박소영;이동천
    • 한국측량학회지
    • /
    • 제29권5호
    • /
    • pp.459-469
    • /
    • 2011
  • 객체의 형상을 결정할 수 있는 요소는 크기, 경사도와 경사방향, 곡률, 기복변화, 요소간의 특성관계, 선 또는 면이 이루는 각, 특징점의 분포형태 등 매우 다양하다. 객체가 존재하는 공간은 3차원이지만 대부분의 경우 2차원 공간상에서 객체를 표현하고 이를 기반으로 객체인식을 수행하고 있다. 본 연구에서는 3차원 공간에서 객체의 형태를 판단하기 위한 방법을 제안하기 위하여 기존의 체인코드를 3차원으로 확장시켜 큐브형태의 연산자의 적용을 수행하였다. 일련의 코드로 생성되는 3D 체인코드를 분석하여 객체를 정형화하여 하향식 방법에 의한 객체 모델링의 기반이 될 수 있음을 보여 주었다. 또한 점 데이터 분할에 적용할 수 있으며 이는 라이다 데이터에 의한 모델링에 사용될 수 있다.

대학도서관 하브루타 기반 서비스를 위한 인식조사 연구 (An Study on Perceptions of the Havruta-based Services for University Libraries)

  • 김성훈;조형래;정지인
    • 정보관리학회지
    • /
    • 제36권3호
    • /
    • pp.175-201
    • /
    • 2019
  • 4차 산업혁명시대에 있어 학습자는 의사소통, 논리적, 창의적 사고 등의 영역에서의 발전이 요구된다. 이에 대학도서관은 이용자들이 새로운 사회적 상황에 적합한 인재로 성장할 수 있도록 새로운 서비스들을 개발할 필요가 있다. 하브루타는 이러한 필요를 채울 수 있는 교육 접근법으로서 대학도서관이 적용가능한 방안 중 하나이다. 이에 본 연구는 하브루타의 개념 조사, 국내외 대학도서관의 하브루타 기반 서비스 사례 조사, 선행 국내 대학도서관 하브루타 기반 서비스에 대한 인터뷰를 통해 대학도서관에 적용할 수 있는 하브루타 서비스를 제안하여 하브루타에 대한 인식, 하브루타 서비스의 공간 및 콘텐츠, 하브루타 서비스의 제공 및 이용 의사에 대해 운영자와 이용자를 대상으로 설문조사를 진행하였다. 설문조사 분석 결과, 하브루타 서비스의 하브루타 주제 제공, 그룹 조직, 교재 대여, 공간 예약 간소화, 자료 공유, 동기부여 체계 영역에서 시사점을 도출하였다.