• 베이커리
• /
• 2호통권367호
• /
• pp.72-73
• /
• 1999

• 발명특허
• /
• 제3권3호통권25호
• /
• pp.15-18
• /
• 1978

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제27권2호
• /
• pp.108-119
• /
• 2000

병렬 프로그램 테스팅을 위한 기존의 연구는 대부분 프로그램 수행 중에 얻어진 이벤트 트레이스(event trace)를 바탕으로 재수행성을 보장하는데 중점을 두고 있다. 반면에 개발과정에서 만들어진 요구/설계 명세로부터 테스팅을 위한 이벤트 시퀀스를 생성하는 방법에 대한 연구는 빈약한 실정이다. 이 논문에서는 통신 소프트웨어 개발 분야에서 광범위하게 사용되는 메시지 순차도(MSC)로부터 병렬 프로그램의 모듈 테스팅을 위한 이벤트 시퀀스를 생성하는 방법을 제시한다. 명세로부터 이벤트 시퀀스를 생성하기 위해서는 명세 내에 묵시적으로 포함되어 있는 이벤트들과 그들 간의 선후관계를 파악해야 한다. 이를 위해서 이 연구에서는 프로그램 수행 중에 이벤트들의 발생 순서를 결정하기 위해 사용해오던 논리시간 벡터(logical time stamp)를 MSC 명세에 적용함으로써 이벤트 간의 선후관계를 추출한다. 또한 이를 바탕으로 이벤트 시퀀스를 자동 생성하는 방법을 제시하고 전화 통화 예제를 사용해서 제시한 방법의 효용성을 보인다.

• 대순사상논총
• /
• 제23권
• /
• pp.37-105
• /
• 2014

'공사(公事)'는 『전경』이 담고 있는 매우 중요한 종교 문화적 현상이다. 그리고 그 속에는 매우 깊은 사상적 의미가 내포되어 있다. 대순진리회 공사개념의 연원은 중국 고대의 경전과 문헌에서 그 단서를 찾아볼 수 있으나, 그것은 결코 단순히 중국의 것을 답습한 것이 아니다. 강성상제와 도주 조정산께서는 '묵은 하늘'의 음양 혼란 시대에 공사를 행하였기 때문에, 도수를 바로잡는 공사는 근본부터 바로잡는다는 의미가 있으며, 새로운 시대를 의미하는 '개벽'도 이에 포함된다. 중도, 화평, 공정은 질서가 바로 잡힌 사회의 시작을 의미하며, 이는 새로운 생활을 창조하는 데 있어 중요한 현실적 의의를 지닌다. 전체적으로 볼 때 대순진리회의 공사는 사회의 변화와 사회적 요구에 응답하여 생겨난 종교문화 활동이다. 이러한 종교문화 활동은 일종의 기호로서, 상징성을 갖춘 의식을 거행하는 것이다. 공사는 명부의 한을 해결하는 것으로부터 시작되는데, 이는 근본을 중시한다는 의미이며, 태초로 거슬러 올라가 사회를 다스리는 커다란 방향을 전개한다는 것이다. '역도(逆度)'를 조정하는 공사에서는 사회적 관점에서 보자면, 역사가 남긴 문제에 대해 고민하고 해결하려는 태도를 뜻한다. 이는 민생문제를 매우 중시하였음과 인간의 도에 대해 경외심과 존중을 표현하고 있음이 나타내며, 결국 '보세(普世)'의 의미를 지닌다고 볼 수 있다. 공사를 실천하는 방법은 '신생활법'이며, 이는 인(仁)과 인류와 동물에 대한 자비심을 강조하며 '삼계개벽'의 개혁정신과 창조적 사고를 나타낸다. 이로써 '통달(通達)'과 '대도(大道)'의 정신을 나타내었다. 이로 볼 때, 인간의 삶을 인도하며, 궁극적으로는 지상천국을 건설하고자 하는 정신이 공사의 개념 속에 분명하게 드러나 있음을 알 수 있다.

• 한국정보과학회논문지:시스템및이론
• /
• 제31권1_2호
• /
• pp.95-101
• /
• 2004

이질적인 계산자원들로 구성된 분산 컴퓨팅 환경에서 의존성이 존재하지 않는 독립적인 작업들을 자원들에 배치하기 위한 방법은 NP-Complete 문제로 알려져 있다［1］. 이질적인 자원으로 구성된 시스템의 대표적인 예가 GRID［2］이다. 현재까지 그리드 시스템에서 스케줄링 문제를 풀기 위한 다양한 휴리스틱 스케줄링 방법이 연구되어 왔다［1,3,4,5］. 스케줄링 방법은 정적인 방법과 동적인 방법으로 나뉘어진다. 동적 스케줄링 방법은 작업의 선후 관계를 예측할 수 없는 상황에서 사용되며 동적 스케줄링 방법은 스케줄링 시기에 따라 온라인방식과 배치방식으로 나뉘어진다［1,6］. 본 논문에서는 새로운 온라인 휴리스틱 스케줄링 알고리즘을 제안하였으며 제안된 스케줄링 알고리즘의 성능이 기존의 스케줄링 알고리즘의 성능보다 뛰어남을 시뮬레이션을 통하여 보였다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제27권4호
• /
• pp.370-383
• /
• 2000

이 논문에서는 명세에 변경이 가해진 후에 병행 프로그램을 재검증하기 위해 사용하는 명세기반 회귀 테스팅이라는 새로운 기법에 대해 논의한다. 이러한 형태의 회귀 테스팅은 이벤트에 대해 선후 관계를 기술하는 순서 제약조건을 필요로 한다. 순서 제약조건을 자동으로 추출하기 위해서 우리는 메시지 순차도(MSC)를 사용한다. 메시지 순차 도를 통해 부분적이고 비결정적인 명세를 작성할 수 있다. 회귀 테스팅의 비용을 줄이기 위하여 처음부터 새로운 순서 제약조건을 생성하기보다는 명세에 가해진 변경에 의해 영향받는 순서 제약조건을 어떻게 파악하는 가에 대해 기술한다. 또한 각각의 영향받는 순서 제약조건들이 테스팅 될 프로그램에 의해 만족되는 가를 결정하는 방법에 대해서도 기술한다.

• 한국항해항만학회지
• /
• 제29권8호
• /
• pp.723-733
• /
• 2005

본 논문은 AGV 주행 영역을 그리드 단위로 나누어 관리하는 자동화 컨테이너 터미널에서 AGV들 간의 교착을 방지할 수 있는 방안과 목적지까지의 예상 소요 시간이 짧은 경로를 효율적으로 선정할 수 있는 방안을 함께 제안한다. AGV들 간의 교착을 방지하기 위하여 그리드를 노드로 하여 AGV 주행 중 점유 순서의 선후를 연결한 그래프에서 교착 발생 가능성이 있는 강결합 요소를 파악한다. 운행 시에는 강결합 요소에 해당되는 그리드들에 AGV들이 진입하는 것을 통제함으로써 교착 발생을 방지한다. 이와 함께 AGV들 간의 간섭에 의한 지연까지 고려하여 목적지에 보다 일찍 도착할 수 있는 경로를 실시간에 추정할 수 있도록 주행 소요 시간을 추정할 수 있는 회귀 분석 함수를 생성하고 활용하는 방안을 함께 소개한다. 제안한 방안을 시뮬레이션 한 실험 결과 48시간동안 교착 발생 없이 AGV들을 운행할 수 있었으며, 회귀분석 함수를 이용하여 선정한 경로 이용 시 QC별 AGV 방문 횟수를 $2\~10$회 향상시킬 수 있었다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제26권12호
• /
• pp.1455-1467
• /
• 1999

소프트웨어 품질을 정의하기 위한 여러 가지 소프트웨어 품질 모형(SQM : Software Quality Model)이 개발되어 왔다. 이 모형들은 두 가지 목적을 가진다. 한 가지는 소프트웨어 품질 측정이고, 또 다른 목적은 개발 프로세스에서의 소프트웨어 품질 제어이다. 국제 표준인 ISO/IEC 9126은 소프트웨어 측정을 위한 소프트웨어 품질 모형을 제시하였다. ISO/IEC 9126의 품질 모형은 사용 관점에서 소프트웨어 품질을 정의한 모형이다. 이 모형은 개발 프로세스에서의 품질 제어를 하는 측면에서는 불완전한 모형이다. 소프트웨어의 품질이 프로세스 내에서 어떻게 만들어지는지 볼 수 없는 모형이기 때문이다. 따라서, 개발 관점에서의 소프트웨어 품질 모형이 필요하다.본 논문에서는 사용 관점인 ISO/IEC 9126 품질 모형을 기반으로 하여 개발 관점에서의 소프트웨어 품질 모형을 제안한다. 이 모형은 ISO/IEC 9126과 같이 하위 품질 요소가 중복되지 않는 계층적 품질 모형이면서, 개발 프로세스 내에서 제어 가능한 제품 특성에 기반을 둔 개발 관점의 소프트웨어 품질 모형이다. 본 논문에서는 소프트웨어 품질 모형 구축 시, 품질 속성간의 선후조건관계를 설정하여 품질 속성간 중복되었던 제품 특성을 한 품질 속성 내 귀속시킨다. 품질 속성 별 제품 특성을 기반으로, 프로세스 내에서 제품 특성을 측정하는 메트릭스를 제안한다. 본 논문에서 제안한 품질 모형과 ISO/IEC 9126을 비롯한 기존 품질 모형과 비교 분석한다.Abstract Several SQMs(Software Quality Models) have been developed to define a software quality. These models have two goals. One is to measure a software quality, the other is to control a software quality. The SQM of ISO/IEC 9126 is defined from the user's viewpoint. This model is an incomplete model in controlling a software quality in the development process. Since this model cannot show how to build a high quality software, the SQM of the developer's view is needed.We suggest the SQM of the developer's view. This model is a completely hierarchical model and is based on product properties. For this model, we define implicative relations among quality attributes for 1:m relations of quality attributes and product properties. So, we solve the problem of a quality attribute overlapping with other quality attributes. We suggest metrics based on our SQMs. Further, we evaluate our SQM by comparing our SQM with other SQMs.

• Pediatric Infection and Vaccine
• /
• 제4권1호
• /
• pp.106-115
• /
• 1997

목 적 : B형 간염 바이러스 보균자가 많은 우리 나라에서는 모든 신생아에게 B형 간염에 대한 능동면역이 시행되고 있다. 혈장 백신은 공급원에 한계가 있고 전염성 질환이 전파될 가능성이 있으며 값이 비싸다는 문제점이 있어 이와는 다른 유전자 재조합 공법으로 생산된 HG-II$^{(R)}$백신의 면역원성과 안전성을 조사하고 BCG 선행군과 그렇지 않은 군에서의 면역원성을 비교하고자 본 연구를 시행하였다. 방 법 : 1995년 4월부터 1996년 6월까지 경상대학병원(Group A), 지방공사 강남병원 (Group B)과 영동 세브란스병원(Group C)에서 10세이하의 소아를 대상으로 하여 유전자 재조합 B형간염 백신(HG-II$^{(R)}$)$10{\mu}g$의 양을 0, 1, 6개월 접종 방식으로 3회 근주 하였다. 4군는 BCG를 간염 2차 접종하기 1주전에, B군은 1주후에 접종하였다. C군에서는 두가지 예방접종의 선후관계를 알 수 없었다. 3회 접종후 1개월에 채혈하여 anti-HBs Ab를 측정하였으며 부작용을 조사하였다. 결 과 : 1) 총 114례중 신생아는 104례였으며 이 중 55례는 간염 2차 접종하기 1주전에 BCG를 접종하였고 43례는 간염 2차 접종후에 BCG를 접종하였으며, 6례는 선후관계를 알 수 없었다. 2) 항체양전율은 99.1%였고 기하 평균 항체가는 131.2mIU/ml였다. 3) BCG를 간염 2차 접종하기 1주전에 접종한 군과 1주후에 접종한 군에서의 기하 평균 항체 가는 각각 105.5mIU/ml, 162.8mIU/ml였다(p<0.025). 4) 부작용은 국소 반응이 1.4%, 전신 반응이 7.8%였다. 결 론 : 유전자 재조합 간염 백신은 부작용이 적고 면역원성이 우수하였다. 간염 2차 접종 전에 BCG를 접종한 군에서의 기하 평균 항체가가 낮게 관찰된 바 향후 이에 대한 연구가 더 필요할 것으로 사료된다.

• 한국정보과학회논문지:컴퓨팅의 실제 및 레터
• /
• 제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