Progressive events in supervisory control and compositional verification

This paper investigates some limitations of the nonblocking property when used for supervisor synthesis in discrete event systems. It is shown that there are cases where synthesis with the nonblocking property gives undesired results. To address such cases, the paper introduces progressive events as a means to specify more precisely how a synthesised supervisor should complete its tasks. The nonblocking property is modified to take progressive events into account, and appropriate methods for verification and synthesis are proposed. Experiments show that progressive events can be used in the analysis of industrial-scale systems, and can expose issues that remain undetected by standard nonblocking verification.     

Analysis and design of secure cyber-physical systems

Cyber-physical systems （CPSs） are new emerging systems that seamlessly integrate physical systems, communication systems and computation systems. Their wide use has been witnessed in the past decades in many crossdiscipline fields such as smart energy systems, industrial process control, aerospace and automobile engineering, health-care and assisted living, to just name a few. For many of these systems, secure operations are of key con- cerns. In particular, for some safety-critical applications, security is of paramount importance. Diverse motivations and strong incentives exist everywhere and at any time for launching malicious attacks on the CPSs, for example, economic reasons （e.g., by reducing or even not paying electricity charge） and terrorism the purpose of which is apparent.     

小型轴流压气机清洗两相流场的数值模拟

针对某小型航空发动机单级轴流压气机的清洗需求,以数值模拟结合实验的方法对压气机清洗流场的各种参数进行了分析研究.在初步确定清洗方案的基础上,建立了基于S-A湍流模型的离散相数值模拟理论模型,以经验公式估算喷嘴形成的初始液滴分布,并对喷嘴的实验参数进行了校准,最后以CFD软件进行了流场的数值模拟,计算结果表明：清洗液滴不会对压气机的流场产生明显影响,平面扇形喷嘴在该小型压气机上能获得较好的清洗效果.     

基于近似弧长参数化的机器人轨迹规划

主要研究了采用近似弧长参数化的插值方法进行关节式工业机器人的轨迹规划.运用近似弧长参数化的插值方法将机器人末端轨迹参数曲线离散为等弧长的插值点序列,通过机器人逆向运动学求解各关节的位移点序列,采用极限的方法进行各关节速度和加速度规划.这种轨迹规划方法可以避免关节空间的插值计算和雅克比矩阵的计算.在 matlab7.8平台上,对近似弧长参数化的插值方法、轨迹规划及可行性验证进行了实例仿真,仿真结果表明该轨迹规划方法是可行的.     

参数线性规划问题的新型光滑精确罚函数神经网络

针对不等式约束条件下,目标函数和约束条件中含有参数的线性规划问题,提出一种基于新型光滑精确罚函数的神经网络计算方法．引入误差函数构造单位阶跃函数的近似函数,给出一种更加精确地逼近于Ll精确罚函数的光滑罚函数,讨论了其基本性质;利用所提光滑精确罚函数建立了求解参数线性规划问题的神经网络模型,证明了该网络模型的稳定性和收敛性,并给出了详细的算法步骤．数值仿真验证了所提方法具有罚因子取值小、结构简单、计算精度高等优点．     

SPM 智能化进相机原理简介

１ 概述新型ＳＰＭ智能化静止进相机是一种用于提高大中型绕线式异步电动机功率因数的新型无功功率补偿设备。它可使异步电动机的功率因数提高到接近于１,使电机定子电流减少２０%,其性能优于传统     

高纯竹叶碳苷黄酮复合纳米生物材料的制备及其结构表征（急）

采用离子交联法，以高纯竹叶碳苷黄酮制剂（碳苷总质量分数﹥90%，记为H-BLF）和芫根阴离子多糖（TP）为原料，通过ε-聚赖氨酸（ε-PL）的阳离子桥键合而成竹叶碳苷黄酮纳米混悬液（H-BLFnd），进一步在混悬液中添加8%（w/v）的γ-环糊精、经真空冷冻干燥得到纳米冻干粉（H-BLFnp），采用粒径分析、TEM、UV、FTIR、TG和DSC对其外观、性能、结构进行表征。结果表明： H-BLFnp外观为白色粉状，表面光洁平整，色泽均匀，平均粒径为（679±10.2）nm，分散系数为（0.349±0.004），包埋率为（92.39±0.34）%。     

信息消费助推经济提质增效

2014年,信息技术创新应用快速深化,信息化呈现出互联网化、移动化、智慧化的新特点。全圜信息消费规模持续扩大,制造业向智能化发展,智慧城市建设全面推进实施,微博做信等移动政务服务拓展政务服务新渠道。     

新疆加甫沙尔苏地区中酸性小岩体型矿化蚀变遥感异常提取与找矿

中酸性小岩体的内部及附近的围岩中常形成与岩浆岩体有关的大型、超大型矿床,已成为找矿工作的一个重点方向。由于地质工作程度的限制,中酸性小岩体易被遗漏,严重制约了该类型矿化的发现。在新疆西准噶尔达尔布特断裂带下盘加甫沙尔苏地区找矿工作中,通过综合分析,提出了以遥感手段为主导的中酸性小岩体型矿化找矿模型:利用ASTER数据,通过图像增强处理、图像解译识别中酸性小岩体并提取蚀变遥感异常,结合地质、化探信息综合分析后确定重点检查区域。野外检查发现了加甫沙尔苏斑岩型钼矿化点,证实了该方法的有效性。该方法可以为西部地区中酸性小岩体型矿产资源勘查提供借鉴。     

实体店现代化转型升级的必由之路——门店精益化管理——访中百连锁仓储超市有限公司

“我对PDA的了解,最初是通过沃尔玛、麦德龙的现场管理。上世纪90年代起,沃尔玛、麦德龙、屈臣氏等先后进入武汉市场,进来的时候,已全部进行PDA管理了。但那时,PDA价格非常贵,麦德龙的是1．2万元一台,且块头很大,很重,跟挂着一把真枪似的。当时,对他们非常羡慕,觉得他们财大气粗的,更重要的是,在管理方面具备了一定的系统化、电脑化、程序化。直到2005年,我们中百仓储也开始了PDA管理,直到2010年才开始全面推广,从最初用PDA收货,再是打印价签,再是退货,生鲜的收货,然后是用于定位盘点,最后进行货位管理,给超市运营管理带来很大的便捷,也推动我们走向了精细化、规范化、系统化管理的转型道路。”