Control theory for stochastic distributed parameter systems,an engineering perspective

The main purpose of this paper is to survey some recent progresses on control theory for stochastic distributed parameter systems, i.e., systems governed by stochastic differential equations in infinite dimensions, typically by stochastic partial differential equations. We will explain the new phenomenon and difficulties in the study of controllability and optimal control problems for one dimensional stochastic parabolic equations and stochastic hyperbolic equations. In particular, we shall see that both the formulation of corresponding stochastic control problems and the tools to solve them may differ considerably from their deterministic/finite-dimensional counterparts. More importantly, one has to develop new tools, say, the stochastic transposition method introduced in our previous works, to solve some problems in this field.     

乙烯、丙烯中微量水含量的分析

采用便携式微量水分析仪和库仑法微量水分析仪测定了乙烯、丙烯试样中的微量水含量,对试样的传输系统、进样量的控制、液体试样的气化和水标准气体的制备方法进行了改进,优化了测试条件。以低吸附惰性管线和小死体积单进单出的不锈钢减压器为试样传输系统,缩短了测试时间。采用液态烃闪蒸气化取样进样器气化液体试样并准确控制试样的进样量,可避免液体试样渐次气化对水含量测定结果的影响及对采样钢瓶大小的限制。采用渗透管发生器制备水标准气体,可验证分析结果的准确度。采用库仑法微量水分析仪测定水含量时,试样流量选择600 m L/min较适宜,开封保存15 d之内的卡尔·费休试剂对测定结果无影响。采用便携式微量水分析仪测定水含量时,选择试样流量在400~800 m L/min之间较适宜。两种仪器的测量结果相近,稳定性好,准确度高,回收率在102%~107%之间,相对偏差小于10%。     

Comparative evaluation of different statistical tools for the prediction of uniaxial compressive strength of rocks

In this study, uniaxial compressive strength (UCS), unit weight (UW), Brazilian tensile strength (BTS), Schmidt hardness (SHH), Shore hardness (SSH), point load index (Is₅₀) and P-wave velocity (V_p) properties were determined. To predict the UCS, simple regression (SRA), multiple regression (MRA), artificial neural network (ANN), adaptive neuro-fuzzy inference system (ANFIS) and genetic expression programming (GEP) have been utilized. The obtained UCS values were compared with the actual UCS values with the help of various graphs. Datasets were modeled using different methods and compared with each other. In the study where the performance indice PI_at was used to determine the best performing method, MRA method is the most successful method with a small difference. It is concluded that the mean PI_at equal to 2.46 for testing dataset suggests the superiority of the MRA, while these values are 2.44, 2.33, and 2.22 for GEP, ANFIS, and ANN techniques, respectively. The results pointed out that the MRA can be used for predicting UCS of rocks with higher capacity in comparison with others. According to the performance index assessment, the weakest model among the nine model is P7, while the most successful models are P2, P9, and P8, respectively.     

黑龙江省节水增粮行动(2012—2015年)实施方案

文章通过对黑龙江省高效节水现状,存在问题的分析,结合黑龙江省高效节水发展的支撑能力,阐述黑龙江省节水增粮目标、任务及总体布局,为黑龙江省2012—2015年节水增粮实施提供依据。     

Validation of performance of real-time kinematic PPP. A possible tool for deformation monitoring

Structural failures (bridge or building collapses) and geohazards (landslides, ground subsidence or earthquakes) are worldwide problems that often lead to significant economic and loss of life. Monitoring the deformation of both natural phenomena and man-made structures is a major key to assessing structural dynamic responses. Actually, this monitoring process is under real-time demand for developing warning and alert systems.One of the most used techniques for real-time deformation monitoring is the Global Navigation Satellite System (GNSS) real-time procedure, where the relative positioning approach, using a well-known reference station, has been applied.This study was conducted to evaluate the actual quality of the real-time kinematic Precise Point Positioning (PPP) GNSS solution for deformation monitoring, where it can be concluded that a promise tool is under development and should be taken into account on actual and near future real-time deformation monitoring studies and applications.     

Combination of heat treatment and chitosan coating to improve postharvest quality of wolfberry (Lycium barbarum)

The synergistic application of hot water dip at 42 °C for 30 min and 1% chitosan coating on differentiation in postharvest quality traits, microstructure as well as microbiological evolution of wolfberry fruits was investigated. Fresh wolfberry fruits were stored at 2 ± 0.5 °C and 90% relative humidity (RH) for 28 days. Results indicated the combination of prestorage heat treatment and chitosan coating maintained higher levels of ascorbic acid, total phenolic contents and antioxidant capacity as well as lower decay, compared with untreated wolfberry fruits. The possible mechanism was that the heat treatment almost sealed open stomata to limit the sites of pathogen penetration into fruits independently, followed by the biofilm formed by chitosan which controlled secondary infections as well as slowed changes in fruit respiration and metabolic activity in wolfberries. The synergistically treated fruit also exhibited a higher acceptability obtained by sensory analysis after cold storage. In this sense, the integrated application of heat treatment and chitosan coating could be regarded as an effective strategy to extend storage life and maintain the postharvest quality of wolfberry fruits.     

The concept of smartness in cyber–physical systems and connection to urban environment

The next-generation systems are expected to be largely cyber–physical systems (CPSs) that autonomously control physical processes, through sensors and actuators typically in real-time feedback and cooperative control loops distributed among physical and cyber environments. The rapid technological advancements enhance the smartness of these CPSs, pushing their boundaries of performance and efficiency by embedding new information and communication technologies. However, to what extent CPSs should be smarter so that they do not compromise safety and security of safety critical systems? is an open research question. Towards this goal, the purpose of this study is to establish a grounded theory to analyse what makes these systems smart? and eventually, how to find a balance between smartness and safety risks? In this precinct, this article aims to develop a conceptual framework, define the dimensions and derive the characteristics that make CPSs smart. The proposed approach combines an automated informetric and systematic analysis of literature pertinent to the topic of smartness across anthropology, science, engineering and technology. The analysis of a case study building and the discussions presented herein support the connection between the existing understanding of CPSs and smartness offered by the building design approach in urban environment.     

门架式堆取料机在铜冶炼中的生产实践

针对铜冶炼工艺的特点,从门架式堆取料机对前后工序衔接、结构、原理出发,介绍了其在熔炼炉系统和吹炼炉系统中的应用情况。经过试生产期的生产实践证明,门架式堆取料机具有场地利用率高、取料量大,自动化程度高和安全环保等优点。     

嵌入式实时操作系统内核混合代码的自动化验证框架

"如何构造高可信的软件系统"已成为学术界和工业界的研究热点.操作系统内核作为软件系统的基础组件，它的安全可靠是构造高可信软件系统的重要环节.为了确保操作系统内核的安全可靠，将形式化方法引入到操作系统内核验证中，提出了一个自动化验证操作系统内核的框架.该验证框架包括：（1）分别对C语言程序和混合语言程序（C语言和汇编语言）进行验证；（2）在混合语言程序验证中，为汇编程序建立抽象模型，并将C语言程序和抽象模型粘合形成基于C语言验证工具可接收的验证模型；（3）从规范中提取性质，基于该自动验证工具，对性质完成自动验证；（4）该框架不限于特定的硬件架构.成功地运用该验证框架对两种不同硬件平台的嵌入式实时操作系统内核μC/OS-II进行了验证.结果显示：利用该框架在对两个不同的硬件平台上内核验证时，框架的可重复利用率很高，高达到88%，虽然其抽象模型需要根据不同的硬件平台进行重构.在对基于这两种平台的操作系统内核验证中，分别发现了10~12处缺陷.其中，在ARM平台上两处与硬件相关的问题被发现.实验表明，该方法对不同硬件平台的同一个操作系统分析验证具有一定的通用性.