• Title/Summary/Keyword: operator space

Search Result 972, Processing Time 0.024 seconds

One-sided Readings of Numbers in Modal Sentences

  • Kwak, Eun-Joo
    • Journal of English Language & Literature
    • /
    • v.57 no.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
    • /
    • v.28 no.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 (공간 적응적 영상복원을 이용한 블록화 현상 제거 기법)

  • Kim, Tae-Keun;Woo, Hun-Bae;Paik, Joon-Ki
    • Journal of the Korean Institute of Telematics and Electronics S
    • /
    • v.35S no.12
    • /
    • pp.46-54
    • /
    • 1998
  • In this paper we propose a fast adaptive image restoration filter using DCT-based block classification for reducing block artifacts in compressed images. In order to efficiently reduce block artifacts, edge direction of each block is classified by using the DCT coefficients, and the constrained least square (CLS) on the observation that the quantization operation in a series of coding process is a nonlinear and many-to-one mapping operator. And then we propose an approximated version of constrained optimization technique as a restoration process for removing the nonlinear and space-varying degradation operator. For real-time implementation, the proposed restoration filter can be realized in the form of a truncated FIR filter, which is suitable for postprocessing reconstructed images in HDTV, DVD, or video conference systems.

  • PDF

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

  • Kwak, Sang-Soo;Park, Chong-Mook;Ro, Seung-Gy
    • Journal of Radiation Protection and Research
    • /
    • v.13 no.2
    • /
    • pp.29-40
    • /
    • 1988
  • A spectrum-exposure rate conversion operator G(E) for a portable HPGe detector used for field environmental radiation survey was theoretically developed on the basis of a space distribution function of gamma flux emitted from a disk source and an areal efficiency of the detector. The radiation exposure rates measured using this G(E) and the portable HPGe. detector connected to a portable multichannel analyzer were compared with those measured by a 3' ${\phi}\;{\times}$3' NaI(Tl) scintillation detector with the reported G(E) and a pressurized ionization chamber. A comparison of the three results showed that the result obtained using the HPGe detector was lower than those determined using the NaI(Tl) detector and ionization chamber by 17% to 29%, The difference obtained is close to that reported in literature. The method developed here can be easily applicable to obtain a G(E) factor suitable to any detector for detecting the exposure rate of environmental gamma radiation, since the spectrum-exposure rate conversion operator can be calculated by a hand calculator.

  • PDF

Attributes for Developing a Database for Construction Information Interface

  • Moon, Sungwoo;Cho, Kyeongsu
    • International conference on construction engineering and project management
    • /
    • 2015.10a
    • /
    • 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

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

  • Lee, Koo-Hee
    • The Korean Journal of Air & Space Law and Policy
    • /
    • v.29 no.1
    • /
    • pp.67-95
    • /
    • 2014
  • Some Contracting States of the Chicago Convention issue FAOC(Foreign Air Operator Certificate) and conduct various safety assessments for the safety of the foreign operators which operate to their state. These FAOC and safety audits on the foreign operators are being expanded to other parts of the world. While this trend is the strengthening measure of aviation safety resulting in the reduction of aircraft accident. FAOC also burdens the other contracting States to the Chicago Convention due to additional requirements and late permission. EASA(European Aviation Safety Agency) is a body governed by European Basic Regulation. EASA was set up in 2003 and conduct specific regulatory and executive tasks in the field of civil aviation safety and environmental protection. EASA's mission is to promote the highest common standards of safety and environmental protection in civil aviation. The task of the EASA has been expanded from airworthiness to air operations and currently includes the rulemaking and standardization of airworthiness, air crew, air operations, TCO, ATM/ANS safety oversight, aerodromes, etc. According to Implementing Rule, Commission Regulation(EU) No 452/2014, EASA has the mandate to issue safety authorizations to commercial air carriers from outside the EU as from 26 May 2014. Third country operators (TCO) flying to any of the 28 EU Member States and/or to 4 EFTA States (Iceland, Norway, Liechtenstein, Switzerland) must apply to EASA for a so called TCO authorization. EASA will only take over the safety-related part of foreign operator assessment. Operating permits will continue to be issued by the national authorities. A 30-month transition period ensures smooth implementation without interrupting international air operations of foreign air carriers to the EU/EASA. Operators who are currently flying to Europe can continue to do so, but must submit an application for a TCO authorization before 26 November 2014. After the transition period, which lasts until 26 November 2016, a valid TCO authorization will be a mandatory prerequisite, in the absence of which an operating permit cannot be issued by a Member State. The European TCO authorization regime does not differentiate between scheduled and non-scheduled commercial air transport operations in principle. All TCO with commercial air transport need to apply for a TCO authorization. Operators with a potential need of operating to the EU at some time in the near future are advised to apply for a TCO authorization in due course, even when the date of operations is unknown. For all the issue mentioned above, I have studied the function of EASA and EU Regulation including TCO Implementing Rule newly introduced, and suggested some proposals. I hope that this paper is 1) to help preparation of TCO authorization, 2) to help understanding about the international issue, 3) to help the improvement of korean aviation regulations and government organizations, 4) to help compliance with international standards and to contribute to the promotion of aviation safety, in addition.

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

  • Kim, Sung-Mi
    • The Korean Journal of Air & Space Law and Policy
    • /
    • v.31 no.1
    • /
    • pp.37-62
    • /
    • 2016
  • Two controversial issues exist in interpretation of "Force Majeure" set forth in the Article 931 (4) of the Korean Commercial Code. Firstly, its scope of application is ambiguous. Secondly, there is a concern that the "immunity" under paragraph 1 and "Force Majeure" may overlap each other. "Force Majeure" refers an event resulted from either natural disaster or 3rd-party. Meanwhile, the latter implies relatively extensive and comprehensive meaning and its interpretation may vary depends on law enforcement. In general, the aircraft accident hardly results in damage or loss to the 3rd-party. Additionally, it is worth to review newly enacted clause and to define its applicability. When the 3rd party is suffered from damage or loss incurred by any external act, it is necessary to explicit the concept of the non-contractual liabilities with respect to 3rd party. From the perspective of protecting aviation industries, the commercial aviation operator may be entitled to immunity in respect of claim for damage incurred by the event of Force Majeure. However, this approach is directly opposite to the victim's benefit and protection by the law. Therefore, the priority of the legal protection should be considered. Although the interest of the commercial aviation operator is not negligible, the protection of the law should be favorable to the 3rd party. Otherwise, the innocent party has no right to claim for damage incurred by aviation accident. Another issue is about the possibility of overlapping of the provision set forth in the paragraph 1 and 4. The former states that the liabilities shall be exempted on account of either the unsettled political or economic situation but this clause is inconsistent with the interpretation on Force Majeure under the latter. As argued above, this may include any event resulted from either political or economic account by the external influence of the 3rd party, thus these two provisions are overlapped. Consequently, in order to develop ordinances and guidelines and to ensure an equal protection to both parties, above two issues must remain open for further discussions.

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

  • Lee, Chang-Jae
    • The Korean Journal of Air & Space Law and Policy
    • /
    • v.31 no.1
    • /
    • pp.3-36
    • /
    • 2016
  • Recently, the Supreme Court of Korea delivered a milestone judgment about air related multimodal transport. At there, the mattered cargo, some expensive jewellery, was transported from Qingdao, China to downtown office of consignee at Seoul via Incheon airport in Korea. As an air waybill was issued in this case, there was an air transport agreement between consignor and air courier operator. After arriving at Incheon airport, the shipment was transport by land arranged by the air courier operator, who was a defendant in this case. Upon arriving at the final destination, it was found that the jewellery was lost partly and based on circumstantial evidence, the damage presumed to be occurred during the land transport. As a subrogee, the insurance company who paid for consignee filed an action against the air courier operator for damage compensation. Defendant contended that Montreal convention should be applicable in this case mainly for limited liability. The lower court of this case confirmed that applying the limited liability clause under Montreal Convention is improper under the reason that the damage in this case was or presumed to be occurred during surface transport. It was focused on the Montreal Convention article 18 which says that the period of the carriage by air does not extend to any carriage by land, by sea or by inland waterway performed outside an airport. However, the Supreme Court overturned the lower court's decision. The delivered opinion is that the terms of condition on the air waybill including limited liability clause should be prevailed in this case. It seems that the final judgment was considered the fact that the only contract made in this case was about air transport. This article is for analysis the above decisions from the perspective that it is distinguishable between a pure multimodal transport and an expanded air transport. The main idea of this article is that under the expanded air transport, any carriage by land, sea or inland waterway only for the performance of a contract for carriage by air, for the purpose of loading, delivery or transhipment is still within the scop of air transport.

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

  • Park, So-Young;Lee, Dong-Cheon
    • Journal of the Korean Society of Surveying, Geodesy, Photogrammetry and Cartography
    • /
    • v.29 no.5
    • /
    • pp.459-469
    • /
    • 2011
  • There are various factors for determining object shape, such as size, slope and its direction, curvature, length, surface, angles between lines or planes, distribution of the model key points, and so on. Most of the object description and recognition methods are for the 2D space not for the 3D object space where the objects actually exist. In this study, 3D chain code operator, which is basically extension of 2D chain code, was proposed for object description and analysis in 3D space. Results show that the sequence of the 3D chain codes could be basis of a top-down approach for object recognition and modeling. In addition, the proposed method could be applicable to segment point cloud data such as LiDAR data.

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

  • Kim, Seonghun;Cho, Hyeongrae;Jung, Jiin
    • Journal of the Korean Society for information Management
    • /
    • v.36 no.3
    • /
    • pp.175-201
    • /
    • 2019
  • In the Fourth Industrial Revolution, students are required to develop in areas such as communication, logic, and creative thinking. Therefore, the university libraries need to develop new services so that students can grow up to be suitable for the new social situations. Havruta is an educational approach that can meet these needs and is one of the measures the university libraries want to apply. Thus, through 1) the investigation of the concept of Havruta, 2) the case study of domestic and foreign university libraries, and 3) interview of the Havtura-based service, this study 4) proposed the Havruta service applicable to the university libraries and 5) conducted a survey of operators and users on the awareness of the Havruta service, space, and contents of the Havruta service, and the willingness of the Havruta service. Results of the survey analysis revealed implications for the areas of the Havruta service - Havruta theme, group organization, textbook rental, simplication of space reservation, data sharing and motivation system.