• 한국정보과학회논문지:컴퓨팅의 실제 및 레터
• /
• 제6권2호
• /
• pp.135-149
• /
• 2000

병렬 프로그램 테스팅을 위한 기존의 연구는 대부분 프로그램 수행 중에 얻어진 이벤트 트레이스를 바탕으로 재수행성을 보장하는데 중점을 두고 있다. 반면에 개발과정에서 만들어진 요구 명세로부터 테스트 케이스를 생성하는 방법에 대한 연구는 빈약한 실정이다. 본 연구에서는 통신 소프트웨어 개발분야에서 광범위하게 사용되는 메시지 순차도(MSC)로 작성된 명세로부터 병렬 프로그램의 모듈 테스팅을 위한 테스트 케이스를 자동으로 생성하는 방법을 제안하고 생성된 테스트 케이스를 이용하여 실제 테스팅을 수행할 수 있는 환경을 개발하였다. 명세로부터 테스트 케이스를 자동으로 생성하기 위해서는 명세 내에 묵시적으로 포함되어 있는 이벤트들과 그들 간의 선후 관계를 파악해야 하는데 이를 위해서 본 연구에서는 논리시간벡터를 MSC 명세에 적용하기 위한 방법을 제안하여 이벤트간의 선후 관계인 이벤트 시퀀스를 추출하고 이를 테스트 케이스로 사용한다. 생성된 테스트 케이스는 TTCN 형태로 기술되고 이는 다시 CHILL 소스 코드 형태로 변환되어 테스트 대상이 되는 모듈과 상호 동작하면서 테스팅 대상 모듈의 동작이 기술된 요구 명세의 내용과 합치하는 지를 검사한다. 본 연구에서 개발한 테스팅 방법은 통신소프트웨어 개발 과정에서 산출된 MSC 명세로부터 테스트 케이스를 추출함으로써 테스팅을 위해 별도의 명세를 작성할 필요가 없다. 또한, 논리 시간 벡터를 적용하여 이벤트 시퀀스를 자동 생성할 뿐만 아니라 생성된 이벤트 시퀀스는 시스템 전체의 이벤트 시퀀스로써 독자적인 테스팅 방법으로 사용될 수 있다. TNF-$\alpha$ and NO. These findings suggest that compounds 6 and 11 are modulating various elements of the host immune response.%로서, carbofuran 단독투여와 carbofuran과 PB 또는 3-MC 투여사이에 대사산물의 종류는 같았으나 생성율에는 큰 차이가 있었다. 이와 같은 결과는 쥐에 carbofuran 투여 후 PB나 3-MC를 투여함으로써 carbofuran의 대사가 빠르게 이루어지고, 주 대사산물 중3-hydroxycarbofuran보다 독성 이 낮은 3-ketocarbofuran으로의 대사가 빠르게 이루어지기 때문에 carbofuran의 독성이 경감되어 쥐가 생존할 수 있는 것으로 판단된다.시장젓갈${\lrcorner}$에는 글루타민산, leucine, alanine, lysine의 4종류, ${\ulcorner}$반찬젓갈${\lrcorner}$에는 글루타민산, leucine, alanine의 3종류, ${\ulcorner}$일본병조림젓갈${\lrcorner}$은 글루타민산이 현저하게 많다.회하였다.ollowed fro all Sullungtang samples from Hanwoo. The results showed that the overall quality of Sullungtang significantly decreased

• 한국산학기술학회논문지
• /
• 제6권4호
• /
• pp.315-324
• /
• 2005

VOD(video on demand)란 사용자의 주문에 의한 영상서비스, 즉 주문 형 영상 서비스를 말한다 TV처럼 브로드캐스트(broadcast)하는 기존의 방식을 벗어나, 사용자들이 서버에 저장된 프로그램을 필요에 의해서 볼 수 있다는 의미이다. 현재 VOD 시스템의 클라이언트는 PC 기반이다. PC 기반의 클라이언트는 소프트웨어 MPEG 디코더를 사용하기 때문에 메인 프로세서의 성능에 영향을 받는다. 그리고 PC를 사용할 줄 모르는 사람들은 VOD 서비스를 받을 수 없는 단점이 있다. 본 논문에서는 하드웨어 MPEC-4 디코더를 추가하여 VOD 클라이언트 시스템을 임베디드 형태로 개발하는 과정을 보여주고자 한다. 메인 프로세서는 영상 프로세서가 포함된 national semiconductor 사의 x86 계열인 SC 1200을 사용한다 또한 메모리는 128MByte SDRAM을 사용한다. 또한 인터넷을 이용하여 VOD 서비스를 받을 수 있게 이더넷 컨트롤러를 포함시켰다. 개발된 임베디드 VOD 클라이언트 시스템은 하드웨어 MPEG-4 디코더를 사용하기 때문에 메인 프로세서의 성능을 낮출 수 있었다. 따라서 저가의 시스템으로 개발되었다. 개발된 임베디드 VOD 클라이언트 시스템은 PC를 사용할 줄 모르는 사람들도 쉽게 사용할 수 있게 리모컨으로 쉽게 제어가능하고, TV를 통해 재생할 수 있다.

• 실천공학교육논문지
• /
• 제15권2호
• /
• pp.381-388
• /
• 2023

스프레드시트를 활용한 인공신경망 교육을 통해, 비전공자 학부생들은 인공신경망의 동작 원리을 이해하며 자신만의 인공신경망 SW를 개발할 수 있다. 여기서, 인공신경망의 동작 원리 교육은 훈련데이터의 생성과 정답 라벨의 할당부터 시작한다. 이후, 인공 뉴런의 발화 및 활성화 함수, 입력층과 은닉층 그리고 출력층의 매개변수들로부터 계산되는 출력값을 학습한다. 마지막으로, 최초 정의된 각 훈련데이터의 정답 라벨과 인공신경망이 계산한 출력값 간 오차를 계산하는 과정을 학습하고 오차제곱의 총합을 최소화하는 입력층과 은닉층 그리고 출력층의 매개변수들이 계산되는 과정을 학습한다. 스프레드시트를 활용한 인공신경망 동작 원리 교육을 비전공자 학부생 대상으로 실시하였다. 그리고 이미지 훈련데이터와 기초 인공신경망 개발 결과를 수집하였다. 본 논문에서는 12화소 크기의 소용량 이미지로 두 가지 훈련데이터와 해당 인공신경망 SW를 수집한 결과를 분석하고, 수집한 훈련데이터를 Orange 머신러닝 모델 학습 및 분석 도구에 활용하는 방법과 실행 결과를 제시하였다.

• 정보교육학회논문지
• /
• 제24권4호
• /
• pp.337-367
• /
• 2020

본 연구에서는 미래 인재 양성을 위한 SW교육의 확대 및 차기 개정 교육과정에서 초·중·고의 일관성 있는 SW교육 적용 체계를 마련하기 위해 차세대 SW교육 표준모델을 개발하였다. 2017~2018년 학계에서 수행된 초·중등 SW교육 표준 모델 연구를 바탕으로 국내외 SW교육에 관한 기초 조사 및 분석, 유관기관 및 전문가 공개 포럼, 글로벌 SW교육 워크샵, 대국민 공청회 등을 통해 초·중·고등학교 SW 교육을 위한 일관성 있는 적용 체계를 갖추고, 이후 고등교육 및 산업분야에 연계가능한 차세대 SW교육 표준 모델을 개발하였다.

• 국제초고층학회논문집
• /
• 제1권1호
• /
• pp.37-51
• /
• 2012

New generation of tall and complex buildings systems are now introduced that are reflective of the latest development in materials, design, sustainability, construction, and IT technologies. While the complexity in design is being overcome by the availability and advances in structural analysis tools and readily advanced software, the design of these buildings are still reliant on minimum code requirements that yet to be validated in full scale. The involvement of the author in the design and construction planning of Burj Khalifa since its inception until its completion prompted the author to conceptually develop an extensive survey and real-time structural health monitoring program to validate all the fundamental assumptions mad for the design and construction planning of the tower. The Burj Khalifa Project is the tallest structure ever built by man; the tower is 828 meters tall and comprises of 162 floors above grade and 3 basement levels. Early integration of aerodynamic shaping and wind engineering played a major role in the architectural massing and design of this multi-use tower, where mitigating and taming the dynamic wind effects was one of the most important design criteria established at the onset of the project design. Understanding the structural and foundation system behaviors of the tower are the key fundamental drivers for the development and execution of a state-of-the-art survey and structural health monitoring (SHM) programs. Therefore, the focus of this paper is to discuss the execution of the survey and real-time structural health monitoring programs to confirm the structural behavioral response of the tower during construction stage and during its service life; the monitoring programs included 1) monitoring the tower's foundation system, 2) monitoring the foundation settlement, 3) measuring the strains of the tower vertical elements, 4) measuring the wall and column vertical shortening due to elastic, shrinkage and creep effects, 5) measuring the lateral displacement of the tower under its own gravity loads (including asymmetrical effects) resulting from immediate elastic and long term creep effects, 6) measuring the building lateral movements and dynamic characteristic in real time during construction, 7) measuring the building displacements, accelerations, dynamic characteristics, and structural behavior in real time under building permanent conditions, 8) and monitoring the Pinnacle dynamic behavior and fatigue characteristics. This extensive SHM program has resulted in extensive insight into the structural response of the tower, allowed control the construction process, allowed for the evaluation of the structural response in effective and immediate manner and it allowed for immediate correlation between the measured and the predicted behavior. The survey and SHM programs developed for Burj Khalifa will with no doubt pioneer the use of new survey techniques and the execution of new SHM program concepts as part of the fundamental design of building structures. Moreover, this survey and SHM programs will be benchmarked as a model for the development of future generation of SHM programs for all critical and essential facilities, however, but with much improved devices and technologies, which are now being considered by the author for another tall and complex building development, that is presently under construction.

• 방송공학회논문지
• /
• 제22권4호
• /
• pp.484-495
• /
• 2017

최근 디스플레이 기기의 발전과 기가 네트워크 등의 전송 대역폭 확대로 인해 대형 파노라마 영상, 4K Ultra High-Definition 방송, Ultra-Wide Viewing 영상 등 2K 이상의 초고해상도 영상의 수요가 폭발적으로 증가하고 있다. 이러한 초고해상도 영상은 데이터양이 매우 많기 때문에 부호화 효율이 가장 높은 High Efficiency Video Coding(HEVC) 비디오 부호화 표준을 사용하는 추세이다. HEVC는 가장 최신의 비디오 부호화 표준으로 다양한 부호화 툴을 이용하여 높은 부호화 효율을 제공하지만 복잡도 또한 이전 부호화 표준과 비교하여 매우 높다. 특히 초고해상도 영상을 HEVC 복호기로 실시간 복호화 하는 것은 매우 높은 복잡도를 요구한다. 따라서 본 논문에서는 고해상도 및 초고해상도 영상에 대한 HEVC 복호기의 복호화 속도를 개선시키고자 HEVC에서 지원하는 슬라이스(Slice)와 타일(Tile) 부호화 툴을 사용하여 각 슬라이스 혹은 타일을 동시에 처리하며 디블록킹 필터 과정에서도 소정의 블록 크기만큼 동시에 처리하는 데이터-레벨 병렬 처리 방법을 소개한다. 이는 독립 복호화가 가능한 타일, 슬라이스, 혹은 디블록킹 필터에서 동일 연산을 다중 스레드에 분배하는 방법으로 복호화 속도를 향상 시킬 수 있다. 실험에서 제안 방법이 HEVC 참조 소프트웨어 대비 4K 영상에 대해 최대 2.0배의 복호화 속도 개선을 얻을 수 있음을 보인다.

• International Journal of Computer Science & Network Security
• /
• 제24권7호
• /
• pp.157-169
• /
• 2024

The article presents an analysis of innovative teaching technologies as a way to increase students' competitiveness. The author found that innovative technologies in education are information and communication technologies relying on computer-based learning. The structure, content of educational software, organization of Web-space are important when using innovative teaching technologies in English classes. We conducted the study in several stages: comparative analysis, synthesis, classification and systematization of the results of psychological and pedagogical, educational and methodological research; study of legislative acts, periodicals in order to identify the state of the research issue, and determining the directions of its solution, as well as subject, goal and objectives of the study. We used modelling to create situations of foreign language professional communication of future IT specialists. Empirical methods involved questionnaires used for identifying the motives of professional development and determining the features of the educational activities of future IT specialists in the process of training. The methods of mathematical statistics allowed to scientifically describe and systematize the obtained data, to identify the quantitative relationship between the studied phenomena, to analyse and summarize the results. We conducted a socio-psychological study during 2016 - 2019. It involved 255 first- and fourth-year students of National Technical University of Ukraine "Igor Sikorsky Kyiv Poly-technic Institute." Innovative information and communication technologies that improve the educational and cognitive activity of students, as well as increase the level of their knowledge have become important in teaching a foreign language in higher educational institutions. These technologies include MOODLE - Modular Object-Oriented Dynamic Learning Environment, business game, integrated pedagogical technology, case study technology. Thus, the information-rich learning process in combination with the use of innovative technologies, well-organized e-learning, interactive training courses, multimedia tools improves the program of teaching and learning foreign languages in general, and English in particular, improves the level of knowledge of future IT specialists and motivation to study and learn foreign languages, allows students to use a variety of authentic materials. We state that all these factors influence the process of individualization of learning and contribute to the successful mastery of a foreign language.

• 한국정보통신학회논문지
• /
• 제18권1호
• /
• pp.149-154
• /
• 2014

품질은 양(Quantity) 이나 질(Quality)로 관찰하여 수치로 측정 할 수 있는 서비스 특성이다. QoS란 트래픽이 통신망에서 전달되면서 예측 가능하면서 동시에 최소한으로 보장되어야할 서비스 요구사항이다. 스마트 의료정보시스템 개발에는 스마트 환경에서 기능적 요구사항과 품질을 만족시켜야 할 목표가 존재한다. 스마트 의료정보시스템의 기능도메인은 Patient Module 도메인, 스마트 환경 도메인, RFID Tag와 리더기 간 동작 도메인, Homecare Station 도메인, Clinical Station 도메인으로 구성된다. 본 연구는 각 도메인에서 수행되는 유헬스 서비스 스마트 기능 품질만족도 평가 방법론을 제시한다. QoS 측정기준은 의료정보의 기능적 요구 사항과 품질 요구사항 별로 구분된다. 품질측정 파라메타는 기능적 요구사항 6개 항목과 20개 세부항목이며 품질 요구사항은 5개항목과 20개 세부항목으로 구성된다. 품질평가를 위해 본 연구는 한국형 스마트 의료 정보 품질평가 매트릭스로 2-factor 평가 방법을 제시한다. 본 연구의 전체적인 품질평가 프레임워크는 모든 스마트 의료정보시스템 개발 시 고려해야 할 의료정보 특유의 품질에 대한 기준을 체계화하고 품질평가 절차를 모델화 한 것이다.

• 한국정보과학회논문지:시스템및이론
• /
• 제35권9_10호
• /
• pp.429-440
• /
• 2008

갈수록 복잡해지는 임베디드 시스템을 개발하는데 있어서 소프트웨어 개발의 중요성이 점차 커지고 있다. 대부분의 임베디드 응용 소프트웨어는 멀티 태스크로 구성되어 있는 병렬 소프트웨어이며, 기존의 순차적인 프로그래밍 언어만으로 개발하는 것보다는 알고리즘의 병렬성을 명세하기에 용이한 데이타플로우 모델로부터 소프트웨어를 생성하는 것이 유망하다. 생성된 멀티태스킹 코트를 수행하기 위해선 태스크들을 병렬적으로 수행해 주고 태스크간 동기화를 담당해 줄 운영체제의 도움이 필요하다. 그러나 운영체제를 사용하기 어려운 환경이나 설계 공간 탐색 과정에서 운영체제를 매번 다양한 하드웨어 플랫폼에 포팅하기 어려운 경우에는 운영체제 없이 멀티 태스크 응용을 수행할 수 있는 방법이 필요하다. 이것을 위해서 이 연구에서는 데이타 플로우 명세로부터 직렬화 된 멀티태스킹 코드를 생성하는 방법을 제안한다. 제안하는 방법에서 하나의 태스크는 데이타 플로우 모델로 명세되며, 하나의 C 코드로 생성된다. 코드 생성은 크게 두 단계로 이루어지는데, 먼저 태스크를 구성하는 블록들을 각각 함수 형태로 코드를 생성한 후에, 생성된 여러 태스크의 함수들을 모아서 직렬화 하여 호출하는 스케줄러를 만든다. 이 때에 스케줄러를 효율적으로 만들 수 있는 자료구조 및 정보를 제공하여 사용자가 수동으로 스케줄러를 만드는 것도 가능하도록 하였다. DivX예제를 통하여 제안하는 방법으로 생성한 코드가 효율적으로 올바르게 동작함을 보였다.

• 인터넷정보학회논문지
• /
• 제14권4호
• /
• pp.35-42
• /
• 2013

요즘 웹을 이용하여 많은 일들이 처리되고 있다. 이에 따라 다양하고 복잡한 기능을 가진 웹 기반의 응용 시스템들이 요구되고 있다. 이러한 웹 기반의 응용 시스템들을 효율적으로 개발하기 위하여 객체지향 분석 설계 방법론을 사용하고 있으며, 그 구현을 위하여 Java EE(Java Platform, Enterprise Edition) 기반의 기술들이 사용되기도 한다. 이렇게 개발된 웹 기반의 응용 시스템을 통해 많은 일들을 처리하면서 점차 보안과 관련된 이슈들이 중요해졌다. 이를 위하여 Java EE는 보안과 관련된 메커니즘을 제공하고 있지만, 효율적인 웹 응용 시스템을 개발하기 위한 객체지향 분석 설계 방법론과의 상호 연관성은 제공하지 못하고 있다. 이에 따라 Java EE 메커니즘에 따른 보안 방안은 개발 마지막 단계에서 비로소 구현되기 때문에, 요구사항 분석부터 구현에 이르기까지 시스템 개발 전 주기에 따른 일관된 보안 적용은 어려운 실정이다. 따라서 본 논문에서는 요구사항 분석부터 구현에 이르기까지, 보안이 강조된 '안전한 웹 응용 시스템을 위한 객체지향 분석 설계 방법론'을 제안한다. 제안한 객체지향 분석 설계 방법론은 보안에 관한 요구사항 분석과 시스템 분석 및 설계를 위하여 보안이 강조된 모델링 언어인 UMLsec을 사용하고, 그 구현을 위해서 Java EE 기반 기술 중 서블릿의 역할기반 접근제어(RBAC: Role Based Access Control)를 이용한다. 아울러 본 '웹 응용 보안을 위한 객체지향 분석 설계 방법론'을 온라인 뱅킹 시스템 개발에 적용하여 그 효율성을 확인하였다.