An economic–ecological model to evaluate impacts of nutrient abatement in the Baltic Sea

This paper presents a coupled economic–ecological model that integrates a catchment model with a marine model and incorporates economic data to analyse the long-term economic and ecological consequences of nutrient abatement in the Baltic Sea. The spatially explicit model describes dynamics of soil phosphorus in arable land, developments of nutrient concentrations and phytoplankton biomass in the sea basins, and inter-annual variation in nutrient loads and biophysical processes. The performance of the model is demonstrated by computing the least-cost solution to reach the good environmental state of the sea – as implied by the Baltic Sea Action Plan – within a time span of 40 years. The total cost of achieving this target is 1487 M€ annually. Spatially optimal allocation of load reductions differs from the load reduction targets of the Baltic Sea Action Plan, and focuses more on the control of phosphorus loads.     

Carbon materials and catalytic wet air oxidation of organic pollutants in wastewater

The use of carbon materials as catalytic support or direct catalyst in catalytic wet air oxidation (WAO) of organic pollutants is reviewed. The discussion covers important engineering aspects including the characterisation, activity and stability of carbon catalysts, process performance, reaction kinetics and reactor modelling. Recommendations for further research in catalytic WAO are outlined.     

促进我国硫铁矿制酸的发展

我国硫磺制酸原料主要依赖进口,大量进口硫磺已经影响到世界硫磺的供需关系,硫磺价格居高不下.硫铁矿是我国自有资源,可保证长期、稳定的供应,对我国硫酸工业的稳定和安全具有重要作用,我国发展硫铁矿制酸有其必要性.硫铁矿制酸实现大型化;采用高品位硫铁矿制酸,有效利用铁资源和热能;实现清洁生产,减少废水排放、尾气二氧化硫排放及综合利用废热,是发展方向.抓住硫酸需求增加的机遇,采用先进技术发展硫铁矿制酸,硫铁矿制酸一定会有良好的发展前景.     

Solubility of gases in a hydroformylation solvent

The solubility of reactants used in homogeneously catalyzed hydroformylation of alkene was studied in a pressurized, semi-batch autoclave. The solubilities of alkene, carbon monoxide and hydrogen in the 2,2,4-trimethyl-1,3-pentanediol mono(2-methylpropanoate) solvent (NX 795) were determined by precise pressure and weight measurements. The measured solubilities were tested against empirical and theoretical models. Logarithmic empirical models gave a very good fit to experimental solubility data. To obtain nonempirical equations for the gas solubility, thermodynamic models based on activity coefficients and equations of state were used. The activity coefficient models based on regular solution theory (RST) predicted the solubilities well, but the selection of the model is the critical issue. For 1-butene, the best prediction was provided by the Yen and McKetta modification of the RST, whereas for carbon monoxide and hydrogen it was necessary to include a mixing entropy term in the RST. The Soave-Redlich-Kwong equation of state gave a fairly good prediction of the solubilities, but not as good as the RST-based models.     

OAuth2.0协议形式化验证: 使用AVISPA

OAuth协议是一套用于在不同的服务中进行身份认证并且实现资源互访一套协议.由于关系到用户隐私,所以OAuth协议的安全性非常重要.这篇文章的主要贡献是研究OAuth2.0协议文本,对协议进行抽象,并且使用验证工具AVISPA对抽象后的协议进行建模与验证,找到协议中会导致隐私泄露的一种攻击模式.我们在建模过程中提出需将要验证的消息作为双方的对称密码这样一种创新思路.这种对协议的抽象和验证的方法可以推广到其他安全协议上,例如在线支付协议等等.     

基于区间直觉模糊的情感分类模型

随着电子商务,个人博客,社交网站和微博的蓬勃发展,互联网进入了一个崭新的时代,而在线评论的情感分类关系到个人决策、企业管理甚至社会安全．提出了一种基于区间直觉模糊的情感分类模型,采用了区间直觉模糊算子来计算特征词的区间直觉模糊数,利用区间直觉模糊集的隶属度、非隶属度和犹豫度分别定量地描述特征词,通过情感合成确定文本的情感倾向,从而获得准确率较高的情感倾向性分析结果．最后通过相同语料库的比较实验证明该分类模型的可行性、正确性和较高的分类性能．     

Effect of electrode geometry and charge on the production of polymer microbeads by electrostatics

Experimental parameters which are critical for producing small diameter (i.e. 100-300 μm) polymer microbeads, using electrostatic droplet generation, were investigated with three types of electrodes; a parallel plate, a positively charged needle and a grounded needle with alginate as the polymer. Electrode spacing was a critical factor controlling microbead size, but only for the parallel plate set-up. While the applied potential affected droplet size in all three set-ups, the smallest droplet size was produced with the positively charged needle. In some experiments needle oscillation was observed resulting in even smaller microbeads (i.e. < 100 μm). Calculated microbead diameters agreed well with experimental values.     

Dynamic Modelling and Prediction of Cytotoxicity on Microelectronic cell Sensor Array

A real‐time cell electronic sensing (RT‐CES) system has been used for label‐free dynamic measurements of cell responses to toxicant. Cells are grown onto the surfaces of the microelectronic sensors. Changes in cell number expressed as cell index (CI) have been recorded on‐line as time series. The CI data are used for dynamic modelling or parameter estimation for cell cytotoxicity process. We consider two dynamic modelling approaches, namely data‐based system identification and first principle modelling. It is shown that data‐based system identification can provide a quick solution for the cytotoxicity dynamic models and is effective for short‐term predictions. It, however, can be poor for long‐term predictions, particularly if there is no output correction, i.e., when the model is used for simulation. In view of this, the first principle modelling approach by considering fundamental physical principles such as toxicant transport is explored. For long‐term prediction or simulation, the prediction performance for some of cytotoxicity process is dramatically improved using the models obtained from the latter approach. This happens only if the underlying mechanism is truly understood. Through several cytotoxicity modelling and validation studies, it is shown that the black box modelling and first principle modelling both should be considered in challenging modelling problems such as the cytotoxicity. Pros and cons of the two modelling approaches are discussed.     

A discrete model for non-wetting liquid flow from a point source in a packed bed under the influence of gas flow

A study of non-wetting flow in a packed bed under the influence of gas flow has been carried out. Departing from the usual continuum models, a discrete and deterministic model for liquid flow has been presented to model the liquid flow from single and multiple point sources. Liquid flow is modelled based on force balance approach considering gas drag, bed resistance and gravity forces. Gas flow is modelled using k-ε model for turbulent flow. An X-ray flow visualization technique, developed by our group, is used to study the liquid flow paths in the packed bed. Liquid flow path and velocity has been obtained for various liquid and gas flow rate. Flow paths obtained from the simulation results are in good agreement to those obtained from flow visualization procedure under various conditions. Also, liquid distribution at the bed bottom is reported and compared with the experimental results.