• Title/Summary/Keyword: Extend 모델

Search Result 289, Processing Time 0.032 seconds

Object-Oriented Model of Resources for Real-Time Applications (실시간 활용을 위한 객체지향 자원관리)

  • Park, Dong-Won
    • The Journal of Engineering Research
    • /
    • v.3 no.1
    • /
    • pp.117-121
    • /
    • 1998
  • This paper describes a model suitable for real-time languages, which explicitly defines a set of resource objects. The resource objects are constituted in a specialization hierarchy which allows programmers to perform resource handling at any desired level of detail, as well as providing a uniform interface. This object-oriented model is used to extend the applicability of the imprecise computation approach to deal with shortfalls of any computational resource, and enable to build real-time systems which can handle dynamic situations.

  • PDF

Modelling of Rock Joint Shear Strength Using Surface Roughness Parameter, Rs (표면 거칠기 계수 Rs를 이용한 암석 절리면 전단강도 모델)

  • 이석원;배석일;이인모
    • Proceedings of the Korean Geotechical Society Conference
    • /
    • 2001.03a
    • /
    • pp.73-80
    • /
    • 2001
  • The shear strength of jointed rock is influenced by effective normal stress, joint wall compressive strength, joint roughness and so on. Since joint roughness makes considerable influences on shear strength of jointed rock, many studies tried to get quantitative joint roughness parameter. Until now, Joint Roughness Coefficient, JRC proposed by Barton has been prevalently used as a rock joint roughness parameter In spite of its disadvantages. In this study, a quantification of rock joint roughness is performed using surface roughness parameter, Rs. Proposed method is applied to rock core specimens, field joint surfaces, and JRC profiles. The scale of fluctuation is introduced to extend the suggested method to the large scale field joint surface roughness. Based on the quantification of joint surface roughness, joint shear tests are performed with the portable shear box. The relationship between joint surface roughness and joint shear strength is investigated and finally, a rock joint shear strength equation is derived from these results. The equation has considerable credibility and originality in that it is obtained from laboratory tests and expressed with quantified parameter.

  • PDF

The Binomial Sensitivity Factor Hyper-Geometric Distribution Software Reliability Growth Model for Imperfect Debugging Environment (불완전 디버깅 환경에서의 이항 반응 계수 초기하분포 소프트웨어 신뢰성 성장 모델)

  • Kim, Seong-Hui;Park, Jung-Yang;Park, Jae-Heung
    • The Transactions of the Korea Information Processing Society
    • /
    • v.7 no.4
    • /
    • pp.1103-1111
    • /
    • 2000
  • The hyper-geometric distribution software reliability growth model (HGDM) usually assumes that all the software faults detected are perfectly removed without introducing new faults. However, since new faults can be introduced during the test-and-debug phase, the perfect debugging assumption should be relaxed. In this context, Hou, Kuo and Chang [7] developed a modified HGDM for imperfect debugging environment, assuming tat the learning factor is constant. In this paper we extend the existing imperfect debugging HGDM for tow respects: introduction of random sensitivity factor and allowance of variable learning factor. Then the statistical characteristics of he suggested model are studied and its applications to two real data sets are demonstrated.

  • PDF

(An O(log n) Parallel-Time Depth-First Search Algorithm for Solid Grid Graphs (O(log n)의 병렬 시간이 소요되는 Solid Grid 그래프를 위한 Depth-First Search 알고리즘)

  • Her Jun-Ho;Ramakrishna R.S.
    • Journal of KIISE:Computer Systems and Theory
    • /
    • v.33 no.7
    • /
    • pp.448-453
    • /
    • 2006
  • We extend a parallel depth-first search (DFS) algorithm for planar graphs to deal with (non-planar) solid grid graphs, a subclass of non-planar grid graphs. The proposed algorithm takes time O(log n) with $O(n/sqrt{log\;n})$ processors in Priority PRAM model. In our knowledge, this is the first deterministic NC algorithm for a non-planar graph class.

LOGO와 함께 곡선 만들기 - 다각형 패턴의 관점에서

  • Kim, Hwa-Kyung;Song, Min-Ho
    • East Asian mathematical journal
    • /
    • v.26 no.4
    • /
    • pp.447-461
    • /
    • 2010
  • Papert [17] introduced the LOGO environment in which we make a curve using LOGO commands (FORWARD, ROTATE). We call this geometry as turtle geometry. This environment has influenced many researchers and designers of computers and mathematics education. But the curve that we can make using LOGO command is elementary or too difficult. Polygon and circle is elementary and making other curves is difficult. In this paper, we introduce the method of drawing some other curves mediating new command. First, we study epicycloid and hypocycloid in the historical and the physical context. And we introduce the method of making epicycloid and hypocycloid using vector addition. Next we study the polygon patterns of this curve. Finally, we extend the method for making more general curve and we improve the computer environment using this metaphor.

An Event-Driven Real-Time OCL and Its Application (이벤트 위주의 실시간 OCL과 그 응용)

  • Choi, Sung-Woon;Lee, Young-Whan
    • Journal of KIISE:Software and Applications
    • /
    • v.28 no.12
    • /
    • pp.921-929
    • /
    • 2001
  • OCL was used in the UML Semantics document to specify the well-formedness rules of the UML metarmodel. UML was extended to apply it to system developments of several fields, for example real-time UML and web applications with UML. In particular the dependability is important in designing and building hard real-time system. Thus OCL is needed to express real-time UML formally and so it must extended. In this paper, we extend OCL to define event-driven real-time OCL to the development of Nrcl simulator.

  • PDF

Three-dimensional Active Shape Model for Object Segmentation (관심 객체 분할을 위한 삼차원 능동모양모델 기법)

  • Lim, Seong-Jae;Ho, Yo-Sung
    • Proceedings of the IEEK Conference
    • /
    • 2006.06a
    • /
    • pp.335-336
    • /
    • 2006
  • In this paper, we propose an active shape image segmentation method for three-dimensional(3-D) medical images using a generation method of the 3-D shape model. The proposed method generates the shape model using a distance transform and a tetrahedron method for landmarking. After generating the 3-D model, we extend the training and segmentation processes of 2-D active shape model(ASM) and improve the searching process. The proposed method provides comparative results to 2-D ASM, region-based or contour-based methods. Experimental results demonstrate that this algorithm is effective for a semi-automatic segmentation method of 3-D medical images.

  • PDF

A Concept Model Design of a Home Automation System Using Intelligent Mobile Robot (지능형 이동 로봇을 이용한 홈오토메이션 시스템 모델 제안 및 구현)

  • Ahn Ho Seok;Choi Jin Young
    • Proceedings of the Korean Institute of Intelligent Systems Conference
    • /
    • 2005.04a
    • /
    • pp.221-224
    • /
    • 2005
  • This paper proposes the system model that is more efficient and active than formal home automation system and it can conquer the limits of formal one using intelligent mobile robot. This system uses specialized intelligent mobile robot for home environment and the robot moves around home instead of human. We call the system model to HAuPIRS (Home Automation system using PDA based Intelligent Robot System). HAuPIRS control architecture is composed three parts and each part is User Level, Cognitive Level, Executive Level. It is easy to use system and possible to extend the home apparatusfrom new technology. We made the PBMoRo System (PDA Based Mobile Robot System) based on HAuPIRS architecture and verified the efficiency of the system model.

  • PDF

Extensions of Knowledge-Based Artificial Neural Networks for the Theory Refinements (영역이론정련을 위한 지식기반신경망의 확장)

  • Shim, Dong-Hee
    • Journal of the Institute of Electronics Engineers of Korea CI
    • /
    • v.38 no.6
    • /
    • pp.18-25
    • /
    • 2001
  • KBANN (knowledge-based artificial neural network) combining the analytical learning and the inductive learning has been shown to be more effective than other machine learning models. However KBANN doesn't have the theory refinement ability because the topology of network can't be altered dynamically. Although TopGen was proposed to extend the ability of KABNN in this respect, it also had some defects. The algorithms which could solve this TopGen's defects, enabling the refinement of theory, by extending KBANN, are designed.

  • PDF

Attributed AND-OR Graph : A Semantics for Formal Model Management for Digital Systems Design (Attributed AND-OR Graph : 디지털 시스템 설계에 있어 모델 관리를 위한 정형론)

  • Kim, Jun-Kyoung;Kim, Tag-Gon
    • Proceedings of the Korea Society for Simulation Conference
    • /
    • 2005.05a
    • /
    • pp.34-39
    • /
    • 2005
  • The progress of silicon technology enables to implement a highly complex digital system on a given chip area. However, even the modern design environment is not so efficient to catch up with the progress of process technology. Design reuse is a promising approach to designing such a complex system in an efficient way. However, the rigidness and inflexibility of a model has been an obstacle to design reuse. This paper proposes a high-level model management methodology by introducing attributed AND-OR graph(AOG), a (formal semantics for representing the possible structure of a model. Using the formalism enables a designer to extract, extend and reuse the pre-modeled and pre-verified design. A complete process of constructing a cache operational model, extending the model and extracting executable models is exemplified to show effectiveness of the proposed framework.

  • PDF