• Title/Summary/Keyword: without guarantee

Search Result 421, Processing Time 0.032 seconds

Problem of Guarantee System against Defect by Change Starting point of Defects Liability on the Management of Apartment Houses and Improvement (공동주택 하자담보책임 기산일 변화에 따른 하자보증제도의 문제점 및 개선방안)

  • Jeong, Yong-Ki;Lee, Tae-Hyeong;Kim, Ok-Kyue
    • Proceedings of the Korean Institute of Building Construction Conference
    • /
    • 2017.05a
    • /
    • pp.278-279
    • /
    • 2017
  • Result from Amendment of Apartment Houses Decree Customer Service, Recently, the starting point of Defects Liability changed "Criteria of Completion date" to "Delivery date to Divided property". Through the Law amended, There are some inconsistency between "Claim for repairing defects" and "Period of security deposit for repairing defects claim". If someone bought a house after Completion date, Purchasing period of "Claim to security deposit for repairing defects" lapsed without renewal. This research is to identify problems and solutions for improving the system.

  • PDF

Characteristics of Ordinary Diets in Present - Problems and Solutions - (현대인의 일상 식생활 - 문제점과 해결방안 -)

  • Kim, Mee-Jeong
    • Journal of the Korean Home Economics Association
    • /
    • v.44 no.8
    • /
    • pp.151-160
    • /
    • 2006
  • Consumers want to get healthful food which guarantee the aging control, anti-tumor, immunity-reinforcement, obesity prevention, beauty, prevention of adult disease and well-being. Because they want natural foods without food additives and environmental pollution which were used for convenience, we should develop the various food to guarantee the safety, wholesomeness and convenience. And so, we must study and identify basically the functionality and sanitation in foods to use practically. The companies should develop new products and corporate with universities and government. Because there are much more food informations, people believe unidentified information and continue wrong behavior such as food faddism. Consequently consumers should choose wisely their foods in consideration of their health, time, money and purpose.

Efficient Proof of Vote Validity Without Honest-Verifier Assumption in Homomorphic E-Voting

  • Peng, Kun
    • Journal of Information Processing Systems
    • /
    • v.7 no.3
    • /
    • pp.549-560
    • /
    • 2011
  • Vote validity proof and verification is an efficiency bottleneck and privacy drawback in homomorphic e-voting. The existing vote validity proof technique is inefficient and only achieves honest-verifier zero knowledge. In this paper, an efficient proof and verification technique is proposed to guarantee vote validity in homomorphic e-voting. The new proof technique is mainly based on hash function operations that only need a very small number of costly public key cryptographic operations. It can handle untrusted verifiers and achieve stronger zero knowledge privacy. As a result, the efficiency and privacy of homomorphic e-voting applications will be significantly improved.

Design of CALM-based Service Discovery System (CALM 기반의 서비스 디스커버리 시스템 설계)

  • Lee, Geon-Ha;Lee, Seung-Hyun;Choi, Kee-Hyun;Shin, Dong-Ryeol
    • Proceedings of the IEEK Conference
    • /
    • 2008.06a
    • /
    • pp.631-632
    • /
    • 2008
  • In this paper, we propose service discovery mechanism, using CALM agent platform to guarantee scalability of scope of available services without modifying existing service discovery protocols. The proposed service discovery mechanism provides users with a wider selection of services, and convenient search methods.

  • PDF

Design of Neural Network Adaptive Control Law for Aircraft System Including Uncertainty

  • Kim, You-Dan;Shin, Dong-Ho
    • 제어로봇시스템학회:학술대회논문집
    • /
    • 2001.10a
    • /
    • pp.125.3-125
    • /
    • 2001
  • Recently, aircraft is designed to have high maneuverable at high angle of attack. However, it is very hard to obtain the accurate dynamic model for the high performance, because aerodynamic characteristics are nonlinear and include a lot of uncertainties. Therefore, nonlinear controller without considering uncertainties may degrade the control system performance. On this paper, to overcome these defects, the neural networks based adaptive nonlinear controller is proposed making use of the backstepping technique. Neural networks are implemented to guarantee robustness to uncertainties caused by aerodynamic coefficients variation. The main feature of the proposed controller is that the adaptive controller is developed under the assumption ...

  • PDF

Efficient Maximal Flow Algorithms in a Large Time-Expanded Network (대규모 시간전개형 네트워크에서의 효율적 최대유량 해법)

  • 이달상
    • Journal of Korean Society of Industrial and Systems Engineering
    • /
    • v.19 no.37
    • /
    • pp.211-220
    • /
    • 1996
  • We consider the problem of scheduling a maximal amount of additional, low priority transport through a large multiperiod network, given that we may not interfere with an existing schedule for high priority transport. The problem is transformed into the Time-Expanded network(TENET) without traverse time using TENET Generator (TENETGEN). We describe two specialized heuristic algorithms that guarantee the optimal solutions and show the effectiveness of them by comparing quite favorably with Dinic.

  • PDF

A New PWM Method and its Implementation for a 3-Level Inverter Considering DC-Link Voltage Balancing and Minimum ON/Off Time (DC-링크 전압균형과 소자의 최소 온/오프 시간을 고려한 3-레벨 인버터의 PWM 기법 및 구현)

  • 이요한;현동석
    • Proceedings of the KIPE Conference
    • /
    • 1998.07a
    • /
    • pp.35-38
    • /
    • 1998
  • In this paper, we present a new SVPWM strategy for a 3-level inverter. This SVPWM method is easily implemented without switching table like SVPWM. In addition, with proposed method, we can also keep the voltage balancing of DC-link capacitors and guarantee minimum on/off time of the devices. The principle of the proposed SVPWM method is described in detail, and its implementation method is also proposed. The usefulness of the proposed SVPWM method is verified through the simulation using MATLAB/Simulink.

  • PDF

CONVERGENCE PROPERTIES OF PREDATOR-PREY SYSTEMS WITH FUNCTIONAL RESPONSE

  • Shim, Seong-A
    • Honam Mathematical Journal
    • /
    • v.30 no.3
    • /
    • pp.411-423
    • /
    • 2008
  • In the field of population dynamics and chemical reaction the possibility or the existence of spatially and temporally nonhomogeneous solutions is a very important problem. For last 50 years or so there have been many results on the pattern formation of chemical reaction systems studying reaction systems with or without diffusions to explain instabilities and nonhomogeneous states arising in biological situations. In this paper we study time-dependent properties of a predator-prey system with functional response and give sufficient conditions that guarantee the existence of stable limit cycles.

Estimating Profitability of Private Finance Investment Using Real Option : Quantifying Value of Overturn Share Ratio and Minimum Revenue Guarantee (실물옵션에 의한 민간투자사업 사업타당성 평가 : 초과수익분배비율 및 최소수입보장비율 가치 정량화)

  • Jung, Woo-Yong;Koo, Bon-Sang;Han, Seung-Heon
    • Proceedings of the Korean Institute Of Construction Engineering and Management
    • /
    • 2008.11a
    • /
    • pp.606-609
    • /
    • 2008
  • Traditionally, the feasibility of the private investment is determined by NPV(Net Presented Value) based on DCF(Discounted Cash Flow) and the volume of government's subsidiary without quantifying the effect of overturn share ratio and MRG(Minimum Revenue Guarantee), these variables which can seriously effect on the economic feasibility. One of the most important reasons why these variables are not underestimated is that the quantifying methods are insufficiently or so complicatedly studied to apply practically the real project. Therefore, this study suggests the modified binominal option model to estimate the overturn share ratio and MRG and estimates how much these variables impact the private investment. Also, these results are helpful to estimate how much the government's subsidiary can be reduced.

  • PDF

A study on the Throughput Guarantee with TCP Traffic Control (전송률 보장을 위한 TCP 트래픽 제어에 관한 연구)

  • Lee, Myun-Sub
    • The Journal of the Korea institute of electronic communication sciences
    • /
    • v.11 no.3
    • /
    • pp.303-308
    • /
    • 2016
  • Recently, as the rapid development of network technology and the increase of services required high bandwidth such as multimedia service, the network traffic dramatically increases. This massive increase of network traffic causes some problems such as the degradation of QoS and the lack of network resources and, to solve these problems, various research to guarantee QoS have been performing. Currently, The most representative method to guarantee the QoS is the DiffServ(: Differentiated Service). The DiffServ defines the AF(: Assured Forwarding) PHB(: Per Hop Behavior) and statistically ensures the throughput over the certain level of data rate. However, the TCP congestion control method that make up the majority of the Internet traffic is not fundamentally suitable to the DiffServ that guarantees the throughput without managing the individual flow. Therefore, in this paper, we present this mismatch through the simulation as an example and propose the solution by controlling the TCP of the terminal in the network. The proposed scheme utilizes the information of the reception window size included in the ACK frame and does not require any modification of the TCP algorithms currently in use.