• Journal of KIISE:Software and Applications
• /
• v.30 no.11
• /
• pp.1015-1024
• /
• 2003

In [1] we proposed a method to generate a test model (GFSM) from a set of scenarios of embedded software. Each scenario describes the interaction sequences for an external input event. Although these external events are generated and accepted alternatively and concurrently by embedded software, we considered only the alternative relations. In this paper, we describe an improved algorithm to generate GFSM from concurrent scenarios, and propose methods to reduce the number of transitions in the GFSM. The first is the synchronous interpretation of message passing instead of asynchronous one considering the real behavior of tasks in embedded software. The others apply the partial order techniques to the GFSM using independent regions. We apply the method to generate a reduced GFSM of embedded software running on a digital TV.

• Journal of the Korea Society of Computer and Information
• /
• v.3 no.3
• /
• pp.55-61
• /
• 1998

The learning order of teaching materials to be a learning data in CAI is arranged from an easy item to a difficult one A learning in not necessary to be learned arranged this order. Actually the learning is done by the rules of trial and error on the sequences of an arrangement among items. In this papers, the constructed is modelled by the fuzzy inference after leaning the understanding on items by the intelligent CAI through the rile of trial and error of fuzziness. Given the difference of leaning and understanding, the leaning model is quantified by the order relationship among items and by the rules of fuzzy inference. The rule of trial and error of learning is restricted to the treatment of CAL system minimizing the rules of inference.

• Journal of the Korean Institute of Intelligent Systems
• /
• v.15 no.6
• /
• pp.661-667
• /
• 2005

In this paper, we propose a new hybrid genetic algorithm for sequential ordering problem (SOP). In the proposed genetic algorithm, the Voronoi quantized crossover (VQX) is used as a crossover operator and the path-preserving 3-Opt is used as a local search heuristic. VQX is a crossotver operator that uses the epistasis information of given problem instance. Since it is a crossover proposed originally for the traveling salesman problem (TSP), its application to SOP requires considerable modification. In this study, we appropriately modify VQX for SOP, and develop three algorithms, required in the modified VQX, named Feasible solution Generation Algorithm, Precedence Cycle Decomposition Algorithm, and Genic Distance Assignment Method. The results of the tests on SOP instances obtained from TSPLIB and ZIB-MP-Testdata show that the proposed genetic algorithm outperforms other genetic algorithms in stability and solution quality.

• The Korean Journal of Applied Statistics
• /
• v.31 no.6
• /
• pp.825-833
• /
• 2018

We examined the relationship between the order of signs and the order of vote within parties in electing local district councilors during the 7th nationwide local election held on June 13th, 2018. We analyzed election data for respective cases that include two, three, four candidates within the same party. In most cases, the candidate with sign 'Ga' gained more than other candidates in the same party, showing a need for provisional measures. In addition, a difference in voting tendency was found between in-house voting and early outside voting when there were two candidates in the Democratic Party of Korea as well as for when there were two candidates in the Liberty Korea Party.

• Journal of The Korean Association For Science Education
• /
• v.24 no.2
• /
• pp.246-257
• /
• 2004

The purpose of this qualitative study was to identify high school students' conceptual differentiation patterns on human digestion system. The subjects were 124 high school students and this group was guided to independently construct concept maps. Among them, 19 were selected for an in-depth interview and a short test. The concept maps, interview transcripts and the results of short-test were analyzed to identify conceptual differentiation patterns. The results were as follows. Mainly three distinct conceptual differentiation patterns were identified. The first pattern can be named as an 'Free-flow type'. The group belongs to this pattern expressed numerous examples than meaningful concepts with unclear understanding of hierarchial relation between each concepts. Also, this group had difficulties in grasp interrelations of different concepts. The second pattern can be identified as 'Sequence type'. This group constructed concept maps by featuring conceptual sequence. The group applied meaningful learning, yet assembled concept maps primarily according to sequence of learning and exhibited less organized concept maps than hierarchial type. The third pattern can be named as 'Hierarchial type'. All students elaborated concept maps after lessons. The sequence type changed hierarchial type or sequence mixed with hierarchial type but free-flow type was hardly changed.

• Proceedings of the Korean Information Science Society Conference
• /
• 2001.10b
• /
• pp.280-282
• /
• 2001

MPEG-4 컨텐츠는 다양한 사용자 상호작용에 의하여 장면과 객체의 재생 시간이 동적으로 변화하는 특징이 있다[1-2]. 그러므로 MPEG-4 컨텐츠를 생성할 때, 사용자 이벤트에 의하여 변화하는 시간 관계의 저작은 중요하다. 본 논문에서는 사용자 상호작용에 의하여 멀티미디어 객체간 시간 관계와 재생 시간, 재생 순서가 변화하는 시간 제약 모델을 제안한다. 그리고, 사용자 상호작용 지원 시간 제약 모델에 기반 한 MPEG-4 컨텐츠 저작 시스템인 MPEG-4 Studio를 제안한다. MPEG-4 Studio는 동적인 시간 관계를 지원하기 위하여 시간 관계 설정 GUI와 시간 관계 설정에 대한 제약 조건 검사, 시간 관계 정보에 대한 BIFS 변환을 제공하여 동적 시간 관계 정보를 포함한 MPEG-4 컨텐츠를 생성한다.

• Journal of Applied Tourism Food and Beverage Management and Research
• /
• v.11
• /
• pp.107-120
• /
• 2000

무, 당근 및 감자를 대상으로 조리방법 (boiling, pressure cooking, microwave cooking)에 따른 dietary fiber 성분, 수분함량 및 조직감의 변화에 대하여 조사하였으며 조직감에 영향을 미치는 성분에 대해 연구해보았다. 시료내에 존재하는 pectin의 함량은 조리시 원료시료에 비해 현저하게 감소하였으며, microwave cooking>pressure cooking>boiling의 순서로 점차 감소하였다(P<0.05). ADF, NDF 및 Cellulose, Hemicellulose, Lignin은 boiling과 pressure cooking의 경우에는 원료시료에 비해 모든 성분이 증가현상을 나타내었으며, microwave cooking의 경우에는 감소하였다(P<0.01). Hemicellulose와 lignin은 조리에 의한 영향을 거의 받지 않는 것으로 나타났으며, cellulose는 조리 방법에 따라 상당한 영향을 받는 것으로 나타났다. 조리방법에 따른 수분함량의 변화는, boiling시에는 원료시료에 비해 현저한 증가를 보였으며, pressure cooking의 경우에는 조금 감소하였으나 뚜렷한 차이가 없었고, microwave cooking시에는 현저한 감소현상을 나타내었다(P<0.001). 조리 방법에 따른 조직감의 변화는 침투시험시에는 maximum force가 raw>microwave cooking>pressure cooking>boiling의 순서로 점차 감소하였으며, 절단 시험시에는 maximum force가 microwave cooking>pressure cooking>raw>boiling의 순서로 점차 감소하였다. 관능검사 결과, 견고성은 원료시료가 가장 컸으며, microwave cooking>pressure cooking>boiling한 시료의 순서로 점차 감소하였고 씹힘성은 microwave cooking방법으로 조리한 시료가 가장 컸으며, pressure cooking>raw>boiling의 순서로 점차 감소하였다. 기계적 측정 결과와 관능검사 결과를 연관시킨 결과, 높은 연관성이 있었다. 이러한 결과로부터 조리시 시료의 견고성은 pectin의 함량과 밀접한 관계가 있어서, 즉 pectin의 함량이 증가함에 따라 견고성이 증가되는 것을 알 수 있었고, 씹힘성은 수분함량과 밀접한 관련이 있어서, 즉 수분함량이 감소함에 따라 씹힘성이 증가되는 것을 알 수 있다. 이상과 같은 결과들은 무, 당근 및 감자에 있어서 모두 같은 경향을 나타내었다.

• Proceedings of the Korean Information Science Society Conference
• /
• 1999.10b
• /
• pp.485-487
• /
• 1999

본 논문에서는 온라인 필기체 수식 인식을 위한 순차적인 구조 분석 방법을 제안한다. 제안된 방법은 캐블릿상에서 필기된 수식에 대한 심볼 인식 결과와 각 심볼의 Bounding Box이 좌표를 입력받아서 필기 순서를 기반으로 순차적으로 수식의 구조를 해석한다. 그래프 내의 이웃하는 두 노드 사이의 관계를 결정하기 위해서 심볼의 사용에 관한 표기 정보와 6단계 관계 결정 규칙을 사용하여 노드들 사이에 생성될 수 있는 에지의 수를 최소화하고 BackTracking을 피했다. 제안 방법의 성능을 평가하기 위해 100개의 테스트 샘플에 대해 구조 분석 실험을 수행하였다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2000.04a
• /
• pp.16-21
• /
• 2000

XML 문서와 같은 구조적 문서는 관계형 데이터베이스에 저장하는 것이 적합하다. 본 논문에서는 XML 문서의 각 엘리먼트를 관계형 데이터베이스에 검색을 위해 적정 노드까지만 깊이 우선 탐색 순서쌍에 의해 저장하고, 검색된 문서의 재생성 속도를 향상하기 위해 문서전체를 저장하는 방법을 제시하였다. 또 위에서 제시한 방법을 저장 시스템과 분석 검색하는 시스템을 서로 다른 사이트로 분리하는 것을 제안한다. 이를 통해 XML 문서를 서로 다른 사이트로 분리함으로써 서버의 부담을 줄여 저장 및 검색 성능을 향상한다.

• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 1993.04a
• /
• pp.483-492
• /
• 1993

미래의 차의 선택사항이 될 여행정보시스템을 설치하여 그 성능의 인간공학적 조사를 수행하였다. 이 시스템을 실제로 GM자동차 Oldsmobile Toronado형 100대에 설치하여 사용자가 얼마나 쉽게, 빨리 그리고 안락하게 갈 수 있고, 어떻게 하면 좀 더 이것을 인간공학적으로 향상시킬수 있는 가를 연구하였다. 100대중 23대는 대학교에서 연구를 하고 나머지는 AAA회사의 회원권을 가진 지역사용자들에게 AAA회사와 AVIS회사를 통하여 대여를 하여 컴퓨터차(TravTek시스템)의 성능과 효율성을 시험하였다. 그 내용을 살펴보면, 차에 부착된 컴퓨터의 컬러화면으로 사용자에게 도로를 보여주고, 컴퓨터가 최단거리를 제시하여 운전자에게 컴퓨터음성과 화면으로 길을 안내한다. 그 파급효과로 도로 체증현상을 막고, 기름의 낭비도 절약하고, 밤에도 안전하게 운행할 수 있게 할 뿐만아니라 처음보는 거리라고 하더라도 컴퓨터가 안내하면서 목적지까지 무사히 도착할 수 있게 하여 준다. 이러한 시스템을 설치한 차를 타고 여행할 때, 여행자가 과연 얼마나 안락하게 여행할 수 있으며, 도로의 체증현상을 줄이고, 사고를 예방하며, 차의 설계와 목적이 인간공학적으로 합당한 가를 알아보고자 하는 연구이다. 인간공학적 평가 인자들은 (1) 운전자의 수행도, (2) 사용자 선호도, (3) 사용자 인식, (4) 운행정보등이다. 그리고 컴퓨터음성을 사용하였을 때와 사용하지 않았을 때의 두가지 경우와 (1) 움직이는 컴퓨터지도를 사용하였을 때 (2) 단순화한 도로안내를 사용하였을 때, (3) 컴퓨터 지도를 사용하지 않았을 경우(종이지도사용)에 관해 위의 4가지 인간공학적 인자들을 평가하고자 한다. 이 연구는 아직도 진행중이라 발표하고자 하는 논문역시 현재까지의 연구결과를 토대로 발표하는 것이므로 완전한 결론을 내릴 수는 없고, 진행과 정의내용과 토의사항과 잠정적인 결론을 제시하고자 한다. 의거한 작업순서 결정을 위해 우선 BB의 상한을 구하는 연구를 행했다. 이를 위해 우선 단일작업장에서 야기될 수 있는 모든 상황을 고려한 최적 작업순서 결정규칙을 연구했으며, 이의 증명을 위해 이 규칙에 의거했을 때의 보완작업량이 최소가 된다는 것을 밝혔다. 보완작업 계산의 효율성을 제고하기 위해 과부하(violation)개념을 도입하였으며, 작업유형이 증가된 상황에서도 과부하 개념이 보완작업량을 충분히 반영할 수 있음을 밝혔다. 본 연구에서 제시한 최적 작업순서 규칙에 의거했을 때 야기될 수 있는 여러가지 경우의 과부하를 모두 계산했다. 앞에서 개발된 단일작업량의 최적 작업순서 결정규칙을 이용하여 다작업장의 문제를 실험했다. 이 문제는 규모가 매우 크므로 Branch & Bound를 이용하였으며, 각 가지에서 과부하량이 최적인 경우만을 고려하는 휴리스틱을 택하여 실험자료를 이용하여 여러 회 반복실험을 행했다. 그리고 본 연구의 성과를 측정하기 위해 휴리스틱 기법시 소요되는 평균 CPU time 범위에서, 랜덤 작업순서에 따른 작업할당을 반복실험하여 이중 가장 좋은 해와 비교했다. 그러나 앞으로 다작업장 문제를 다룰 때, 각 작업장 작업순서들의 상관관계를 고려하여 보다 개선된 해를 구하기 위한 연구가 요구된다. 또한, 준비작업비용을 발생시키는 작업장의 작업순서결정에 대해서도 연구를 행하여, 보완작업비용과 준비비용을 고려한 GMMAL 작업순서문제를 해결하기 위한 연구가 수행되어야 할 것이다.로 이루어 져야 할 것이다.태를 보다 효율적으로 증진시킬 수 있는 대안이 마련되어져야 한다고 사료된다.$\ulcorner$순응$\lrcorner$의 범위를 벗어나지 않는다. 그렇기 때문에도 $\ulcorner$순응$\lrcorner$과 $\ulcorner$표현$\lrcorner$