Interactive Simulation of Rigid Body Dynamics in Computer Graphics

Interactive rigid body simulation is an important part of many modern computer tools, which no authoring tool nor game engine can do without. Such high‐performance computer tools open up new possibilities for changing how designers, engineers, modelers and animators work with their design problems. This paper is a self contained state‐of‐the‐art report on the physics, the models, the numerical methods and the algorithms used in interactive rigid body simulation all of which have evolved and matured over the past 20 years. Furthermore, the paper communicates the mathematical and theoretical details in a pedagogical manner. This paper is not only a stake in the sand on what has been done, it also seeks to give the reader deeper insights to help guide their future research.     

Modelling and optimisation of a transketolase-mediated carbon-carbon bond formation reaction

In this paper, we have integrated process characterisation and reaction kinetic data for a transketolase catalysed carbon-carbon bond formation to build a comprehensive reaction model. Based on the synthesis of erythrulose from β-hydroxypyruvate and glycolaldehyde, the model includes component degradation as a function of time and concentration as well as glycolaldehyde toxicity towards the enzyme. Using the ratio of initial substrate concentration as a process variable, simulations and analysis based on this model allowed process options to be evaluated. The model links bioconversion to upstream fermentation for enzyme production and downstream product purification and this could provide guidelines for process development.     

Advancements in the design and validation of an air pollution integrated assessment model for Spain

This paper describes the design and application of the Atmospheric Evaluation and Research Integrated model for Spain (AERIS). Currently, AERIS can provide concentration profiles of NO₂, O₃, SO₂, NH₃, PM, as a response to emission variations of relevant sectors in Spain. Results are calculated using transfer matrices based on an air quality modelling system (AQMS) composed by the WRF (meteorology), SMOKE (emissions) and CMAQ (atmospheric-chemical processes) models. The AERIS outputs were statistically tested against the conventional AQMS and observations, revealing a good agreement in both cases. At the moment, integrated assessment in AERIS focuses only on the link between emissions and concentrations. The quantification of deposition, impacts (health, ecosystems) and costs will be introduced in the future. In conclusion, the main asset of AERIS is its accuracy in predicting air quality outcomes for different scenarios through a simple yet robust modelling framework, avoiding complex programming and long computing times.     

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.     

A data porting tool for coupling models with different discretization needs

The presented work is part of a larger research program dealing with developing tools for coupling biogeochemical models in contaminated landscapes. The specific objective of this article is to provide researchers with a data porting tool to build hexagonal raster using information from a rectangular raster data (e.g. GIS format). This tool involves a computational algorithm and an open source software (written in C). The method of extending the reticulated functions defined on 2D networks is an essential key of this algorithm and can also be used for other purposes than data porting. The algorithm allows one to build the hexagonal raster with a cell size independent from the geometry of the rectangular raster. The extended function is a bi-cubic spline which can exactly reconstruct polynomials up to degree three in each variable. We validate the method by analyzing errors in some theoretical case studies followed by other studies with real terrain elevation data. We also introduce and briefly present an iterative water routing method and use it for validation on a case with concrete terrain data.     

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.     

IDE驱动程序分析及SATA驱动程序移植

SATA硬盘已经是目前多媒体应用中被广泛使用的存储介质, 而有些多媒体产品的Linux版本中, 并不支持SATA驱动框架。本文通过对Linux下IDE驱动框架及其相关的Linux驱动代码的分析, 提供了一种在IDE驱动程序框架下移植SATA驱动程序的方法。最后以SiI3512为例, 介绍了SATA驱动程序的移植过程。对于其它此类系统的移植具有很好的借鉴作用。     

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

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