• Language and Information
• /
• v.6 no.2
• /
• pp.83-104
• /
• 2002

I argue that Definiteness Effect (DE) should include Indefiniteness Restriction (IR) as well as Definiteness Restriction (DR). DR is exhibited by existential constructions, predicate nominals, inalienable possession constructions, and verbs with semantic features like 〔((CAUSE TO) COME TO) EXIST〕. IR is caused by some existence presupposition of aspectual adverbs, aspectual verbs, repetitives, and topic markers. The environments for DR and IR determine the (in)definiteness of Korean bare noun phrases which otherwise can be used either way. The neutralization of DR is also induced by focus which imposes a certain amount of structure on the event quantification. Van der Sandt's (1992) Presuppositions-as- Anaphora-Theory is effectively used to account for those examples from DR, ID, and the neutralization of BR.

• The KIPS Transactions:PartC
• /
• v.8C no.4
• /
• pp.479-488
• /
• 2001

디지털 오디오나 비디오와 같은 멀티미디어 트래픽 QoS 제약 조건(종단간 지연, 대역폭 가용성, 패킷 분실률, 지터 등)을 요구하고 있다. 이러한 멀티미디어 트래픽의 제약 조건을 보장하기 위해서는 데이터 전송을 하기 전에 실시간 채널을 설정할 필요가 있으며 그러한 채널의 설정은 QoS 제약 조건을 고려한 효율적인 경로 설정 알고리즘을 필요로 한다. 일반적으로 네트워크에서 지연 제약 조건과 최소 비용을 만족하는 경로를 찾는 것은 NP-complete임이 증명되었다. 따라서 본 논문에서는 간단하고 분산된 루프 프리 라우팅 알고리즘(Loop-free Delay-constrained Routing algorithm with Load balancing : DRL)을 제안한다. 제안한 DRL은 지연 제약 조건을 만족하는 경로를 선택하며 네트워크의 상태에 따라 부하를 분산시키는 기능을 갖고 있다. 또한 지연 제약 라우팅을 위해 각 노드에서는 한정된 네트워크 상태 정보만을 필요로 한다. 시뮬레이션 결과는 DRL이 LDP와 마찬가지로 지연 제약조건을 만족하는 경로를 제공하면서 DCUR에 비해 루프가 발생하지 않는 경로 설정을 수행한다는 것을 보여주고 있다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2007.10c
• /
• pp.84-89
• /
• 2007

기존 서버에서 담당하던 접근제어를 서버에 비해 제약은 갖는 클라이언트에서 처리하고자 하는 요구가 생겨남에 따라 자원 제약을 갖는 환경에서 효율적으로 처리할 수 있는 가벼운 접근제어 방법이 필요하게 되었다. 기존의 접근제어 연구는 안전성에 초점을 맞추어 왔기 때문에 효율성 측면에 대한 고려가 적었으며, 최근 스트림 환경에서 보안 문제가 대두되면서 접근제어를 포함한 보안 측면의 연구가 시작되었으나 시작 단계에 불과하다. 본 논문은 이러한 환경의 변화를 배경으로 최근 데이터 저장과 전승의 표준으로 부각되고 있는 XML 문서의 데이터 스트링을 PDA나 휴대용 단말기와 같이 자원의 제약이 있는 클라이언트에서 안전하고 효율적으로 다루기 위한 방법을 제안한다. 첫째로 한정된 메모리 내에서 안전한 결과를 내기 위해 오버헤드가 매우 적은 접근제어 처리 방법을 제안하고 있으며, 둘째로 접근제어 추가로 인한 오버헤드를 상쇄시키기 위해 처리 단계마다 최적화가 가능한 부분들을 찾아 성능을 개선하고자 하였다.

• Proceedings of the Korean Society for Language and Information Conference
• /
• 2001.06a
• /
• pp.95-96
• /
• 2001

문장에서 술어를 수식하는 대표적인 표현은 부사어이다. 부사어는 일반적으로 문장 구성에서 핵심적 역할을 하지 않는 첨가어(adjuncts)이기 때문에 핵심적인 역할을 하는 보충어(complements)에 비해 상대적으로 연구가 덜 이루어진 분야이다. 그렇지만 부사어는 피수식어의 의미를 구체화/한정하는 기능을 하기 때문에 정확한 의사소통을 위해서는 반드시 필요한 요소이며 어순, 호응(concord)등의 통사적 현상과도 밀접한 관련이 있다. 이 연구의 일차적 목적은 이러한 부사어를 통사적, 의미적 기준에 의해 정확하게 분류하고 그들의 분포제약을 밝히는 것이다. 그 다음으로, 부사어와 관련된 통사 현상으로, 부사어와 피수식어의 공 기(co-occurrence)관계 및 부사어와 술어 어미의 호응 관계에 대한 분석을 제공하려고 한다. 부사어는 통사적인 기준과 의미적인 기준으로 분류할 수 있다 (손남익 1995, 김경훈 1996, 임유종 1998). 통사적 기준으로는 단어나 구를 수식하는 성분부사와 문장을 수식하는 문장 부사로 나누는 방법과 위치에 대한 제약이 있느냐 없느냐에 따라 제약부사와 자유부사로 나 누는 방법이 있다. 이 두 통사론적 기준에 의해 분류되는 부사들은 서로 어떤 상관관계를 보이고 있는지 살펴 볼 것이다. 일반적으로 문장부사는 문두에 놓여야 한다는 위치적 제 약 이 있기 때문에 제약부사로 분류된다. 의미적 기준으로 부사어를 분류할 수도 있는데, 시간/ 공간 부사어, 양태/정도 부사어 등으로 나눌 수 있다. 의미적 기준에 의해 분류된 부사어는 통사적 기준에 의해 분류된 것들과는 어떤 상호 관련성을 맺고 있는지 살펴 볼 것이다. 일 반적으로 시간부사와 장소부사는 자유부사에 속하며 양태부사와 정도부사는 제약부사에 속 한다. 부사어와 피수식 요소와의 통사적 공기 관계 및 의미적 관계 그리고 그와 관련된 문 법 현상도 연구의 대상이 된다. 예를 들어, 자유로운 어순을 가진 부사들이지만 “＊순이는 빨리 과연 달린다”에서 볼 수 있는 종류의 분포적 특성을 알아 볼것이다 (심재기 1982, 송 철의 1989). 또한 “길이/＊길게 빛나다”와 “＊길이/길게 드리워졌다”와 같은 대조에서 나타나는 통사, 의미적 기능의 상관 관계 및 제약들의 상호 작용도 살펴 볼 것이다.

• Journal of KIISE:Databases
• /
• v.36 no.3
• /
• pp.235-246
• /
• 2009

As demands intending to treat an access control on a client side that was conventionally controlled at a server are surged. it needs a way to treat query processing in effective and secure manners in an environment that has limited resources. Because the access control having been previously performed was only focused on safety, there was little effort to consider the access control in terms of efficiency. Researches about security including access control are started as the security issues are cropped up in a recent stream environment. This paper proposes a method for efficient and secure query processing of XML data streams like a PDA and a portable terminal at the client that is in limited resources. Specifically, this study suggests (1) an access control processing that possesses small overhead for attaining a secure result in a limited memory and (2) a way to enhance the performance, finding the parts being capable of optimizing in each processing step for offsetting the overhead caused by an addition of the access control processing. Superiority of the new method was analyzed by experiment.

• Journal of the Korea Society for Simulation
• /
• v.28 no.2
• /
• pp.97-105
• /
• 2019

The tactical mobile ad-hoc network(MANET) consists of distributed autonomous networks between individual ground nodes, which is effective in terms of network survivability and flexibility. However, due to constraints such as limited power, terrain, and mobility, frequent link disconnection and shadow area may occur in communication. On the other hand, the satellite network has the advantage of providing a wide-area wireless link overcoming terrain and mobility, but has limited bandwidth and high-latency characteristic. In the future battlefield, an integrated network architecture for interworking multi-layer networks through a heterogeneous network gateway (HNG) is required to overcome the limitations of the existing individual networks and increase reliability and efficiency of communication. In this paper, we propose a new HNG architecture and detailed algorithm that integrates satellite network and the tactical MANET and enables reliable data transfer based on flow characteristics of traffic. The simulations validated the proposed architecture using Riverbed Modeler, a network-level simulator.

• Korean Journal of Construction Engineering and Management
• /
• v.16 no.5
• /
• pp.54-64
• /
• 2015

The modular construction has several advantages such as high quality of product, safe work condition and short construction duration. The manufacturing planning of modular construction should consider time frame of manufacturing, transport and erection process with limited resources (e.g., modular units, transporter and workers). The manufacturing planning of multi modular construction project manages the modular construction's characteristics and diversity of projects, as a type of modular unit, modular unit quantities, and date for delivery. However, current modular manufacturing planning techniques are weak in dealing with resource interactions and each project requirement in multi modular construction project environments. Inefficient allocation of resources during multi modular construction project may cause delays and cost overruns to construction operation. In this circumstance, this research suggest a manufacturing planning model for schedule optimization of multi project of modular construction, using genetic algorithm as one of the powerful method for schedule optimization with multiple constrained resources. Comparing to the result of the existed schedule of case study, setting optimized scheduling for multi project decrease the total factory producing schedule. By using proposed optimization tool, efficient allocation of resource and saving project time is expected.

• Proceedings of the Korean Institute Of Construction Engineering and Management
• /
• autumn
• /
• pp.341-344
• /
• 2003

There are many problems in management of high-rise building construction performed in downtown area due to limited spaces and equipments for increasing kinds and quantities of material. By these restrictions, problems such as increase of construction cost. delay of construction period, decrease of productivity, occurrence of accident are caused. Recently, studies on JIT concept have focused on construction materials as a solution for the problems. But, studies about finishing material are insufficient yet. Accordingly, this study suggests flowing of current material management, JIT management effect, and development direction of lifting-up and procurement system with Low-emissivity double Glazing, among of main finishing materials.

• Journal of the Computational Structural Engineering Institute of Korea
• /
• v.35 no.4
• /
• pp.243-248
• /
• 2022

Weight optimization was performed for a rotorcraft shaft system using one-dimensional Euler-Bernoulli beam elements. Torsion, shaft support stiffness such as bearings, flange mass are all considered. To guarantee structural dynamic stability, eigenvalue analysis was performed to avoid critical speed and tooth mesh excitation form the gearbox. The weight optimization was performed by adjusting the thickness and radius while the length of the shaft was fixed, and the optimization process was divided into two stages. In the first, the weight is optimized with the torsional strength constraint. In the second, the difference between the primary mode of shaft and the critical speed is maximized so that the primary mode of the shaft can avoid the critical speed while the constraint on the torsional strength of the shaft is satisfied according to the standard for shaft system stability (AMC P 706-201, 1974). The proposed method was verified by comparing the results of the optimal design using the given one-dimensional beam elements with the stress results of the 3D finite element and the actual manufactured shaft.

• Proceedings of the Korea Water Resources Association Conference
• /
• 2016.05a
• /
• pp.247-247
• /
• 2016

최근 한국은 지구환경 변화에 따른 기후변화 영향으로 집중호우로 인한 도시홍수가 급증하고 있다. 기상변화에 의한 집중호우와 급증된 도시화로 인해 불투수면적이 증가하고, 이는 홍수시 유출량을 증가시켜 기존 하도 또는 내배수 시스템의 적정 소통량을 초과하여 홍수를 발생시킨다. 그리하여 홍수피해를 저감하기 위해 구조적 및 비구조적 홍수방어대책들이 마련되어 시행하고 있다. 하지만 내수배제시설의 경우, 기존의 치수계획이 빗물펌프장 등 일부 구조물에 한정되어 있기에 해당 홍수방어시설에 과도한 부담이 있는 실정이다. 따라서 유역 내에 투수면적을 최대한 확보하여 토양의 수문학적 특성을 유지 보전시켜 첨두유량, 도달시간, 직접유출량을 도시 개발 이전상태와 최대한 유사하도록 하는 홍수유출저감시설을 설치하여 빗물펌프장과 같은 홍수방어시설에 대한 과부하를 덜어준다. 이러한 홍수유출저감시설은 크게 저류시설과 침투시설로 구분된다. 홍수유출저감시설들은 해당 지역의 입지특성, 재해저감효과 및 제약조건에 따라 설치 위치 및 규모가 결정된다. 또한 저감효과는 CN 값의 변화로 정량화하여 시설의 적합성을 판단할 수 있다. 본 연구에서는 SWMM 모형을 이용하여 김천시의 평화배수분구지역을 대상으로 CN 저감을 기반으로 한홍수유출저감시설을 평가하고자 한다.