• Title/Summary/Keyword: Logical model

Search Result 526, Processing Time 0.024 seconds

A partially occluded object recognition technique using a probabilistic analysis in the feature space (특징 공간상에서 의 확률적 해석에 기반한 부분 인식 기법에 관한 연구)

  • 박보건;이경무;이상욱;이진학
    • The Journal of Korean Institute of Communications and Information Sciences
    • /
    • v.26 no.11A
    • /
    • pp.1946-1956
    • /
    • 2001
  • In this paper, we propose a novel 2-D partial matching algorithm based on model-based stochastic analysis of feature correspondences in a relation vector space, which is quite robust to shape variations as well as invariant to geometric transformations. We represent an object using the ARG (Attributed Relational Graph) model with features of a set of relation vectors. In addition, we statistically model the partial occlusion or noise as the distortion of the relation vector distribution in the relation vector space. Our partial matching algorithm consists of two-phases. First, a finite number of candidate sets areselected by using logical constraint embedding local and structural consistency Second, the feature loss detection is done iteratively by error detection and voting scheme thorough the error analysis of relation vector space. Experimental results on real images demonstrate that the proposed algorithm is quite robust to noise and localize target objects correctly even inseverely noisy and occluded scenes.

  • PDF

The Analysis Method based on the Business Model for Developing Web Application Systems (웹 응용 시스템 개발을 위한 업무모델 기반의 분석방법)

  • 조용선;정기원
    • Journal of KIISE:Software and Applications
    • /
    • v.30 no.12
    • /
    • pp.1193-1207
    • /
    • 2003
  • Various web applications are developed as the Internet is popularized in many fields. However, in most cases of web application development, systematic analysis is omitted and developers jump into the implementation. Therefore developers have difficulties with applying the development methods for a large scale project. The approach of creating an analysis models of a web application from a business model is proposed for the rapid and efficient development. The analysis process, tasks and techniques are proposed for this approach. The use case diagram and web page list are created from business modes that is depicted using the notation of UML activity diagram. The page diagram and logical / physical database models are created using the use case diagram and the web page list. These analysis models are refined during the detailed design phase. The efficiency of proposed method has been shown using a practical case study which reflects the development project of the web application for supporting the association of auto repair shops.

A Conceptual Model for Location Based Public Transit Transfer Information Service (사용자 위치기반 환승정보서비스 개념모델)

  • Lim, Jung-Sil;Moon, Young-Jun;Oh, Young-Tae;Lee, Choul-Ki;Bae, Myoung-Hwan
    • The Journal of The Korea Institute of Intelligent Transport Systems
    • /
    • v.7 no.4
    • /
    • pp.1-12
    • /
    • 2008
  • The issues of developing the value added services for public transport connectivity and transfer with information and communication technologies has been discussed in terms of incorporating system facilities with public transit modes to increase the ridership of public transit. This paper demonstrates a conceptual model for providing the location based public transit transfer information service on demand with respect to system requirements, subsystems, and logical architecture based on the national ITS architecture. The subsystems in this study which include transfer information center, parking concierge, user route guidance and information provision system are also investigated in detail in order for information service and/or contents provider to develop business models on public transit connectivity and transfer. This model is expected to be utilized in providing the variety of service models with the different types of public transit connectivity and transfer systems according to the system scale and the public transit modes.

  • PDF

Influence of the Mars atmosphere model on aerodynamics of an entry capsule: Part II

  • Zuppardi, Gennaro
    • Advances in aircraft and spacecraft science
    • /
    • v.7 no.3
    • /
    • pp.229-249
    • /
    • 2020
  • This paper is the logical follow-up of four papers by the author on the subject "aerodynamics in Mars atmosphere". The aim of the papers was to evaluate the influence of two Mars atmosphere models (NASA Glenn and GRAM-2001) on aerodynamics of a capsule (Pathfinder) entering the Mars atmosphere and also to verify the feasibility of evaluating experimentally the ambient density and the ambient pressure by means of the methods by McLaughlin and Cassanto respectively, therefore to correct the values provided by the models. The study was carried out computationally by means of: i) a code integrating the equations of dynamics of an entry capsule for the computation of the trajectories, ii) two Direct Simulation Monte Carlo (DSMC) codes for the solution of the 2-D, axial-symmetric and 3-D flow fields around the capsule in the altitude interval 50-100 km. The computations verified that the entry trajectories of Pathfinder from the two models, in terms of the Mach, Reynolds and Knudsen numbers, were very different. The aim of the present paper is to continue this study, considering other aerodynamic problems and then to provide a contribution to a long series of papers on the subject "aerodynamics in Mars atmosphere". More specifically, the present paper evaluated and quantified the effects from the two models of: i) chemical reactions on aerodynamic quantities in the shock layer, ii) surface temperature, therefore of the contribution of the re-emitted molecules, on local (pressure, skin friction, etc.) and on global (drag) quantities, iii) surface recombination reactions (catalyticity) on heat flux. The results verified that the models heavily influence the flow field (as per the shock wave structure) but, apart from the surface recombination reactions, the effects of the different conditions on aerodynamics of the capsule are negligible for both models and confirmed what already found in the previous paper that, because of the higher values of density from the NASA Glenn model, the effects on aerodynamics of a entry capsule are stronger than those computed by the GRAM-2001 model.

A Study on the Quantitative Diagnosis Model of Personal Color (퍼스널컬러의 정량적 진단 모델 연구)

  • Jung, Yun-Seok
    • Journal of Convergence for Information Technology
    • /
    • v.11 no.11
    • /
    • pp.277-287
    • /
    • 2021
  • The purpose of this study is to establish a model that can quantitatively diagnose personal color. Representative color systems for personal colors have limitations in that it oversimplify personal color diagnosis types or it is difficult to distinguish objective differences between diagnosis types. To develop a brand new color system that enhances this, a PCCS color system capable of logical color was introduced and reclassified based on the four main properties of color. Twenty diagnostic types, which are more diverse than the existing color system were proposed and a quantitative method was used to evaluate the degree of harmony with a subject to find an optimized type of subject. The experimenter's individual competency and subjective intervention were minimized by devising a matrix in which a type suitable for the subject is derived when the coded evaluation result is substituted. Finally a quantitative diagnosis model of personal color consisting of three stages: property diagnosis, coding, and seasonal diagnosis was constructed. It can be seen that this will give diversity, reliability, and accuracy to the existing diagnostic methods.

A Study of Architectonic Thinking in Philosophy and Architecture as Metaphor (철학의 구축과 건축적 사유 - 은유로서 건축과 철학적 건축술 -)

  • Khang, Hyuk
    • Journal of architectural history
    • /
    • v.31 no.1
    • /
    • pp.77-88
    • /
    • 2022
  • Architecture had played a significant role model in philosophy because the construction of building represented doing philosophy. 'Architecture as metaphor' made it possible that doing philosophy was a kind of construction of thinking and western philosopher considered himself as an architect of idea. As a system of system, architectural analogy gave philosophy a chance to insist himself as a theory of theory. So architecture had always been a privileged model of discourse system and also a fundamental metaphor in philosophy. Because of its original meaning, Architecture as techne could be considered as poiesis, that was the special building(making) in western culture. The archi(arche) - structure(techne) was a ideal model and mechanism of philosophy because with this analogy doing philosophy became a kind of building act to make a logical system of idea. This kind of tradition in philosophy, especially metaphysics, made the characteristics of western philosophy 'architectonic' that implied the meaning of the rational, stable, hierarchical and holistic. But this kind of tradition exposed the problem of philosophy that focused on Identity and excluded the others. The logocentrism of western philosophy was also the limitation of architectonic thinking and its reductionism became a grand monologue which only allowed systematic, rational discourse. Its ideological position Inevitably caused the anti-architectural thinking in modern age as a diverse form of new trend of thinking as like postmodernism or deconstruction. Even Deconstructivism, or 'informe', non-representation in architecture depends upon anti-architectural thinking. Relationship between architecture as metaphor and the building of philosophy is problematique issue.

A Study of PLC Simulation for Automobile Panel AS/RS (자동차 패널 자동창고 시스템의 PLC 시뮬레이션 적용 연구)

  • Ko, Min-Suk;Koo, Lock-Jo;Kwak, Jong-Geun;Hong, Sang-Hyun;Wang, Gi-Nam;Park, Sang-Chul
    • Journal of the Korea Society for Simulation
    • /
    • v.18 no.3
    • /
    • pp.1-11
    • /
    • 2009
  • This paper illustrates a case study of PLC logic simulation in a car manufacturing system. It was developed to simulate and verify PLC control program for automobile panel AS/RS. Because car models become varied, the complexity of supply problem is increasing in the car manufacturing system. To cope with this problem, companies use the AS (automated storage) and RS (retrieval system) but it has logical complexity. Industrial automated process uses PLC code to control the AS/RS, however control information and control codes (PLC code) are difficult to understand. This paper suggests a PLC simulation environment, using 3D models and PLC code with realistic data. Data used in this simulation is based on realistic 3D model and I/O model, using actual size and PLC signals, respectively. The environment is similar to a real factory; users can verify and test the PLC code using this simulation before the implementation of AS/RS. Proposed simulation environment can be used for test run of AS/RS to reduce implementation time and cost.

Development of a Simulation Model for Supply Chain Management of Precast Concrete (프리캐스트 콘크리트 공급사슬 관리를 위한 시뮬레이션 모형 개발)

  • Kwon, Hyeonju;Jeon, Sangwon;Lee, Jaeil;Jeong, Keunchae
    • Korean Journal of Construction Engineering and Management
    • /
    • v.22 no.5
    • /
    • pp.86-98
    • /
    • 2021
  • In this study, we developed a simulation model for supply chain management of Precast Concrete (PC) based construction. To this end, information on the Factory Production/Site Construction system was collected through literature review and field research, and based on this information, a simulation model was defined by describing the supply chain, entities, resources, and processes. Next, using the Arena simulation software, a simulation model for the PC supply chain was developed by setting model frameworks, data modules, flowchart modules, and animation modules. Finally, verification and validation were performed using five review methodologies such as model check, animation check, extreme value test, average value test, and actual case test to the developed model. As a result, it was found that the model adequately represented the flows and characteristics of the PC supply chain without any logical errors and provided accurate performance evaluation values for the target supply chains. It is expected that the proposed simulation model will faithfully play a role as a performance evaluation platform in the future for developing management techniques in order to optimally operate the PC supply chain.

System Analysis Method Using Composition and Minimization (합성 및 축소화 기법을 이용한 시스템의 해석 방법)

  • Lee, Wan Bok
    • Journal of the Korea Institute of Information and Communication Engineering
    • /
    • v.17 no.10
    • /
    • pp.2330-2336
    • /
    • 2013
  • Since many man-made systems consist of autonomous and interactive components, it is intrinsically difficult to analyze their abnormal behavior. The logical analysis of such a system is an indispensable process for high quality and reliable system development. In this paper, we propose an analysis method using two algebraic operations, named composition and minimization. Repetitive composition and minimization of component models with respect to a set of important events produces a new analysis model that has the same input output responses to an environment. An analysis example of the alternating bit protocol demonstrates the effectiveness of the proposed method showing that each message generated at the sender side eventually arrives to a receiver.

Text Extraction Algorithm in Natural Image using LoG Operator and Coiflet Wavelet (Coiflet Wavelet과 LoG 연산자를 이용한 자연이미지에서의 텍스트 검출 알고리즘)

  • Shin, Seong;Baek, Young-Hyun;Moon, Sung-Ryong;Shin, Hong-Kyu
    • Proceedings of the IEEK Conference
    • /
    • 2005.11a
    • /
    • pp.979-982
    • /
    • 2005
  • This paper is to be pre-processing that decides the text recognizability and quality contained in natural image. Differentiated with the existing studies, In this paper, it suggests the application of partially unified color models, Coiflet Wavelet and text extraction algorithm that uses the closed curve edge features of LoG (laplacian of gaussian)operator. The text image included in natural image such as signboard has the same hue, saturation and value, and there is a certain thickness as for their feature. Each color element is restructured into closed area by LoG operator, the 2nd differential operator. The text area is contracted by Hough Transform, logical AND-OR operator of each color model and Minimum-Distance classifier. This paper targets natural image into which text area is added regardless of the size and resolution of the image, and it is confirmed to have more excellent performance than other algorithms with many restrictions.

  • PDF