一种基于受限网络的移动对象索引

为了有效地支持城市交通网络中移动对象的过去、现在和将来的轨迹查询,在基于模拟预测的位置表示模型基础上,提出了一种两层R树加上一个表结构的复合索引结构AUC(Adaptive Unit Compounding).根据城市交通网的特征,采用了一种带有环形交叉口的元胞自动机模型模拟移动对象的将来轨迹,并用线性回归和圆弧曲线拟合分别得到对象在规则路段和交叉口的轨迹预测方程;根据移动对象的运动特性,采用了一种新的自适应单元(AU)作为索引结构的基本单位.实验表明,AUC索引的查询和更新性能都要优于TPR树和TB树.     

一种生产线架构中的工作流过程定义复用方法

针对工作流管理系统在实际应用中面临的过程定义低效、复杂的问题,借鉴软件复用的思想,提出了一种生产线架构下的工作流过程定义复用方法.该方法建立在领域业务本体和工作流模板这两类可复用资产之上,尝试建立特定领域工作流过程定义的复用机制,以提高过程定义的效率.着重探讨了可复用资产的构建、描述和检索等问题.介绍了基于复用的工作流过程定义方法,并开发了相应的实用工具以验证该方法的有效性.     

档案馆的社会化服务

本文试从在继续做好为领导和机关提供档案信息服务的同时,就做好面向社会大众的档案信息社会化服务工作进行探讨。     

Pi演算对图灵机的表达

为了研究Pi演算的表达能力,我们试着用它来表达图灵机。研究结果表明,只要对Pi演算进行一定的的扩展,即引入某些函数符号,允许对发送的名字作一定的运算,就可以用Pi演算的规约来表达图灵机的运算过程。     

扭曲的涡旋光束在海洋湍流中的传输因子

基于扩展惠更斯-菲涅尔原理和维格纳分布函数(Wigner distribution function,WDF)二阶矩,推导了部分相干扭曲涡旋光束(partially coherent twisted vortex beam,PCTVB)在海洋湍流中传输时的M2因子和角扩展θ(z)。通过数值模拟方法详细研究了海洋湍流对光束M2因子和角扩展θ(z)的影响,结果表明温度方差耗散率ΧT和温度盐度贡献比w越大、动能耗散率ε和各向异性因子ξ越小时对PCTVB的M2因子和角扩展θ(z)的影响越大。此外研究发现,相较于非扭曲涡旋光束(PCVB),PCTVB有更好的抗海洋湍流的能力,且增大拓扑荷数m以及扭曲因子绝对值｜μ｜后,PCTVB的M2因子和角扩展θ(z)显著减小,光束的抗海洋湍流能力增强。并且增大束腰宽度w0和波长λ,以及减小初始相干长度δηη(η=x,y)同样可以增加光束抗海洋湍流的能力。本文的数值研究结果对海洋光通信具有重要意义。     

Adaptive prescribed time control for quadrotor formation with stochastic links failure

The formation control for multiple quadrotors subject to maintaining the formation configuration and collision avoidance in the situation of stochastic links failure is investigated in this paper. First, the distributed formation controller is designed, the position controller is developed to manage the desired formation of position, and the attitude controller is developed to control the translation and rotation movements of the quadrotor. Then, in order to avoid the collisions between multiple quadrotors and the obstacles, a potential energy function method is introduced into the quadrotor formation control combined with the nest adaptive control. Inspired by the design of event trigger controller, a communication compensation controller is designed to ensure the stability of quadrotor formation under the condition of random communication interruption and recovery. Moreover, a prescribed time function is designed, which means the convergence time of the formation system can be set in advance. The prescribed time stability of the formation control system is proved by Lyapunov theory. Finally, the simulation results verify the effectiveness and superiority of this method.     

不同形貌Ti-O基纳米结构的可控制备与形成机制探讨

利用碱辅助水热法实现了Ti-O基纳米管、纳米带和纳米结构微球的合成,通过TEM、SEM等手段对所制备的纳米结构进行表征。当采用商品级锐钛矿TiO2为原料,热水处理温度为180℃、碱的浓度为10mol/L,热处理48h时可以得到Ti-O基纳米带。纳米带宽度为50~200nm,长度达到几十微米甚至一百多微米;产物产率高,质量好,结晶良好,表面洁净,无缺陷。当热处理温度为120℃时,可以得到Ti-O基纳米管,纳米管的长度为200~500nm,外径在20~50nm之间。当所用前驱体的粒径较小时,容易形成较细或者较窄的纳米带或者纳米线,当在选用前驱体的粒径较大时,可以生成纳米结构微球。     

有机化合物立体异构体自动解析专家系统的研究——立体中心的确认

提出了一种查找化合物中立体中心的算法 ,通过该算法可以找到和确认化合物中由于不对称碳和碳碳双键等产生的所有的立体中心。     

军用软件开发过程的质量管理体系研究

军用软件系统的开发在我军信息化建设中占据至关重要的地位。大型武器装备系统的军用软件开发,成本高、风险大、周期长,参与单位及人员众多,如何能够确保大型军用软件的质量,增强武器装备性能,成为亟待解决的课题。本文将质量管理体系引入军用软件开发过程之中,通过强化过程控制,来确保大型军用软件的开发质量,对军队信息化建设,特别是软件系统的开发起到指导和借鉴作用。