• Communications of the Korean Mathematical Society
• /
• v.15 no.2
• /
• pp.233-255
• /
• 2000

이 논문에서 계치부분군의 일반화와 이들을 이용한 G-열의 도입과정을 다룬다. 계치부분군과 일반화된 계치부분군 그리고 호모토피군의 차이를 설명하여 몇가지 공간의 계치부분군을 계산한다. 그리고 G-열이 완전열이 되기 위한 조건들을 조사하고 이 완전성을 이용하여 계치부분군의 계산과 함수의 단사성과 그 함수의 G-열의 완전성과의 상호 관련성을 보인다. 마지막으로 G-열의 일반화와 쌍대 G-열의 다룬다.

• The Journal of The Korea Institute of Intelligent Transport Systems
• /
• v.21 no.5
• /
• pp.117-132
• /
• 2022

The purpose of this study is to analyze factors that affect road users' acceptance of fully autonomous vehicles (level 4 or higher). A survey was done with drivers of general cars and pedestrians who share roads with fully autonomous vehicles. Five acceptability factors were selected: trust towards technology, compatibility, policy, perceived safety, and perceived usefulness. The effect on behavioral intention was analyzed using structural equation modeling (SEM). The perceived safety and trust towards technology were found to be very important in the acceptance of fully autonomous vehicles, regardless of the respondent, and policy was not influential. Compatibility and perceived usefulness were particularly influential factors for drivers. In order to improve the acceptance by road users, securing technical completeness of fully autonomous vehicles is important. Certification and evaluation of the safe driving ability of fully autonomous vehicles should be thoroughly performed, and based on the results, it is necessary to improve the perception by road users. It is necessary to positively recognize fully autonomous vehicles through education and publicity for road users and to support their smooth interaction.

• Journal of Advanced Marine Engineering and Technology
• /
• v.39 no.9
• /
• pp.903-910
• /
• 2015

The purpose of this research is to develop a full-spectral fatigue analysis program, based on rigid-body ship motion analysis, in order to perform a full-spectral fatigue analysis that considers hydroelasticity effects. To gain credibility, fatigue analysis results of two ship types, performed by the developed program, were compared with those of a classification society, and it was found that both are identical. Full-spectral fatigue analysis considering hydroelasticity effects would be developed in further studies by including flexible-body ship motion analysis results and by supplementing the developed program with a wide-band fatigue damage model.

• Proceedings of the Korean Society of Computer Information Conference
• /
• 2010.07a
• /
• pp.453-456
• /
• 2010

이 연구는 완전통합교육을 효과적으로 지원하기 위한 전자멘토링 시스템을 구축 및 사용성을 평가하는데 목적이 있다. 시스템 설계를 위하여 현재 운영되고 있는 국내 외 시스템과 연구들을 분석한 후, 완전통합교육 지원에 적절한 전자멘토링 수행모형을 도출했다. 특히, 설계와 구현에 있어서는 온라인의 수평적 멘토링 구현과 다양한 멘토링 형태의 지원, 상호보완적 관계형성, 그리고 활동에 대한 피드백 제공 등에 역점을 두고 시스템을 구축했다. 개발된 전자멘토링 시스템의 사용성 평가를 위해 운영자 2명, 멘토 5명, 멘티 5명을 선정한 후, '멘토링 지원(인지적 지원, 정서적 지원, 적용가능성)'과 '기술 지원(편의성, 정확성, 심미성)' 등 2가지 영역, 총 10개의 문항을 통해 심층면담을 실시했다. 통합학급 담당교사와 특수학급 담당교사의 사용성 평가 결과, 완전통합교육 지원을 위해 개발된 전자멘토링 시스템은 모든 영역에 걸쳐 상당히 효과적인 것으로 판단할 수 있었다. 향후에는 이 연구결과를 바탕으로 현장에서 장기간 지속적인 적용을 통해 개발된 전자멘토링 시스템의 실질적 효과성을 검증해 보는 연구가 요청된다.

• The Korean Publising Journal, Monthly
• /
• s.288
• /
• pp.17-17
• /
• 2000

• The Journal of the Korea Contents Association
• /
• v.9 no.7
• /
• pp.294-303
• /
• 2009

The primary purpose of this study is to examine the effects of contents quality characteristics on user's satisfaction and continuous usage intention in UCC services. Based on relevant literature reviews, this study posits five contents quality characteristics, that is, accuracy, completeness, variety, playfulness, and timeliness as key determinants of user's satisfaction and continuous usage intention. And then we structured a research model and hypotheses about relationship between these variables. A total 315 usable survey responses of UCC service users have been employed in the analysis. The major findings from the data analyses are as follows. Firstly, four contents quality characteristics of completeness, variety, playfulness, and timeliness had a positive influence upon user's satisfaction. Secondly, four contents quality characteristics of accuracy, completeness, playfulness, and timeliness had a positive influence upon continuous usage intention. Lastly, user's satisfaction had very significantly related to continuous usage intention in UCC services. From this study, we expect to suggest practical and managerial implications to UCC service providers.

• 월간낙농육우
• /
• v.20 no.5 s.217
• /
• pp.115-119
• /
• 2000

쇠고기 완전 수입 개방을 맞이하여 많은 어려움이 예상되지만 규모 확대를 통해 수익성을 보전하고, 생산성 향상을 통해 생산비를 절감하면서 거세우 사양을 적극 도입하여 육질 개선 노력을 기울인다면 지금보다 훨씬 경쟁력 있는 육우 사업이 될 것이다.

• Korean Journal of Logic
• /
• v.12 no.2
• /
• pp.115-139
• /
• 2009

This paper investigates an extension of the uninorm (based) logic UL, which is obtained by adding (t-weakening, $W_t$) (($\phi$ & $\psi$) ${\wedge}$ t) $\rightarrow$ $\phi$ to UL introduced by Metcalfe and Montagna in [8]. First, the t-weakening uninorm logic $UL_{Wt}$ (the UL with $W_t$) is introduced. The algebraic structures corresponding to $UL_{Wt}$ is then defined, and its algebraic completeness is established. Next standard completeness (i.e. completeness on the real unit interval [0, 1]) is established for this logic by using Jenei and Montagna-style approach for proving standard completeness in [3, 6].

• Korean Journal of Logic
• /
• v.23 no.1
• /
• pp.1-23
• /
• 2020

This paper deals with mianorm-based logics with right and left n-potency axioms and their fixpointed involutive extensions. For this, first, right and left n-potent logic systems based on mianorms, their corresponding algebraic structures, and their algebraic completeness results are discussed. Next, completeness with respect to algebras whose lattice reduct is [0, 1], known as standard completeness, is established for these systems via Yang's construction in the style of Jenei-Montagna. Finally, further standard completeness results are introduced for their fixpointed involutive extensions.

• Journal of KIISE:Software and Applications
• /
• v.28 no.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