• Korean Journal of Cognitive Science
• /
• v.6 no.2
• /
• pp.97-116
• /
• 1995

This study was conducted to investigate how syntaction and pragmatic constraints influence the sentential representation and memory accessibility. In order to seperate the syntactic constraints from the pragmatic constraint from the pragmatic constraints,the syntactic role of constituent in the sentence (subject or object) and the order of mention(first or second) were manipulted.After each sentence was presented by RSVP procedure,the probe recognition time was measured to investigate memory accessibility.In Experiment 1,in which SOA interval was 255ms,it was found that the subject of a sentece were more accessible than the object and participants first in a sentence were more accessible than participants mentioned later.However, in Experiment 2,in which SOA interval was 1540ms,it was found that participants mentioned first in a sentence were more accessible than participants mentioned later while there was no significant difference between the subject and object of a sentece.These results suggest that the syntactic and pragmatic constraints have an independent effect on the initial senential representation at the early stage of constructing representation,but as time passes only the pragmatic constraints influence sentential representation.These results also support a theoretical position which assumes that sentential representation is constructed through the process of convergent statisfaction of multiple constraints.

• Journal of Intelligence and Information Systems
• /
• v.4 no.2
• /
• pp.45-59
• /
• 1998

다양한 산업영역에서 수행되는 스케줄링 문제를 해결하기 위하여 AI분야에서는 지식을 기반으로한 방법이 적용되어 왔다. 그러나 최근 CSP(Constraints Satisfaction Problem) 개념이 소개되어 그 효율성이 입증되고 있으며 스케줄링 응용 문제들이 CSP로 정형화되면서부터 지식 기반 기법과 제약만족 기법의 적용이 공존하고 있다. 지식을 기반으로 한 방법은 도메인 전문가(domain expert)의 지식을 습득하여 시스템에 반영하는데 이러한 지식은 문제해결에 중심적 역할을 수행하게 된다. 제약조건을 기반으로 한 방법은 문제를 CSP로 정형화 한 후 제약조건에 따른 일관성 유지 및 휴리스틱 탐색 방법을 적용하여 문제의 해를 효율적으로 구하게 된다. 본 연구에서는 스케줄링 문제를 해결하기 위한 지식기반 기법과 제약만족 기법을 주기장 할당 문제에 적용하여 실제 항공사의 운항 데이터를 바탕으로 실험하고 분석 및 비교를 통해 제약 만족 기법이 시스템의 유지 및 보수 측면에서 효율적이며 근사해가 아닌 최적해를 통한 문제 해결이 가능함을 보였다.

• Proceedings of the Plant Resources Society of Korea Conference
• /
• 2019.04a
• /
• pp.37-37
• /
• 2019

벼 재배포장에서 화학약제의 반복적인 사용으로 인한 병원균의 약제내성과 환경오염은 커다란 문제가 되고 있다. 이러한 약제내성을 극복하기 위한 노력의 하나로 유전자수준의 약제내성기작의 규명과 대체물질의 발굴이 필요하다고 사료된다. 이에 본 연구에서는 식물종이 지니는 광범위한 다양성에 주목하였고, 700여 종의 식물추출물을 벼 도열병균에 처리해 균사성장억제효과를 조사하는 선별실험을 실시하였고, 영릉향과 지모추출물이 높은 균사성장억제효과를 보이는 것을 확인했다. 영릉향과 지모 추출물이 화학약제를 대체하는 대안물질로서 가능성을 조사하기위해 균사성장억제능력 확인실험, 분획, HPLC (High Performance Liquid Chromatography), 포자발아 및 부착기 형성확인검정, ABC transporter의 발현조사, 환경독성실험등을 실시했다. 실험 결과, 영릉향과 지모 추출물을 벼 도열병균에 처리하였을 때 약제저항성유전자 ABC transporter의 기능이 저하되고 화학약제에 대한 내성이 감소를 확인했으며, 분획과 HPLC분석을 통해 영릉향과 지모의 유효성분을 확인했다. 또한, 실제 포장에서 영릉향 추출물과 지모 추출물을 사용하여 벼 도열병 방제가를 확인하는 포장시험을 실시한 결과, 각각 63%와 62%의 목 도열병 방제가를 확인 하였으며, 인축환경에 대한 유해성을 조사하기 위해 어류, 설치류, 중치류, 곤충을 대상으로 영릉향 추출물을 처리해 급성독성시험 실시한 결과, 고농도의 투여량에서도 독성이 없는 것을 확인했다. 위의 실험 결과를 토대로, 영릉향과 지모추출물이 화학농약에 의한 환경오염을 막을 수 있고, 인축과 환경에 피해를 입히지 않는 친환경자재로 친환경적인 생물농약의 신소재로서 가능성을 나타냈다고 사료된다.

• Journal of Korean Society of Transportation
• /
• v.27 no.1
• /
• pp.157-167
• /
• 2009

This study deals with the turn penalty functions in the urban transportation demand forecasting. The objectives are to develop the penalty functions of left-turn traffic in the case of signalized intersections, and to analyze the applicability of the functions to the traffic assignment models. This is based on the background that the existing models can not effectively account for the delays of left-turn traffic which is bigger than that of through traffic. In pursuing the above, this study gives particular attention to developing the penalty functions based on the degrees of saturation by simulation results of Transyt-7F, and analyzing the applicability of the functions by the case study of Cheongju. The major findings are the followings. First, two penalty functions developed according to the degrees of saturation, are evaluated to be all statistically significant. Second, the results that the above functions apply to the Cheongju network, are analyzed to be converging, though the iteration numbers increase. Third, the link volumes forecasted by turn penalty functions are evaluated to be better fitted to the observed data than those by the existing models. Finally, the differences of traffic volumes assigned by two functions, which are exponential and divided forms, are analyzed to be very small.

• Journal of the Korea Society of Computer and Information
• /
• v.12 no.4
• /
• pp.43-52
• /
• 2007

As the number of public Web Services increases, there will be many services with the same functionality. These services. however, will vary in their QoS properties, such as price, response time and availability, and it is very important to choose a best service while satisfying given QoS constraints. This paper brings parallel branching and response time constraint of business processes into focus and investigates several service selection plans based on multidimensional multiple choice Knapsack model. Specifically. proposed in the paper are a plan with response time constraints for each execution flow, a plan with a single constraint over the whole service types and a plan with a constraint on a particular execution path of a composite Web Services. Experiments are conducted to observe the performance of each plan with varying the number of services, the number of branches and the values of response time constraint. Experimental results show that reducing the number of candidate services using Pareto Dominance is very effective and the plan with a constraint over the whole service types is efficient in time and solution quality for small to medium size problems.

• Proceedings of the Korean Information Science Society Conference
• /
• 2002.04b
• /
• pp.451-453
• /
• 2002

연어는 습관적으로 같이 자주 나타나는 단어열로 각 단어로 분리하기보다 통합해 처리하는 것이 효율적이기 때문에 기계 번역과 음성 인식등에서 유용만 정보로 사용된다. 이러한 연어를 추출하기 위해 본 논문에서는 2가지 경우를 고려했는데, 첫 번째로 인어를 말뭉치에 자주 나타나는 단어열이라고 했을 때 단어열들의 엔트로피가 일정값 이상이면 연어로 추출했다 두 번째로 통사적 제약이 있는 연어를 주술하기 위해 앞 또는 뒤에 올 단어를 제약하는 단어의 엔트로피를 구해 일정값 미만이면 그 단어를 포함한 단어열을 연어로 추출했다. 실험은 품사 부착된 HANTCE 말뭉치를 가지고 수행했고, 젓 번째 방법으로 실험했을 때 엔드로피가 2이상인 단어열을 가지고 분리된 연어도 유도해냈다.

• Journal of Korea Water Resources Association
• /
• v.36 no.1
• /
• pp.61-74
• /
• 2003

This study(II) apply to the A city by using the optimal rehabilitation model based on the deterioration prediction of the water distribution system proposed the study(I). The deterioration prediction model divides factors into 14 factors with digging and experiment and 9 factor without digging and experiment and calculate the deterioration degree. The application results of the deterioration prediction model show that a difference of the deterioration degree according to factor numbers is within 1~2%. Also, the model can predict the deterioration degree of each pipe without digging and experiment. The optimal rehabilitation model is divided into the optimal residual durability of each deterioration factor and budget constraint or not. The application result is as follow: the rehabilitation time and cost increase according to the increasing of the optimal residual durability. When compared the model with budget constraint and model without budget constraint, the former model increase the cost of total contents. In case of budget constraint, the increasing tendency is concluded that the pipe rehabilitation is executed in same budget every year in condition that every rehabilitation cost do not exceed the every year budget within the optimal residual durability.

• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 1993.10a
• /
• pp.174-174
• /
• 1993

자원제약하의 롯트 사이즈 결정문제(capacitated lot sizing problem: CLSP)는 주어진 생산자원의 제약요건을 만족하면서 모든 계획기간의 수요를 충족시킬수 있는 가동준비와 재고유지비의 총합에 대한 최소화 문제다. CLSP는 NP-hard이기 때문에 그 해를 효율적으로 구하기 위한 휴리스틱 해법이 그동안 꾸준히 개발되어져 왔으며 그 대부분의 알고리즘은 Wagner-Whitin의 해도출원리를 이용한 것이다. 본 연구는 지금까지 개발된 CLSP의 알고리즘을 분석하여 그 특성을 파악한 후 본 연구에서 개발한 알고리즘과 이들 기존 알고리즘을 비교 실험함으로써 개발된 알고리즘이 어느 정도의 효율성을 가지는가를 검토하고자 한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2000.10c
• /
• pp.21-23
• /
• 2000

본 논문에서는 통합설계에서 시간제약하의 최소비용 시스템 구현을 위한 분할의 최적해 탐색을 위한 ILP형식을 정의하고 실험에 의해 결과를 평가한다. 분할 문제는 각 노드의 하드웨어 소프트웨어 파티션 선택과 소프트웨어 실행을 위한 대상 노드의 스케쥴링 문제가 함께 고려되어야 한다. 본 논문에서는 분할 단계에서 스케쥴링을 함께 고려하는 ILP형 정의를 위해 ASAP과 ALAP 스케쥴에 의해 유도되는 모빌리티와 시간 제약 조건, 종속성 제약 조건을 형식화하고, 목적함수인 최소 시스템 설계 비용 탐색을 위한 형을 정의한다. 정의된 형에 의한 ILP 구현은 다양한 벤치마크 검증에 의해 최적의 해를 결과로 보인다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2003.04a
• /
• pp.151-153
• /
• 2003

이 논문은 프레임 기반의 비디오 응용에 대해서 화질 (video quality) 제약을 고려한 응용 수준(application-level)에서의 에너지 최적화 기법을 제안한다. 화질과 에너지 소모 사이에는 상관관계 (trade-off)가 있음을 이용하여. 본 논문은 H.263 인코더의 화질을 실시간으로 모니터링해서 프레임 속도(frame rate)를 자동으로 조절하는 알고리즘을 제안한다. 기존 동적 전압 스케줄링 (DVS: dynamic voltage scheduling) 기법은 유휴 시간 (slack time)을 주어진 것이라고 가정하는 반면, 제안하는 기법은 유휴 시간 자체를 증가시켜서 DVS 기법의 효과를 향상시킨다. 제안하는 기법이 주어진 화질 제약을 만족하며 상당한 에너지 소모를 감소함을 실험을 통해서 알 수 있다.