• 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.

• 한국지리정보학회지
• /
• 제20권2호
• /
• pp.89-101
• /
• 2017

본 연구는 소상공인의 상권 활성화를 위해 경상남도 창원시 도시지역을 대상으로 GIS 기법을 활용하여 전통시장과 대형할인점의 상권 특성을 분석하였다. 전통시장과 대형할인점의 정보를 GIS로 구축한 후, Kernel 밀도 분석, Network analysis, Huff 확률모형 등 다양한 GIS 공간분석기법을 적용하였다. 전통시장의 공간특성은 대형할인점이 밀집된 지역에 위치하는 것으로 나타났다. 상권특성을 도출한 결과, 대형할인점을 이용하는 소비자가 157,071명으로 전통시장 59,953명보다 약 3배 많았다. 이러한 현상의 원인은 인구가 밀집되고 전통시장에 인접한 지역에 대형할인점이 위치하고 있기 때문으로 판단된다. 따라서 소상공인의 상권 활성화를 위해서는 대형할인점 입지선정에 대한 기준 및 규제가 마련되어야 할 것이다. 본 연구는 도시지역의 상권 특성을 공간적이고 정량적으로 도출하였다. 향후 소상공인 상권 활성화를 위한 기초적인 자료로 활용될 것이다.

• International Journal of Naval Architecture and Ocean Engineering
• /
• 제6권2호
• /
• pp.380-391
• /
• 2014

In this study, the scale effect on the performance of the podded propeller of tractor type is investigated. Turbulent flow computations are carried out for Reynolds numbers increasing progressively from model scale to full scale using the CFD analysis. The result of the flow calculation for model scale Reynolds numbers agrees well with that of the experiment of a large cavitation tunnel. The existing numerical analysis indicates that the performance of the podded propeller blades is mainly influenced by the advance coefficient and relatively little by the Reynolds number. However, the drag of pod housing with propeller in operation is different from that of pod housing without propeller due to the acceleration and swirl of propeller slipstream which is altered by propeller loading as well as the pressure recovery and friction according to Reynolds number, which suggests that the pod housing drag under the condition of propeller in operation is the key factor of the scale effect on the performance between model and full scale podded propellers. The so called 'drag ratio', which is the ratio of pod housing drag to total thrust of podded propeller, increases as the advance coefficient increases due to accelerated flow in the slipstream of the podded propeller. However, the increasing rate of the drag ratio reduces continuously as the Reynolds number increases from model to full scale progressively. The contribution of hydrodynamic forces, which acts on the parts composed of the pod housing with propeller operating in various loading conditions, to the thrust and the torque of the total propeller unit are presented for a range of Reynolds numbers from model to full scales.

• 천문학회지
• /
• 제37권5호
• /
• pp.477-482
• /
• 2004

Shock waves form in the intergalactic space as an ubiquitous consequence of cosmic structure formation. Using N-body/hydrodynamic simulation data of a ACDM universe, we examined the properties of cosmological shock waves including their morphological distribution. Adopting a diffusive shock acceleration model, we then calculated the amount of cosmic ray energy as well as that of gas thermal energy dissipated at the shocks. Finally, the dynamical consequence of those cosmic rays on cluster properties is discussed.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 1989년도 한국자동제어학술회의논문집; Seoul, Korea; 27-28 Oct. 1989
• /
• pp.856-861
• /
• 1989

The control of a class of large scale systems formed by an arbitrary linear interconnections of linear time-invariant subsystems with unknown parameters is investigated. An approach is developed for improving the robustness of such a large scale system. In doing so, the new parameter adaptation algorithm(PAA) is used and a sufficient condition of stability is discussed by using the sector theory.

• 한국전산유체공학회:학술대회논문집
• /
• 한국전산유체공학회 2006년도 PARALLEL CFD 2006
• /
• pp.21-26
• /
• 2006

A large-scale finite element simulation and modeling method is presented for environmental flows in urban area. Parallel stabilized finite element method based on domain decomposition method is employed for the numerical simulation. Several GIS and CAD data are used for the preparation of the shape model for landform and urban structures. The present method Is applied to the simulation of flood flow and wind flow In urban area. The present method is shown to be a useful planning and design tool for the natural disasters and the change of environments in urban area.

• 한국수자원학회:학술대회논문집
• /
• 한국수자원학회 2015년도 학술발표회
• /
• pp.211-211
• /
• 2015

Mekong River is the world's $10^{th}$ longest river and runs through China's Yunnan province, Burma, Thailand, Laos, Cambodia and Vietnam. And Tonle Sap Lake, the largest fresh water body in Southeast Asia and the heart of Mekong River system, covers an area $2,500-3,000Km^2$ in dry season and $10,000-16,000Km^2$ in wet season. As previously noted, the water within Sap river flows from the Mekong River to Tonle Sap Lake in flood season (between June and October) and backward to Mekong River in dry season. Recently the flow regime of Sap River might be significantly affected by the development of large dams in upstream region of Mekong River. This paper aims at basic study about the large scale flood inundation of Cambodia using by CAESAR-Lisflood. CAESAR-Lisflood is a geomorphologic / Landscape evolution model that combines the Lisflood-FP 2d hydrodynamic flow model (Bates et al, 2010) with the CAESAR geomorphic model to simulate flow hydrograph and erosion/deposition in river catchments and reaches over time scales from hours to 1000's of years. This model is based on the simplified full Saint-Venant Equation so that it can simulate the interacted flow of between Mekong River and Tonle Sap Lake especially focusing on the flow direction change of Sap River by season.

• 한국해양공학회지
• /
• 제32권5호
• /
• pp.351-360
• /
• 2018

The construction of large scale harbor structures at Maengbang beach, which is located on the eastern coast of Korea, is of great concern because it may cause disastrous beach erosion in the vicinity. Therefore, a hydraulic model experiment was conducted to examine the morphological changes after such construction. The water depth was scaled using the method of Van Rijn (2010), which is a well-known scale law, but the results appeared to be overestimated. The present study developed a new scale law that applies an equilibrium beach profile formula to scale the model evolution to the prototype scale. When compared with survey data observed at Maengbang beach, the proposed method showed better agreement than the method of Van Rijn (2010).

• 설비공학논문집
• /
• 제23권2호
• /
• pp.132-138
• /
• 2011

In the present article, we investigate numerically turbulent flow of air through compound rectangular channels. Large eddy simulation(LES) is employed for unsteady turbulence modeling. LES gives better predictions for the axial mean velocity distribution than those of other turbulent models. Strong large-scale quasi-periodic flow oscillations are observed in most of the geometries investigated. Such large-scale flow oscillations in compound rectangular channels are similar to the quasi-periodic flow pulsation through the gaps between fuel rod bundle in nuclear reactor. It exists in any longitudinal connecting gap between two flow channels. The frequency of this flow oscillation is determined by the geometry of the gap. The large scale cross motions through the rectangular compound channels induce significant heat transfer enhancement of the compound channel flow.

• Wind and Structures
• /
• 제10권4호
• /
• pp.315-346
• /
• 2007

A preceding companion article introduced the slot jet approach for large-scale quasi-steady modelling of a downburst outflow. This article extends the approach to model the time-dependent features of the outflow. A two-dimensional slot jet with an actuated gate produces a gust with a dominant roll vortex. Two designs for the gate mechanism are investigated. Hot-wire anemometry velocity histories and profiles are presented. As well, a three-dimensional, subcloud numerical model is used to approximate the downdraft microphysics, and to compute stationary and translating outflows at high resolution. The evolution of the horizontal and vertical velocity components is examined. Comparison of the present experimental and numerical results with field observations is encouraging.