基于车辆定位的北京公交智能调度指挥系统

介绍了先进的北京市公共交通智能调度指挥系统 ,包括其各个子系统。着重描述其中的公交车辆定位系统 ,该系统采用高精度的差分 GPS、无线数据传输和话音调度 ,利用已有的模拟集群通信系统 ,终端显示为先进的地理信息系统。整个系统将给调度员提供方便、直观、含位置及状态的全方位车辆信息 ,提高公共交通运营的效率     

航天多院所协同研发平台的架构与协同机制研究

针对航天产品研制特点与需求,提出一种基于企业服务总线的多院所协同研发平台,详细描述了平台的功能。建立了主从式协同机制,实现以总体院为核心的院内、院间协同工作。     

航天在军事作战中的作用——航天与作战的整合与协同

该报告发表于美国航天司令部《高边疆》杂志2008年第1期,由美国中央司令部空军司令Gary L．North中将和战区航天部队指挥官John Riordan上校联合撰写。报告较为详细地介绍了近期美国在伊拉克和阿富汗作战中军事航天系统的应用情况,涉及体制编制和系统装备信息,特别是列举了两个实际战例具体描述了航天如何与军事作战集成和协同,发挥倍增器的作用。该报告对我国军事航天发展和应用有一定参考价值。现编译如下,供参考。     

“智能灰尘”探测器可预警太空风暴

据腾讯网2010年2月9日报道,科学家计划发射体积像灰尘大小的“智能灰尘”探测器,当这些微型探测器降落至拉格朗日点区域,它们将更近地感受到太阳辐射效应。预计“智能灰尘”探测器可以比NASA“高级成分探测器”等大型太阳监控仪器提早13min预警太空风暴。国际上科学家对这种“芯片类型”探测器颇感兴趣,目前佩克研究小组正在进行地面应用和微型电动机械技术设计。     

基于行动理论的智能体模型

结合BDI模型和情境演算的优点构造了一个agent模型。在agent模型中,agent的心智状态由状态信念集、效应规则集、可行规则集、策略规则集和意向集组成。如果agent的心智状态是信息完全的且在流中添加情境变元,则它将成为Reiter提出的基于情境演算的行动理论,所以此agent模型既能表示agent的心智状态又能进行行动推理和规划,最后,文中提出了具有完全信息的agent实现目标的一种运行方式     

探索宇宙中的生命

围绕太阳以外其他恒星的70余颗行星现在是什么样子?这个问题一直引起公众和媒体的极大兴趣.在我看来,这种关注更多是因对外星智能生命的预期而促动的,而非发现太阳系之外行星本身.     

低温推进剂加注液位信号智能处理技术研究

低温加注系统是运载火箭发射场地面支持设备的重要组成部分,包括低温介质的储存、运输、供给、控制以及安全等内容。由于低温推进剂本身存在低温沸腾、易挥发的特性,其加注过程十分复杂,为满足新一代运载火箭推进剂精准的加注要求,需要实时准确监测加注过程中贮箱内的液位高度。本文针对火箭地面加注过程的液位信号数据,对其三角波电压和线性波电压的特征进行分析、提取,基于BP（Back Propagation,反向传播）神经网络算法完成对不同加注状态的识别检测,并应用于传感器节数判别,优化了液位计算算法,降低了节数人为干预需求,提高了液位测量准确性。经实验测试验证,该方法可有效识别低温加注状态,识别准确率达到90%以上,用于液位信号处理中可显著提升液位高度计算的准确性。     

事件触发机制下多导弹固定时间编队控制

针对领-从弹编队结构中从弹对领弹的固定时间协同跟踪控制问题,同时为了节省通信带宽和弹载计算资源,基于多智能体一致性理论,给出了有向拓扑下基于事件触发机制的固定时间编队控制算法。用微分几何法将导弹运动模型精确线性化,为其设计固定时间编队控制协议,保证具有较大飞行速度的导弹编队在较短的时间内收敛到稳定的队形。在此基础上,引入事件触发机制,克服有向拓扑下Laplacian矩阵的不对称性和事件触发通信引入的误差项对系统稳定性带来的影响;为从弹设计了基于自身状态误差的事件触发函数,当状态误差满足所设定的阈值时,从弹在通信网络中更新并传递自身的采样信息,有效减少了弹载资源的占用率。利用代数图论、矩阵理论和Lyapunov稳定理论证明了编队控制系统的稳定性。数值仿真结果校验了算法的有效性和稳定性分析的正确性,适用于导弹编队的总体设计。     

基于以太坊区块链平台的智能合约开发

区块链2.0最典型的特点是智能合约,而以太坊内置有完备的编程语言,为构建智能合约的应用平台提供了很好地帮助。本文介绍了智能合约的概念和特征,然后展示了智能合约开发语言和集成开发环境以及如何部署智能合约,最后,列举了一个高校服务学生方面的智能合约应用案例,为区块链的开发提供了很好的参考和借鉴。     

基于智能优化算法的软件测试数据生成模型及其应用研究

本文首先总结了基于智能优化算法生成软件测试数据的研究现状。然后提出了一种通用的基于智能优化算法的软件测试数据生成模型,并将该模型应用在了基于遗传算法的测试数据生成上。实验表明,该模型具有很强的实用性,能够提高软件测试的覆盖率,奠定了软件测试数据生成的理论基础。最后总结全文并对未来的研究方向做出展望。