事件驱动、面向服务的物联网服务提供方法

物联网无缝集成了用户域、信息空间域和物理空间域,实现了＂人—机—物＂的动态协同,其应用常常涉及到跨业务域甚至跨组织的用户、业务流程和物理实体的实时动态交互.因此,物联网服务系统往往需要集成多个分布式的企业应用系统从而形成一个大规模复杂服务系统来实时协作完成一定的业务目标.目前,大多数已有研究工作主要集中于解决不同实体和应用系统间在动态交互环境下的互联和互操作问题.然而,如何在信息的提供方和消费者之间按需的分发感知信息、并基于物理世界所发生的变化动态的实时协同相关的企业服务或者业务流程做出快速反应尚没有系统深入地研究.为此,本文结合事件驱动架构和面向服务架构的设计思想,提出了一种事件驱动、面向服务的物联网服务提供方法,该方法能够便捷地支持感知信息的按需分发和聚合,并实现事件驱动的跨业务域甚至跨组织的服务动态协同.这种实现了＂时间、空间和控制＂解耦的服务提供方法极大地增强了物联网服务系统的灵活性和敏捷性,允许系统及时地对物理世界的动态变化做出快速响应.最后,通过实际部署的区域集中供热监控及热计量物联网应用进行了验证.     

基于网络的可信软件大规模协同开发与演化

随着网络时代的来临,软件的开发模式、运行环境和提供方式发生了巨大变化.互联网作为一种开放的协同工作环境,其中孕育的大规模协同创作机理对软件开发和应用产生了深刻影响.如何将其与工业化可信软件生产相结合以提高软件生产效率和质量,是网络时代软件技术面临的新课题.本文提出汇聚群体智慧的可信软件开发新方法——群体化方法,该方法的核心是"群体协同、资源分享、运行监控、可信分析",支持创新软件作品向可信软件产品转化,支持软件的可信演化.提出一种基于证据的可信软件概念模型,将软件在开发阶段、分享阶段和应用阶段的基础数据作为软件的可信证据,并据此建立了软件演化过程模型;提出一种支持可信软件协同开发与演化的服务模型,支持软件创作与生产深度协同的可信软件社会化生产、开放有序的可信软件资源分享,以及基于海量数据分析的软件可信评估.最后以"十一五"国家高技术研究发展计划重点项目"高可信软件生产工具及集成环境"为背景,阐述了面向群体化方法的关键技术、开发环境和应用实践.     

飞行器轨迹优化数值算法综述

作为计算飞行力学的重要组成部分之一,飞行器轨迹优化数值算法一直是飞行力学工作者研究的热点与难点,较全面地对各种方法进行综合研究的文献非常有限且近期未见公开发表.通过对百余篇的相关文献的研究,从计算飞行力学的应用角度出发,并结合近年来轨迹优化领域的研究进展,系统归纳分析了目前用于飞行器轨迹优化的数值算法.简单综述了常用轨迹优化方法的基本原理、特点及应用,介绍了近几年来出现的一些新方法,新理论;最后重点对众多飞行器协同轨迹优化与高超声速飞行器轨迹优化进行了综述.在本文的结论部分,提出了对飞行器轨迹优化数值算法的研究方向,即众多飞行器协同、多目标、全局、实时在线、高精度、能够考虑各种未知的随机干扰的轨迹优化     

工业大数据驱动的核电装备智能设计-制造-服务技术与应用

针对核电大数据集成管理缺乏适应性和应用价值有限的问题,提出了一种基于工业大数据分析架构的核电装备智能设计制造服务体系.首先,基于核电大数据的领域特性设计了核电装备全生命周期数据空间,通过业务系统数据与主数据两个层次,实现海量多源异构数据分布式存储,并提出模型驱动的核电大数据应用模式.在此基础上,基于数据空间提出了核电装备智能设计制造服务体系框架和关键技术,包括基于模型数据知识联合学习的智能协同设计、多阶段数据融合驱动的质量管控与精准追溯、高维动态边缘数据驱动的运行服务智能诊断预测等技术,为生产决策和运作管理提供依据,促进核电装备安全性、可靠性和经济性指标持续优化.最后通过核电装备典型业务场景来验证所提框架和技术的有效性,并取得了良好的应用效果,为未来核电大数据协同管理和智能应用提供参考.     

基于对象的协同计算模型

提出了一个支持ＣＳＣＷ系统构造的协同计算模型，它将一个协同系统分为若干层次，每一层由相关构件对象组成，通过对象链接机制，连接多用户的相关对象，实现了应用独立的多层次协同。模型使系统获得了细粒度的协同感知和结构化的协同关系，提高了协同效率，方便了协同系统的开发。     

超标量通信:一种面向分布式应用的运行时优化技术

并发在分布式应用中是一项实质性的需求,然而现有方法均十分复杂且容易出错.文中提出一种全新的并发途径——超标量通信,这种方法通过用语言级虚拟机SSVM在运行时自动分析应用程序,以发现潜在的并发机会;然后通过调度通信任务和计算任务,实现并发执行.超标量通信技术的构思受到了微处理器中的超标量技术的启发,然而硬件的超标量算法在许多方面都不适用于软件.SSVM是一种对运行时系统的扩展,它不需要修改现有的语言、编译器和字节码,因此具有很好的向下兼容性.超标量通信技术有可能开拓一个全新的领域,其特征是针对网络程序的动态优化.     

电信空调冷却塔供冷系统节能应用

根据电信机楼的空调负荷特点,在冬季和部分过渡季节,选择使用冷却塔加板式换热器的间接式免费供冷空调系统为电信机楼提供冷量。介绍了冬季机房空调送风温度和冷却塔供冷温度的确定,分析了冷却塔供冷温度对冷却塔运行消耗的影响。通过预测计算确定冷却塔免费制冷的的运行时间及节能效果。并引入了冷负荷供需指数的概念,经过现场测试计算得出江苏电信第二枢纽工程中影响该指数的三个因素,最后总结了江苏电信免费制冷技术的节能情况和应用潜力。     

牵引供电扩能系统仿真研究

改善电气化铁道牵引供电能力不足的有效措施之一是进行牵引供电扩能改造,应用综合补偿技术是牵引供电扩能的最佳方法.但其影响因素较多,且时变性和相关性强,不易建立精确的数学模型.本文采用基于列车牵引计算的仿真方法,针对增设不同的扩能补偿设备,结合半定量分析方法时补偿设备的安装位置和投切容量等参数选取、有效控制策略的选择等建立了牵引供电扩能仿真系统,通过分析列车的运行工况来评价投入不同补偿设备所达到的扩能效果,系统的应用结果表明该仿真模型是行之有效的.     

基于组织的网构软件程序设计语言及其实现

作为Internet环境下的一种新的软件形态,网构软件的自主性、协同性、适应性、演化性及柔性体系结构等特点对传统的程序设计模型、语言和支撑平台提出了一系列挑战．本文基于组织抽象和agent技术提出了支持网构软件构造的程序设计语言OragentL．首先,OragentL将软件agent作为网构软件中自主实体的抽象,并在这一层面设计和封装系统的自适应和自演化逻辑．其次,OragentL将组织、角色等组织抽象作为一级编程实体,提供了角色扮演、角色组合、角色演化、基于角色的交互、基于组织的自管理等机制为网构软件的动态性特点提供了显式的语言设施和机制支撑．我们设计了OragentL的语法和形式化操作语义,并开发了Oragentburg作为OragentL网构软件的运行时环境,支持0ragentL程序的开发、编译、部署和运行     

知识推理的一个模型

引入了能描述操不同语言的多agent系统中知识推理的模态逻辑语言及其Kripke语义与Aumann语义 ,为其建立了完备的形式化演绎系统 ;并构造了多agent系统的逻辑的Institution .     

软硬件混成系统与协同设计介绍

软硬件混成系统或嵌入式系统是用信息化带动工业化的关键技术,在各领域有着巨大应用需求。传统的计算机系统软、硬件各自开发的模式使得目标系统的资源优化不够,可靠性、安全性和实时性难以保障,开发周期和成本也受到很大的影响。在何积丰与Hoare C．A,R的统一程序设计理论基础上提出的软硬件混成系统与软硬件协同设计技术,针对上述问题给出了良好的解决途径。本文在回顾他们的关键工作后,描述了软硬件协同设计的关键技术和主要内容。接着介绍具有自主知识产权的“海神”软硬件协同设计平台：在获得用户需求规范后,设计开发者只需根据需求规范用高级语言实现需求阶段所提出的功能,分解器会将其自动分解为软件子系统和硬件子系统的描写并综合。从而提供了一种开发嵌入式系统的良好工具。     

空中/地面机器人异构协同技术研究:现状和展望

多空中/地面机器人异构协同是一个新的前沿性技术领域,该技术可拓宽空中机器人和地面机器人的应用范围,提高其侦察、搜救及执行其它任务的效率.本文对空中/地面机器人的异构协同技术中的群集运动、编队控制、编队控制稳定性分析、网络控制、实际应用等核心问题进行了系统综述,并分析空中/地面机器人异构协同技术的未来发展趋势.     

考虑未知输入的异构集群系统群体智能合围跟踪控制

集群系统合围跟踪控制是群体智能涌现在运动控制层面的实现途径之一,在智能化战争时代具有广阔的应用前景.本文面向未来空地群体智能作战中护卫任务的应用需求,聚焦军品押送、重要人物护送等典型任务场景,研究了异构集群系统考虑领导者具有未知输入的分布式编队-合围跟踪控制问题,以实现复杂环境下空地协同智能作战.首先引入代数图论知识,建立具有未知输入的异构集群系统模型,提出了一种编队构型生成系统.之后结合自适应控制律,利用邻居局部信息交互设计了基于边的分布式编队-合围跟踪控制器,并证明了闭环系统的稳定性.此外,对异构集群系统涌现出的更复杂的群体智能特征进行了分析与总结.最后,通过数值仿真验证了本文所提出的方法能够实现预期的编队-合围跟踪控制,并建立了实物等效验证系统,对控制方法的有效性进行了验证,为实际情况下大规模空地协同智能作战提供了有力的理论支撑.     

实用化光纤量子加密电话网络和高速数据传输系统——现场应用与安全管理

本文以如何应用量子通信技术满足现场应用和安全管理需求为出发点,以国内最近完成的一个在现场光纤网络上搭建的多节点量子加密电话网络和高速数据传输系统为实例,具体分析了为满足现场应用和安全管理的需求,实用化光纤量子通信系统所采用设计方案,并简单介绍了该系统实施和长期运行情况.该系统满足了重要事务对于不同应用形式及高安全等级通信的需求,并验证了实际应用环境下的可靠性和易用性,具有很好的代表性.本文也对量子通信系统应用于公共管理提出了建议.     

基于体系结构的网构软件自适应方法

作为网构软件的基本特性之一,自适应性是指软件系统在预设策略的指导下自动地监测系统状态信息,并在必要时对自身进行调整,以提供更好的服务.针对网构软件可适应性、自适应可操作性及适应结果可信性3个基本问题,提出了一种以体系结构为中心的网构软件自适应方法,即监测、分析、规划、实施等自适应活动均围绕软件体系结构展开,其中,网构软件运行状态和行为以运行时软件体系结构的方式实时展现和在线调整;自适应相关知识通过软件体系结构记录、组织和加工,以实现系统状态和行为的自动分析和调整规划.     

fcc金属(001)表面吸附二聚物自扩散的分子动力学模拟

采用基于原子嵌入方法的模型势, 通过静态计算和分子动力学方法系统地研究了fcc金属(001)表面吸附二聚物的自扩散现象, 除了一般的交换机制和跳跃机制外, 还观察到了一些新的扩散机制, 例如: 复杂(旋转)交换、协同跳跃及协同交换机制等. 在此基础上讨论了不同金属表面吸附二聚物自扩散的特点, 不同的金属表面不仅主导的扩散机制不同, 而且交换机制的机理也不同.     

协同优化方法与并行子空间方法的评估与比较

多学科优化设计技术是航空航天领域内近年来发展起来的一种新的总体优化设计技术,致力于解决复杂系统的耦合设计问题,以获得系统的整体最优.协同优化方法和并行子空间方法是多学科优化设计技术中的2种主要方法,本文从计算效率、计算精度、学科自治、工程实用性等方面,结合3个实例,对2种方法进行深入的分析与评估.分析结果表明：并行子空间方法在计算效率、学科自治以及工程实用性方面比协同优化方法略胜一筹.     

多机电力系统广域非线性鲁棒电压控制策略

本文针对多机电力系统提出一种广域非线性鲁棒电压控制策略.针对COI（center of inertia）坐标系下的系统数学模型,提出一种简单而巧妙的模型变换方法,将其转换为一个引入了发电机的机端电压偏差为新的状态变量的不确定线性系统,进而应用基于线性矩阵不等式（linear matrix inequality,LMI）的鲁棒控制理论设计出控制器.所提出的广域非线性鲁棒电压控制器不依赖于系统某个特定运行点,可适应系统网络参数以及运行方式的变化,保证机端电压调节精度.控制器不需要测量发电机转子角及任何变量的微分,仅需要测量发电机的机端电压、角速度、有功及无功功率.此外,控制器考虑了广域反馈信号的时滞以及部分机组未装设相量测量装置（phase measurement unit,PMU）的影响.应用PSCAD/EMTDC对某三机和四机系统进行了详细测试,仿真结果验证了控制器的良好性能.     

升弓高度对列车受电弓气动性能的影响

为研究升弓高度对高速列车受电弓气动性能的影响,建立受电弓空气动力学计算模型,采用分离涡模拟方法(DES)研究受电弓不同运行状态下的气动特性.数值仿真计算得到的受电弓气动阻力与风洞试验数据误差小于5%,验证了数值仿真模型和方法的可靠性.研究结果表明:受电弓升弓高度和开闭口运行方式对受电弓周围流场结构影响较大,受电弓气动性能有所差异.当受电弓升弓高度不变和运行速度为400 km/h时,开口运行受电弓气动阻力比闭口运行大2.0%～4.07%;当受电弓开闭口运行方式不变时,受电弓气动阻力与升弓高度呈近似线性关系,在升弓高度0～1.4 m范围内,受电弓气动阻力最大增加9.2%.升弓高度对框架系统的气动特性影响较大,对底座、绝缘子以及弓头的影响较小.随着升弓高度的增加,受电弓框架系统周围流场的脉动加剧,气动阻力变大,而弓头和滑板周围的流场变化较小.滑板表面脉动升力具有明显的主频特性,升弓高度对主频的影响较小,闭口运行时频率分布较开口运行分散.     

“群对群”协同对抗的规划与制导问题研究

随着未来空天飞行器的飞行速度和机动性不断增强,以及集群规模化攻击样式的发展,防御方传统的“一对一”对抗模式已经难以适用,采用多个飞行器形成集群,以“群对群”的协同方式进行对抗,将成为一种有效的技术途径.本文针对群体目标的对抗场景,探讨了“群对群”协同对抗的规划与制导问题.首先系统介绍了空天目标攻击样式和目标特性的发展,总结提炼研究的背景需求与典型场景;再针对典型场景提出了群对群协同对抗的初步方案,简述了国内外研究情况,并梳理了规划与制导的关键技术,包括编组构建与目标分配、集群目标建模与估计、集群协同围捕与制导、集群编队随动保持与控制等;然后结合部分关键技术的研究进展,对重点问题进行了数字仿真,初步验证其可行性;最后针对群对群协同对抗的规划与制导技术的应用前景与发展方向进行了展望.