关于半鞅向量随机积分的两个结果

首先利用半鞅Girsanov定理与闭图像定理证明了:若{Xn}是带滤基的完备概率空间(Ω,F,F,P)中的一列半鞅,其中滤基F=(Ft)t≥0满足通常条件,且{Xn}在关于P的Emery拓扑空间中收敛于X,则当概率测度Q相似文献   

大规模代谢网络分解的生物信息学研究

随着大规模分子相互作用数据的不断涌现,生物学网络方面的研究正日益得到重视.代谢网络处于生物体的功能执行阶段,其结构组成方式不仅反映了生物体的功能构成,也直接影响代谢工程中的途径分析和研究.作为代谢网络研究的重要环节,实现网络的合理分解不仅对于基因组范围内分子网络的结构和功能研究具有重要意义,也是代谢工程的途径分析和优化得以顺利进行的前提之一.在回顾代谢网络宏观结构和拓扑特征研究成果的基础上,通过对现有分解方法的深入分析,指出缺乏合理且有针对性的模型评估准则是目前网络分解研究中亟待解决的问题之一.今后的研究趋势在于如何整合更多的信息和发展更先进的分析方法,建立更合理的模型,并进一步拓展网络分解的应用范围.     

价值与成本:军队组织文化的一种经济学分析范式

文章运用经济学研究的核心范式——成本收益理论对军队组织文化进行了深入细致的分析,揭示了军队组织文化的价值收益,提出军队组织文化成本约束假说。认为,军队选择特定的军队组织文化是在军队组织文化成本这一约束条件下实现其最大收益的结果。     

加强约束的布尔可满足硬件求解器

利用现场可编程门阵列固有的并行性和灵活性,提出在硬件可编程平台上基于随机局部搜索算法的布尔可满足性求解器,用于求解大规模的布尔可满足性问题。相对其他求解器,该求解器的预处理技术能极大提高求解效率;其变元加强策略避免了同一变元被反复连续翻转,降低了搜索陷入局部最优的可能。评估结果表明,求解器最多能处理32 000个变元/128 000个子句的实例。相比当前同类型的求解器,其求解效率明显提高。     

恶劣天气下的多扇区动态容量评估方法

针对当前容量评估技术考虑不够全面的问题,提出了多扇区动态容量评估方法。通过分析扇区容量影响因素,加入扇区耦合性的概念,建立了多扇区管制员工作负荷模型;通过量化空域单元阻塞程度,得到恶劣天气下的多扇区可用率;最后选取典型多扇区空域进行算例仿真,评估空域系统的动态容量,多扇区在恶劣天气下的动态容量为17架次/15 min,评估结果验证了该方法的有效性和灵活性。     

分布式综合化航空电子网络拓扑优化技术

针对分布式综合化(DIMA)架构下实时动态消息流和网络资源能力,优化航空数据和通信网络(ADCN)拓扑问题,提出一种基于业务拓扑、网络拓扑以及延迟、线缆约束下的多目标网络拓扑优化算法。该算法能够基于驻留任务的信号、逻辑连接、物理连接关系,在资源约束下优化机载网络拓扑。算法通过组合优化方法计算折中全局最优解集(Pareto最优)。对于大规模机载网络架构优化,为了减少计算规模和提高计算时间,又提出一种预计算路径算法。算法通过类A320机载网络拓扑场景和类A380机载网络拓扑场景进行验证。结果表明,相比手动功能映射和网络拓扑优化设计,优化效率能提高10%～30%。     

具有终端角度约束的H_∞制导律设计

针对导弹对地面运动目标精确攻击时姿态约束的H_∞末制导问题,提出了一种新的具有终端角度约束的制导律.基于二维弹目相对运动学的非线性关系,并将目标机动运动和系统结构摄动作为外部的扰动,建立了垂直平面内弹目相对运动的数学模型.以命中点终端姿态角跟踪误差和控制能量最小为性能指标,同时基于零化弹目视线角速率的思想, 设计得到了非线性H_∞鲁棒制导律.该方法利用Lyapunov稳定理论严格证明了制导系统的全局渐近稳定性,而非求解HJI偏微分方程,同时也避免了对剩余时间的估计.数字仿真表明这种制导律在不需要任何目标运动信息的情况下,仍然保证终端角度和制导精度的要求,具有很强的鲁棒性和适应性.     

对文职人员职业规划的思考

军队文职人员职业规划,是军队聘用单位与文职人员相结合,在对决定文职人员职业生涯的主客观因素进行综合分析的基础上,确定文职人员最佳的职业发展路线目标,制定相应的工作、培训和教育计划,并采取积极措施去实现职业生涯目标的过程。积极探索文职人员职业规划,既是理顺文职人员发展渠道、提高使用层次和范围的客观要求,也是文职人员制度改革发展的重要内容。一、文职人员职业规划的必要性一是有利于突破职业倦怠坚定理想信念。文职人     

地籍数据库点线拓扑一致性并行检查方法

针对拓扑检查算法复杂、计算量大,串行计算已远不能满足海量地籍数据高效拓扑检查需求的问题,在分析了点线拓扑关系的并行特点基础上,将界址点的数据划分方法与界址线的QR空间索引方法相结合,实现了界址点与界址线的并行拓扑计算。用某地区实际的界址点集与界址线集对点线拓扑并行检查进行实验。测试结果表明:并行检查算法的并行效率随着进程数的增加而有所衰减,但稳定在30%以上,加速比达到5以上,且相比于Arc GIS效率提升了30倍以上。并行检查方法以工具的方式集成应用于高性能地理计算平台中,应用效果良好。     

交友贵实

近日,读了习近平总书记发表于1998年的《忆大山》一文,内心久久不能平静,被总书记和贾大山之间的真诚友情所感动。总书记与贾大山两心如月、冰清玉洁的君子之交,不仅展示了新一代领导人亲民重情的一贯作风,更是用朴实的言语诠释了"朋友"二字的深刻内涵。古人说:"一生之成败,皆关乎朋友之贤否,不可不慎也。"领导干部居高位,手持重权,有话语权和决定权。因而,通过各种渠道想接近的