• Title/Summary/Keyword: 컴퓨터 모의

Search Result 3,380, Processing Time 0.031 seconds

First Order Predicate Logic Representation and Management for Information Resource Dictionary (정보자원사전에 대한 서술논리 표현과 관리)

  • 김창화
    • The Journal of Information Technology and Database
    • /
    • v.5 no.1
    • /
    • pp.13-37
    • /
    • 1998
  • 인터넷 등의 컴퓨터 통신 네트워크의 발달로 인하여 분산된 정보자원의 공유를 통한 자원에 대한 재사용성의 필요성이 대두되었다. IRD(Information Resource Dictionary)는 조직 내에서 관련된 모든 정보에 대한 데이터가 논리적으로 중앙화된 정보저장소(repository)이다. IRD 내의 데이터는 다른 데이터를 기술하므로 이른바 메타 데이터라고 하기도 한다. IRD의 사전(dictionary) 요소는 정보자원의 종류, 정보자원의 의미, 정보자원의 논리적 구조, 정보자원의 위치, 그리고 정보자원의 접근방법 등을 기술한다. FIPS ANSI의 IRDS는 이항 관계를 이용하여 무결성 제약조건을 표현하므로 제약조건 규칙의 표현과 일반적인 추론 규칙의 표현이 제한되어 있으며, 다양한 형태의 무결성 제약조건의 표현과 IRD와 관련된 여러 정보의 도출 또는 추론 및 관리에 관한 사항은 IRD 응용 고유의 문제로 간주하여 언급하고 있지 않다. 한편, FIPS IRDS는 사용자가 SQL 및 IRD에 대한 전문적 지식이 없이는 사용자 질의 작성이 어려운 점등에 대한 문제점을 안고 있다. 본 논문은 FIPS IRDS의 기본모델에서 정보자원 표현, 정보자원들간의 관계, 정보자원의 관리 정보 구분을 명확히 하기 위해 정보자원 모델을 정보자원 표현요소와 정보자원 관리요소의 두 부류로 나누어 구분하고, 각 부류에 대한 자격 질의(competency question)를 통하여 유추된 요소들을 FIPS ANSI IRDS 기본 모델의 스키마 기술 레벨과 스키마 레벨에 첨가함으로써 그 기본 모델을 확장한다. 그리고, FIPS ANSI IRDS가 제공하는 IRD 기술과 관리 기능을 그대로 포함하면서 앞에서 문제점으로 지적된 제약조건 표현과 추론규칙 표현을 위하여 확장된 기본 모델을 중심으로 각 레벨의 구성 요소들의 형식적 의미(formal semantics)와 레벨 내 혹은 레벨 구성요소들간의 관계성(relationship), 그리고 제약조건의 표현과 질의 추론 규칙들을 식별하여 FOPL(First Order Predicate Logic)로 표현한다. 또한, 본 논문은 FOPL로 표현된 predicate들과 규칙들을 구현하기 위하여 Prolog로 변환하기 위한 이론적 방법론을 제시하고 정보자원 관리를 위한 기본 함수들과 스키마 진화(schema evolution)를 위한 방법론을 제안한다.

  • PDF

Evaluation of LDF Signal Processing Algorithms Using Self-mixing Effect of Laser Diode (LD의 자기혼합 효과를 이용한 LDF의 신호처리 알고리즘의 평가)

  • Go, Han-U;Kim, Jong-Won
    • Journal of Biomedical Engineering Research
    • /
    • v.19 no.4
    • /
    • pp.369-377
    • /
    • 1998
  • This paper describes the results of investigations comparing the relative in vitro responses of different signal processing algorithms for laser Doppler flowmetry(LDF) using self-mixing effect of laser diode(LD). A versatile laser Doppler system is described which enabled complex signal processing to be implemented relatively simply using digital analysis. The flexibility of the system allowed a variety of processing algorithms to be studied by simply characterising the algorithm of interest under software control using a personal computer. Two in-vitro physical models are also presented which was used to maintain reproducible fluid flows Flows of particles were studied in two physical models using a 780nm laser diode source. The results show that frequency weighted algorithms(first and second moments, rate to zero moment) are responsive to particle velocity more than concentration, whereas non-weighted algorithm (zero moment responds to concentration and velocity.

  • PDF

Implementation of Smartphone based Mobile Office for a Logistics Company using HTML5 (HTML5를 이용한 물류기업의 모바일 오피스 구현에 관한 연구)

  • Lim, Yongtaek;Byun, Haegwon;Yoo, Woosik
    • Journal of Information Technology and Architecture
    • /
    • v.9 no.4
    • /
    • pp.433-442
    • /
    • 2012
  • This paper focuses on developing a smartphone-based mobile office system for a logistics company in Korea using HTML5. Mobile office is smart working environment of working out of a company office using mobile devices such as smartphones and portable computers which are connected to the company servers via WiFi or 3G/4G. Recently many companies are introducing mobile office information systems with the smartphone wave, but they are having difficulties in maintaining and updating their systems due to the transformative mobile application platform. Therefore, we need a platform-independent implementation tools for the mobile office application and HTML5 is one of the solution tools. In this paper, we develop mobile and web applications applicable to all kinds of mobile devices such as iOS, android and windows mobile etc using HTML5. The proposed mobile office system consists of groupware, marketing management, reporting module and transportation management system.

A Design of Turbo Decoder using MAP Algorithm (MAP 알고리즘을 이용한 터보 복호화기 설계)

  • 권순녀;이윤현
    • Journal of the Korea Institute of Information and Communication Engineering
    • /
    • v.7 no.8
    • /
    • pp.1854-1863
    • /
    • 2003
  • In the recent digital communication systems, the performance of Turbo Code using the mr correction coding depends on the interleaver influencing the free distance determination and the recursive decoding algorithms that is executed in the huh decoder. However, performance depends on the interleaver depth that needs many delays over the reception process. Moreover, turbo code has been blown as the robust coding methods with the confidence over the fading channel. International Telecommunication Union(ITU) has recently adopted it as the standardization of the channel coding over the third generation mobile communications(IMT­2000). Therefore, in this paper, we preposed the interleaver that has the better performance than existing block interleaver, and modified turbo decoder that has the parallel concatenated structure using MAP algorithm. In the real­time voice and video service over third generation mobile communications, the performance of the proposed two methods was analyzed and compared with the existing methods by computer simulation in terms of reduced decoding delay using the variable decoding method over AWGN and fading channels for CDMA environments.

The design of blackout curtain for increasing electroplating uniformity of injection molding products (사출물 도금 균일도 증대를 위한 도금조 차폐막 설계)

  • Che, Woo-Seong;Lee, Jong-Keun;Jo, Hae-Yong;Woo, Chang-Ho
    • Proceedings of the Korean Institute of Information and Commucation Sciences Conference
    • /
    • v.9 no.2
    • /
    • pp.710-713
    • /
    • 2005
  • Recently, in the area of shipbuilding, automobile and electronics, the products which electroplating was applied to are developed and put into practice in the field. The extension of the field of applications electroplated objects is to complex shape and thus the rate of faults in electroplating is being increased in the process of manufacture. On the subject of the plating process in this study, the geometric factor, which influenced electroplating, was extracted by doing a comparative analysis of the findings in the plating bath and the results of performing computer simulation of 3D. Considering these factors, the study on the optimization of designing was conducted to make the plating quantity of plated objects uniform in terms of 3D.

  • PDF

A Study on Frequency-Time Plane Analysis of Wavelet (웨이브렛의 주파수-시간 평면 해석에 관한 연구)

  • Bae, Sang-Bum;Ryu, Ji-Goo;Kim, Nam-Ho
    • Proceedings of the Korean Institute of Information and Commucation Sciences Conference
    • /
    • v.9 no.2
    • /
    • pp.451-454
    • /
    • 2005
  • Recently, many methods to analyze signal have been proposed and representative methods are the Fourier transform and wavelet transform. In these methods, the Fourier transform represents signal with combination cosine and sine at all locations in the frequency domain. However, it doesn't provide time information that particular frequency occurs in signal and depends on only the global feature of the signal. So, to improve these points the wavelet transform which is capable of multiresolution analysis has been applied to many fields such as speech processing, image processing and computer vision. And the wavelet transform, which uses changing window according to scale parameter, presents time-frequency localization. In this paper, we proposed a new approach using a wavelet of cosine and sine type and analyzed features of signal in a limited point of frequency-time plane.

  • PDF

Optimization of Mobile Robot Predictive Controllers Under General Constraints (일반제한조건의 이동로봇예측제어기 최적화)

  • Park, Jin-Hyun;Choi, Young-Kiu
    • Journal of the Korea Institute of Information and Communication Engineering
    • /
    • v.22 no.4
    • /
    • pp.602-610
    • /
    • 2018
  • The model predictive control is an effective method to optimize the current control input that predicts the current control state and the future error using the predictive model of the control system when the reference trajectory is known. Since the control input can not have a physically infinitely large value, a predictive controller design with constraints should be considered. In addition, the reference model $A_r$ and the weight matrices Q, R that determine the control performance of the predictive controller are not optimized as arbitrarily designated should be considered in the controller design. In this study, we construct a predictive controller of a mobile robot by transforming it into a quadratic programming problem with constraints, The control performance of the mobile robot can be improved by optimizing the control parameters of the predictive controller that determines the control performance of the mobile robot using genetic algorithm. Through the computer simulation, the superiority of the proposed method is confirmed by comparing with the existing method.

A Study on Detectors and Interference Models for 2-D OCDMA Networks (2-D OCDMA LAN에서의 검출기와 간섭 모델의 성능에 대한 비교 연구)

  • Yun, Yong-Chul;Choe, Jin-Woo;Sung, Won-Jin
    • The Journal of Korean Institute of Communications and Information Sciences
    • /
    • v.28 no.4B
    • /
    • pp.245-256
    • /
    • 2003
  • 2-D OCDMA is considered to be a viable technical solution for optical LANs, and a considerable amount of research effort has been devoted to various 2-D OCDMA techniques. In this paper, we propose two new interference model for 2-D OCDMA LANs employing unipolar random codes, and derive maximum-likelihood detectors based on these interference models. The BER performance of the maximum likelihood detectors and that of other existing detectors are compared through extensive computer simulation. In addition, the complexity of high-speed implementation of the detectors is assessed, and as a result, we found that the AND detector and the maximum-likelihood detectors for the pulse-binomial and the pulse-Poisson model offer the best trade-off between the BER performance and the facility of high-speed implementation.

A Study on a Reliable Cooperative MAC Protocol for Ad Hoc Networks (채널오류에 강한 애드혹 네트워크용 협력통신 MAC 프로토콜에 관한 연구)

  • Jang, Jae-Shin
    • The Journal of Korean Institute of Communications and Information Sciences
    • /
    • v.35 no.6A
    • /
    • pp.577-584
    • /
    • 2010
  • In this paper, a cooperative MAC protocol that is reliable over bad wireless channel environments and thus can enhance the system performance much more is proposed. Its performance is evaluated with the computer simulation. The system throughput and average waiting delay are used as performance measures. According to numerical results, the proposed MAC protocol provides better system throughput by 24% than the traditional rDCF scheme. From the average waiting delay point of view, when the number of terminals is small, the proposed MAC protocol has the better performance in an average view-point than the rDCF scheme. However, when the number of terminals is large, the proposed MAC protocol provides a little worse performance than the rDCF scheme. That is because, when the number of terminals is large, the dominant factor affecting the system performance is channel contention procedure, which results in lots of collisions. However, if the queuing delays in the waiting buffers are included for calculating the average waiting delay, then the total system delay will be smaller than the rDCF scheme.

A Spatio-Temporal Geocasting Protocol Using Regional Caching in Vehicular Ad-Hoc Networks (VANET 망에서 지역적 캐싱을 이용하는 시공간 지오캐스팅 프로토콜)

  • Lee, Hyunkyu;Shin, Yongje;Choi, Hyunsuk;Lee, Euisin;Park, Soochang
    • KIPS Transactions on Computer and Communication Systems
    • /
    • v.7 no.6
    • /
    • pp.137-144
    • /
    • 2018
  • Vehicular Ad-hoc Networks (VANETS) have enabled to provide a variety of applications such as accident notification, content usage, etc. These applications have spatio-temporal data which have an interesting region and a lifetime according to their properties. However, geocasting protocols to deliver data to an interesting region can provide data to all vehicles in the region through a single transmission only at the current time, but cannot provide data to vehicles passing through the region during the lifetime of the data. Thus, we propose a spatio-temporal geocasting protocol called STGP using a regional caching scheme to send data to vehicles in an interesting region during a data lifetime in VANETs. For efficient and reliable regional caching, the proposed protocol uses the beacon-based data sharing, the extra caching elimination, and the distance-based caching exchange. Simulation results verify that the proposed protocol achieves more reliable and efficient data delivery compared with the existing protocol.