基于XML Schema的天基信息系统应用任务需求描述

天基信息系统是一个综合型的网络系统,其应用任务需求规模越来越大,种类越来越多,需要一套规范的应用任务需求描述方法.分析了天基信息系统应用任务需求描述的特点,结合XML语言进行数据描述的优越性,提出了基于XML Schema的天基信息系统应用任务需求描述规范,并对描述规范进行深入分析,形成了完善的天基信息系统应用任务需求描述框架,既满足了应用任务需求描述的规范化要求,又满足应用任务资源规划的数据传输要求.还以天基信息系统成像侦察应用任务需求描述为例验证了该描述框架的可行性.     

空间拓扑关系形式化描述模型分析

拓扑关系是GIS空间目标之间最重要的关系之一,在GIS空间数据建模、空间查询、空间分析、空间推理、制图综合等过程中起着重要的作用。文中阐述了空间拓扑关系形式化描述模型与表达方法,分析了各模型的优缺点,并探讨了将来的发展方向。     

基于模板的天基预警系统目标性质匹配模型与仿真实现

防空反导作战过程中,地面反导指控系统为达成早期识别并估计弹道目标攻击企图,以提高防空反导系统拦截效率的目的,需要天基预警系统提供目标信息支援保障。基于天基预警系统的目标信息采用有效的匹配模型能够实现对弹道目标的快速发现及性质确认。以天基预警系统目标性质匹配模型与算法为研究重点,在建立反导天基预警系统测量模型的基础上,以仿真方法初步实现了目标性质匹配模型。仿真结果表明:所建立的匹配模型与算法具有较好的应用价值,可为反导指控系统的构建与完善提供一定参考。     

基于改进蚁群算法的天基资源调度研究与仿真

天基信息网中卫星资源有限,在轨升级难度大,链路间通信时延高,导致大规模并发任务处理效率低下.针对任务简单并发且每个任务由一个节点处理的情况,构建基于动态优先级的任务模型,对天基信息网计算与存储资源构建基于模糊聚类理论的资源模型.提出基于改进蚁群算法的天基资源调度策略,引入负载均衡因子,改变信息素更新规则,调整任务分配策略,结合Min-Min算法促进任务执行及资源分配.仿真结果表明,本文算法和对比算法相比,任务完成时间缩短29.2%,任务累积价值高出37.9%,资源负载均衡度缩小75.5%,资源利用率高出22.4%,验证了本文算法的优异性.     

一种嵌入式关系模型的形式化描述

在ＮＲ／Ｔ网的基础上，对基于嵌入式关系模型的数据库信息系统的行为，给出了一种形式化的描述方法，并设计了一个变迁点火执行算法。     

形式化描述在学习目标中的研究

对IMS学习设计规范中的学习目标进行了分析,并构建其概念模型,然后运用描述逻辑语言ALC对该模型进行形式化描述,定义了学习目标的相关概念,并通过不同的权值来表现对不同知识点掌握的高低程度。     

实时系统形式化描述和自动验证

实时系统是一种带有时间约束的计算机系统,这些系统许多动作的完成是与时间相关的,即要满足一定的时间限制,它需要在特定的时间范围内的对某些输入及时做出反应。例如,碰撞中汽车的安全气囊须在300毫秒膨胀开。它的许多嵌入式应用,都有一个共同的特点就是对实时性、安全性要求很高,都需要实时的形式化规范技术。     

OpenGL图形规范的Z形式化描述

OpenGL图形系统的开发难度随着OpenGL应用的不断发展和深入而日益增大,潜在的错误也越来越多,其中不能准确理解OpenGL规范是重要原因之一。由于OpenGL规范的描述主要是以自然语言为主,而且规范繁多,使用形式化描述规范可增加规范的准确性。本文选择描述OpenGL光照规范。通过列举光照的实例,利用Z语言给出了OpenGL中光照的规格说明,为规范的一致性测试提供了依据。     

树突细胞算法的形式化描述

尽管DCA算法在各种入侵检测方面的成功应用证实了DCA在检测率方面具有很好的性能,但到目前为止,对DCA算法仍然缺乏一种严谨的、形式化的定义与描述。在总结前人的研究成果的基础之上,通过采用数学函数定义方法,定义了算法元素的数据结构,访问数据结构的过程操作函数,目的在于对DCA算法进行简单的形式化描述,将其应用于DCA算法中的伪代码当中,具有一定的有效性,为对DCA算法进行理论分析奠定了基础。     

基于改进GRU算法的天基信息网资源预测研究

为了有效地提高天基信息网中的资源利用效率,提出了一种基于改进GRU(gated recurrent unit)算法的天基信息网资源预测模型.首先,提出递阶式三级架构的资源预测框架来解决天基环境长时延的问题;然后,采用Adam优化器优化GRU网络的学习速率;最后,引入Dropout技术解决网络中存在的过拟合问题.实验仿真了不同预测模型下对各种天基资源的预测,同时对比不同优化器作用下GRU模型的预测准确率,结果表明,基于改进GRU网络的资源预测模型具有更好的性能.     

美国导弹预警系统的发展现状与趋势分析

 导弹预警体系是国家战略预警与战略防御体系的重要组成部分,是大国战略威慑的重要力量。美国历经60余年的发展历程,目前已构建了从早期预警到末端拦截日臻成熟的全球导弹预警体系。阐述了美国导弹预警系统的发展历程和现状,分析了其体系特点,展望了其未来发展趋势。     

面向服务的经济预警系统研究

针对当前经济安全预警领域中计量经济模型集成和重用困难,以及数据采集与传递中存在的异构数据平台、采集不全面、网络流量大、原始数据没有被有效利用等数据效率瓶颈问题,采用面向服务的体系结构(SOA)构建我国宏观经济安全预警系统,并利用Web服务集成数据接口,为系统提供统一的数据采集服务,实现异构数据平台和计量经济模型的有效整合。     

关于人力资源开发中的预测预警系统研究

通过对人力资源开发的指标体系研究和各种预测方法的研究 ,建立一套科学的预测预警系统 .对人力资源开发的各个阶段做出准确判断和科学评价 ,减少人力资源浪费     

资产证券化风险预警系统的构建

为了对资产证券化风险进行有效控制,需要建立一个灵敏、有效的实时风险预警系统,及时察觉风险隐患。证券化风险预警系统主要由3个模块构成:风险识别分析模块、风险预警处理模块、风险对策模块。3个模块的科学运作,能够有效识别和度量证券化风险,减少风险损失。     

基于GIS的辽河流域水安全预警系统设计

水安全具有空间地域性.以辽河流域为例,阐述了基于GIS空间技术的水安全预警的逻辑过程.根据系统目标与原则,初步设计了系统的信息采集、查询与检索、因子评价与分析、动态预测与预警和系统指导管理功能;给出了系统的客户机-浏览器-服务器三层网络结构;构建了数据库.此系统的设计为及时掌握水安全的状态,发布预警信息,适时采取必要的调控措施等提供了科学依据.     

地震预警系统的实践及与实时地震学发展之间的关系

 地震预警系统在过去30年里逐渐从科学界的讨论变成了防震减灾的实践。在调研地震预警系统的发展的基础上,梳理了近年来不同国家、不同机构围绕地震预警开展的研究。介绍了采用简易烈度计（MEMS）和智能手机来实现地震预警的一种尝试性方法。在传统分析地震预警系统发展空间范围的基础上,分析预警系统发展时间节点信息,讨论地震预警系统的实践与实时地震学发展之间的关系。     

中国能源预警模型及其预警指数的创建

在分析影响能源安全因素的基础上，选取了涵盖煤炭、石油、电力和综合4个子系统的54个预警指标，运用主成分分析和二阶回归方法建立了中国能源预警模型，创建了中国能源预警指数的概念并确定了计算方法和预警界限值，测算了1995-2007年中国能源预警指数和各子系统安全度。研究结果表明，当前我国能源安全总体状况虽已好转，但仍处于值得关注状态并接近危险状态的边缘，影响能源安全的不确定性因素较多。建议加快完善能源统计制度，深入开展预警理论、方法创新和实证研究，抓紧制定科学完备的能源应急预案，提高应对能源突发事件的能力，更好地保障能源充足、稳定、安全供应和清洁、高效使用。     

基于青鳉鱼行为的在线生物监测系统及综合预警平台建设研究

为保障水源地水质安全,实现水质综合预警,为下一步污染处置留出"提前量",开展了符合毒理学规范的标准模式青鳉鱼的养殖驯化研究。研发了基于青鳉鱼行为的在线生物监测系统;将在线生物监测系统与17项常规理化监测仪器智能化集成,构建了基于生物毒性触发机制、多项理化参数同步监测的综合预警平台。着重介绍了指示鱼种青鳉鱼的标准化驯化养殖系统、基于青鳉鱼行为的生物监测系统和与常规理化参数相结合的综合预警平台。     

Study on video intelligent early warning and tracking system based on ARM

The protrusion of the planning of numerical intelligent early-warning and tracking system in this study which can ease triggerman ’ s work strength , lay the next generation intelligence supervision system foundation and expand effectively the video resources use etc .In the numerical intelligent early-warning matrix sub-system , the authors have designed a kind dual-core system which includes both ARM and DSP , and designed detailedly traffic dynamics affairs early-warning arithmetic which bases on that system .And then, this system will carry quickly on fixing the right position of license plate , correcting the inclination degree of license plate , and thinning it to get the number of this li-cense and severity grade .Secondly, in the rotated dome camera sub-system, the authors have de-signed three-dimensional trajectory mathematical model which makes use of a fuzzy PID controller to achieve the high-speed track.At last, Simulation shows that the proposed control method has high profile tracking precision , accuracy and robustness of the disturbance .     

基于VB平台的石家庄市可持续发展环境预警系统研究

城市可持续发展环境预警是建立可持续发展综合决策机制和协调管理机制的基础,是实施可持续发展管理的依据,也是可持续发展研究的前沿。借助Visual Basic6.0构建了石家庄市可持续发展环境预警系统,通过它对石家庄市可持续发展环境进行了预测研究。目的在于尝试构建城市可持续发展环境预警的框架,为城市可持续发展环境的定量研究提供一个新思路。