• Journal of KIISE:Software and Applications
• /
• v.27 no.3
• /
• pp.210-216
• /
• 2000

Place/Transition(P/T) nets has been used in protocol verification and concurrent system verification since it is suitable for describing concurrency and provides several well-established verification techniques. And it has been used as a base formalism for such high-level Petri nets as colored Petri nets, object-oriented Petri nets and etc. However, when analyzing complex models using P/T nets and P/T nets-based high-level Petri nets, there may be state explosion in reachability analysis due to improper handling of concurrency. In this paper, we define a structural concurrency in P/T nets, propose a partitioning algorithm based on the detected structural concurrency, and provide analysis techniques for such properties as boundedness of places and liveness of transitions, which are performed on compositional reachability graphs. The analysis techniques based on Petri net slices can be used in efficiently analyzing P/T nets-based high-level Petri net models as well as P/T net models.

• Journal of Service Research and Studies
• /
• v.3 no.1
• /
• pp.55-73
• /
• 2013

The purpose of this research is to find a solution for matching service between recruiting and job seeking of software developers. An efficient matching service solution is essential for acquiring solid global competitiveness in software industry and IT academia. An in-depth analysis on deep-rooted problems on mismatching has been performed. Past and present policies on mismatching solutions have been reviewed based on desirable co-growth structure. A new matching solution has been derived and a triple-helix strategy has been suggested. A survey result for 14 domain experts and 85 employees of large and small software companies shows that the suggested matching solution is useful. The results of this research can be used for finding a better matching service solution and policies.

• Journal of Science Education
• /
• v.36 no.2
• /
• pp.186-197
• /
• 2012

The proliferation of bioinformatics in modern biology marks a modern revolution in science that promises to influence science education at all levels. This study analyzed the contents of standards in the 7th and 2007 and 2009 revised high school biology curricula and compared the contents, amount and the presentation styles of bioinformatics with those of biotechnology in biology textbooks. In result, first of all, there are some vague expressions about biotechnology and bioinformatics in the 7th and 2007 revised curriculum. There is a clear expression about biotechnology in 'life science I' and 'advanced biology' of 2009 revised curriculum. Second, more biotechnology is introduced than bioinformatics in 'science', 'biology I', 'biology II', 'life science I' textbooks. Third, in 'biology for high class' textbook, amount of biotechnology contents in the 2007 revised curriculum didn't increase. An more effort to introduce bioinformatics to science high school student is needed according to revising curricula.

• Archives of design research
• /
• v.12 no.4
• /
• pp.109-118
• /
• 1999

In the respect of automobile history, the tendency to the development of automobiles for the latest 100 years has been leaded by technical performances. Especially, with the rapid growth of the newest electronic industry, the technical know-hows of automobiles improved in short terms have brought about outstanding results. The differences of the technical know-hows are little between some of the famous automobile manufacturing industries and the rising. So, now, the automobile design became a basis in selecting a car. The latest tendency to automobile style in accordance with the improvement of a universal life quality has been changed to a characteristic design meeting various needs of customers. RV, UV, MPV(and so forth ) meeting their needs made an appearance, or a characteristic model derived from them respectively appeared. We tried to study a new mini SUV-typed-concepcar design with a touch of the next concept. The whole design process from our researches to the end hard model was performed at the Design Center, Daewoo Automobile, based on the automobile design processes. Especially, We styled an automobile concept as inexpensive, characteristic, new one to have a car easily at the young and made an analysis of customers' responses for referring to this study in generating the next SUV-typed-automobile.

• Asia Marketing Journal
• /
• v.13 no.1
• /
• pp.85-111
• /
• 2011

The present study analyzes Hyundai Genesis' introduction in the domestic and the North-American markets in terms of positioning and brand extension strategies in each market. Genesis was positioned to 'A domestic luxury car that looks like a foreign premium brand' in the domestic market and was positioned to 'Quality of luxury car for a price of near-luxury car' in the North-American market. Hyundai brand was extended to Genesis in the North-American Market, but not in the domestic market. The present study examines the backgrounds that resulted in different position concepts in the markets and analyzed the marketing tactics to realize the position concepts. Specifically, we discussed the brand extension strategy that was adopted in the North-American market in terms of its pros and cons. The present study noticed a need for modifying and/or strengthening positioning strategies to face competitive environments and suggests an issue to be discussed with respect to the changes in the positioning strategies.

• Proceedings of the Korean Society for Noise and Vibration Engineering Conference
• /
• 1991.04a
• /
• pp.57-61
• /
• 1991

최근 차량의 고급화에 따라 차실 소음 저감에 대한 연구가 많이 수행되고 있다. 차실의 소음은 주로 엔진 또는 동력전달 장치의 진동과 도로의 요철로 생기는 차체의 진동으로부터 발생된다. 차실에서 20-200Hz의 저주파수대의 소음은 주로 차체 진동과의 연성 효과로 기인한다. 따라서 이 주파수영역에 있어서 소음의 특성을 파악하기 위해서는 차실의 음향 모우드 해석과 차체 구조물의 진동과 차실 음향 모우드의 상호관계를 고려한 구조-음향 연성 해 석이 필요하다. 차실의 음향 모우드 해석을 위해서는 실험적 방법과 유한 요 소법을 이용하는 방법이 있다. 유한 요소법을 이용하여 음향 특성을 결정하 는 경우, 큰 어려움은 없으나 밀폐된 공동에서 경계면을 이루는 구조물의 진 동에 의해 음이 발생되는 경우 단순히 공간의 음향 특성만으로는 음향 응답 을 예측할 수 없게 된다. 즉, 경계면에서 반사되는 반사파는 경계면의 탄성 변위에 의해 운동 특성이 변화되어 반사되므로 입사파와 다른 특성을 가지 게 된다. 따라서 이러한 구조 진동 특성과 음향 특성을 모두 고려한 연성 해 석을 수행하여야 하며, 음향 모우드와 구조 진동 모우드와의 연성에 의한 음 향 응답 특성을 결정하기 위한 수치 해석 프로그램을 개발하게 되었다. 본 연구에서는 전.후 처리 및 사용자 편의성을 염두에 두고 차실소음해석 전용 프로그램(ACSTAP: Acoustical and structural, coupling analysis program) 을 작성하고 이를 실차에 적용하여 유용성을 보였다.

• Digital Contents
• /
• no.5 s.120
• /
• pp.88-92
• /
• 2003

정보통신부는 지난 2000년부터 IT 연구분야 인력양성사업의 일환으로 전국의 IT분야 대학연구센터 중에서 우수한 센터 32개를 ITRC(Information Technology Research Center)를 선정, 집중적인 지원을 해 오고 있다. 이 사업의 목적은 석·박사급 고급인력이 결집돼 있는 대학의 IT분야 연구역량을 강화해 IT산업 발전에 필요한 핵심 기반 기술을 전략적으로 연구하고, 관련 전문인력을 집중 육성하고자 함에 있다.이에 월간 <디지털콘텐츠>는 32개 ITRC 가운데 디지털콘텐츠와 관련된 4개 ITRC(아주대 게임애니메이션센터, 연세대 차세대방송기술연구센터, 이화여대 컴퓨터그래픽스/가상현실연구센터, 동신대 멀디미디어콘텐츠연구센터)에 대한 탐방기사를 게재할 예정이다. 그 첫번째로 아주대학교 '게임애니메이션센터'를 취재했다

• Annual Conference of KIPS
• /
• 2017.04a
• /
• pp.478-479
• /
• 2017

인공지능이란 기계가 사람처럼 생각하고 인식하여 행동할 수 있도록 설계된 알고리즘 체계이다. IT 시장조사기관인 가트너는 2017년을 이끌 '10대 전략 기술 트렌드' 중 가장 첫 번째로 인공지능과 고급 머신 러닝을 선정하였다. 현재 인공지능의 기술은 텍사스 홀덤 대회나 바둑과 같은 전략적 의사 결정을 필요로 하는 게임에서도 뛰어난 기술을 선보이고 있으나, 한편으로는 인공지능 기술을 탑재한 자율주행차의 사고가 일어나는 민완성적인 부분이 존재한다. 본 논문에서는 현재까지 진행되어온 인공지능 기술의 동향을 살펴보고 나아가 인공지능이 안정적으로 서비스가 적용될 수 있는지 알아보고자 한다.

• The Science & Technology
• /
• v.12 no.3 s.118
• /
• pp.33-40
• /
• 1979

한국과학기술단체총연합회와 재구한국화학기술자연합회가 공동주최하는 제6차 국내외 한국과학기술자 종합학술대회(대회장ㆍ민관식)가 오는 4월 8일부터 19일까지 12일간에 걸쳐 열린다. 개회식은 KIST 존슨강당에서 거행하고 학술발표회는 연세대 캠퍼스에서 갖기로 한 이번 종합학술대회에는 재구과학자 54명과 국내과학자 2,000여명이 참가할 예정으로 있어 매머드학술제전이 예상된다. 이번 종합학술대회는 △수학ㆍ물리학ㆍ천문학ㆍ지질학ㆍ△화학ㆍ화학공학ㆍ식품공학△금속ㆍ재료공학△기계ㆍ선박ㆍ항공공학△전자ㆍ전기공학△에너지ㆍ환경ㆍ해양ㆍ건축ㆍ토목공학△국민생활과학 등 7개분과로 나누어 총81편의 학술연구논문 발표와 강의를 갖는다. 그리고 전문분야별로 워크숍을 겸한 산업시찰과 일선지역 및 교육기관ㆍ연구기관 등의 시찰도 있을 예정이며 고급두뇌 유지를 위한 국내산업인과 재구과학기술자간의 간담회도 개최하게 된다. 한편 이번 종합학술대회의 세부계획과 대회기간 중 발표될 분과별연제 발표일정 및 연토는 다음과 같다.

• Korean Journal of Agricultural Science
• /
• v.24 no.1
• /
• pp.41-49
• /
• 1997

The results on the chemical characteristics of the pork fed with fermented feeds are summarized as follows; 1) The pork treated with fermented feeds had lower fat and higher protein content than control pork in proximate compositions. It is considered to be the improvement of the quality. 2) It was not recognized to the difference of oxidation level among the sample porks. 3) Oleic acid was the highest concentration in the components of fatty acid of pork. The rate of the saturated and unsaturated fatty acids is 38.8 % : 59.9 % in the ordinary meat, 40.8 % : 57.8 % in the a high-grade meat, and 36.3 % : 62.0 % in the pork treated with fermented feeds. In addition, the essential fatty acid content of them is 14 %, 11.2 %, and 16.7%, respectively. 4) Glutamic acid was the highest composition in total amino acids and the essential amino acid content was 39% in both an ordinary meat and the pork treated with fermented feeds, and 14 % in high-grade meat. 5) It was no difference in the inorganic content among the samples. The water holding capacity by extraction meat juice was higher to 92 % in the pork treated with fermented feeds and 15.6 % in a loss in quantity by heating than others. Thus, the pork bred with fermented feeds was evaluated to be good in terms of processing and cooking.