• 제목/요약/키워드: Windows System

검색결과 1,449건 처리시간 0.026초

객체행위챠트를 위한 LOTOS 정형기법 기반 시각적 시뮬레이션 도구의 개발 (Development of a Visual Simulation Tool for Object Behavior Chart based on LOTOS Formalism)

  • 이광용;오영배
    • 한국정보과학회논문지:컴퓨팅의 실제 및 레터
    • /
    • 제5권5호
    • /
    • pp.595-610
    • /
    • 1999
  • 본 논문에서는 기존 실시간 객체행위 설계기법에 의해 개발된 객체행위챠트의 설계의미를 검증 확인하기 위한 시각적 시뮬레이션 도구를 제안한다. 이 도구의 특징은 실행 가능한 시뮬레이션 기계 즉, 확장된 유한상태기계 생성에 의한 객체들간의 동적인 상호작용을 시각적으로 시뮬레이션할 수 있게 하며, 실제 시스템 구현에 앞서 시각적 객체행위챠트에 여러 가지 논리적, 시간적 문제들을 검출할 수 있게 하는 것이다. 이를 위해, 이 도구에서는 시각적 객체행위챠트로부터 LOTOS 정형명세를 자동으로 생성한 다음 그 명세를 확장된 유한상태기계로 변환한다. 이 도구는 Visual C++ 버전 4.2로 개발되었으며, 현재 PC 윈도우95 환경에서 수행된다. 그리고, 특별히 시뮬레이션을 위해 LOTOS 정형성을 이용하였는데, 이것은 LOTOS의 통신 프로토콜 표현력이 다른 정형언어들에 비해 우수성이 있기 때문이다. 본 연구는 방법론 기반 시각모델과 정형기법 기반 시뮬레이션 기술의 연결이라는 점과 시각모델의 자동화된 검증 확인 기술의 실현이라는 점에서 기여한다.

스트리밍 XML 데이타에서 영역 윈도우를 사용한 조인 질의의 범위 최소화 기법 (Scope Minimization of Join Queries using a Range Window on Streaming XML Data)

  • 박석;김미선
    • 한국정보과학회논문지:데이타베이스
    • /
    • 제33권2호
    • /
    • pp.224-238
    • /
    • 2006
  • XML이 인터넷 상에서 데이타 교환의 표준으로 자리매김하면서 스트리밍 환경의 XML 데이타에 대한 효과적인 조인 질의 처리도 증가하고 있다. 튜플 단위로 처리하는 기존의 데이타베이스 기법을 스트리밍 XML 데이타에 적용했을 때 제한된 메모리 사용에 따른 메모리 한계를 초과하는 문제가 발생한다. 또한 구조적인 특징을 가지는 XML 데이타에 대한 질의 경로 탐색 및 특정 부분 데이타에 대한 접근에 소모되는 처리 비용이 급격히 증가하는 문제가 발생하게 된다. 근본적으로 전체 데이타가 아닌 부분 데이타를 저장하고 질의 처리해야 하는 스트리밍 환경에 적용하기에는 부적절하다. 따라서 스트리밍 XML 데이타에 맞는 저장 기법으로 적은 메모리의 사용을 통해 빠르게 조인 프레디킷을 만족하는 부분 스트리밍 데이타를 검색할 수 있는 새로운 기법이 요구된다. 본 논문에서는 적은 메모리 사용을 위한 저장 기법을 위해 PCDATA와 CDATA에 해당되는 부분만을 추출하여 저장한다. 그리고 빠른 조인 프레디킷(Predicate) 비교를 위해 DTD의 구조정보 중 지시자(Cardinality) "*" 와 "+"를 기초하여 영역 윈도우(Range Window)를 설정하여 질의에 만족하는 윈도우만을 선택적으로 조인하는 기법을 제안하여 문제를 해결한다.

SGML 문서 저작 도구 (An SGML Document Authoring Tool)

  • 안보희;유재우;송후봉
    • 한국정보처리학회논문지
    • /
    • 제6권2호
    • /
    • pp.512-521
    • /
    • 1999
  • ISO 8879로 정의된 SGML은 문서의 논리적 구조를 정의하는 메타언어로서 전자문서의 기본 형식으로 많이 사용되고 있다. SGML 문서는 문서구조 정의와 이에 따라 작성된 실제문서로 구성되므로 저작 도구는 문서구조와 실제문서를 모두 작성하고 검증할 수 있어야 한다. 그러나 SGML 문서처리를 위한 정형화된 모델과 절차가 존재하지 않으므로 이러한 도구의 구성이 쉽지 않다. 본 연구에서는 SGML 구문분석기, 문서구조 정의를 위한 편집기, SGML 문서 편집기 및 형식 편집기 등으로 구성된 모형과 각 구성 요소의 정형화된 처리 방법을 제안하고 구현하였다. 사용자의 편의를 위하여 아이콘 기반의 시각 프로그래밍 기법을 사용하였으며, 한글 문제점들을 해결하는 통합적 문서 저작 환경을 윈도우즈 NT 시스템에서 java와 C++ 언어를 사용하여 구현하였다.

  • PDF

AUTOMATIC PRECISION CORRECTION OF SATELLITE IMAGES

  • Im, Yong-Jo;Kim, Tae-Jung
    • 대한원격탐사학회:학술대회논문집
    • /
    • 대한원격탐사학회 2002년도 Proceedings of International Symposium on Remote Sensing
    • /
    • pp.40-44
    • /
    • 2002
  • Precision correction is the process of geometrically aligning images to a reference coordinate system using GCPs(Ground Control Points). Many applications of remote sensing data, such as change detection, mapping and environmental monitoring, rely on the accuracy of precision correction. However it is a very time consuming and laborious process. It requires GCP collection, the identification of image points and their corresponding reference coordinates. At typical satellite ground stations, GCP collection requires most of man-powers in processing satellite images. A method of automatic registration of satellite images is demanding. In this paper, we propose a new algorithm for automatic precision correction by GCP chips and RANSAC(Random Sample Consensus). The algorithm is divided into two major steps. The first one is the automated generation of ground control points. An automated stereo matching based on normalized cross correlation will be used. We have improved the accuracy of stereo matching by determining the size and shape of match windows according to incidence angle and scene orientation from ancillary data. The second one is the robust estimation of mapping function from control points. We used the RANSAC algorithm for this step and effectively removed the outliers of matching results. We carried out experiments with SPOT images over three test sites which were taken at different time and look-angle with each other. Left image was used to select UP chipsets and right image to match against GCP chipsets and perform automatic registration. In result, we could show that our approach of automated matching and robust estimation worked well for automated registration.

  • PDF

F. L. Wright의 주택특성과 실내디자인 요소분석에 관한 연구 (A Study on the Characteristics of Interior Elements of Frank Lloyd Wright's Residential Design)

  • 서수경
    • 한국실내디자인학회논문집
    • /
    • 제5호
    • /
    • pp.45-52
    • /
    • 1995
  • Frank Lloyd Wright, a master of the 20th Century Ar-chitecture, contributed tremendously in creating a wholly new form of American architecture called Prairie Style. His idea behind the development of the building structur-al system, organic relationships between inner and outer space, horizontal vertical lines, and idea of extending and expanding interior spaces came from nature. He had completed over 390 projects throughout his life and 90% of those projects were residential design. The most typical characteristic shared by many of his residential design was that each design element, whether it is functional or aesthetical, has close relationship to or-ganic nature, human scale, theoretical floor plants, and maximum emphasis on horizontal lines in respect to na-ture. His concept of "flow of spaces" reformed common the-ory of room next to room in a enclosed space. His sense of "wall" was no longer the side of a box. Careful selec-tion of finishing materials, colors, and natural images en-hance the design as well. F.L. Wright was an artist, designer, and architect who believed the exterior space should have direct relationship to the interior space. His architectural philosophy was not only to design exterior of architecture but also to ful-fill his space through the careful development of interior elements such as furniture, and lighting fixture. Even the patterns for leaded glass windows were designed to have unified appearance from outside to inside of the house. The objective of this study was to analyze floor plans, spatial organizations, and interior design elements of the houses which represent the best of F.L. Wright's design principles and philosophy behind Prairie Style. The meth-od used to collect informations for this study was based on books, articles, journals, and actual site visits. actual site visits.

  • PDF

Biomechanical Analysis of Golf Driver Swing Motion According to Gender

  • Bae, Kang Ho;Lee, Joong Sook;Han, Ki Hoon;Shin, Jin Hyung
    • 한국운동역학회지
    • /
    • 제28권1호
    • /
    • pp.1-8
    • /
    • 2018
  • Objective: The purpose of this study is to investigate the differences in biomechanical variables of golf driving motion according to gender. Method: A total of 21 healthy golfers (11 men and 10 women) who have more than 5 years of professional experience and have been registered in the Korea Golf Association was recruited. A 250-Hz 8-camera motion capture system (MX-T20, Vicon, LA, USA) was used to capture the motion trajectories of a total of 42 reflective markers attached to the golfer's body and club. Moreover, two 1,000-Hz AMTI force plates (AMTI OR6-7-400, AMTI, MA, USA) were used to measure the ground reaction force. The mean and standard deviation for each parameter were then calculated for both groups of 21 subjects. SPSS Windows version 23.0 was used for statistical analysis. The independent t-test was used to determine the differences between groups. An alpha level of .05 was utilized in all tests. Results: There were differences in joint angles according to gender during golf driver swing. Men showed a statistically significantly higher peak joint angle and maximum range of angle in sagittal and frontal axis of the pelvis, hip, and knee. Moreover, women's swing of the pelvis and hips was found to have a pattern using the peak joint angle and range of angle in the vertical axis of the pelvis and hip. There were the differences in peak joint moment according to gender during golf driver swing. Men used higher joint moment in the downswing phase than women in the extensor, abductor, and external rotator muscles of the right hip; flexor and adductor muscles of left hip joint; and flexor and extensor muscles of the right knee. Conclusion: This result reveals that male golfers conducted driver swing using stronger force of the lower body and ground reaction force based on strength of hip and thigh than female golfers.

배뇨장애를 호소하는 여성의 자율신경계 특성과 요검사와의 상관관계 분석 (Correlation between Heart Rate Variability and Urine Analysis of Women with Urinary Disturbance)

  • 박경선;이진무;이창훈;조정훈;장준복;이경섭
    • 대한한방부인과학회지
    • /
    • 제24권1호
    • /
    • pp.74-86
    • /
    • 2011
  • Objectives: The purpose of this study was to examine correlation between Heart Rate Variability and urine analysis of women with urinary disturbance. Methods: We studied 34 patients visiting ${\bigcirc}{\bigcirc}$hospital from January 2010 to September 2010. The subjects were categorized in two groups, symptom group (n=11) and no symptom group(n=23). We studied the difference of Heart Rate Variability and urine analysis between two groups by Student T-test and correlation between Heart Rate Variability and urine analysis by Pearson's correlation coefficient test using SPSS for windows (version 17.0). Results: Occult blood of symptom group was significantly higher than no symptom group. SDNN, TP and HF of symptom group was significantly lower than no symptom group. Occult blood and SDNN, occult blood and RMS-SD, occult blood and HF significantly showed negative correlation coefficient. pH and TP, pH and LF significantly showed positive correlation coefficient. Conclusion: The results suggest that urinary disturbance can be related to decreased activity of autonomic nervous system. Also urine from women with urinary disturbance tend to show higher occult blood.

Shielding design and analyses of the cold neutron guide hall for the KIPT neutron source facility

  • Zhong, Zhaopeng;Gohar, Yousry
    • Nuclear Engineering and Technology
    • /
    • 제50권6호
    • /
    • pp.989-995
    • /
    • 2018
  • Argonne National Laboratory of the United States and Kharkov Institute of Physics and Technology (KIPT) of Ukraine have cooperated on the development, design, and construction of a neutron source facility. The facility was constructed at Kharkov, Ukraine, and its commissioning process is underway. The facility will be used for researches, producing medical isotopes, and training young nuclear specialists. The neutron source facility is designed with a provision to include a cryogenically cooled moderator system-a cold neutron source (CNS). This CNS provides low-energy neutrons, which will be used in the scattering experiment and material structures analysis. Cold neutron guides, coated with reflective material for the low-energy neutrons, will be used to transport the cold neutrons to the experimental site. The cold neutron guides would keep the cold neutrons within certain energy and angular space concentrated inside, while most of the gamma rays and high-energy neutrons are not affected by the cold neutron guides. For the KIPT design, the cold neutron guides need to extend several meters outside the main shield of the facility, and curved guides will also be used to remove the gamma and high-energy neutron. The neutron guides should be installed inside a shield structure to ensure an acceptable biological dose in the facility hall. Heavy concrete is the selected shielding material because of its acceptable performance and cost. Shield design analysis was carried out for the CNS guide hall. MCNPX was used as the major computation tool for the design analysis, with neutron and gamma dose calculated separately. Weight windows variance reduction technique was also used in the shield design. The goal of the shield design is to keep the total radiation dose below the $5.0{\mu}Sv/hr$ guideline outside the shield boundary. After a series of iterative MCNPX calculations, the shield configuration and parameters of CNS guide hall were determined and presented in this article.

관심영역 추출과 통합에 의한 적외선 영상 분할 (Infrared Image Segmentation by Extracting and Merging Region of Interest)

  • 염석원
    • 한국지능시스템학회논문지
    • /
    • 제26권6호
    • /
    • pp.493-497
    • /
    • 2016
  • 적외선 영상은 야간에 표적의 탐지가 가능하여 보완과 감시분야에 활용도가 높다. 그러나 가시광선 영상에 비하여 해상도가 낮고 잡음의 영향이 크다는 단점이 있다. 본 논문에서는 적외선 영상의 표적을 분할하는 방법을 연구한다. 표적을 포함하는 다수의 관심영역(Region of Interest)을 다단계 분할 방법을 이용하여 추출하고 관심영역을 입력영상으로 다단계 분할방법을 다시 적용하여 표적을 분할한다. 다단계 분할 방법의 각 단계는 가우시안 혼합모델의 파라미터를 초기화 하고 추정하는 k-means 클러스터링(Clustering)과 EM(Expectation-Maximization) 알고리즘과 추정된 사후확률을 이용하여 각 화소의 클러스터를 결정하는 단계로 구성된다. 본 논문에서 추출된 관심영역을 선택하고 통합하는 방법을 제안한다. 관심영역의 통합은 근접한 모든 관심영역의 윈도우를 포함하도록 이루어진다. 실험에서는 야간의 보행자로부터 획득한 적외선 영상에 제안된 방법을 적용하고 다른 분할 방법과 비교하여 제안한 방법이 우수함을 보인다.

자동차 선도장을 위한 롤코팅 공정에서 고분자 도료의 동적 거동 및 불안정성 (Dynamics and Instability of a Polymeric Paint in Roll Coating Process for Automotive Pre-coating Application)

  • 김진호;이인준;노승만;강충열;남준현;정현욱;박종명
    • 폴리머
    • /
    • 제35권6호
    • /
    • pp.574-579
    • /
    • 2011
  • 자동차 선도장 강판을 위한 핵심 응용기술로서 3-롤코팅 공정을 연구하였다. 본 연구를 위한 3-롤코팅은 저장조로부터 코팅액을 끌어 올리는 pick-up롤, 적절한 코팅 두께로 계량시키기 위한 계량롤, 강판에 직접 코팅시키기 위한 applicator 롤로 구성되어 있다. 전단담화의 유변물성을 갖는 고분자 도료의 코팅 유동 특성과 코팅 운전 영역을 pickup 롤과 계량롤 사이의 속도비와 간격 등의 공정조건과의 상관관계를 통해 고찰하였다. 안정한 코팅 영역에서, 간격이 크거나 속도비가 작을수록 코팅 두께는 증가하였다. 또한, ribbing과 cascade라는 불안정성은 각각 속도비가 낮고 높을 때 관찰되었다. 특히, 속도비가 낮을때, ribbing의 파장과 심각도가 증가함을 확인하였다.