• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.13 no.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.

• Journal of the Korean Institute of Illuminating and Electrical Installation Engineers
• /
• v.14 no.3
• /
• pp.6-14
• /
• 2000

The high efficiency multi-resonant converter(MRC) is capable of operating at a high frequency because the losses are decreased due to the resonant tank circuit. Such a few MHz high frequency applications provide high power density[W/inch3] of the converter. However, the resonant voltage stress across the switch of the resonant tank circuit is 4∼5 times input voltage. This high voltage stress increases the conduction losses because of on-resistance of a MOSFET with higher rating. In this paper, the modeling analysis for the AT Forward MRC suggested to solve the these problems is discusses. The operational modes of the AT Forward MRC are divided to 8 equivalent modes according to the two switching sequences. Each mode analysis is covered using the equivalent circuits modeled over all of the paper. The operational principle of the resonant converter was verified through the experimental converter with 48[V] input voltage, 5[V]/50[W] output voltage/power and PSpice simulation. The measured maximum voltage, 5[V]/50[W] output voltage/power and PSpice simulation. The measure maximum voltage stress is 170[V] of 2.9 times the input voltage and the maximum efficiency is measured to 81.66%.

• Journal of Microbiology and Biotechnology
• /
• v.27 no.7
• /
• pp.1288-1299
• /
• 2017

Composting is widely used to transform waste into valuable agricultural organic fertilizer. Anaerobic ammonium-oxidizing (anammox) bacteria play an important role in the global nitrogen cycle, but their role in composting remains poorly understood. In the present study, the community structure, diversity, and abundance of anammox bacteria were analyzed using cloning and sequencing methods by targeting the 16S rRNA gene and the hydrazine oxidase gene (hzo) in samples isolated from compost produced from cow manure and rice straw. A total of 25 operational taxonomic units were classified based on 16S rRNA gene clone libraries, and 14 operational taxonomic units were classified based on hzo gene clone libraries. The phylogenetic tree analysis of the 16S rRNA gene and deduced HZO protein sequences from the corresponding encoding genes indicated that the majority of the obtained clones were related to the known anammox bacteria Candidatus "Brocadia," Candidatus "Kuenenia," and Candidatus "Scalindua." The abundances of anammox bacteria were determined by quantitative PCR, and between $2.13{\times}10^5$ and $1.15{\times}10^6$ 16S rRNA gene copies per gram of compost were found. This study provides the first demonstration of the existence of anammox bacteria with limited diversity in cow manure composting.

• Mycobiology
• /
• v.45 no.4
• /
• pp.392-400
• /
• 2017

Peanut yield and quality are seriously affected by pod rot pathogens worldwide, especially in China in recent years. The goals of this study are to analyze the structure of fungal communities of peanut pod rot in soil in three peanut cultivars and the correlation of pod rot with environmental variables using 454 pyrosequencing. A total of 46,723 internal transcribed spacer high-quality sequences were obtained and grouped into 1,706 operational taxonomic units at the 97% similarity cut-off level. The coverage, rank abundance, and the Chao 1 and Shannon diversity indices of the operational taxonomic units were analyzed. Members of the phylum Ascomycota were dominant, such as Fusarium, Chaetomium, Alternaria, and Sordariomycetes, followed by Basidiomycota. The results of the heatmap and redundancy analysis revealed significant variation in the composition of the fungal community among the three cultivar samples. The environmental conditions in different peanut cultivars may also influence on the structure of the fungal community. The results of this study suggest that the causal agent of peanut pod rot may be more complex, and cultivars and environmental conditions are both important contributors to the community structure of peanut pod rot fungi.

• Archives of design research
• /
• v.18 no.2 s.60
• /
• pp.165-172
• /
• 2005

Button layout of mobile phone depends on the manufacturer and is going to be characterized in it's own way. So, there is not a standard layout except for numeric part. It is due to the lack of study on physical user interface and methodology to develop a design guideline. This study focuses on suggesting a methodology for development of button layout for mobile phone in term of physical user interface. The methodology of this study starts from scenarios of mobile phone usage. Operational sequences of 4 scenarios for 5 models are gathered based on the user manual. Proximity of each buttons is calculated according to the operational sequence. One of 5 models is selected and benchmarked by evaluating operational path. Considerations and directions are implicated to develop new solution alternatives. After evaluation of them, one of alternatives is suggested as an optimized button layout for mobile phone. This study focuses on an attempt to suggest a methodology of UI development in the matter of physical user interface, and a simple and easy way to be adopted and used at product designer level, compared to existing UI methodology for the expert.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.8 no.2
• /
• pp.691-708
• /
• 2014

This paper formalizes a special type of social networking knowledge, which is called "workflow performer-role affiliation networking knowledge." A workflow model specifies execution sequences of the associated activities and their affiliated relationships with roles, performers, invoked-applications, and relevant data. In Particular, these affiliated relationships exhibit a stream of organizational work-sharing knowledge and utilize business process intelligence to explore resources allotting and planning knowledge concealed in the corresponding workflow model. In this paper, we particularly focus on the performer-role affiliation relationships and their implications as organizational and business process intelligence in workflow-driven organizations. We elaborate a series of theoretical formalisms and practical implementation for modeling, discovering, and visualizing workflow performer-role affiliation networking knowledge, and practical details as workflow performer-role affiliation knowledge representation, discovery, and visualization techniques. These theoretical concepts and practical algorithms are based upon information control net methodology for formally describing workflow models, and the affiliated knowledge eventually represents the various degrees of involvements and participations between a group of performers and a group of roles in a corresponding workflow model. Finally, we summarily describe the implications of the proposed affiliation networking knowledge as business process intelligence, and how worthwhile it is in discovering and visualizing the knowledge in workflow-driven organizations and enterprises that produce massively parallel interactions and large-scaled operational data collections through deploying and enacting massively parallel and large-scale workflow models.

• Korean Journal of Computational Design and Engineering
• /
• v.13 no.3
• /
• pp.235-242
• /
• 2008

This paper proposes a method for improving the process plan quality by use of dimensional tolerances. Dimensioning and tolerancing plays a key role in manufacturing process plan because the final part must ensure conformance with the dimensions and tolerances in its drawing. As a first step for the improvement of process plan quality, two resultant tolerances in design and process plan should be compared each other, and so a tolerance chart is used for acquisition and comparison of the two tolerances. In addition to two kinds of design and manufacturing tolerances, operational sequences or paths for the resultant dimension and tolerance are additionally recognized for measuring the quality of process plan quantitatively. Rooted tree is applied to find the related paths for the manufacturing resultant tolerances. A quality coefficient is defined by the components of two tolerances and their relations, the paths related to manufacturing resultant tolerances and the difficulty of an operation. In order to improve the quality of manufacturing process plan, the paths that two kinds of tolerances are the same or different in the rooted tree are recognized respectively and a method for tolerance rearrangement is developed. A procedure for improving the quality is suggested by combining the coefficient and the tolerance rearrangement method. A case study is applied to illustrate the efficiency of improvement method.

• 전자공학회논문지 IE
• /
• v.47 no.2
• /
• pp.21-26
• /
• 2010

This paper proposed an efficient algorithm to reduce the amount of calculation for Scalability Extension which takes a great deal of the operational time in H.264/AVC. This algorithm decides a search range according to the direction of predicted motion vector, and then performs an adaptive spiral search for the candidates with JM(Joint Model) FME(Fast Motion Estimation) which employs the rate-distortion optimization(RDO) method. Experimental results by applying the proposed method to various video sequences showed that the process time was decreased up to 80% comparing to the previous prediction methods. The degradation of video Quality was only from 0.05dB to 0.19dB and the compression ratio decreased as small as 0.58% in average. Therefore, we are sure that the proposed method is an efficient method for the fast inter prediction.

• Journal of the Ergonomics Society of Korea
• /
• v.17 no.3
• /
• pp.61-70
• /
• 1998

The purpose of this paper is to evaluate the input methods of the numeric keypads that are widely used in various types of consumer and industrial electronic products. Three methods to enter numerals using keypads were compared: (1) Machine Intelligence, (2) + 100 key, and (3) Enter key input methods. Experiments were conducted to compare these three input methods for the channel selection of TV. Experimental prototypes which simulate TV user interfaces were developed using $RAPID^{TM}$ for usability testings. In the experiment, data on subject performance such as completion time, operational errors, and user interaction were collected through auto-logging method and video recording. After each test session, subjective preference was also asked using a questionnaire. In order to analyze the type of operation errors and the error causation, operation sequences were analyzed from the collected data. The Enter key input method showed better performance than other input methods. Based on these results. we can conclude that the input method using numeric keypads should be compatible with generic number counting(to input ch 7, it would be better to input 7 directly than to input 07 or 007) and should switch the channel as quickly as possible. This conclusion can be applied to the design of user interfaces which require numeral inputs.

• Proceedings of the Korea Technical Association of the Pulp and Paper Industry Conference
• /
• 2006.06b
• /
• pp.381-386
• /
• 2006

Many different types of bleaching chemicals and processes have been globally used for deinked pulp. Besides chlorine-free bleaching chemicals, hydrogen peroxide, and sodium dithionite that could be used without restriction for almost all types of fibers, chlorine-containing chemicals such as chlorine dioxide and sodium hypochlorite have also used throughout the world. Even though hydrogen peroxide is commonly used in newsprint, it could not effectively increase brightness. Experimental evaluation on the possibility of using formamidine sulfinic acid (FAS), a reducing agent, for bleaching a wood-containing deinked pulp has been carried out in this study. The effect of bleaching efficiency for FAS on operational conditions and chemical concentrations compaired to hydrogen peroxide in one and two stages was studied. FAS bleaching showed higher brightness at high temperature and low consistency, and vice versa for peroxide one. Bleaching with sodium silicate and DTPA in FAS and peroxide stage showed better results than cases without them. Sodium silicate and chelant seemed minimize the influence of transition metal ions, including manganese and iron ions, which induce both bleaching agents to decompose. As a result, FAS as a reducing agent seems more effective than hydrogen peroxide for increasing brightness and reducing yellowness. FAS and FAS sequence seemed more efficient than the other two stages of bleaching sequences with regard to the best brightness level obtained. When bleaching was conducted with FAS, COD load was just about one-third compared to peroxide, and brightness stability of the bleached pulp appeared better than peroxide after UV light irradiation.