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.     

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

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

基于RGB色彩空间的四带树木图像颜色校正方法

针对图像受近红外光线参与的影响而出现偏色现象,介绍了一种基于RGB色彩空间的四带（RGB带和一个附加的近红外带）树木图像颜色校正方法. 该方法首先根据R-G差值图像,通过实验获取合适的阈值将四带树木图像二值化. 然后,利用中值滤波器和数学形态学对二值图像进行滤噪处理,提取出偏色较严重区域. 最后分区域进行颜色校正,达到消除近红外干扰的目的. 实验结果表明,该方法对部分常见含植物的场景图像有比较好的校正效果.     

带时间和资源约束的实例化过程模型验证方法

软件过程的性能是由软件过程模型和软件过程实例化两方面因素决定,如果对软件过程进行了不恰当的实例化,会导致成本超支、进度延期、甚至项目失败．已有的过程描述法不足以分析实例化过程模型,由于没有考虑实例化阶段的时间资源约束,语法结构正确的过程模型并不能保证过程执行的正确性．提出一种带时间和资源约束的实例化过程模型验证方法,为目前已有的s-TRISO／ML建模语言增加时间和资源约束属性,然后提出了从s-TRISO／ML模型转换成时间自动机的转换方法和实现算法,利用已有的分析工具Uppaal对转换得到的时间自动机的性质进行验证,得到一个合理的实例化模型,从而为真实的开发流程提供指导．     

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

A Parameterization Method from Conic Spline Interpolation

Interpolating a set of planar points is a common problem in CAD. Most constructions of interpolation functions are based on the parameters at the sample points. Assigning parameters to all sample points is a vital step before constructing interpolation functions. The most widely used parameterization method is accumulative chord length parameterization. In this paper, we give out a better method based on the interpolation of conics. Based on this method, a sequence of fairer Hermite curves can be constructed.     

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

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

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

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