• Journal of KIISE:Information Networking
• /
• v.29 no.5
• /
• pp.510-523
• /
• 2002

The routers in an active network perform customized computations on the messages flowing through them, while the role of routers in the traditional packet network, such as the Internet, is to passively forward packets as fast as possible. In contrast to the Internet, the processing in active networks can be customized on a per user or per application basis. Active networks allow users to inject information into the network, where the information describes or controls a program to be executed for the users by the routers as well as the end hosts. So the network users can realize the active networks by "programming" the network behavior via the programming interface exposed to them. In this paper, we devise a network protocol model and present a verification technique for reasoning about the correctness of an active application defined using the model. The technique is developed in a platform- and language-independent way, and it is algorithmic and can be automated by computer program. We give an example dealing with network auction to illustrate the use of the model and the verification technique.

• 한국태양에너지학회:학술대회논문집
• /
• 2009.04a
• /
• pp.127-132
• /
• 2009

A Microsoft Access application program is developed to calculate energy demands for a Community Energy System (CES) composed of various types of buildings. The field-measured heating, hot water, cooling, and electricity energy consumptions for 14 types of building are systematically organized in forms of database and hourly loads for a span of year (8760 hours) are generated through an automated statistical procedure. User-friendly standard windows interfaces are provided to assist non-expert end users.

• Phonetics and Speech Sciences
• /
• v.5 no.4
• /
• pp.3-15
• /
• 2013

The acoustic analysis of diadochokinesis(DDK) has been used to evaluate dysarthria. However, there has not been an automatic method to evaluate dysarthria. The aim of this study was to introduce a new automated program to measure DDK tasks and to apply this to clinical patients with idiopathic Parkinson's disease(IPD). Fourty-seven patients with IPD and a healthy control group of twenty participants were selected with every DDK task recorded three times. Twenty-five acoustic parameters in the program were developed. The relevant parameters were times of DDK, pitch related parameters, intensity parameters which were analyzed by 2-way ANOVA. Significant differences between the groups were found in the times of DDK, pitch related parameters, and intensity parameters. The findings indicated that the pitch of control group was more stable than that of the IPD. Even though the patients with IPD had a higher intensity value, this phenomenon was caused by the weakness of the IPD group who could not control their speech with a breath.

• Asia pacific journal of information systems
• /
• v.3 no.1
• /
• pp.31-53
• /
• 1993

Computer Aided Software Engineering(CASE) tools are suggested as an automated method for the efficient development of softwares. This study are intended to measure the use level of CASE tools and to provide the meaningful information on the whole software development environment supported by CASE tools. Therefore, the results of a survey on CASE environment in Korea are empirically reported and analyzed. The use of CASE tools is measured; purposes purchasing CASE tools and achievement levels are investigated. Implications from the comparative analysis of the utilization of software engineering methodologies between the CASE user group and the non-user group are described. A proposition is suggested to check the request frequency for program change. Further studies on the reverse engineering, program reuse and the use of CASE tools under distributed processing systems such as client-server environments are suggested.

• Transactions of the Korean Society of Machine Tool Engineers
• /
• v.11 no.1
• /
• pp.91-96
• /
• 2002

Recently industry has moved towards automated operations with the goal of achieving better product quality greater productivity and reliability The pump design in characterized by extensive utilization of the related database which contains performance data. The inputs to the system are through interactive dialogue sessions and the basic input consist of flow rate, head, of fluid efficiency and the customer special requirements. These basic inputs along with the numerous rules in the knowledge bases and the mathematical modeling enable the effective design of the pump industry This paper represents the development of an automatic pump design system that was composed of a main program the data input module the drawing module the drawing edit module and was programed by the AutoLISP language under the Auto CAD program The developed system ultimately generates the design for a pump through the AutoCAD language.

• Journal of the Korean Society for Precision Engineering
• /
• v.19 no.7
• /
• pp.141-146
• /
• 2002

In this paper, we developed an automated program for the design and machining of spiroid bevel gear, A computer program employing the theory of gearing between gear and pinion is developed to design spiroid bevel gear mechanism. A new method fur machining spiroid bevel gears is proposed, and effectviely used for two examples.

• Proceedings of the Korean Society for Technology of Plasticity Conference
• /
• 2002.11a
• /
• pp.79-87
• /
• 2002

An attempt to automate the surface finishing process of the die and mould has been carried out. An UMB(Ultrasonic Micro Burnishing) equipment which brought the micro plastic cold deformation to the 3D sculptured surface of mold and dies by ultrasonic vibration and static load, was developed and installed at the head stock of a vertical machining center. To be satisfied with the required surface roughness and hardness, the DB based program was also developed and applied. This equipment composes of UMB equipement, CNC vertical machining center, CAD/CAM system and the DB based program fer optimal condition. UMB processing effect was obtained from initial value Ral.25 and Hk337 to Ra0.085 and Hk521 and similar result was shown in industrial mould application.

• Journal of the Korean Operations Research and Management Science Society
• /
• v.19 no.1
• /
• pp.1-16
• /
• 1994

In this paper, we try to raise the efficiency of PCB production by improving automated inserting process. This process is composed of part inserting sequence and feeder allocation problem. Until now, this problem is formulated by Traveling Salesman Problem (TSP) or Rural Postman Problem. They concerted more on parts(chips) inserting. But in this paper, we concentrate on Feeder. We formulate 0-1 Integer program (MP2) easier than TSP. This program can be solved by using LP Package (i. e. LINDO, GAMS etc). We propose Heuristic algorithm ISFA which guarantees a local optimum and often gives solution. We give some examples to prove ISFA algorithm.

• 유체기계공업학회:학술대회논문집
• /
• 1999.12a
• /
• pp.333-337
• /
• 1999

The biggest challenge facing today manufacturing industry is better quality and high productivity. From an economic point of view, productivity is the most important parameter, as high productivity will reduce the cost. However, the customers of day are not only cost concerned, but also quality conscious. So high accuracy levels should also be achieved in the manufacturing process. This paper reports the development of a automatic design system based on AutoCAD program. 1'his work is composed of three section that are design of top down menu, impeller and casing for pump programed by AutoLISP language and runned Windows system. The developed system ultimately generates the design for a pump through AutoCAD program. In the design of the pump, it needs about 23 hours with an expert, but this system can be only 80 seconds without an expert.

• ETRI Journal
• /
• v.43 no.5
• /
• pp.881-890
• /
• 2021

Photoplethysmography (PPG) is a noninvasive technique that can be used to conveniently measure heart rate (HR) and thus obtain relevant health-related information. However, developing an automated PPG system is difficult, because its waveforms are susceptible to motion artifacts and between-patient variation, making its interpretation difficult. We use deep neural network (DNN) filters to mimic the cognitive ability of a human expert who can distinguish the features of PPG altered by noise from various sources. Systolic (S), onset (O), and first derivative peaks (W) are recognized by three different DNN filters. In addition, the boundaries of uninformative regions caused by artifacts are identified by two different filters. The algorithm reliably derives the HR and presents recognition scores for the S, O, and W peaks and artifacts with only a 0.7-s delay. In the evaluation using data from 11 patients obtained from PhysioNet, the algorithm yields 8643 (86.12%) reliable HR measurements from a total of 10 036 heartbeats, including some with uninformative data resulting from arrhythmias and artifacts.