• KSII Transactions on Internet and Information Systems (TIIS)
• /
• 제13권3호
• /
• pp.1702-1721
• /
• 2019

A workflow process (or business process) management system helps to define, execute, monitor and manage workflow models deployed on a workflow-supported enterprise, and the system is compartmentalized into a modeling subsystem and an enacting subsystem, in general. The modeling subsystem's functionality is to discover and analyze workflow models via a theoretical modeling methodology like ICN, to graphically define them via a graphical representation notation like BPMN, and to systematically deploy those graphically defined models onto the enacting subsystem by transforming into their textual models represented by a standardized workflow process definition language like XPDL. Before deploying those defined workflow models, it is very important to inspect its syntactical correctness as well as its structural properness to minimize the loss of effectiveness and the depreciation of efficiency in managing the corresponding workflow models. In this paper, we are particularly interested in verifying very large-scale and massively parallel workflow models, and so we need a sophisticated analyzer to automatically analyze those specialized and complex styles of workflow models. One of the sophisticated analyzers devised in this paper is able to analyze not only the structural complexity but also the data-sequence complexity, especially. The structural complexity is based upon combinational usages of those control-structure constructs such as subprocesses, exclusive-OR, parallel-AND and iterative-LOOP primitives with preserving matched pairing and proper nesting properties, whereas the data-sequence complexity is based upon combinational usages of those relevant data repositories such as data definition sequences and data use sequences. Through the devised and implemented analyzer in this paper, we are able eventually to achieve the systematic verifications of the syntactical correctness as well as the effective validation of the structural properness on those complicate and large-scale styles of workflow models. As an experimental study, we apply the implemented analyzer to an exemplary large-scale and massively parallel workflow process model, the Large Bank Transaction Workflow Process Model, and show the structural complexity analysis results via a series of operational screens captured from the implemented analyzer.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• 제8권4호
• /
• pp.1368-1389
• /
• 2014

Three-dimensional multiple-input multiple-output (3D MIMO) and large-scale MIMO are two promising technologies for upcoming high data rate wireless communications, since the inter-user interference can be reduced by exploiting antenna vertical gain and degree of freedom, respectively. In this paper, we derive the achievable sum rate of 3D MIMO systems employing zero-forcing (ZF) receivers, accounting for log-normal shadowing fading, path-loss and antenna gain. In particular, we consider the prevalent log-normal model and propose a novel closed-form lower bound on the achievable sum rate exploiting elevation features. Using the lower bound as a starting point, we pursue the "large-system" analysis and derive a closed-form expression when the number of antennas grows large for fixed average transmit power and fixed total transmit power schemes. We further model a high-building with several floors. Due to the floor height, different floors correspond to different elevation angles. Therefore, the asymptotic achievable sum rate performances for each floor and the whole building considering the elevation features are analyzed and the effects of tilt angle and user distribution for both horizontal and vertical dimensions are discussed. Finally, the relationship between the achievable sum rate and the number of users is investigated and the optimal number of users to maximize the sum rate performance is determined.

• 한국물환경학회지
• /
• 제25권4호
• /
• pp.553-559
• /
• 2009

Currently, small scale sewage works are getting increase in Chung Nam Province and it is strongly required for those plants to get the information of optimized procedures and technologies. Most processes for sewage works in Korea were designed for large scale plants, so many difficulties are observed in small scale sewage works. This study was conducted to evaluate the propriety of O&M and construction cost for sewage treatment plants in Chung Nam Province. The treatment results and process stability of 32 public sewage treatment plants were also investigated. It is expected to provide optimum O&M and construction cost for future small scale sewage works and improving projects of existing plants by these results. Pollution problems caused by small scale plants are usually restricted to small areas; however, in view of the high cost per unit population, treatment requirements and alternatives have to be studied carefully. In comparison to larger plants, more pronounced and different boundary conditions such as unstable influent load, per capita costs and a large variety of feasible treatment and disposal systems were considered.

• KIEAE Journal
• /
• 제4권3호
• /
• pp.27-35
• /
• 2004

The conventional way to acquire sufficient amount of daylight in interiors is to provide large openings with clear glass. The use of clear glass on the whole facade, however, might cause a sort of visual problem because of the harness of direct sun and brighter sky surface than expected. They should be filtered in opticalway or bounced in the architectural. One of the common solutions for the problem might be the use of photometric glasses with various transmittances for the glass walls. This paper deals with performance data related to the impact of various transmittal glazing materials for window systems in terms of daylighting. A series of scale model measurements was carried out with the fundamental configuration of a commonly used all-glass facades. Additionally some experimental performance index was issued for the better expression of the need of natural lighting.

• 대한기계학회:학술대회논문집
• /
• 대한기계학회 2004년도 춘계학술대회
• /
• pp.547-550
• /
• 2004

We present a multiscale scheme which describes the dynamic pictures of atoms in the multiple length-scale systems. Large-scale atomic systems are reduced to coarse grained system by the quasicontinuum, of which the dynamic pathways are rendered by the action-derived molecular dynamics proved effective for multiple time-scale problems such as rare events. Adatom diffusions on the metal (001) surface are selected for our numerical examples. The energy barriers of the diffusions and the real dynamic trajectories of the adatoms are calculated.

• Journal of Electrical Engineering and Technology
• /
• 제13권4호
• /
• pp.1494-1503
• /
• 2018

This paper proposes a novel probabilistic load flow model for power systems integrated with large-scale wind power, which considers the multi-time scale dispatching features. The ramp limitations of the units and the steady-state security constraints of the network have been comprehensively considered for the entire duration of the study period; thus, the coupling of the system operation states at different time sections has been taken into account. For each time section, the automatic generation control (AGC) strategy is considered, and all variations associated with the wind power and loads are compensated by all AGC units. Cumulants and the Gram-Charlier expansion are used to solve the proposed model. The effectiveness of the proposed method is validated using the modified IEEE RTS 24-bus system and the modified IEEE 118-bus system.

• Animal Bioscience
• /
• 제37권4_spc호
• /
• pp.742-754
• /
• 2024

Asia is not only the primary region for global pig production but also the largest consumer of pork worldwide. Although the pig production in Asia has made great progress in the past, it still is confronted with numerous challenges. These challenges include: inadequate land and feed resources, a substantial number of small-scale pig farms, escalating pressure to ensure environmental conservation, control of devastating infectious diseases, as well as coping with high temperatures and high humidity. To solve these problems, important investments of human and financial capital are required to promote large-scale production systems, exploit alternative feed resources, implement precision feeding, and focus on preventive medicine and vaccines as alternatives to antibiotics, improve pig breeding, and increase manure recycling. Implementation of these techniques and management practices will facilitate development of more environmentally-friendly and economically sustainable pig production systems in Asia, ultimately providing consumers with healthy pork products around the world.

• Journal of Electrical Engineering and information Science
• /
• 제3권2호
• /
• pp.158-162
• /
• 1998

We study the decentralized stabilization problem of linear time-invariant large-scale interconnected systems with delays without any system structure. We obtain sufficient stability conditions for interconnected systems which are equivalent to disturbance attenuation of some scaled system. A decentralized output-feedback controller is obtained using standard H$\infty$ control theory. The obtained controller is delay-independent. We also obtain an observer for the interconnected system.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 2002년도 ICCAS
• /
• pp.110.4-110
• /
• 2002

In practical control area, there are many examples with multiple objectives which may conflict or compete with each other like overhead crane control, automatic train operation, and refuse incinerator plant control, etc. These kinds of control problems are called multiobjective control problems, where it is difficult to provide the desired performance with control strategies based on single-objective optimization. Because the conventional control theories usually treat the control problem as the single objective optimization problem , the methods are not adequate to treat the multiobjective control problems. Particularly, in case of large scale systems or ill-defined systems, the multiple obj..

• 대한전기학회논문지
• /
• 제37권1호
• /
• pp.1-9
• /
• 1988

This paper descibes a method for the state estimation in power systems with interconnected AC/DC system. The state values in interconnected AC/DC system are estimated using measurement values with the pseudo measurement so that the number of telemetering measurement can be reduced. Especially, the state values in AC system are estimated through hierarchical method after system decomposition including superposition bus was formed for the state estimation in large-scale power systems. The results of the application to the two model power systems show the dffectiveness of the presented algorithms.