• Title/Summary/Keyword: 일관성제어

Search Result 214, Processing Time 0.054 seconds

Internet-Based Real-Time Collaborative Design System (인터넷 기반의 실시간 협업 설계 시스템)

  • Cha, Joo-Heon;Lee, Sun-Ho
    • Transactions of the Korean Society of Mechanical Engineers A
    • /
    • v.35 no.7
    • /
    • pp.701-707
    • /
    • 2011
  • The aim of this paper is to develop a collaborative design system that can facilitate remote modification and control of a 3D solid model through the Internet. It enables the users to resolve conflicting viewpoints about an issue and collaborate to design a tangible object within a given set of constraints. In order to optimize the collaborative design system, we focus on the results obtained by using the collaborative design method for the real-time modification of a 3D solid model in a distributed environment. It also provides the method of managing the consistency between design entities. The efficiency of the system is verified by implementing it in a distributed environment.

Process Algebra Based Formal Method for SDN Application Verification (SDN 응용 검증을 위한 프로세스 알지브라 기반 정형 기법)

  • Shin, Myung-Ki;Yi, Jong-Hwa;Choi, Yunchul;Lee, Jihyun;Lee, Seung-Ik;Kang, Miyoung;Kwak, Hee Hwan;Choi, Jin-Young
    • The Journal of Korean Institute of Communications and Information Sciences
    • /
    • v.39B no.6
    • /
    • pp.387-396
    • /
    • 2014
  • Recently, there have been continuous efforts and progresses regarding the research on diverse network control and management platforms for SDN (Software Defined Networking). SDN is defined as a new technology to enable service providers/network operators easily to control and manage their networks by writing a simple application program. In SDN, incomplete or malicious programmable entities could cause break-down of underlying networks shared by heterogeneous devices and stake-holders. In this sense, any misunderstanding or diverse interpretations should be completely avoided. This paper proposes a new framework for SDN application verification and a prototype based on the formal method, especially with process algebra called pACSR which is an extended version of Algebra of Communicating Shared Resources (ACSR).

Development of Multi-functional Tele-operative Modular Robotic System For Watermelon Cultivation in Greenhouse

  • H. Hwang;Kim, C. S.;Park, D. Y.
    • Journal of Biosystems Engineering
    • /
    • v.28 no.6
    • /
    • pp.517-524
    • /
    • 2003
  • There have been worldwide research and development efforts to automate various processes of bio-production and those efforts will be expanded with priority given to tasks which require high intensive labor or produce high value-added product and tasks under hostile environment. In the field of bio-production capabilities of the versatility and robustness of automated system have been major bottlenecks along with economical efficiency. This paper introduces a new concept of automation based on tole-operation, which can provide solutions to overcome inherent difficulties in automating bio-production processes. Operator(farmer), computer, and automatic machinery share their roles utilizing their maximum merits to accomplish given tasks successfully. Among processes of greenhouse watermelon cultivation tasks such as pruning, watering, pesticide application, and harvest with loading were chosen based on the required labor intensiveness and functional similarities to realize the proposed concept. The developed system was composed of 5 major hardware modules such as wireless remote monitoring and task control module, wireless remote image acquisition and data transmission module, gantry system equipped with 4 d.o.f. Cartesian type robotic manipulator, exchangeable modular type end-effectors, and guided watermelon loading and storage module. The system was operated through the graphic user interface using touch screen monitor and wireless data communication among operator, computer, and machine. The proposed system showed practical and feasible way of automation in the field of volatile bio-production process.

Development of Frequency Weighing Sensor and Single Crystal Growth (새로운 무게센서 재발과 단결정성장(1))

  • Jang Y.N.;Sung N.H.;Chae S.C.;Bae I.K.;Kim I.J.
    • Korean Journal of Crystallography
    • /
    • v.8 no.1
    • /
    • pp.38-47
    • /
    • 1997
  • A new weighing sensor for the automatic diameter control system of the crystal growth is developed in this study. This weighing sensor measures the frequency of the vibrating element which is lineally changing with respect to weight. The signal and the power of this system are transmitted without any physical contact, so that this sensor offers high accuracy and resolution. This system consists of a string, a sinusoidal wave generator, an automatic amplification adjusting circuit, signal transformers and a PCB. 4 kinds of programs are developed for checking DAC, weight calibration and controlling growth process. The measurements of the standard deviation and the resolution show $\pm0.10g$(measured at every second) and $5{\times}10^{-5}$, respectively, This weighing sensor is effective under high pres-sure of 200 atm, high temperature and vacuum condition. The weighing system can control the temperature in the accuracy of $\pm0.025^{\circ}C$ with the 'signal divider'. The optical quality single crystals of $(YGd)_3Sc_2Ga_3O_{12},\;Er-Y_3Sc_2Al_3O_{12},\;and\;Bi_{12}GeO_{20}$ have been grown by Czo-chralski method using this auto-diameter control system.

  • PDF

Fuzzy Inductive Learning System for Learning Preference of the User's Behavior Pattern (사용자 행동 패턴 선호도 학습을 위한 퍼지 귀납 학습 시스템)

  • Lee Hyong-Euk;Kim Yong-Hwi;Park Kwang-Hyun;Kim Yong-Su;Jung Jin-Woo;Cho Joonmyun;Kim MinGyoung;Bien Z. Zenn
    • Proceedings of the Korean Institute of Intelligent Systems Conference
    • /
    • 2005.11a
    • /
    • pp.175-178
    • /
    • 2005
  • 스마트 홈과 같은 유비쿼터스 환경은 다양한 센서 및 제어 네트워크가 밀집되어 있는 복잡한 시스템이다. 본 논문에서는 이러한 환경하에서 복잡한 인터페이스의 사용에 대한 사용자의 인지 부담(cognitive load)를 줄이고 개인화된(personalized) 서비스를 자율적으로 제공하기 위한 사용자 행동 패턴 선호도 학습 기법을 제안한다. 이를 위해 지식 발견(Knowledge Discovery)을 위한 평생 학습(life-long learning)의 관점에서 퍼지 귀납(Fuzzy Inductive)학습 방법론을 제안하며, 이것은 수치 데이터로부터 입력 공간에 대한 효율적인 퍼지 분할(fuzzy partition)을 얻어내고 일관성있는(consisitent) 퍼지 상관 룰(fuzzy association rule)을 얻어내도록 한다.

  • PDF

Fuzzy Inductive Learning System for Learning Preference of the User's Behavior Pattern (사용자 행동 패턴 선호도 학습을 위한 퍼지 귀납 학습 시스템)

  • Lee Hyong-Euk;Kim Yong-Hwi;Park Kwang-Hyun;Kim Yong-Su;June Jin-Woo;Cho Joonmyun;Kim MinGyoung;Bien Z. Zenn
    • Journal of the Korean Institute of Intelligent Systems
    • /
    • v.15 no.7
    • /
    • pp.805-812
    • /
    • 2005
  • Smart home is one of the ubiquitous environment platforms with various complex sensor-and-control network. In this paper, a now learning methodology for learning user's behavior preference pattern is proposed in the sense of reductive user's cognitive load to access complex interfaces and providing personalized services. We propose a fuzzy inductive learning methodology based on life-long learning paradigm for knowledge discovery, which tries to construct efficient fuzzy partition for each input space and to extract fuzzy association rules from the numerical data pattern.

Design and Implementation of Differencing and Merging Scheme for Cooperative Version Control System (협동 버전제어 시스템을 위한 버전충돌 인지 및 버전병합 기능의 설계와 구현)

  • Lee, Byong-Gul
    • The Transactions of the Korea Information Processing Society
    • /
    • v.7 no.1
    • /
    • pp.126-134
    • /
    • 2000
  • Version control is an application to maintain consistency between different instances of the same document allowing operations such as navigation, differencing, and merging. Most version control systems, however, lack the support of functionality for cooperative writing environment, such as to represent and store the history of the actions of different individuals, to effectively differentiate and merge the individual actions including the text object, and to manage different access privileges for different granularity and individuals. With the help of Activity IDentification (AID) tag and its unique addressing scheme proposed in this paper, differencing and merging become simple and effective. Access and role control is improved by associating the access right table and role assignment in AID scheme also eliminates the requirements for large storage capacity for version information maintenance.

  • PDF

Protocol-independent Information Modeling and Web Services Implementation for Resource Management in NGN Transport Stratum (NGN 전송 층의 자원 관리를 위한 프로토콜 중립적인 정보 모델링과 웹 서비스 구현)

  • Yim, Young-Eun;Kwon, Tae-Hyun;Kim, Choon-Hee;Han, Tae-Man;Jeong, You-Hyeon;Cha, Young-Wook
    • The KIPS Transactions:PartC
    • /
    • v.14C no.5
    • /
    • pp.453-462
    • /
    • 2007
  • NGN is a packet-based converged network to support session and non-session based services in QoS-enabled broadband transport technologies. Resource and admission control functions(RACF) of NGN have been considering COPS and SNMP as resource management protocols to collect network topology and resource status information of transport network. This paper defines requirements of resource management in NGN transport network, and proposes protocol independent information model to keep consistency of data models of each resource management protocol. Based on this information model described with UML class diagram, we designed and implemented NGN resource management system on Web Services.

Development of Forest Management System for the Efficient Treatment of Forest Service (산림업무의 효율적인 처리를 위한 산림관리시스템 개발)

  • Choi, Seok-Keun;Lee, Jae-Kee
    • Journal of Korean Society for Geospatial Information Science
    • /
    • v.12 no.1 s.28
    • /
    • pp.31-37
    • /
    • 2004
  • As social demands on forest are diversified, we need some economic and pro-environmental methods of forest management. In this study, developing an FMS(Forest Management System) using GIS techniques, we aimed at making workers handle quickly and exactly their works related to forest, offering customers the exact information and making clients modify or renew the variously changing information about forest. Therefore, we can efficiently handle the works related to forest management. For this, we designed and developed the system to be in accord with working-level and we can handle various information efficiently and conveniently. Accordingly we can process and print out data based on each subject. In addition to that, we can preserve the consistency of data by connecting work zones and providing database through network.

  • PDF

A Simple Stereo Matching Algorithm using PBIL and its Alternative (PBIL을 이용한 소형 스테레오 정합 및 대안 알고리즘)

  • Han Kyu-Phil
    • The KIPS Transactions:PartB
    • /
    • v.12B no.4 s.100
    • /
    • pp.429-436
    • /
    • 2005
  • A simple stereo matching algorithm using population-based incremental learning(PBIL) is proposed in this paper to decrease the general problem of genetic algorithms, such as memory consumption and inefficiency of search. PBIL is a variation of genetic algorithms using stochastic search and competitive teaming based on a probability vector. The structure of PBIL is simpler than that of other genetic algorithm families, such as serial and parallel ones, due to the use of a probability vector. The PBIL strategy is simplified and adapted for stereo matching circumstances. Thus, gene pool, chromosome crossover, and gene mutation we removed, while the evolution rule, that fitter chromosomes should have higher survival probabilities, is preserved. As a result, memory space is decreased, matching rules are simplified and computation cost is reduced. In addition, a scheme controlling the distance of neighbors for disparity smoothness is inserted to obtain a wide-area consistency of disparities, like a result of coarse-to-fine matchers. Because of this scheme, the proposed algorithm can produce a stable disparity map with a small fixed-size window. Finally, an alterative version of the proposed algorithm without using probability vector is also presented for simpler set-ups.