• Title/Summary/Keyword: Incompleteness

Search Result 126, Processing Time 0.028 seconds

Estimation of the Stability Number of Breakwater Armor Blocks Using Probabilistic Neural Networks (확률신경망을 이용한 방파제 피복재 설계)

  • Kim, Doo-Kie;Kim, Dong-Hyawn;Chang, Seong-Kyu;Chang, Sang-Kil
    • Journal of Ocean Engineering and Technology
    • /
    • v.20 no.5 s.72
    • /
    • pp.70-76
    • /
    • 2006
  • A Probabilistic neural network (PNN) technique for predicting the stability number for the armor blocks of breakwaters is presented. A PNN is prepared using the experimental data of van der Meer and is then compared with the empirical formula and previous artificial neural network (ANN) model. This comparison shows that a PNN can effectively predict the stability numbers in spite of data complexity, incompleteness, and incoherence, and can be an effective tool for the designers of rubble mound breakwaters to support their decision process and to improve design efficiency.

A Semantics for KADS Model of Expertise (KADS 지식 모델의 의미론)

  • 전윤재
    • Journal of the Korean Operations Research and Management Science Society
    • /
    • v.19 no.2
    • /
    • pp.57-73
    • /
    • 1994
  • KADS is currently a best known methodology for expert system development is Europe. KADS world sees the expert system development as a modeling activity and uses models to control complexity of the development process. Four layers KADS expertise model is used to describe expert knowledge. But this expertise model in high abstraction level is conceptual and not formalized. This paper has formalized KADS expertise model using set theory and mathematical semantics combined in order to reduce the ambiguity of informal models of expertise, provide a precise means of communication about the model of expertise and point out incompleteness and inconsistency of the model of expertise. Instead of first order predicate calculs, set theory and mathematical semantics are used because they are a more general and have compositive quality.

  • PDF

Implementation of EJB Component by Using Z specification (Z명세를 이용한 EJB 컴포넌트의 구현)

  • Ma, Dai-Sung
    • Journal of The Korean Association of Information Education
    • /
    • v.8 no.4
    • /
    • pp.555-562
    • /
    • 2004
  • There are informal, semi-formal and formal methods in software specification. Among them, formal method which is based on mathematical theory had been used to remove ambiguity, incompleteness and contradiction efficiently. In this paper, we propose implementation steps from Z specification to EJB source code, Also, as a case study we show steps consisted of specifying stack data structure and implementing it in EJB. In conclusion, Z specification proved to be capable of implementing EJB interface, exception class, method, through refinement and definition of schema, interface, post-condition, pre-condition.

  • PDF

A Study on the Expressive Technique of Grunge Look in the Knitwear Fashion of the Last Decade (니트웨어에 나타난 그런지룩의 표현기법에 관한 연구 -′90년대 중반 이후를 중심으로-)

  • 김경인
    • Journal of the Korea Fashion and Costume Design Association
    • /
    • v.5 no.3
    • /
    • pp.25-36
    • /
    • 2003
  • The purpose of this study is to analyze the expressive technique of grunge look in knitwear fashion. For this study, I have investigated theories of retro and decontructionism trends, and have examined pictures from professional fashion magazines. The results of study on the expressive technique of grunge look reflected on the knitwear fashion were as follows; (1) patchwork technique, which is an outstanding method of recycling, (2) handknitting technique, which came from retro trend of hippism, (3) unfinished edge, which emphasized the image of poverty and incompleteness, (4) irregular lace knitting and slash technique, which is the typical details of grunge look and denies the traditional fashion order, (5) hand stitch technique using various materials, which gives second-hand mood of hippie look, and (6) fringe details, which originated from the unfinished edge technique.

  • PDF

Homogeneous Robust Systems Control On Limitations In The Space State

  • Kim, Dong-Hwa;Kawagi, Shigeyasa
    • 제어로봇시스템학회:학술대회논문집
    • /
    • 2001.10a
    • /
    • pp.159.2-159
    • /
    • 2001
  • The new approach of homogeneous robust control systems synthesis, both linear, and nonlinear and non-stationary is offered. The control is carried out, providing the given phase constrains varied in acceptable limits, in view of constrains on its value and incompleteness of the information about functioning disturbances. The approach is based on introduction of auxiliary integral surfaces, on which the initial moving is projected. As a result the reduced equivalent moving is forming, described by the scalar equation which in many important cases can be integrated directly. On the basis of the obtained equation solving of a synthesis task is carried out and can be reduced to algebraic or integral inequalities. The final relations defined for linear equivalent moving are presented.

  • PDF

FUV Emission-line Morphologies of the SNR G65.3+5.7

  • Kim, Il-Joong;Seon, Kwang-Il;Min, Kyoung-Wook
    • The Bulletin of The Korean Astronomical Society
    • /
    • v.35 no.1
    • /
    • pp.70.1-70.1
    • /
    • 2010
  • We present the far-ultraviolet (FUV) emission line morphologies in the whole region of the supernova remnant G65.3+5.7 using the FIMS/SPEAR data. The morphologies of the C IV ${\lambda}{\lambda}1548$, 1551, $H2{\lambda}1608 $, He II ${\lambda}1640$, and O III] ${\lambda}{\lambda}1661$, 1666 lines appear to correlate clearly with the optical emission line images or the ROSAT X-ray (0.11-0.284 keV) image obtained in some of the previous studies. We found that a foreground dust cloud, resonant scattering, and incompleteness of radiative shocks have made the definite differences between the morphologies of the above FUV emission lines. We also present the FUV spectra and line intensities from a few sub-regions.

  • PDF

The Direction of Improvement of Organic Agricultural Farmland Lease Institution (친환경농업 농지 임대차 제도의 개선방향)

  • Choi, Deog-Cheon
    • Korean Journal of Organic Agriculture
    • /
    • v.17 no.4
    • /
    • pp.441-461
    • /
    • 2009
  • Switching to organic farming practices in agricultural production reaches the end of the period it takes an average of five years. During this period, agricultural soil management to improve the investment must be sustained. Results of the survey of environment-friendly agricultural lease rates appear to approximately 54.2% lower than agricultural practices. Environmentally friendly agricultural land is leased on a long transition period of the contract cost, many buried incompleteness, uncertainty of contract fulfillment(opportunistic behavior) occurs when the transaction costs. This ultimately can hinder the spread of organic farming. Thus, the qualitative development of organic farming and land leasing in order to minimize transaction costs, should that occur. The alternative 'cooperative long-term lease contract' is a system.

  • PDF

An Evaluation of Seismicity Parameters in the Korean Peninsula Using EQHAZARD (EQHAZARD를 이용한 한반도 지진 파라미터 추정)

  • 연관희
    • Proceedings of the Earthquake Engineering Society of Korea Conference
    • /
    • 1998.04a
    • /
    • pp.31-38
    • /
    • 1998
  • In this study, statistical analyses implemented in the EPRI EQHAZARD programs were employed to estimate the sismicity parameters in the Korean peninsula based upon an combined Korean earthquake catalog. The combined earthquake catalog was prepared by performing earthquake clustering analysis on the collected earthquake catalogs provided by experts of the seismic panel during the PSA for Yonggwang Units 1 & 2. The duplicate earthquake events and secondary events in earthquake clusters have been successfully screened. The resultant earthquake catalog was analyzed to quantitatively assess the incompleteness of the earthquake catalog for specified earthquake magnitudes and time periods. The result shows that the earthquake catalog of the Korean peninsula is complete for the times periods of 1392 ~ 1750 and 1905 ~ 1989 (AD) and earthquake magnitude above 4.5. The PSHA methodology of EQHAZARD features the estimation of inhomogeneous a-and b-values within a seismic source. This study shows various results of a-and b-value is well constrained lying between o.6 and 1.0. Also the confidence of estimated a-and b-value for a specifed location was assessed by quantifing the uncertainty of these parameters using bootstrap simulation.

  • PDF

Construction of A Collaborative Documentation Environment based-on Message Agents (메시지 에이전트에 기반한 협동 문서화 작업 환경의 구축)

  • 장성봉;나홍석;백두권
    • Proceedings of the Korean Information Science Society Conference
    • /
    • 1998.10b
    • /
    • pp.547-549
    • /
    • 1998
  • CASE도구의 일부로 제공되는 기존의 문서화 도구들은 개발자들을 위한 편리한 기능을 제공했지만, 문서화 참여자들 사이의 협동작업 및 정보교환을 효과적으로 지원해 주지 못했다. 협동작업 환경 및 정보교환 도구 지원의 미비로 인한 문서화 참여자들 사이의 의사소통 부족은 문서 사이의 불일치(Inconsistency), 누락(Incompleteness), 애매모호함(Ambiguity)을 발생시킨다. 소프트웨어 문서가 사용자 및 개발자를 위한 중요한 자료로 활용되기 위해서 협동 문서화 작업 환경의 구축과 정보 교환 도구의 지원은 필수적인 요소이다. 본 논문에서는 문서 상태와 사건을 중심으로 한 문서화 프로세스를 정의하고 문서 변경이나 삭제가 발생했을 경우, 이를 탐지하여 자동으로 개발자들에게 메시지를 보내주는 메시지 에이전트(Message Agent) 기반의 협동 문서화 작업 환경을 제안한다. 협동 문서화 작업 환경은 여러 명의 문서화 참여자들이 서로의 문서를 공유하며 작업할 수 있는 환경을 제공하며, 메시지 에이전트를 통한 메시지의 자동 전송으로 문서화 도중에 개발자가 직접 메시지를 작성하던 번거로움을 줄이고 문서의 질적인 향상을 기할 수 있는 장점이 있다.

An Empirical Study of Relationships among IT Capability, Trust, and Attitude on RFID Adoption in Korea

  • Lim, Se-Hun;Kim, Soh-Young;Kim, Jin-Soo
    • Journal of Digital Convergence
    • /
    • v.7 no.1
    • /
    • pp.99-109
    • /
    • 2009
  • Recently, many enterprises are interest in implementing Radio Frequency IDentification (RFID). However, they have some difficulty in implementing RFID because of incompleteness of RFID technology and uncertainty of Return on Investment (ROI). Even though usefulness of RFID are recognized, many enterprises are just interested in planning of RFID rather than implementation of RFID. Among successful factors of RFID implementation, Information Technology (IT) capability is the most important one. If enterprises have systematic IT capability, it would make positive attitude to implement RFID. In addition, it will provide trust about RFID and promote adoption of RFID implementation. This study, therefore, empirically analyzed the relationships of trust, attitude, IT capability, and intention to RFID adoption using Partial Least Squares (PLS) approach. The result show useful guidelines and practical implication in implementing RFID.

  • PDF