• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.28 no.12A
• /
• pp.1002-1008
• /
• 2003

In terrestrial data broadcasting, we are just on the beginning stage in all aspects including implementation and design techniques and only asynchronous data processing has been receiving a little study. In this paper, we therefore propose an efficient processing algorithm for synchronization of asynchronous data by using trigger information to make more diverse service possible with a variety of contents. In the proposed algorithm, trigger data is encapsulated in DSM-CC section and transmitted in a form of MPEG-2 TS. The data is then separated in PC type set-top box and detached asynchronous data and trigger data are stored by the proposed algorithm. Pre-loaded asynchronous data is displayed when STC(system time clock) has the same value as PTS(presentation time stamp). Proper operation of the proposed algorithm was verified by using a content of asynchronous data with extensible markup language(XML) and a declarative application(DA) browser.

• Transactions of the Korean Society of Mechanical Engineers
• /
• v.18 no.3
• /
• pp.777-784
• /
• 1994

A design expert system for the ship structural design is developed to support inexperienced designers. To establish the knowledge-base, an expert system development shell, Nexpert, is used. Knowledge is extracted from the rules of a classification society of ships, and also from an existing ship structural program that is being used by ship designers. This knowledge is systematized using the objectoriented concept. The design support system is constructed by adding additional functions which are required for the conventional engineering design work. Added functions are; calculation of longitudinal strength, database of existing ship designs, graphical user interface, and visualization of design results. It is observed that visualizing the relationships among the rules, which are activated to draw a certain design decision, is helpful. The system can easily be updated according to changes of the rule books of ship classification societies.

• Speech Sciences
• /
• v.11 no.1
• /
• pp.31-42
• /
• 2004

This paper presents methods using Gaussian normalization for converting pitch contours based on prosodic phrases along with experimental tests on the Korean database of 16 declarative sentences and the first sentences of the story of 'The Three Little Pigs'. We propose a new conversion method using Gaussian normalization to the pitch deviation of pitch contour subtracted by partial declination lines: by using partial declination lines for each accentual phrase of pitch contour, we avoid the problem that a Gaussian normalization using average values and standard deviations of intonational phrase tends to lose individual local variability and thus cannot modify individual characteristics of pitch contour from a source speaker to a target speaker. From the results of the experiments, we show that this slanted Gaussian normalization using these declination lines subtracted from pitch contour of accentual phrases can modify pitch contour more accurately than other methods using Gaussian normalization.

• Speech Sciences
• /
• v.9 no.1
• /
• pp.27-38
• /
• 2002

The purpose of the study is to examine intonation patterns of cochlear implanted children compared with those of normal hearing children. The data tokens of three normal and five cochlear implanted children were collected and investigated. Their intonation patterns were analyzed using the speech analysis tool, Praat. The characteristics of the two utterance types, interrogative and declarative, were investigated. No significant difference in intonation patterns between the two subject groups was found. However, the general pitch of cochlear implanted children was higher than that of normal hearing children. In addition, cochlear implanted children showed frequent pitch breaks.

• Journal of the Korean Operations Research and Management Science Society
• /
• v.23 no.2
• /
• pp.157-185
• /
• 1998

One of the essential issues in model systems is how to represent and manipulate mathematical modeling knowledge. As the bases of integrated modeling environments, current modeling frameworks have limitations: lack of facility to coordinate different users perpectives and lack of mechanism to reuse modeling knowledge. In this paper, multi-facetted modeling approach is proposed as a basis for the development of integrated modeling environment which provides facilities for (1) independent management of modeling knowledge from individual models； (2) object-oriented conceptual blackboard concept； (3) multi-facetted modeling； and (4) declarative representation of mathematical knowledge. The proposed multi-facetted approach is illustrated using multicommodity transportation models.

• Journal of Korean Institute of Industrial Engineers
• /
• v.27 no.1
• /
• pp.37-46
• /
• 2001

Business process(workflow) analysis has been recognized as a core step to building information systems. However, most analysts have recognized that deriving consistent business process artifacts even in a simple business domain is very difficult, since most analysis methods give the designers narrative and/or diagrammatic tools that do not support rigorous analysis rules. This often generates inconsistent analysis results, leading to create useless information systems and resulting in tremendous budget wastes. To overcome this weakness, this paper presents a declarative business process modeling method called contract-collaboration net(cc-net), which is not only somewhat formal but also useful to the practitioners. A case study on bank domain is presented to illustrate our approach.

• Management Science and Financial Engineering
• /
• v.3 no.2
• /
• pp.71-92
• /
• 1997

Developing FMS controllers has been a difficult problem largely because of the variety of the system configuration. The purpose of this paper is to develop a method of building an FMS controller. The controller consists of control module and execution module. A hierarchically layered structure of these modules is proposed. The control module generates abstract-level execution requested by identifying a set of activities that can be executed without creating any irregular state. The execution module transmits the requests to physical device controllers and reports back the completion of the requests to the control module. Both of these two modules use Petri Net-based models. In this paper, a controllable Petri Net model is automatically synthesized from declarative specifications provided by a user. An execution Petri Net model for the execution module is designed to ensure the consistency between the control module and the real target system. The controller operates in MMS on TCP/IP and UNIX environment.

• Proceedings of the Korean Information Science Society Conference
• /
• 2007.06d
• /
• pp.189-194
• /
• 2007

자원 제약적인 무선 센서네트워크상에서 전송비용을 최대한 줄이기 위하여 데이터의 수집 및 처리를 분산된 형태로 처리하는 방법이 필수적이다. 이에 따라 Declarative Query Language를 이용하여 다양한 질의를 표현하고, 이와 같은 질의를 효율적으로 처리하기 위한 에너지 분산 질의처리 방법이 중요한 이슈로 부각되고 있다. 본 논문은 [3]의 확장된 논문으로써 유한 상태 머신 기반 운영체제인 SenOS상에서 질의를 처리할 수 있는 시스템의 구조 중 SenOS의 동적 재구성 기능적 특성을 적용한 SenDB의 동적 Aggregation Function 추가 기능에 대하여 살펴보았다. 아울러 [3]에서 제안한 이기종 센서노드 연동기능의 개선점 및 구현 방법에 대하여 살펴보겠다.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.5 no.1
• /
• pp.192-201
• /
• 2001

It has been a long standing problem in research of pure functional programming to program side-effect, input/output, exception handling, nondeterminism, and etc, preserving declarative property and lazy-evaluation of pure functional languages. Being introduced in 1989, Monadic approach has been suggested as a solution to this problem. In this paper, we introduce the principle of functional monadic programming and its various application techniques using the Pure functional language Haskell.

• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 2000.04a
• /
• pp.617-620
• /
• 2000

In this paper, we show an application of constraint logic programming to the operation scheduling on machines in a job shop. Constraint logic programming is a new genre of programming technique combining the declarative aspect of logic programming with the efficiency of constraint manipulation and solving mechanisms. Due to the latter feature, combinatorial search problems like scheduling may be resolved efficiently. In this study, the jobs that consist of a set of related operations are supposed to be constrained by precedence and resource availability. We also explore how the constraint solving mechanisms can be defined over a scheduling domain. Thus the scheduling approach presented here has two benefits: the flexibility that can be expected from an artificial intelligence tool by simplifying greatly the problem; and the efficiency that stems from the capability of constraint logic programming to manipulate constraints to prune the search space in an a priori manner.