scholarly journals An Automated Framework for BPMN Model Verification Achieving Branch Coverage

2021 ◽  
Vol 25 (2) ◽  
pp. 135-150
Author(s):  
Chanon Dechsupa ◽  
Wiwat Vatanawood ◽  
Arthit Thongtak
2011 ◽  
Vol 22 (11) ◽  
pp. 2564-2576
Author(s):  
Li-Xiao ZHENG ◽  
Zhi-Wu XU ◽  
Hai-Ming CHEN

2011 ◽  
Vol 37 (1) ◽  
pp. 158-164
Author(s):  
Jing WANG ◽  
Xiao-Li LI ◽  
Peng JIANG ◽  
Feng-Long TIAN ◽  
Wen-Qian HOU ◽  
...  

1985 ◽  
Vol 17 (6-7) ◽  
pp. 929-940 ◽  
Author(s):  
C. W. Bryant ◽  
L. G. Rich

The objective of this research was to develop and validate a predictive model of the benthal stabilization of organic carbon and nitrogen in deposits of waste activated sludge solids formed at the bottom of an aerated water column, under conditions of continual deposition. A benthal model was developed from a one-dimensional, generalized transport equation and a set of first-order biological reactions. For model verification, depth profiles of the major interstitial carbon and nitrogen components were measured from a set of deposits formed in the laboratory at 20°C and a controlled loading rate. The observed sequence of volatile acid utilization in each benthal deposit was that which would be predicted by the Gibbs free energies of the individual degradation reactions and would be controlled by the reduction in interstitial hydrogen partial pressure with time. Biodegradable solids were solubilized rapidly during the first three weeks of benthal retention, but subsequent solubilization occurred much more slowly. The benthal simulation effectively predicted the dynamics of consolidating, organic deposits. Simulation of organic loading rates up to 250 g BVSS/(m2 day) indicated that the stabilization capacity of benthal deposits was far above the range of organic loading rates currently used in lagoon design.


1984 ◽  
Vol 16 (1-2) ◽  
pp. 243-252 ◽  
Author(s):  
J W van Sluis ◽  
L Lijklema

As a result of the construction of a barrage in the estuary of the Nakdong river the size of the estuary will be considerably reduced. In addition, a large river reservoir is created upstream of the barrage. Main points of interest are the effects of the discharge of raw sewage and treated effluent into the Nakdong river on the water quality in the projected reservoir and the water quality forecasts for the remaining part of the estuary, in relation with the existing plans for sewerage and sewage treatment for the city of Busan. In addition, measures to reduce the effects of the barrage and the outline of a water quality management programme are presented. Special consideration is given to the methodological aspects of the water quality study, i.e. the selection and use of mathematical models in a situation where input data are rather uncertain and only very few data for parameter estimation and model verification are available.


1992 ◽  
Vol 26 (1-2) ◽  
pp. 407-415 ◽  
Author(s):  
D. A. Barton ◽  
J. J. McKeown ◽  
W. Chudyk

A model of organic compound removal by biological wastewater treatment processes receiving pulp and paper industry wastewaters has been developed and initial model verification performed at a single mill site. This paper presents the results of further model verification conducted at multiple mill sites, including replication of the original site. In addition, VOC losses at other unit processes are quantified. Activated sludge basin chloroform volatilization rates are predicted to within twelve percent of the measured rates. Predicted overall methanol removals are consistent with observed removals although difficulties encountered during off-gas sampling preclude determination of the extent of removal due to volatilization.


2021 ◽  
Vol 13 (15) ◽  
pp. 8394
Author(s):  
Tsen-Yao Chang ◽  
Yu-Chieh Chiu

Taiwan began to implement a new high school syllabus nationwide, in 2019. The Ministry of Education has also established a high school student Academic Portfolio System (APS) to collect the learning process of high school students for future university admissions references. However, during this period, high school students and their parents had many opinions on the implementation of the new system. There were even groups of students protesting. The main purpose of this research is to explore the factors that affect the system usage intentions of high school students. Based on the theory of reasoned action (TRA) and the technology acceptance model (TAM), this research established a research model. The research variables include system interface design, usefulness, ease of use, attitude, subjective norms, and usage intentions. A total of 712 questionnaires were collected from high school students in northern Taiwan. Data analysis is carried out in three stages: descriptive analysis, measurement model verification, and structural equation modeling. The results of the study found that system interface design has a significant impact on the perceived ease of use. Factors such as ease of use, usefulness, attitude, and subjective norms also have a significant positive impact on usage intention; ease of use and usefulness positively affect attitudes toward using. Finally, according to the results, some practical implications were proposed for implementation references from the perspectives of education authority, high schools, teachers, and students.


2021 ◽  
Vol 30 (2) ◽  
pp. 465-476
Author(s):  
Lin Qiu ◽  
Yanbo Du ◽  
Yangyang Bai ◽  
Yanhui Feng ◽  
Xinxin Zhang ◽  
...  

Sign in / Sign up

Export Citation Format

Share Document