• Korean Journal of Logic
• /
• v.11 no.1
• /
• pp.91-129
• /
• 2008

이 논문은 '만약(If)$\sim$라면, (then) ...이다.' 형식의 조건문 중에서도 직설법적 조건문의 적법한 사용이 어떠한 조건을 만족시켜야 하는가에 대한 글이다. 일반적으로 직설법적 조건문은 발화자가 전건을 확신하지 못하는 인식적 상태를 표현하는 것으로 이해되며, 가정법적 조건문은 전건이 성립하는 특정한 세계에 대한 진술로 이해된다. 직설법적 조건문의 인식적 수용조건을 도출하기 위해, 기존 이론의 조건문의 수용과 주장을 진리조건적으로 설명하는 것이 불만족스럽다. 기존 이론의 문제점을 고찰하여 보면, 한 언어의 유창한 사용자가 조건문에 대해서 기대하고 있는바가 무엇인지, 그리고 적절한 직설법적 조건문의 사용이 어떤 조건을 요구하는지가 드러난다. 그리고 이 요구를 수용함으로써 직설법적 조건문에 대한 대안적 사용 조건인 '인식적 수용조건'을 정식화 할 수 있다.

• Journal of the Korean Society for Railway
• /
• v.11 no.5
• /
• pp.513-518
• /
• 2008

Currently, urban areas face congestion problems that diminish personal mobility and freight-transport productivity. An increasing number of experts suggest that separating freight traffic from passenger traffic makes sense in terms of economics, the environment, and safety. Some experts suggest that tube transportation is the solution. The objective of this paper is to evaluate the potential benefits and limitations of tube transportation system as a viable mode of transport that can alleviate congestion on roadways. Specifically, this research employs theoretical and practical method identifying, evaluating, and selecting appropriate freight pipeline systems; evaluating the technical and economic feasibility of tube transportation; and estimating environmental, energy, and safety benefits.

• Korean Management Science Review
• /
• v.3
• /
• pp.25-36
• /
• 1986

본 연구에서는 리그경기의 요구조건을 분석한 후, 리그경기 일정계획을 위한 모형을 개발하였다. 개발된 모형을 마이크로컴퓨터를 통해 이용자가 사용하기에 간편하도록 구현화했다. 본 연구에서 개발된 리그경기 일정계획 시스템은 각종 리그경기, 특히 연고지를 가진 상업적인 리그경기의 일정계획에 이용될 수 있다. 참가하는 팀들의 요구조건을 적극 반영할 수 있도록 민감도 분석기능을 추가시켰다. 개발된 시스템을 이용할 경우 현재 수작업으로 수행중인 리그경기 일정계획에 많은 도움이 있을 것으로 사료된다. 개발된 시스템에서는 각팀의 이동거리가 비교적 우선순위가 낮은 요구조건으로 분석되었으며 이동거리르 최소화시키는 방법으로 연속 홈경기와 방문경기를 적정수준 이하로 유지시키면서 각팀의 이동거리를 합한 총거리를 최소화하는 방법을 사용했으나 각팀의 실제적인 이동거리가 Critical한 경우에는 Multi-Objective Traveling Salesman기법을 사용하여 향후에 해결이 가능할 것으로 여겨진다.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2014.10a
• /
• pp.591-594
• /
• 2014

IT Convergence with agriculture is expected to bring more efficiency and quality improvement in producing, distributing, consuming of agricultural products with the aid of information processing and autonomous control technologies of the IT area. However, there exist many difficulties to establish services and systems to actualize the IT convergence service in the agricultural field to cope with various objects such as time-varying weather changes, growth condition of farm products, and continual diseases. In this paper, we suggest standard technology service requirements for ubiquitous environments agriculture based on network.

• Defense and Technology
• /
• no.10 s.152
• /
• pp.76-79
• /
• 1991

탐색기는 호밍유도탄에 사용되는 핵심 유도장치로서 저가의 전술유도탄에서부터 고가의 전략유도탄용에 이르기까지 여러 다른 목표와 사양으로 개발되고 있으며, 유도 무기체계의 경제성, 정확도의 개선, 명중률의 향상을 위해 설계요구조건이 더욱 다양화되고 있는 추세이다. 여기에서는 탐색기의 주요 연구분야 설계의 요구조건과 절차, 핵심 소요기술을 소개하기로 한다

• Korean Journal of Construction Engineering and Management
• /
• v.20 no.1
• /
• pp.22-31
• /
• 2019

The application of BIM that can manage and integrate information generated during the entire life cycle of buildings in domestic and overseas construction projects is becoming active. When BIM is utilized in the construction phase, it can shorten the construction period, reduce the occurrence of reworks and improve collaboration capability. However, there are limitations in applying BIM to the construction phase due to the insufficient definition level of domestic BIM guidelines and inadequate design standards. In this regard, this study developed BIM model requirements checklist for the application of BIM in the construction phase. To develop the checklists, 21 domestic and overseas BIM guidelines, three public construction projects and four private construction projects to which construction BIM was applied, were analyzed. Based on the guidelines and cases, a total of 62 construction BIM model requirements (31 model objects and 31 attribute rules) and proposed construction BIM model requirement checklists by dividing the 61 requirements according to the requirement and purpose for utilization were identified. It is expected that the practical applications of the checklists proposed in this study will improve the level of BIM model in construction phase. In addition, this study has its significance as a basic research that can be used in the development of standardized guidelines for BIM model in construction phase from academic aspects.

• Proceedings of the Korean Institute of Navigation and Port Research Conference
• /
• v.2
• /
• pp.557-560
• /
• 2006

본 논문은 갈릴레오 위성항법시스템 중 갈릴레오 위성의 신호 수신 및 위성으로 무결성 정보 송신을 위한 지상국의 설치 요구조건에 대한 분석이다. 갈릴레오 위성항법시스템은 기존의 항법위성 시스템인 GPS 및 GLONASS 에 대응하기 위하여 유럽연합에서 새로이 추진중인 항법시스템이다. 이러한 항법시스템을 감시 제어하기 위한 지상국 중 신호감시국 및 상향링크국 설치에 필요한 다양한 요구 조건에 대하여 분석하여 갈릴레오 프로젝트에 우리나라가 참여할 수 있는 방안을 모색한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 1999.10c
• /
• pp.179-181
• /
• 1999

본 논문에서는 내장 실시간 시스템(real-time embedded system)에서의 성능 재조정(re-engineering) 문제를 다룬다. 성능 재조정 문제는 하드웨어와 소프트웨어가 이미 구현된 상태에서 새로운 성능조건이 요구될 때 이를 만족시키도록 시스템을 수정하는 문제이다. 본 논문에서의 성능 요구조건은 시간당 처리량(throughput)이나 입출력 지연시간(input-output latency)등이 고려된다. 제안된 방법은 병목점 분석(bottleneck analysis)과 비선형 최적화를 이용한다. 이를 위해 프로세스 네트워크(process network)로 표현된 시스템 디자인과 태스크 그래프, 태스크 할당(allocation)과 스케쥴링, 그리고 새로운 성능조건인 실시간 처리량을 입력으로 사용한다. 제안된 방법은 두 단계로 구성된다. 첫째, 프로세스 네트워크에서 프로세스의 지연시간을 계산하여 병목이 되는 프로세스를 찾아낸다. 둘째, 프로세싱 요소의 성능 개선율(performance scaling factor)을 변수로 하여 주어진 성능을 만족시키기 위한 시스템 제약조건을 유도한다. 이를 사용하여 하드웨어의 업그레이드 비용을 최소화하도록 제약조건을 풀고 각 프로세싱 요소(processing element)에 필요한 성능개선율을 구한다. 제안된 방법은 기존에 구성된 소프트웨어의 구조를 고치기 않기 때문에 재조정의 시간을 줄일 수 있게 한다.

• Proceedings of the IEEK Conference
• /
• 2001.09a
• /
• pp.205-208
• /
• 2001

비디오 워터마킹 기술은 비인지성, 안전성 및 강인성의 일반적인 요구조건 이외에 실시간 처리의 요구 조건들이 부가된다. 또한 공격에 있어서 프레임 정보를 이용한 워터마크 제거와 같은 공격이 가능하기 때문에 정지 영상과 비교하여 설계 시 많은 고려가 요구된다. 본 논문에서는 이진의 삽입 정보가 삽입된 비디오 데이터로부터 양극성 랜덤 계열을 이용하여 워터마크를 추출하는 경우에 비디오 프레임 간의 움직임 예측에 의해 구성된 프레임을 이용하여 추출 성능을 향상시키기 위한 추출 방법을 제안하였다. 제안 방식의 실험 결과로부터 움직임 예측을 이용하지 않은 결과와 비교하여 워터마크 추출 성능이 향상되었음을 확인하였다.

• Proceedings of the Korean Society for Noise and Vibration Engineering Conference
• /
• 1997.04a
• /
• pp.488-492
• /
• 1997

원자력 발전소의 공조 시스템에 설치되는 덕트형 소음기를 설계.제작하여 감음성능 시험, 내진해석, 내진시험, 난연시험 및 기밀시험 등을 수행하여 각각의 요구조건에 적합한 소음기를 설계.제작한 결과 원자력 발전소에 기 설치된 소음기와 동등한 성능을 갖는 것으로 나타났다. 소음기를 설계, 제작, 시험하는 과정에서의 노-하우를 바탕으로 어떠한 요구조건에도 만족하는 제품을 국내에서 설계.생산할 수 있는 기술 확보에 있다.