• 한국정보과학회논문지:컴퓨팅의 실제 및 레터
• /
• 제11권5호
• /
• pp.436-450
• /
• 2005

기존의 B2B, B2C 컴퓨터 시스템 및 애플리케이션은 클라이언트-서버 기반으로 비즈니스 거래가 이루어 졌으며, 개인 디바이스에서 메인프레임에 이르기까지 상이한 하드웨어와 소프트웨어로 구성되었다. 최근 온라인으로 비즈니스 거래가 활발해지면서 데이터, 애플리케이션, 하드웨어의 통합과 호환성이 중요한 문제로 대두되고 있다. 이 논문은 e-비즈니스의 한 분야인 통합물류 시스템에서 온라인 비즈니스 거래시 상호운용성 문제를 해결하기 위하여, 메시지 전송시스템과 문서변환 시스템을 설계하고 구현한다. 메시지 전송시스템은 국가간 전자상거래 표준인 ebXML의 비즈니스 메시지 교환에 사용되는 ebMS 2.0과 이기종간에 안전한 메시지 전송이 가능한 J2EE의 JMS를 통합하였다. 그리고 문서변환 시스템은 XML 기반 표준-비표준 물류문서를 교환하도록 하였으며 메시지 송수신 시스템과 통합 후 웹 서비스를 제공한다. 우리는 시스템 테스트를 위해 비즈니스 시나리오와 테스트 데이터를 이용하여 상호운용성과 시스템 안정성을 보였다. 또한 시스템 적합성 인증을 위해 ebXML 아시아 위원회 ITG 그룹과 테스트를 수행하였으며 기존 시스템과 비교 평가하였다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제28권3호
• /
• pp.211-223
• /
• 2001

본 논문에서 제안하는 시나리오기반 검증기법의 목적은 UML로 작성된 객체지향 분석모델의 완전성 및 일관성을 진단하는 것이다. 검증기법의 전체 절차는 요구분석을 위한 Use Case 모델링 과정에서 생성되는 Use Case 시나리오와 UML 분석모델로부터 역공학적 방법으로 도출된 객체행위 시나리오와의 상호참조과정 및 시나리오 정보트리 추적과정을 이용하여 단계적으로 수행된다. 본 검증절차를 위하여 우선, UML로 작성된 객체지향 분석모델들은 우선 정형명세언어를 사용하여 Use Case 정형명세로 변환하다. 그 다음에, Use Case 정형명세로부터 해당 Use Case 내의 객체의 정적구조를 표현하는 시나리오 정보트리를 구축하고, Use Case 정형명세 내에 포함되어 있는 객체 동적행위 정보인 메시지 순차에 따라 개별 시나리오흐름을 시나리오 정보트리에 표현한다. 마지막으로 시나리오 정보트리 추적과 시나리오 정보 테이블 참조과정을 중심으로 완전성 및 일관성 검증작업을 수행한다. 즉, 검증하고자 하는 해당 Use Case의 시나리오 정보트리를 이용한 시나리오 추적과정을 통해 생성되는 객체행위 시나리오와 요구분석 과정에서 도출되는 Use Case 시나리오와의 일치여부를 조사하여 분석모델과 사용자 요구사양과의 완전성을 검사한다. 그리고, 시나리오 추적과정을 통해 수집되는 시나리오 관련종보들을 가지고 시나리오 정보 테이블을 작성한 후, 분석과정에서 작성된 클래스 관련정보들의 시나리오 포함 여부를 확인하여 분석모델의 일관성을 검사한다. 한편, 본 논문에서 제안하는 검증기법의 효용성을 증명하기 위해 대학의 수강등록시스템 개발을 위해 UML을 이용해 작성된 분석모델을 특정한 사례로써 적용하여 보았다. 프로세싱 오버헤드 및 메모리와 대역폭 요구량 측면에서 MARS 모델보다 유리함을 알 수 있었다.과는 본 논문에서 제안된 프리페칭 기법이 효율적으로 peak bandwidth를 줄일 수 있다는 것을 나타낸다.ore complicate such a prediction. Although these overestimation sources have been attacked in many existing analysis techniques, we cannot find in the literature any description about questions like which one is most important. Thus, in this paper, we quantitatively analyze the impacts of overestimation sources on the accuracy of the worst case timing analysis. Using the results, we can identify dominant overestimation sources that should be analyzed more accurately to get tighter WCET estimations. To make our method independent of any existing analysis techniques, we use simulation based methodology. We have implemented a MIPS R3000 simulator equipped with several switches, each of which determines the accuracy level of the

• 정보처리학회논문지:컴퓨터 및 통신 시스템
• /
• 제6권8호
• /
• pp.343-352
• /
• 2017

OPC UA로 명명된 국제 표준 IEC62541은 스마트 그리드(Smart Grid)와 스마트 팩토리(Smart Factory)의 응용 플랫폼을 위한 통신 프로토콜이다. 2011년 IEC TC57 그룹에서 표준화되었으며, 다른 표준들과의 협업을 통해 점차 사용범위를 넓히고 있다. 전기자동차 보급을 위한 정부 차원의 노력("전기차 충전인프라 확산 캠페인")으로 인해 스마트 팩토리에서 충전을 시도하는 전기자동차의 수는 점차적으로 증가할 것을 예상된다. 제어되지 않는 무분별한 전기자동차 충전으로 인해 스마트 팩토리의 최대수요전력을 초과하는 문제를 발생시킬 수 있다. 그러므로 스마트 팩토리 내에 전기자동차 충전 시 피크부하를 관리할 필요성이 있다. 그러나 현재의 전기자동차 충전을 위한 표준은 스마트 팩토리의 통신 프로토콜과 다르다. 다시 말해서, 편의성을 높이고, 부담을 줄 일 수 있는 프로토콜의 개발 또는 호환성 제공에 관한 연구가 필요하다. 본 논문은 스마트 팩토리에 설치되는 전기자동차 충전 시스템을 스마트 팩토리 관리시스템과 통합 관리하기 위한 플랫폼에 관한 것이다. 본 논문에서는 IEC61851과 IEC62541에 기반을 둔 전기자동차 충전기 관리 시스템을 구현한다.

• 정보처리학회논문지:컴퓨터 및 통신 시스템
• /
• 제3권10호
• /
• pp.337-350
• /
• 2014

사물 인터넷(Internet-of-Things, IoT)은 무선 인터넷을 기반으로 다양한 디바이스를 연결하고 센서를 통해 환경 정보를 획득하고 이를 기반으로 제어하는 여러 기술이 융합된 컴퓨팅 패러다임이다. IoT 환경에서 애플리케이션은 네트워크에 연결된 여러 디바이스들을 이용하여 사용자에게 유용한 정보와 편의를 제공할 수 있다. IoT 디바이스들은 단순한 정보를 제공하기도 하고, 다수의 디바이스들의 협업에 의한 서비스를 제공하기도 한다. 즉, IoT 애플리케이션은 빠르게 보급되고 있는 IoT 디바이스와 같이 상호작용한다. 이런 이유로 IoT 애플리케이션의 개발은 소프트웨어 기능만으로 구성된 소프트웨어 시스템 개발에는 나타나지 않는 비전형적인 기술적 이슈를 가지고 있다. 나아가 임베디드 컴퓨팅, 모바일 컴퓨팅 등의 패러다임과도 구별되기 때문에, 기존 형태의 시스템 개발에서 볼 수 없었던 이슈를 가지고 있다. 본 논문은 IoT 애플리케이션 개발에서 발생하는 기술적 어려움을 분석하고, 이들을 효과적으로 해결할 수 있는 기법들을 제시한다. 제시된 이슈들과 기법들을 검증하기 위하여, IoT 애플리케이션을 개발한 사례연구 결과를 보여준다. 이를 통하여, IoT 애플리케이션 개발의 비전형적인 기술적 이슈들이 구체적으로 어떻게 발생하여, 제시된 솔루션들이 어떻게 효과적으로 적용되었는지 분석한다.

• Asian Pacific Journal of Cancer Prevention
• /
• 제17권12호
• /
• pp.5287-5294
• /
• 2016

Background: Breast cancer is a worldwide public health concern and is the most prevalent type of cancer in women in the United States. This study concerned the best fit of statistical probability models on the basis of survival times for nine state cancer registries: California, Connecticut, Georgia, Hawaii, Iowa, Michigan, New Mexico, Utah, and Washington. Materials and Methods: A probability random sampling method was applied to select and extract records of 2,000 breast cancer patients from the Surveillance Epidemiology and End Results (SEER) database for each of the nine state cancer registries used in this study. EasyFit software was utilized to identify the best probability models by using goodness of fit tests, and to estimate parameters for various statistical probability distributions that fit survival data. Results: Statistical analysis for the summary of statistics is reported for each of the states for the years 1973 to 2012. Kolmogorov-Smirnov, Anderson-Darling, and Chi-squared goodness of fit test values were used for survival data, the highest values of goodness of fit statistics being considered indicative of the best fit survival model for each state. Conclusions: It was found that California, Connecticut, Georgia, Iowa, New Mexico, and Washington followed the Burr probability distribution, while the Dagum probability distribution gave the best fit for Michigan and Utah, and Hawaii followed the Gamma probability distribution. These findings highlight differences between states through selected sociodemographic variables and also demonstrate probability modeling differences in breast cancer survival times. The results of this study can be used to guide healthcare providers and researchers for further investigations into social and environmental factors in order to reduce the occurrence of and mortality due to breast cancer.

• 한국식품영양과학회지
• /
• 제26권4호
• /
• pp.726-732
• /
• 1997

본 연구에서는 한국인 영양권장량 제 6차 개정에 수록된 자료, 식이 섭취 회상표, 식품의 섭 취량 및 목측량, 일반 상황분석 자료들을 database로 사용하여 하루 동안 섭취한 식품 및 영양소 함량을 신속하게 분석하고, 신체에 대한 일반 상황을 진단 및 평가할 수 있는 프로 그램을 개발하였다. 사용자는 개인자료입력 항목에 자 신의 이름, 성 별, 나이, 키, 체중 및 활동 정도를 입력하므로서 자신의 체중 범위, 표준 체중, 비만도, 기초 대사량, 체중과 활동 정도에 따른 열량 필요량, 1일 열량 필요량 및 이들의 섭취 열랑과의 과부족을 비교 평가한 자료를 얻을 수 있으며, 만약 사용자가 비만이 라면 체 중을 감소하기 위한 1일 열량 필요량도 얻을 수 있다 또한 음식 입력 항목에 자신이 섭취한 식품들을 24시간 식이섭취 회상법에 의하여 입력하므로서 식사구성안의 식품군별로 섭취횟수가 분석된 후 한국인 영양권장량 6차 개정안에 설정된 표준 섭취 횟수와 비교 평가되었다. 식사구성안의 식품군별 섭취량은 각각 열량 및 영양소별로 분석 평가되었고, 1일 영양소 섭취량을 권장량에 대하여 그래프로 나타내므로서 섭취된 영양소의 과부족을 쉽게 이 해할 수 있게 하였다. 식이지방질은 그 구성지방산의 종류에 따라 인체에 미치는 영향이 다르기 때문에 지방질 섭취상태를 분석함으로서 자신의 콜레스테롤 및 구성지방산의 섭취상태를 파악할 수 있도록 하였다. 식사별 열량 및 영양소 섭취상태를 분석하여 각각의 영양소들이 어느 식사에서 섭취되는지를 쉽게 파악할 수 있게 하였으며, 식사별 열량영양소 섭취에 대한 구성비를 그래픽 분석하여 매 식사 때마다 섭취되는 열량영양소의 비율을 그림으로 쉽게 평가할 수 있도록 하였다. 따라서 본 프로그램을 이용함으로서 개인과 집단의 식품 및 영양소 섭취상태에 대한 분석 평가를 신속하게 처리할 수 있을 뿐 아니라 균형 잡힌 식단을 계획하는데 유용한 자료로 이용될 수 있다.

• 대한원격탐사학회지
• /
• 제13권1호
• /
• pp.13-30
• /
• 1997

초 미세 분광 분해능 센서, 고 공간 분해능 센서로 대표되는 최근의 위성 센서의 실용화 로, 향후 획득되는 위성 영상은 최소 수백 MB/scene 정도의 막대한 양이 될 것으로 예상된다. 또 한, 인터넷 및 초고속 정보망을 이용한 각종 정보의 활발한 교환은 보다 능동적인 형태의 위성영 상의 가공, 분석, 부가가치 정보 생산이 가능한 서비스 시스템의 개발을 요구한다. 본 연구에서는 향후 예상되는 위성 센서의 개발 방향과 이를 처리하기 위하여 고려되어야 할 미래지향적인 개념 인, 객체 파이프를 통한 자료의 입출력, 다중 쓰레드를 활용한 자료 처리 구조에 대하여 분석하 고, 인터넷 언어인 자바를 이용하여 개발 중에 있는, 위성 영상 처리 및 분석 시스템(GeoPixel 1.0)에 대하여 설명한다. 이 시스템은 인터넷 상에서 사용이 가능하며, 사용자 플랫폼에 독립적으 로, 상당 부분이 위성자료 분석 모듈들이 구현되어 있다. 대용량 위성 영상 처리를 위하여 본 연 구에서 개발된 다중쓰레딩, 객체 파이프와 같은 새로운 자료 처리 개념을 이용한 시스템의 개발 로 보다 효율적인 컴퓨터 자원(CPU 시간과 메모리)의 활용과 처리 속도면에서의 향상이 기대된 다.

• 정보교육학회논문지
• /
• 제23권5호
• /
• pp.469-480
• /
• 2019

새로운 2015 개정 교육과정이 추구하고 있는 목적 중의 하나는 4차 산업혁명 시대에 살아갈 학생들이 기본 학습 능력의 바탕 위에 다양한 발상과 도전으로 새로운 것을 창출하는 창의성을 기르는 것이다. 이에 따라 주어진 문제들을 합리적으로 해결하기 위하여 다양한 영역의 지식과 정보를 처리하고 활용할 수 있는 융합적 문제해결 역량이 중요시되고 있다. 이에 본 연구에서는 틴커캐드(Tinkercad) 모델링을 기반으로 하여 3D프린터를 활용한 융합교육을 설계하고 이를 수업에 적용하여 초등학생의 컴퓨팅 사고력 증진에 미치는 영향을 알아보았다. 연구 내용을 검증하기 위해 초등학교 6학년 25명 2개 반을 실험집단과 통제집단으로 나누고 실험집단에는 약 3개월간 3D프린터를 활용한 융합교육 프로그램 12차시를 적용하고, 통제집단에는 같은 시기 동안 동일 주제의 강의식 교과 수업을 진행하였다. 그 후에 컴퓨팅 사고력 검사 도구를 투입하여 사전-사후 검사로 t-검정을 실시하고 그 효과성을 알아보았다. 프로그램 적용 후 사후 검사에서 실험집단은 컴퓨팅 사고력이 통계적으로 유의하게 향상 되었으나, 통제집단은 통계적으로 유의한 차이가 없었다. 이 결과를 통해 틴커캐드 모델링 기반의 3D프린터를 활용한 융합교육이 초등학생의 컴퓨팅 사고력 증진에 긍정적인 영향을 미치는 것으로 보인다.

• Structural Engineering and Mechanics
• /
• 제50권5호
• /
• pp.589-603
• /
• 2014

Expressions for determining the value of the impact force as reported in the literature and incorporated into code provisions are essentially quasi-static forces for emulating deflection. Quasi-static forces are not to be confused with contact force which is generated in the vicinity of the point of contact between the impactor and target, and contact force is responsible for damage featuring perforation and denting. The distinction between the two types of forces in the context of impact actions is not widely understood and few guidelines have been developed for their estimation. The value of the contact force can be many times higher than that of the quasi-static force and lasts for a matter of a few milli-seconds whereas the deflection of the target can evolve over a much longer time span. The stiffer the impactor the shorter the period of time to deliver the impulsive action onto the target and consequently the higher the peak value of the contact force. This phenomenon is not taken into account by any contemporary codified method of modelling impact actions which are mostly based on the considerations of momentum and energy principles. Computer software such as LS-DYNA has the capability of predicting contact force but the dynamic stiffness parameters of the impactor material which is required for input into the program has not been documented for debris materials. The alternative, direct, approach for an accurate evaluation of the damage potential of an impact scenario is by physical experimentation. However, it can be difficult to extrapolate observations from laboratory testings to behaviour in real scenarios when the underlying principles have not been established. Contact force is also difficult to measure. Thus, the amount of useful information that can be retrieved from isolated impact experiments to guide design and to quantify risk is very limited. In this paper, practical methods for estimating the amount of contact force that can be generated by the impact of a fallen debris object are introduced along with the governing principles. An experimental-calibration procedure forming part of the assessment procedure has also been verified.

• 한국정보전자통신기술학회논문지
• /
• 제14권2호
• /
• pp.134-139
• /
• 2021

현재 자율주행차량 시장은 3레벨 자율주행차량을 상용화하고 있으나, 여전히 운전자의 주의를 필요로 한다. 3레벨 자율주행 이후 4레벨 자율주행차량에서 가장 주목되는 부분은 차량의 안정성이다. 3레벨과 다르게 4레벨 이후의 자율주행차량은 운전자의 부주의까지 포함하여 자율주행을 실시해야 하기 때문이다. 따라서 본 논문에서는 운전자가 부주의한 상황에서 긴급상황을 알리고 운전자의 반응을 인식하는 자율차량 안전을 위한 긴급상황 알림 및 운전자 반응 확인 시스템을 제안한다. 긴급상황 알림 및 운전자 반응 확인 시스템은 긴급상황 전달 모듈을 사용하여 긴급상황을 텍스트화하여 운전자에게 음성으로 전달하며 운전자 반응 확인 모듈을 사용하여 긴급상황에 대한 운전자의 반응을 인식하고 운전 권한을 운전자에게 넘길지 결정한다. 실험 결과, 긴급상황 전달 모듈의 HMM은 RNN보다 25%, LSTM보다 42.86% 빠른 속도로 음성을 학습했다. 운전자 반응 확인 모듈의 Tacotron2는 deep voice보다 약 20ms, deep mind 보다 약 50ms 더 빨리 텍스트를 음성으로 변환했다. 따라서 긴급상황 알림 및 운전자 반응 확인 시스템은 효율적으로 신경망 모델을 학습시키고, 실시간으로 운전자의 반응을 확인할 수 있다.