卷首语

正21世纪是城市的世纪,随着城市化水平的不断提高,人类社会面临着日益严峻的城市问题,包括环境问题、人口增加导致的资源加速消耗、更加复杂的社会管理等。建设可持续发展的智慧城市将是应对上述挑战、解决上述问题的良策。2013年,我国建立了一批智慧城市试点,将对我国智慧城市建设起到重要的推动作用。我国的智慧城市建设处于起步阶段,还需要进行多方面的探索与实践验证,这是建立智慧城市试点的初衷。来自中国电子科技集团公司第三十三研究所张     

基于时间着色Petri网的OpenFlow协议建模研究

介绍了Hierarchy CPN的相关定义,然后对OpenFlow协议进行了基于时间着色CPN建模.在建模过程中,详细考虑了Token Colour的选取与相关变量的定义,并考虑了时间属性,针对建模的性能进行了分析.执行上述模型并进行验证分析,得出变迁发生次数与所需时间基本符合稳态分布这一事实,满足预期的要求.对所构建模型进行自定义查询分析,依据模型活性、死锁、可达性等特性构建相应的抽象路径,用于指导抽象测试例的生成.     

中国载人交会对接技术的设计与实现

中国在载人航天工程第二步第一阶段任务中,自主研制了天宫一号目标飞行器和神舟八号、神舟九号、神舟十号载人飞船,通过3次在轨飞行任务完成了8次交会、6次对接,覆盖了自动和手动等多种交会对接模式,突破并掌握了交会对接技术.从交会对接系统、交会轨道、交会测量和控制、信息传输、对接与分离、飞行方案,以及试验验证等方面对中国载人交会对接设计的技术特点、所采用的创新技术方法和解决的技术难题进行了介绍,在飞行验证的基础上分析了工程任务取得的成果,与国际水平进行了综合比较,对中国载人交会对接技术的设计和研制情况进行了总结.     

自动化集装箱码头数字孪生数据建模及评价方法研究

为充分利用自动化集装箱码头海量作业数据，实现数字孪生驱动的码头数字化、智能化转型，提出一种自动化集装箱码头数字孪生数据建模及效果验证评价的方法。研究了基于数字孪生的自动化集装箱码头的应用框架及其运行机制；结合数字孪生框架的数据处理逻辑，提出了基于数字孪生的码头作业过程演化及动态数据建模方法；为验证数字孪生数据能否满足码头数字孪生的有效运行，给出了码头数字孪生数据验证评价的量化计算方法。为实现基于数字孪生的自动化集装箱码头的智能作业管控和作业数据管理提供方法支撑。     

平纹编织复合材料层板维修的挖补角度优化分析与试验验证

鉴于平纹编织复合材料的广泛应用与该类型层板维修研究的缺失性,研究针对一系列不同修补角度的平纹编织复合材料层板维修工况,进行了三维有限元模型分析计算与试验验证,得到结论如下:修补角度的选取对于恢复强度的影响极为明显。研究使用的平纹编织复合材料层板结构最佳修补角度为4°,最大强度修复率达到了66.98%;分析采用的三维有限元修补模型得到的强度计算值与试验数据基本吻合,说明该计算模型能够满足维修设计的需求,为实际修理提供较好的维修指导。     

基于可信第三方的Android应用完整性验证模型

提出一个基于可信第三方的Android应用完整性验证模型.采用特征选择算法、XML解析和反编译来获取Android系统完整性信息,终端通过与可信第三方进行验证来保证应用的完整性.对比实验结果表明了系统的有效性和可行性.     

本期导读

<正>本期"智能控制与智能计算"栏目中,《一种智能汽车的实时道路边缘检测算法》,以无人驾驶汽车为平台,针对结构化、半结构化道路下无人驾驶汽车道路边缘检测问题,提出了一种智能汽车的实时道路边缘检测算法,经实验验证,该算法准确率高,可靠性强,能够准确完成     

动态系统模型验证的多元响应分析

摘要： 针对模型验证中多元动态响应分析问题,提出了基于改进的响应误差评估(Enhanced Error Assessment of Response Time Histories, EEARTH)方法与层次分析(Analytic Hierarchy Process, AHP)法的多元响应分析方法.采用EEARTH方法并结合动态时间规整,分析了物理试验与仿真数据动态时间响应曲线上重要特征的差异,并转化为统一的0～100%的EEARTH评分.采用AHP并利用领域专家知识以确定3个EEARTH评分的重要程度,以及各响应量对最终AHP EEARTH评分的影响权重,从而获得多元动态系统模型验证的整体评分.对某车型的驾驶员乘员侧约束系统的实例研究表明,该方法能有效实现复杂多元动态系统的模型验证.     

林果业生产机械化水平评价与实证研究

为掌握多年生作物林果业的生产机械化发展现状,十分有必要建立一套指标体系来评价其生产机械化水平.从统计具有可操作性角度出发,对林果业概念界定、指标及权重设置、评价方法建立等方面进行了深入探讨.通过典型调查与专家咨询、定性与定量研究相结合等方法,从林果业全程生产的15项作业中重点考虑作业频次高、用工量大、作业费用多、机械化需求迫切的重点作业项目,选取了中耕、施肥、植保、修剪、采收、田间转运等6项,设置了相应评价指标,用德尔菲法确定了指标权重,构建了评价指标体系,采用线性加权综合评价法进行计算和评价.最后进行了应用验证,结果表明该指标体系能一定程度反映生产实况,且具有可操作性,为分区分类指导我国林果业生产机械化发展提供了科学依据.