• The KIPS Transactions:PartD
• /
• v.13D no.1 s.104
• /
• pp.117-124
• /
• 2006

Hardware and software codesign framework called PeaCE(Ptolemy extension as a Codesign Environment) was developed. It allows to express both data flow and control flow which is described as fFSM which extends traditional finite state machine. While the fFSM model provides lots of syntactic constructs for describing control flow, it has a lack of their formality and then difficulties in verifying the specification. In order to define the formal semantics of the fFSM, in this paper, firstly the hierarchical structure in the model is flattened and then the step semantics is defined. As a result, some important bugs such as race condition, ambiguous transition, and circulartransition can be formally detected in the model.

• Proceedings of the Korean Institute Of Construction Engineering and Management
• /
• autumn
• /
• pp.35-41
• /
• 2002

This research introduces the development of a project-level cash flow forecasting model in construction stage based on the planned earned value and the cost from a general contractors view on a jobsite. Most previous models have been developed to assist contractors in their pre-tendering or planning stage cash flow forecasts. The critical key to cash flow forecasting at the project level is how to build a cash-out model. The basic concept is to use moving weights of cost categories in a budget over project duration. The cost categories are classified to compile resources with almost the same time lags that are based on contracting payment conditions and credit times given by suppliers or venders. For cash-in, net planned monthly-earned values are simply transferred to the cash-in forecast, to be applied there with billing time and retention money. Validation of the model involves applying data from on-going 4 projects in progress for 12 months. Based on the results of the comparative analyses through the simulation of the proposed model and the existing models, the proposed model is more accurate, flexible and simpler than traditional models to the employee of construction jobsite who is not oriented financial knowledge.

• Magazine of the Korean Society of Agricultural Engineers
• /
• v.35 no.3
• /
• pp.74-80
• /
• 1993

Runoff simulation tests to investigate the flow mechanics of nonsuomerged overland flow in a natural grass intervening land system were condueted and a modified kinematic wave overland runoff model developed by Choi et al. (1993) was verified. Nonhomogeneity and heterogeneity of the soil, slope, local topography, infiltration, grass density, and the density and activity of the soil microhes and wild animals were the major factors affecting the flow. Streamlines were disturbed by grass stems and small concentrated flows due to the disturbed streamlines and local topography were observed a lot. Relatively larger concentrated flows were observed where bundles of grass were dominant than where individual grasses were growing. Predicted hydrographs were agreed verv well with measured hydrographs. Since the modified model considers grass density in computing flow depth and hydraulic radius, it can be better than existing kinematic wave model if it were used to route nonpoint source pollutant attenuation processes in many grass intervening land systems.

• Journal of Pharmaceutical Investigation
• /
• v.29 no.3
• /
• pp.211-216
• /
• 1999

To evaluate the thrombolytic activity of streptokinase-dextran conjugate, a rat model of arterial thrombosis was used. Briefly, the femoral artery was exposed and a filter paper saturated with 70% $FeCl_3$ solution was placed around the femoral artery in order to stop the blood flow. Six minutes after the stop of the blood flow in the femoral artery, streptokinase $(10000{\sim}30000\;units\;per\;rat)$ or streptokinase-dextran conjugate $(5000{\sim}17000\;units\;per\;rat)$ was administered by i.v. bolus injection through the femoral vein. Then the blood flow in the femoral artery was monitored using a Doppler laser flow meter. The i.v. bolus administration of streptokinase could not restore the blood flow in the femoral artery in the dose range of $10000{\sim}30000$ units per rat. The i.v. bolus administration of streptokinase-dextran conjugate could restore the blood flow in the femoral artery in the dose range of $5000{\sim}17000$ units per rat. A good correlation between the dose of streptokinase-dextran conjugate and the total thrombolytic effect was observed. In addition, the lag time between the injection of streptokinase-dextran conjugate and the restoring of the blood flow was decreased as the i.v. dose of streptokinase dextran conjugate increased. These results show the superior beneficial effect of streptokinase-dextran conjugate compared with the unconjugated streptokinase with respect to the elongation of thrombolytic activity, the administration method (single injection versus continuous infusion), and the reduced dose necessary for a equivalent thrombolytic effect.

• The Journal of the Convergence on Culture Technology
• /
• v.9 no.1
• /
• pp.119-128
• /
• 2023

This study was conducted to present an alternative instructional model through natural experience activities by developing a natural experience activity program that can learn and feel how to recognize and act on nature based on flow learning. In order to achieve the purpose of the study, a nature experience program, which consists of four stages of meeting nature, exploring nature, playing with nature and sharing emotions, was developed based on the main procedures of each stage of the ADDlE instructional design model. Through the research process, activities and precautions for each stage of the nature experience activity program were presented, and major educational implications were discussed based on the developed program. The nature experience program developed through the study can provide teachers with a basic direction for nature experience activities along with changing their perception of how to do nature experience activities, and infants are expected to become learners who freely feel, experience nature and make up their own knowledge through the nature experience program.

• Journal of Korean Institute of Industrial Engineers
• /
• v.12 no.1
• /
• pp.119-131
• /
• 1986

Described in this paper is a modelling methodology for mass production system simulation. The mass production system under consideration consists of various types of flow lines, special purpose production facilities, conveyor lines, palletized carts, and storage facilities. This type of production system is typical in home appliance industry, automobile industry, footwear industry, etc. where a variety of product mix are mass-produced. The modelling methodology is based on the "discrete-event formalism", and an "activity-oriented world view" is adopted to formalize the system description. A distinctive feature of the modelling methodology is that only the static structure (ie, system components) is included in the fixed model. The dynamic structure of the system is specified through a "data-driven" mechanism, which is an extension of the "experimental frame" concept. Each type of system components (ie, flow line, conveyors, carts, etc.) is formally modeled by using Activity Cycle Diagrams. The issue of "model structuring" is also addressed. The modeling methodology has been successfully applied in a real simulation study of a mass production system.

• Journal of KIISE:Software and Applications
• /
• v.32 no.6
• /
• pp.486-501
• /
• 2005

XPDL is a XML-based language for process definition exchange that is proposed by WfMC. This paper propose a model which model XPDL document structure (Schema) using UML in order to define and to exchange workflow process, and make business flow understanding ease for inter-business cooperation. So, we define mapping rules in which map XPDL documents into UML class diagram and UML activity diagram. By these mapping rules, elements composing XPDL process meta-model are mapped into UML class diagram, and process activities are mapped into UML activity diagram. Also, we apply proposed mapping technique to model a workflow of (')Credit card state check system.(')

• The Journal of The Korea Institute of Intelligent Transport Systems
• /
• v.11 no.6
• /
• pp.31-39
• /
• 2012

This study aims to suggest a methodology of localizing and calibrating parameters, such as acceleration, deceleration, and lane changing which are the basis of car following model in interrupted traffic flow to overcome the limitation of origin and destination based transportation simulation and to verify the application of activity-based model for use in Korean roadway condition in a large scale area or a city. Especially, we figured out that a proper cell size reflecting Korean traffic conditions is 1.0m rather than 7.5m which is default size and a methodology of tracking vehicle behavior characteristics through tracking vehicle ID is suggested on this study. In addition, vehicle running characteristics in real interrupted traffic flow is analyzed through subdividing vehicle types and updating vehicle type ratio. For verification of suggested model, some portion of Dalgubyul-ro in the Daegu city is tested, and the possibility of realization of interrupted traffic flow in simulation is studied.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.9 no.8
• /
• pp.2948-2963
• /
• 2015

In the field of computer vision, visual surveillance systems have recently become an important research topic. Growth in this area is being driven by both the increase in the availability of inexpensive computing devices and image sensors as well as the general inefficiency of manual surveillance and monitoring. In particular, the ultimate goal for many visual surveillance systems is to provide automatic activity recognition for events at a given site. A higher level of understanding of these activities requires certain lower-level computer vision tasks to be performed. So in this paper, we propose an intelligent activity recognition model that uses a structure learning method and a classification method. The structure learning method is provided as a K2-learning algorithm that generates Bayesian networks of causal relationships between sensors for a given activity. The statistical characteristics of the sensor values and the topological characteristics of the generated graphs are learned for each activity, and then a neural network is designed to classify the current activity according to the features extracted from the multiple sensor values that have been collected. Finally, the proposed method is implemented and tested by using PETS2013 benchmark data.

• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 2005.05a
• /
• pp.112-118
• /
• 2005

Workflow is a collection of tasks organized to accomplish some business processes. It also defines the order of task invocation or conditions under which task must be invoked, task synchronization, and information flow. And activity based costing(ABC) provides accurate cost information for decision making. In ABC systems, costs must be separable into cost pools each of which corresponding to a single cost driver. These two systems are closely related to each other. But recent research deals with workflows and ABC systems separately. Thus, this research proposes an extended workflow model which is expressed cost information using activity based costing.