实力成就北新路桥

11月11日，新疆北新路桥建设股份有限公司（下称“北新路桥”）在深圳证券交易所鸣锣上市。兵团建筑企业由此实现了上市公司“零”的突破，掀开了向资本市场发展新的历史篇章。     

基于R-树索引的Map-Reduce空间连接聚集操作

空间连接聚集是一种常用并且非常耗时的空间数据库操作,特别是在面对大规模空间数据集时,单机运行环境难以满足其对时空开销的需求,如何设计高效的面向云计算环境中的分布式空间连接聚集算法越来越受到人们关注。Map-Reduce作为云计算的核心模式受限于其扁平化的串行扫描操作模型,常被用来加速非索引的空间连接操作,现有工作尚无将Map-Reduce和R-树索引结合来处理空间连接聚集。因此,提出了基于R-树索引的Map-Reduce空间连接聚集算法(RSJA-MR)来更高效地返回连接聚集结果。提出一种分布式R-树索引结构以支持大规模空间数据的索引,RSJA-MR算法利用分布式R-树生成任务集,任务集的执行满足无依赖并行计算模式,很容易在Map-Reduce框架中进行表达。文中提出一种实时缓存策略以支持索引并发访问。实验结果表明:相比非索引的Map-Reduce连接聚集算法,在空间交叠连接聚集查询上,时间性能最少提升8%,在空间包含连接聚集查询上,时间性能最少提升近35%。     

喷漆生产线上的一员猛将——记西飞优秀共产党员、钣金44厂外协喷漆班班长李奎

在中航工业西飞2013年创先争优活动先进个人榜上,钣金44厂党支部李奎吸引了我的目光。这不仅因为他与我国四大名著《水浒传》中的"黑旋风"李逵同姓同音,更是由于在这七月流火、酷暑逼人的夏天里,喷漆工人李奎身穿厚重工作服、戴着口罩、手提喷枪,在漆雾弥漫的喷漆箱里带领他的团队月月高质量地完成600项外协零件生产任务。他是一个什么样的人,如何     

一种云计算中的身份认证协议

针对当前在云计算中身份认证机制个人信息容易泄漏的问题,提出了一种云计算中的身份认证协议。协议的安全性是基于离散对数的难解问题。协议模型由用户、云服务提供者和注册实体等三个实体组成;通过先属性注册协议、后身份认证协议两个步骤完成整个认证过程;从用户伪装身份和云服务提供者盗取身份信息两个角度,对协议的安全性进行了分析;通过与云计算中基于公钥生成器的协议进行对比以及实验仿真,证明了该协议在对承诺的注册和认证时间上的优越性。     

零控脱靶量有限时间收敛制导律

针对高速机动目标的拦截问题,研究了一种考虑导弹自动驾驶仪动态特性的零控脱靶量有限时间收敛制导律。对导弹-目标三维相对运动几何关系进行解耦,并考虑导弹的自动驾驶仪动态特性,推导了一种新型三维零控脱靶量模型;在此基础上,基于自适应滑模控制理论和有限时间稳定性理论,选取俯仰平面和偏航平面的零控脱靶量为滑模面,设计了零控脱靶量有限时间收敛三维自适应滑模制导律;对该制导律的稳定性和有限时间收敛特性进行了分析和证明。仿真结果表明,与比例制导律相比,所设计的制导律可使导弹的零控脱靶量在有限时间内收敛到零,且具有更高的制导精度。     

一类二阶Hamilton系统周期解的存在性

Hamilton系统是非线性科学中的一个重要领域,很多人在超二次或次二次条件及其他一些条件下对Hamilton系统的周期解进行了研究。此文则研究了非自制二阶Hamilton系统在零点局部环绕及“非二次”条件下周期解的存在性,并利用局部紧性条件(C)条件以及极大极小方法证明了其周期解的存在性。     

基于二人有限零和对策的防空兵火力分配方法

为了优化防空作战过程中火力分配问题,使射击达到最佳效果,运用对策论、线性规划等理论方法,采用对策矩阵建立了防空火力分配的线性规划模型,并通过计算示例和计算机仿真初步预测了敌方的空袭兵器使用情况和我方相应的兵力分配对策。该模型建立的防空火力分配方法较好地满足了要地防空装备的战术应用问题,对提高作战效能具有一定的参考价值。     

准零风层新型临近空间浮空器区域驻留性能

以基于平流层底部的准零风层风场进行区域驻留的新型临近空间浮空器为研究对象，介绍了其工作原理和系统组成。通过建立动力学模型、高度调控模型和能源模型，分析浮空器在基于飞行速度约束和基于南北范围约束两种工作模式下的区域驻留能力，并讨论浮空器在这两种工作模式下的动态能源特性。对长沙地区风场环境的研究结果表明，相对于无控自由飞行状态，浮空器在两种工作模式下均可实现100 km直径范围的长时驻留，基于飞行速度约束工作模式对能量的消耗更低。     

条件事件的表示

为了进行条件推理，本文讨论了条件事件的表示，并给出了相应的逻辑运算规则，引入了零事件间的概率比和多重条件事件的超条件事件概率的概念，它们均是无条件情形的推广。     

高炮瞄准具性能综合测试系统的实现

前置角的准确度是表征高炮瞄准具综合性能的重要指标,而在现有条件下无法对其进行精确测试。为此设计一性能综合测试系统,根据在最佳零位和空回条件下高炮前置角测试结果与理论值间的偏差值,实现对瞄准具性能的准确评估。