Value function and optimality conditions for semilinear control problems

This paper is concerned with optimal control problems of Mayer and Bolza type for systems governed by a semilinear state equationx(t)=Ax(t) + f(t, x(t), u(t)), u(t) U, whereA is the infinitesimal generator of a strongly continuous semigroup in a Banach spaceX. We prove necessary and sufficient conditions for optimality and then use these conditions to investigate properties of the value function related to superdifferentials. Conversely, we use the value function to obtain criteria for optimality and feedback systems.Work (partially) supported by the Research Project Equazioni di evoluzione e applicazioni fisicomatematiche (M.U.R.S.T.-Italy).     

炉前煤低温干馏工艺中的挥发分除尘

为了寻求优化的炉前煤低温干馏工艺中的挥发分除尘方案，在使用400目金属滤网对间歇式粉煤固体热载体热解装置挥发分除尘研究的基础上，将颗粒床过滤器用于该过程的除尘研究。热态除尘实验表明，颗粒床的使用有效地降低了滤网的过滤负荷。选用2mm石英砂和φ5mm×2mm瓷环作为滤料，通过对比实验发现，两种滤料除尘效率均在90％以上；随着过滤操作的进行，由于颗粒床内粉尘的沉积使其过滤效率有所提高，而对气、液收率的影响很小。结果表明，颗粒床与滤网结合可作为粉煤炉前低温干馏工艺中可供选择的挥发分除尘方案。     

A mathematical model for a distributed attack on targeted resources in a computer network

A mathematical model has been developed to analyze the spread of a distributed attack on critical targeted resources in a network. The model provides an epidemic framework with two sub-frameworks to consider the difference between the overall behavior of the attacking hosts and the targeted resources. The analysis focuses on obtaining threshold conditions that determine the success or failure of such attacks. Considering the criticality of the systems involved and the strength of the defence mechanism involved, a measure has been suggested that highlights the level of success that has been achieved by the attacker. To understand the overall dynamics of the system in the long run, its equilibrium points have been obtained and their stability has been analyzed, and conditions for their stability have been outlined.     

Thin-film capacitance models

Models for distributed capacitance in a thin film are derived in the form of a system of local RC diffusion equations coupled by a global elliptic equation. Such models contain the local geometry of the distributed capacitance on which charge pis stored and the exchange of current flux on its interface with the medium. Certain singular limits are characterized, and the resulting degenerate initial-boundary-value problems are shown to be well posed.     

Real‐Time Measurement of the Size Distribution of Diesel Exhaust Particles using a Portable 4‐stage Electrical Low Pressure Impactor

For this study, a 4 stage electrical low pressure impactor was designed to measure the real‐time size distribution of diesel particulate matter (DPM). For the performance evaluation, sodium chloride (NaCl) particles and dioctyl sebacate (DOS) particles were used. After evaluating the collection efficiency of each stage of the impactor, the size distributions of test particles were estimated using electrical current data and their inversion algorithm, and this was found to agree with the results obtained by a scanning mobility particle sizer (SMPS). For measurement of DPM, a common‐rail direct injection (CRDI) diesel engine, for engine speeds of 1,200 rpm and 1,500 rpm at 2.7 kgf·m, was used. Therefore, it was found that the size distribution of the DPM could be easily obtained, with the currents measured by the impactor and the data inversion algorithm, in less than 5 seconds. Furthermore, the effective density of the DPM could be obtained using the calculated results and the SMPS data.     

统计数据采样算法

将集中式控制系统常用的结构二层结构改进为智能化的三层结构的设计方案,即传感器、智能巡检仪和上位机。上位机既可以直接读取传感器的数据也可读取智能巡检仪的数据。此方案较好地解决了二层结构所出现的问题,并且也适合交大规模的其它类型的控制系统。这种设计方案存在当规模时上位机采集数据出现丢失现象。本文提出了利用数据库的历史数据及控制曲线的线性特征的数据采集算法,较好地解决了数据丢失的问题。并以温控系统为例仿真了在较大规模控制环境下的试验结果。     

山区智能视觉火情高空图像搜集系统的设计与实现

介绍了一种针对山区多样性突发火情事件中基于智能视觉的高空图像搜集系统,采用以ST意法半导体公司的STM32F107VCT6为处理核心的开发平台,地面控制平台通过高空无人机的高速照相机对目标区域火情图像数据进行搜集,并将图像数据带回到地面控制平台的PC处理器上进行综合分析。地面控制平台根据智能视觉信息采集模块采集的山区遥感图像的均值作为初始背景,并对背景图像进行实时更新,利用光谱特征与距离算法获取差分图像,并进行图像处理,从而获取山区发生火情区域的图像分析数据,以实现对山区森林突发火情事件的及时监测,在火情发生初始阶段就能扑灭。本文对山区智能视觉火情高空搜集系统的实现原理、核心硬件设计、系统软件设计等分别进行了研究,并通过系统实验进行了验证,测试结果表明,该系统在对山区的高空图像搜集实验中,对不同颜色物体的分别识别率为100%,对火灾与地形地貌的识别率为95.55%和81.12%,非常适用于各种山区环境下的智能视觉监控系统。     

Negative‐pressure‐induced collector for a self‐balance free‐flow electrophoresis device

Uneven flow in free‐flow electrophoresis (FFE) with a gravity‐induced fraction collector caused by air bubbles in outlets and/or imbalance of the surface tension of collecting tubes would result in a poor separation. To solve these issues, this work describes a novel collector for FFE. The collector is composed of a self‐balance unit, multisoft pipe flow controller, fraction collector, and vacuum pump. A negative pressure induced continuous air flow rapidly flowed through the self‐balance unit, taking the background electrolyte and samples into the fraction collector. The developed collector has the following advantages: (i) supplying a stable and harmonious hydrodynamic environment in the separation chamber for FFE separation, (ii) effectively preventing background electrolyte and sample flow‐back at the outlet of the chamber and improving the resolution, (iii) increasing the preparative scale of the separation, and (iv) simplifying the operation. In addition, the cost of the FFE device was reduced without using a multichannel peristaltic pump for sample collection. Finally, comparative FFE experiments on dyes, proteins, and cells were carried out. It is evident that the new developed collector could overcome the problems inherent in the previous gravity‐induced self‐balance collector.     

In situ X‐ray data collection and structure phasing of protein crystals at Structural Biology Center 19‐ID

A prototype of a 96‐well plate scanner for in situ data collection has been developed at the Structural Biology Center (SBC) beamline 19‐ID, located at the Advanced Photon Source, USA. The applicability of this instrument for protein crystal diffraction screening and data collection at ambient temperature has been demonstrated. Several different protein crystals, including selenium‐labeled, were used for data collection and successful SAD phasing. Without the common procedure of crystal handling and subsequent cryo‐cooling for data collection at T = 100 K, crystals in a crystallization buffer show remarkably low mosaicity (<0.1°) until deterioration by radiation damage occurs. Data presented here show that cryo‐cooling can cause some unexpected structural changes. Based on the results of this study, the integration of the plate scanner into the 19‐ID end‐station with automated controls is being prepared. With improvement of hardware and software, in situ data collection will become available for the SBC user program including remote access.