• KIPS Transactions on Software and Data Engineering
• /
• v.2 no.6
• /
• pp.377-382
• /
• 2013

A convergence software development methodology based on product line engineering provides an architecture model for application development and it also provides workflow as a behavior specification of control component development to develop transaction centric application. To effect a change on software development based on product line engineering it has to be supported by a tool. But almost workflow modeling tools dose not support product line engineering concept. So we need new workflow modeling tool to support the convergence software development methodology. In this paper, we introduce a toolset for workflow modeling that consists of eclipse plug-in applications and open source tool and describe the relationships of tools through example.

• The Journal of Korean Academy of Orthopedic Manual Physical Therapy
• /
• v.21 no.2
• /
• pp.63-71
• /
• 2015

Background: The purpose of the study, using the ICF Tool in the process of rehabilitation of artificial joint replacement surgery of the hip joint, goal setting and understanding of the problem, through the process of creating intervention strategies, useful clinical practical course for rehabilitation I try to present the data. Methods: Fracture was the left total hip replacement (THR) surgery due to women of 76 years old. I proceed in order screening, evaluation, diagnosis, prognosis, treatment planning and intervention, re-screening. Needs of the patient was walking short distances for using the toilet. In order to improve was carried out arbitration, after you have created a list of issues that limit the ability to walk short distances. Results: It was revealed improved results in self-paced walk test (SPWT) and Western Ontario and McMaster Universities Osteoarthritis Index (WOMAC) was used to examine whether the goals. In addition, MMT VAS, DGI, and TUG is a detailed goal was improved. Conclusions: It can be shown objectively the results of interventions performed for the purpose of solving the problem which is grasped through clinical Practical course for short-range walking ability enhance patient THR. I considered practical clinical course using the ICF Tool would be useful.

• Journal of the Korean Society of Physical Medicine
• /
• v.12 no.4
• /
• pp.19-28
• /
• 2017

PURPOSE: The purpose of this study was to describe the Proprioceptive Neuromuscular Facilitation (PNF) Intervention strategy applied International Classification of Functioning, Disability and Health (ICF) Tool about strength, range of motion, scapular stability, pain and function of shoulder for patients with adhesive capsulitis. METHODS: The data was collected by patient with adhesive capsulitis. The patient was a 50-year-old male diagnosed with right shoulder with adhesive capsulitis. We applied the PNF Intervention strategy applied ICF Tool to patient with adhesive capsulitis. PNF interventions were consisting of such as combination of isotonic and stabilizing reversal technique and various positions. PNF interventions were applied, such as those aiming at decreasing pain and disability and increasing range of motion and function for the four weeks. Parameters of result were collected for strength, range of motion, scapular stability, pain and function of shoulder using the hand held dynamometer, goniometer, lateral scapula slide test, and shoulder pain and disability index, respectively. RESULTS: Clinical benefits were observed the patient with adhesive capsulitis for strength, range of motion, scapular stability, pain, and function of shoulder. The patient with adhesive capsulitis improved strength, range of motion, scapular stability, pain, and function of shoulder. CONCLUSION: Patient reported improved strength, range of motion, scapular stability, pain, and function of shoulder after intervention.

• Transactions of the Korean Society of Mechanical Engineers A
• /
• v.24 no.12
• /
• pp.3018-3025
• /
• 2000

It is possible to shorten developing process by making model using polyurethane foam in the area of automobile development process, etc. However, this skill is too difficult to be of practical use because machining is not easy due to characteristic of polyurethane foam. Domestic and foreign automobile company use clay, polyurethane foam. etc,, those are easy to handle and to make model after completing design sketch. But these materials is difficult to the machined and be worked by humans hand, There are so many difficult problem for machining by making model using polyurethane foam since cutting of elastic body like polyurethan foam has never been studied. Therefore, in this study, it is investigated to measured cutting force that is generated in case of polyurethane foam machining, and to make systematize tool compensation of polyurethane foam cutting work on automobile model by modification of tool offset method on existing steel.

• Journal of the Korean Society for Railway
• /
• v.3 no.3
• /
• pp.147-153
• /
• 2000

The train control and monitoring system (TCMS) is an on board computer system in railway vehicles performing the control, supervisory and diagnostic functions of the complete train system. This system replaces a lot of hard-wired relays and minimizes the necessary vehicle wiring thus increasing the reliability of the train. It is also one of more important equipment on vehicle to implement much higher safety and reliability train system. We studied a software design technique of TCMS using a CASE tool that is a kind of safety critical software engineering tool (SCADE). This tool has mainly four functions such as the graphical editor, the document maker, tile automatically code generator, and the test simulator. The several functions of TCMS are implemented in this software easily programmed using a functional block diagram and a graphic programming language. We applied to automatically generated TCMS modules on the SCADE each functional block for the Standard type EMU in Korea. We performed the combination test using TCMS simulator and the running test in Seoul subway 7 Line. We proved that this technique is more useful for the software design of TCMS in urban transit

• Journal of the Korean Society of Manufacturing Process Engineers
• /
• v.16 no.4
• /
• pp.16-23
• /
• 2017

CFRP(Carbon Fiber Reinforced Plastics) has many industrial applications due to its low weight and high strength properties. Due to its superior properties, for example, excellent resistance to fatigue wear, corrosion, and breakage from fatigue, it has been widely applicable to aircraft, automotive, and medical industries and so on. The main machining for CFRP is drilling, and route milling. In case of drilling, the machining defects such as the delamination of each layer, uncut fiber, resin burning, spalling, and exit burrs are inevitable. The issue to remove such kind of defects is necessary to make CFRP parts successful. From this point of view, this paper investigates the removal effectiveness of machining defects existing at exit region with different type of tool geometries. Consequently, based on the experiments, the tool geometry is most impact factor to remove uncut fiber or resin.

• Journal of Electrical Engineering and Technology
• /
• v.1 no.4
• /
• pp.513-519
• /
• 2006

As a very important part in development of the protocol, verifications for developed protocol specification are complementary techniques that are used to increase the level of confidence in the system functions by their specifications. Using the informal method for specifying the protocol, some ambiguity may be contained therein. This indwelling ambiguity in control systems can cause the occurrence of accidents, especially in the case of safety-critical systems. To clear the vagueness contained in the designed protocol, we use the LTS (Labeled Transition System) model to design the protocol for railway signaling. And then, we verify the safety and the liveness properties formally through the model checking method. The modal ${\mu}$-calculus, which is an expressive method of temporal logic, has been applied to the model checking method. We verify the safety and liveness properties of Korean standard protocol for railway signaling systems. To perform automatic verification of the safety and liveness properties of the designed protocol, a communication verification tool is implemented. The developed tools are implemented by C++ language under Windows XP. It is expected to increase the safety and reliability of communication protocol for signaling systems by using the developed communication verification tool.

• Journal of the Korean Society of Manufacturing Process Engineers
• /
• v.13 no.6
• /
• pp.66-72
• /
• 2014

Incremental forming is a relatively novel sheet forming process, in which parts can be formed without the use of dedicated dies. In this paper, the influence of the process parameters (tool diameter, step size, feed rate, existence of a die, forming methods, and kinds of tool path) on surface roughness in the case in which parts are processed by incremental forming was discussed. Al 1050 material is used in the experiments. A table of orthogonal arrays is used to design the experiments and the ANOVA method is employed to statistically analyze the results. The obtained results show that the process parameters of tool diameter, step size, and the existence of a die have a significant effect on the surface roughness, whereas the feed rate, forming methods and kinds of tool path are insignificant.

• International Journal of Fuzzy Logic and Intelligent Systems
• /
• v.12 no.2
• /
• pp.167-172
• /
• 2012

In biology the advent of the high-throughput technology for sequencing, probing, or screening has produced huge volume of data which could not be manually handled. Biologists have resorted to software tools in order to effectively handle them. This paper introduces a bioinformatics tool to help biologists find potentially interesting pathway maps from a transcriptome data set in which the expression levels of genes are described for both case and control samples. The tool accepts a transcriptome data set, and then selects and categorizes some of genes into four classes using a fuzzy filtering technique where classes are defined by membership functions. It collects and edits the pathway maps related to those selected genes without analyst' intervention. It invokes a sequence of web service functions from KEGG, which an online pathway database system, in order to retrieve related information, locate pathway maps, and manipulate them. It maintains all retrieved pathway maps in a local database and presents them to the analysts with graphical user interface. The tool has been successfully used in identifying target genes for further analysis in transcriptome study of human cytomegalovirous. The tool is very helpful in that it can considerably save analysts' time and efforts by collecting and presenting the pathway maps that contain some interesting genes, once a transcriptome data set is just given.

• Proceedings of the Korean Institute of Building Construction Conference
• /
• 2009.05b
• /
• pp.143-147
• /
• 2009

Graduates from engineering colleges are demanded to have been acquired some abilities and qualities during their undergraduate years through the standard of the so-called "programmed learning results and evaluation" This paper aims at analyzing the learning results evaluation tool for graduates from the architectural engineering department through the examples of the colleges with engineering accreditation in Korea, and suggesting a more appropriate programmed learning result evaluation tool. The basic theories on programmed learning results were studied, and then the previous study examples were researched. The study objects were limited to the fourteen colleges which offered the examples of the learning results evaluation tools of the colleges with engineering accreditation in Korea. Types and the present situation of those evaluation tools were analyzed. In addition, the proposals for the evaluation tool of programmed learning results and the performance standard were suggested for those with an engineering accreditation, based on the case study of the performance standards of each college with an engineering accreditation. The study results showed that much more national research needs to be conducted to clarify the standards of selecting an evaluation tool and a performance standard appropriate for the level of each college so that it can make a proper proposal.