Three-dimensional modelling of Non-Newtonian fluid flow in a coat-hanger die

The three-dimensional model of isothermal flow of power-law fluid in a coat-hanger die has been developed using finite element method. The shape of coat-hanger die used in the present model was determined according to the previous analytical design equation which is based on one-dimensional flow model in the manifold and the slot. Because uniform flow rate across the die outlet is most important to achieve uniform thickness of extruded polymer sheet or film, flow rate distribution is mainly examined to determine the valid process condition for the design equation as the design parameters are changed. The effects of fluid property in terms of power-law index and process parameters not considered in one-dimensional design equation such as die inlet size and the presence of land were analyzed. Results show that the manifold angle is the most influencing design parameter on flow rate distribution. When the material of different power-law index from design value is processed, the change of power-law index affects the uniformity of flow rate appreciably.     

乙苯/乙烯烷基化反应中EA-8402分子筛催化剂的失活动力学研究

用内循环无梯度反应器,在593～633K范围内考察了在乙苯/乙烯进行定向烷基化反应合成对二乙苯时,EA-8402分子筛催化剂的失活行为,建立了相应的失活动力学模型: -da/dt=0.3271exp(-12.94/T)P_(EB)~(0.02)P_(E(?))~(0.383)·α这一模型可作为该反应的宏观动力学模型的补充。由失活级数d=1,按Levenspiel判据推断:其失活机理应该是不受内扩散阻力控制的平行-连串失活。     

Model algorithmic control of grade change operations in paper mills

In this work, the Model Algorithmic Control (MAC) method is applied to control the grade change operations in paper mills. The neural network model for the grade change operations is identified first and the impulse model is extracted from the neural network model. Results of simulations for MAC control of grade change operations are compared with plant operation data. The major contribution of the present work is the application of MAC in the industrial plants based on the identification of neural network models. We can confirm that the proposed MAC method exhibits faster responses and less oscillatory behavior compared to the plant operation data in the grade change operations.     

State estimation for high-dimensional chemical processes

The application of conventional observer designs for high-dimensional systems may not always be practical due to high computational requirements or the resulting observers being too sensitive to measurement noise. In order to address these issues, this paper presents two observer design techniques for state estimation of high-dimensional chemical processes. One technique is used for systems with inputs, whereas the other one is specifically geared towards systems that are not excited from the outside. Both of these observers are applicable to linear and with a modification to non-linear systems.The main idea behind the presented observer designs is that a reduced-order observer is implemented instead of a conventional state estimator. The motivation is that subspaces, which are close to being unobservable, cannot be correctly reconstructed in a realistic setting due to measurement noise and inaccuracies in the model. The presented approaches make use of this observation and only reconstruct the parts of the system where accurate state estimation is possible. The observer designs are illustrated on a 30-tray distillation column model. Additionally, it has been shown that the location of process measurements has a major effect on the performance of the presented reduced-order observers.     

A comprehensive approach to evaluating watershed models for predicting river flow regimes critical to downstream ecosystem services

Selection of strategies that help reduce riverine inputs requires numerical models that accurately quantify hydrologic processes. While numerous models exist, information on how to evaluate and select the most robust models is limited. Toward this end, we developed a comprehensive approach that helps evaluate watershed models in their ability to simulate flow regimes critical to downstream ecosystem services. We demonstrated the method using the Soil and Water Assessment Tool (SWAT), the Hydrological Simulation Program–FORTRAN (HSPF) model, and Distributed Large Basin Runoff Model (DLBRM) applied to the Maumee River Basin (USA). The approach helped in identifying that each model simulated flows within acceptable ranges. However, each was limited in its ability to simulate flows triggered by extreme weather events, owing to algorithms not being optimized for such events and mismatched physiographic watershed conditions. Ultimately, we found HSPF to best predict river flow, whereas SWAT offered the most flexibility for evaluating agricultural management practices.     

Integral approximation—an approach to reduced models for particulate processes

In this contribution, a model reduction technique for population balance systems describing particulate processes is presented. This technique is based on integral approximation and allows the derivation of highly accurate moment models. In contrast to other model reduction methods which can be found in literature, this integral approximation technique can be applied for arbitrarily complex phenomena specifications. The applicability of the presented method will be demonstrated for different example processes by comparing the dynamic behavior of the original population balance models with those of the derived reduced models of moments.     

基于K-L散度的恶意代码模型聚类检测方法

在云计算应用环境下,由于服务系统越来越复杂,网络安全漏洞和被攻击情况急剧增加,传统的恶意代码检测技术和防护模式已无法适应云存储环境的需求。为此,通过引入高斯混合模型,建立恶意代码的分层检测机制,使用信息增益和文档频率等方法分析和提取样本数据特征值,结合K-L散度特性,提出基于K-L散度的恶意代码模型聚类检测方法。采用KDDCUP99数据集,使用Weka开源软件完成数据预处理和聚类分析。实验结果表明,在结合信息增益和文档频率进行特征分析的前提下,与贝叶斯算法相比,该方法在虚拟环境中恶意代码的平均检测时间降低16.6%,恶意代码的平均检测率提高1.05%。     

Coupling geometric analysis and viability theory for system exploration: Application to a living food system

This paper addresses the issue of studying a food complex system in a reverse engineering manner with the aim of identifying the set of all possible actions that makes it reach a quality target with respect to manufacturing constraints. Once the set of actions is identified, several criteria can be considered to identify interesting trajectories and control policies. A viability approach, coupling the viability theory and a geometric approach of robustness, is proposed to study complex dynamical systems. It can be implemented for several types of systems, from linear to non linear or hybrid systems. The proposed framework was adapted to a living food system: a ripening model of Camembert cheese to identify the set of states and actions (capture basin) from which it is possible to reach a predefined quality target. Within the set of viable trajectories, particular trajectories that improve the Camembert cheese ripening process are identified using the proposed approach. The results are applied at a pilot scale and are discussed in this paper.     

Web交互模型的形式化验证研究

Web交互模型的形式化验证是对Web事件属性进行校验的十分可信的方法。通过一系列的系统模型建立、系统行为分析以及对于模型中关心属性的相关验证,能够让交互模型在设计阶段就能使形式化模型暴露出其所存在的缺陷,而不至于让缺陷保留到编码阶段或者更后面才能被真正地暴露出来,这样使系统模型的生存能力更加强大,同时避免了因后期缺陷暴露而出现的大代价修复。通过对Web系统的交互应用服务的过程模型化的体系进行研究,通过模型本身具有的属性进行相关正确性的校验,主要通过使用数学推理实现系统逻辑上的服务交互进程,从而进行过程的推演,并对系统服务的正确性进行过程的形式化验证,从而使系统服务模块的属性正确性可以通过逻辑上的演进来发现服务问题的存在,而不再是系统通过编码实现后才发现。对Web交互模型的形式化验证是基于IMWSC模型语义形成的IMWSC模型的验证机制。