减少应酬活动 多下基层帮建——天津市东丽区人武部党委以求实作风抓好新年度工作

砍掉不必要的应酬活动,多下基层帮建。春节前夕,天津市东丽区人武部党委"一班人"取消十余项不必要的应酬活动,分头深入基层一线,逐个单位搞调研、帮建设,受到基层一致欢迎。该人武部针对以往春节临近应酬活动多的实际,今年下决心减少走访慰问等活动,静下心来搞好调查摸底,抓好新年度工作筹划。党委成员分成4个帮建小组,分头深入到基层武装部,了解建设情况,进行工作指     

无人机集群作战中连续时间Markov链模型的求解方法

针对无人机集群目标作战解析建模时在状态转移过程中计算速率低的问题,提出了一种基于行压缩存储的四阶Runge-Kutta法。根据无人机集群作战样式将无人机集群作战过程划分为三个阶段,并分阶段对无人机集群作战的状态转移过程建立连续时间Markov链模型。以无人机集群完成作战任务的可靠性作为求解指标,运用四阶Runge-Kutta法对Markov模型进行求解。由于求解过程中速率转移矩阵具有稀疏特性,采用基于行压缩存储的算法优化求解速率。仿真实验表明,运用连续时间Markov理论建立的无人机集群作战过程模型的有效性和可行性优于其他模型。同时,与其他算法及模型相比,该算法计算速率更高、能更好地满足结果精度的可靠性需求,进一步说明了本算法的优越性。 〖BHDWG8,WK10YQ,DK1*2,WK1*2D〗〖XCHSC.TIF;%129%129〗听语音 聊科研与作者互动     

ISIS能成多大气候？

号称打遍天下无故手的美国空军,似乎对ISIS组织近两个月的近千次猛烈空袭没起什么作用,区区2万之众的这支恐怖大军反倒越战越勇。而今,他们不仅在叙刊亚势如破竹,强势攻占叙刊亚边境重镇科巴尼,而且还逼近了巴格达国际机场,大有再坎兵进巴格达之势。这支今年6月份因在伊拉克攻城略地而被世人关注的恐怖组织,已宣称要建立一个囊括两河流域和地中海东岸（黎凡特地区）的逊尼派政教合一国家,即“伊斯兰国”。     

科技

正突破北纬44度以北植棉禁区1953年,新疆军区突破北纬44度以北植棉禁区,在玛纳斯河流域成功种植棉花,皮棉单产每亩达70公斤,创造了当时世界高纬度地区棉花大面积丰产纪录。我国第一个长绒棉新品种上世纪50年代,陈顺理选育出我国第一个长绒棉新品种"胜利1号",填补了新疆长绒棉的空白。而后培育出来的优质、早熟、丰产的"军海一号"成为上世纪60年代末至90年代塔里木垦区长绒棉主栽品种。     

N2O/C7H8单喷嘴燃气发生器试验研究

以基于N2O/C7H8的燃烧驱动混合型气动CO2激光器点火试验为研究背景,设计了液态N2O供应系统及N2O/C7H8单喷嘴燃气发生器.对液态N2O供应系统、N2O/C7H8的点火及燃烧性能进行了研究.试验结果表明:设计的N2O供应系统能够实现液态N2O的稳定供应;在设定的时序下,两个设计工况(余氧系数分别为0.3和0....     

推进认知域作战装备发展的几点思考

当代作战方式在不断地发生变化,尤其是在舆论战争、法理战争等多样化的方式出现后,作战也逐渐由物理域发展到认知域,并成为当代战争的重要形式。认知域作战是在一定空间范围,从精神层面进行干扰,以此来实现对敌方战斗力瓦解的效果,可以说是现阶段人类战争的最高层次。本文将认知域作为基础,深入研究推进认知域作战装备发展的建议。     

实二次函数域基本单位范的判别法

本文给出实二次函数域基本单位范为g(g为F_q~*中本原元)的充分条件,从而解决了一批实二次函数域基本单位范的问题。     

三角域上有理Bezier曲面的GC^2拼接条件

本文首先给出了相邻的三角域上有理Ｂｅｚｉｅｒ曲面的ＧＣ＾２连续的充要条件,接着给出了一个具有明确几何解释的充分条件,这一条件易于在ＣＡＧＤ中应用。     

面向验证的启发技术设计

采用有效的人工智能技术提高验证效率正成为解决验证复杂性的手段之一。本文针对STG（State Transition Graph）中状态枚举数据量大的问题,提出隐含遍历的状态映射策略。并根据状态存储和电路结构特征,重点研究了HASH表状态冲突处理、函数域限定、函数不相交分解和混合搜索等启发技术策略。     

关于Chidume的一个公开问题

借助于Banach空间一些新的不等式和一些分析技巧彻底解决了Chidume在1994年提出的有关Ishikawa迭代过程的收敛性方面的一个公开问题。