可定制数据采集技术的研究和实现

总结传统数据采集软件的设计方法和存在的弊端,分析研究不同数据采集任务的异同,提出可定制化的数据采集技术,并对页面设计、模型配置、页面生成、库表建立等进行设计和实现,改变传统的数据采集软件研制模式,提高数据采集工作效率。     

一种基于云模式的试题库系统设计与实现

当前互联网提倡分享、社交的模式,“云模式”的概念逐渐兴起。对试题的评价、分享是试题库发展的重要方向之一。设计一种基于云模式的试题库系统,着重加强试题库系统的互联网属性,将用户参与融入系统之中。同传统的试题库系统最大的不同是融合“云”的元素,各用户添加的试题在用户允许的情况下将被分享到“试题云”,用户在组卷时可以选用试题云中的试题,丰富用户在组卷时的选择,提高试卷的质量。     

RFID系统隐私安全问题研究综述

随着物联网事业的飞速发展,RFID技术做为物联网最底层的感知技术也得到飞速的发展。但是由于RFID系统开放式的应用环境以及设备的特殊性和局限性,使得RFID系统面临许多隐私安全问题。对RFID系统进行概述,并且对现有的RFID安全协议和安全模型进行综述和评价,并给出RFID系统隐私保护今后的研究方向。     

一种基于灰色系统理论的控制系统参数辨识算法的仿真研究

灰色预测补偿是一种对灰色系统进行白化的算法,该算法需要的信息少、计算量小。它可以克服常规PID控制存在超调的缺点。根据灰色PID控制算法,对系统不确定部分建立灰色模型,进行灰色预测补偿。通过仿真研究,该算法具有较强的鲁棒性,可以提高控制质量,减小控制系统的误差。     

Mass Balance Analysis of Ozone in a Conventional Bubble Column

Ozone transfer into potable water was studied in a conventional bubble column, and ozone mass balances have been calculated to determine ozone utilization efficiencies. Liquid and gas flow rates, as well as inlet ozone concentrations in the gas phase were varied. Using these data, it was possible to determine the ozone mass transfer coefficient, ozone transfer efficiency, and ozone consumption. A model of ozone transfer was established, and procedures for calculating the optimum design parameters and operating conditions are proposed.     

On the modeling of electro-hydrodynamic flow in a wire-plate electrostatic precipitator

Modeling of the flow velocity fields for the electrohydrodynamic (EHD) flow in a wire-to-plate type electrostatic precipitator (ESP) was achieved. Solutions of the steady, two-dimensional Navier-Stokes equations have been computed. The equations were solved in the conservative finite-difference form on a fine uniform rectilinear grid of sufficient resolution to accurately capture the momentum boundary layers. The numerical procedure for differential equations was used by SIMPLEST [Michel, 2002], a derivative of Patankar’s SIMPLE algorithm, to bring rapid convergence. The Phoenics (Version 3.5.1) CFD code, coupled with Poisson’s and ion transport equations and electric body force in the momentum equation, developed in this study, was used for the numerical simulation. From calculations for the flow employing different flow models, the Chen-Kimk-ε turbulent model appeared to be the most appropriate choice to obtain a quantitative image of the resulting mean flow field and downstream wake flow of the rear wire, although this was obtained from a qualitative analysis due to the lack of experimental verification. The flow velocity field pattern showed a strong EHD secondary flow, which was clearly visible in the downstream regions of the corona wire despite the low Reynolds number for the electrode (Re_CW=12.4). Secondary flow vortices were also caused by the EHD with increases in the discharge current     

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.     

Branching-time logics with path relativisation

We define extensions of the full branching-time temporal logic CTL^? in which the path quantifiers are relativised by formal languages of infinite words, and consider its natural fragments obtained by extending the logics CTL and CTL⁺ in the same way. This yields a small and two-dimensional hierarchy of temporal logics parametrised by the class of languages used for the path restriction on one hand, and the use of temporal operators on the other. We motivate the study of such logics through two application scenarios: in abstraction and refinement they offer more precise means for the exclusion of spurious traces; and they may be useful in software synthesis where decidable logics without the finite model property are required. We study the relative expressive power of these logics as well as the complexities of their satisfiability and model-checking problems.     

Distributed predictive control of continuous-time systems

In the last years focus has been put in the development of distributed Model Predictive Control (MPC) algorithms. With a few exceptions, they have been mostly developed in the discrete-time framework. However, discretization of large-scale systems may destroy the sparsity of the original continuous-time models, making distributed control design and implementation more difficult. Also, more in general, discrete-time control of continuous-time systems does not allow to consider the process inter-sampling behavior. In this paper we present a novel non-cooperative distributed predictive control algorithm for continuous-time systems based on robust MPC concepts. The convergence properties of the proposed control scheme are stated, and its realizability is tested through a simulation case study.