Mathematical modeling of growth of Salmonella spp. and spoilage microorganisms in raw oysters

The main objective of this study was to develop the primary and secondary models to describe the growth kinetics of Salmonella as well as background microorganisms in raw, shucked oysters. Samples, inoculated with a cocktail of two Salmonella serotypes, S. Typhimurium (CICC22956) and S. Enteritidis (CICC21482), were incubated at 4, 8, 12, 16, 20, 25, 30, 33, 37, 40, and 43 °C. Growth of Salmonella was observed at all temperatures, except at 4 °C. The background microorganisms grew at all temperatures. All growth curves clearly exhibited lag, exponential and stationary phases, and were analyzed using the Huang growth model. Three secondary models (Ratkowsky square-root, Huang square-root, and Cardinal parameter models) were compared for evaluating the effect of temperature on bacterial growth rates. Data analysis was performed using IPMP 2013, a free predictive microbiology software tool developed by the USDA ARS.The Cardinal parameters model underestimated the specific rates of the microorganisms at low temperatures. The Huang square-root model was more suitable than the Ratkowsky square-root model for describing the effect of temperature on growth of Salmonella, while the Ratkowsky square-root model, on the other hand, was more suitable for background microorganisms. For both Salmonella and background microorganisms, the logarithms of the lag phase were expressed as linear functions of the logarithms of specific growth rates. The results of this study can be used by the food retailers and regulatory agencies to estimate the microbial shelf-life of raw, shucked oysters.     

Stochastic free vibration analyses of composite shallow doubly curved shells – A Kriging model approach

This paper presents the Kriging model approach for stochastic free vibration analysis of composite shallow doubly curved shells. The finite element formulation is carried out considering rotary inertia and transverse shear deformation based on Mindlin’s theory. The stochastic natural frequencies are expressed in terms of Kriging surrogate models. The influence of random variation of different input parameters on the output natural frequencies is addressed. The sampling size and computational cost is reduced by employing the present method compared to direct Monte Carlo simulation. The convergence studies and error analysis are carried out to ensure the accuracy of present approach. The stochastic mode shapes and frequency response function are also depicted for a typical laminate configuration. Statistical analysis is presented to illustrate the results using Kriging model and its performance.     

A GIS plug-in for Bayesian belief networks: Towards a transparent software framework to assess and visualise uncertainties in ecosystem service mapping

The complexity and spatial heterogeneity of ecosystem processes driving ecosystem service delivery require spatially explicit models that take into account the different parameters affecting those processes. Current attempts to model ecosystem service delivery on a broad, regional scale often depend on indicator-based approaches that are generally not able to fully capture the complexity of ecosystem processes. Moreover, they do not allow quantification of uncertainty on their predictions. In this paper, we discuss a QGIS plug-in which promotes the use of Bayesian belief networks for regional modelling and mapping of ecosystem service delivery and associated uncertainties. Different types of specific Bayesian belief network output maps, delivered by the plug-in, are discussed and their decision support capacities are evaluated. This plug-in, used in combination with firmly developed Bayesian belief networks, has the potential to add value to current spatial ecosystem service accounting methods. The plug-in can also be used in other research domains dealing with spatial data and uncertainty.     

Prediction of sediment,particulate nutrient and dissolved nutrient concentrations in a dry tropical river to provide input to a mechanistic coastal water quality model

A Generalised Additive Modelling (GAM) approach is applied to prediction of both particulate and dissolved nutrient concentrations in a wet-tropical river (the Fitzroy River, Queensland, Australia). In addition to covariant terms considered in previous work (i.e. flow, discounted flow and a rising-falling limb term), we considered several new potential covariates: meteorological and hydrological variables that are routinely monitored, available in near-real time, and were considered to have potential predictive power. Of the additional terms considered, only flows from three tributaries of the Fitzroy River (namely, the Nogoa, Comet and Isaac Rivers) were found to significantly improve the model. Inclusion of one or more of these additional flow terms greatly improved results for dissolved nitrogen and dissolved phosphorus concentrations, which were not otherwise amenable to prediction. In particular, the Nogoa sub-catchment, dominated by pasture for cattle, was found to be important in determining dissolved inorganic nitrogen and phosphorus concentrations reaching the river mouth. This insight may direct further research, including future refinement of processed-based catchment models. The GAMs described here are used to provide near real-time river boundary conditions for a complex coupled hydrodynamic and biogeochemical model of the Great Barrier Reef Lagoon, and can be coupled with a forecasting hydrological model to allow integrated forecasting simulations of the catchment to coast system.     

Effects of SO2 on selective catalytic reduction of NO with NH3 over a TiO2 photocatalyst

The effect of SO₂ gas was investigated on the activity of the photo-assisted selective catalytic reduction of nitrogen monoxide (NO) with ammonia (NH₃) over a TiO₂ photocatalyst in the presence of excess oxygen (photo-SCR). The introduction of SO₂ (300 ppm) greatly decreased the activity of the photo-SCR at 373 K. The increment of the reaction temperature enhanced the resistance to SO₂ gas, and at 553 K the conversion of NO was stable for at least 300 min of the reaction. X-ray diffraction, FTIR spectroscopy, thermogravimetry and differential thermal analysis, x-ray photoelectron spectroscopy (XPS), elemental analysis and N₂ adsorption measurement revealed that the ammonium sulfate species were generated after the reaction. There was a strong negative correlation between the deposition amount of the ammonium sulfate species and the specific surface area. Based on the above relationship, we concluded that the deposition of the ammonium sulfate species decreased the specific surface area by plugging the pore structure of the catalyst, and the decrease of the specific surface area resulted in the deactivation of the catalyst.     

TCBR-HMM: An HMM-based text classifier with a CBR system

This paper presents an innovative solution to model distributed adaptive systems in biomedical environments. We present an original TCBR-HMM (Text Case Based Reasoning-Hidden Markov Model) for biomedical text classification based on document content. The main goal is to propose a more effective classifier than current methods in this environment where the model needs to be adapted to new documents in an iterative learning frame. To demonstrate its achievement, we include a set of experiments, which have been performed on OSHUMED corpus. Our classifier is compared with Naive Bayes and SVM techniques, commonly used in text classification tasks. The results suggest that the TCBR-HMM Model is indeed more suitable for document classification. The model is empirically and statistically comparable to the SVM classifier and outperforms it in terms of time efficiency.     

Model checking temporal knowledge and commitments in multi-agent systems using reduction

Though modeling and verifying Multi-Agent Systems (MASs) have long been under study, there are still challenges when many different aspects need to be considered simultaneously. In fact, various frameworks have been carried out for modeling and verifying MASs with respect to knowledge and social commitments independently. However, considering them under the same framework still needs further investigation, particularly from the verification perspective. In this article, we present a new technique for model checking the logic of knowledge and commitments (CTLKC⁺). The proposed technique is fully-automatic and reduction-based in which we transform the problem of model checking CTLKC⁺ into the problem of model checking an existing logic of action called ARCTL. Concretely, we construct a set of transformation rules to formally reduce the CTLKC⁺ model into an ARCTL model and CTLKC⁺ formulae into ARCTL formulae to get benefit from the extended version of NuSMV symbolic model checker of ARCTL. Compared to a recent approach that reduces the problem of model checking CTLKC⁺ to another logic of action called GCTL¹, our technique has better scalability and efficiency. We also analyze the complexity of the proposed model checking technique. The results of this analysis reveal that the complexity of our reduction-based procedure is PSPACE-complete for local concurrent programs with respect to the size of these programs and the length of the formula being checked. From the time perspective, we prove that the complexity of the proposed approach is P-complete with regard to the size of the model and length of the formula, which makes it efficient. Finally, we implement our model checking approach on top of extended NuSMV and report verification results for the verification of the NetBill protocol, taken from business domain, against some desirable properties. The obtained results show the effectiveness of our model checking approach when the system scales up.     

核算前移在冶炼企业优化成本控制中的应用

针对国际黄金价格的走低,黄金冶炼企业如何在激烈的市场竞争中寻求更大的利润空间,优化成本控制显得尤为重要。以某冶炼厂为例,阐述核算前移在优化企业成本控制中的应用,以达到降本增效的目的,实现企业利润的最大化。