摘要：针对危险模式下无人机编队问题,提出基于层次分解策略的编队避障方法。通过构建Voronoi图,利用K路径算法为各无人机找到多条备选航路;然后建立协同函数,为各无人机规划出既能满足时间协同要求,又能满足整体代价最优(次优)的障碍物规避航迹。并设计了无人机编队的通行规则,解决了无人机在避障飞行过程中有可能产生的碰撞冲突问题。仿真结果验证了算法的有效性。

摘要：文章研究了CE-2小行星探测任务的转移轨道设计。首先分析了已编目小行星的轨道分布及运动特性,基于飞行任务约束选择了合适的交会目标。其次,基于微分修正法研究了转移轨道的设计,通过约束修正量改善了微分迭代收敛性能,给出了转移轨道的遍历搜索设计流程。最后,在CE-2卫星剩余推进剂的约束下,基于CE-2精密轨道设计了能量最优转移轨道,并分析了转移轨道的测控和通信约束条件。研究结果表明,2012年内合适的小行星交会目标为4 179和214 869,交会小行星4 179的最小速度增量约97.312 m/s,剩余推进剂满足任务需求,同时国内测站可以满足测控需求。

摘要：分析产品语意的用户识别机制,据此提出产品语意比较法(Semantics comparison method,SCM),该方法由产品语意分类、排序与评估组成。以工业缝纫机为对象,应用语意差异法(Semantics differential method,SDM)和SCM进行识别试验,试验结果表明,线性模型较非线性模型更适合描述设计要素与产品语意的关系,据此构建了SCM与SDM的线性模型,并分析两种方法的准确性。分析结果表明,SCM与SDM的线性拟合误差分别为0.450i和0.572i,设计要素对产品整体语意的解释分别为91.0%与87.2%。两项指标都证明SCM是一种更准确的产品语意识别方法,因而有望应用于产品外形设计。

摘要：研究了聚丙烯酰胺反相乳液深部调驱机理,考虑到岩石表面化学吸附、渗透率降低、不可及孔隙体积等因素,建立了相应的数学模型,研制了油藏数值模拟器。以孤岛油田中二南Ng3-4层系为例,进行了注入参数的敏感性分析。结果表明,单从提高采收率角度来看,反相乳液注入浓度、体积及顶替液注入体积越大越好;但考虑到成本等因素时,这些参数存在一个最佳值。综合考虑成本、增油量、降低含水率等因素,应用正交设计方法和模糊数学原理,优化设计了矿场注入方案,在先导试验区实施后,区块日产液量上升了21.3%,日产油量上升了37%,含水率下降了1.1%。

摘要：基于Internet的Web应用系统逐步表现为由多个软件服务组成的软件服务协同系统,面向开放、动态和多变的应用环境,软件服务之间的相互信任对软件服务个体和应用系统的安全保障与可靠运行均具有重要的意义.首先给出一个基于Agent的软件服务协同模型,随后针对该软件服务协同模型提出一个用于度量软件服务间信任关系的信任评估模型.信任被抽象成一个由信任评估主体对客体的主观期望和客观经验共同作用的函数,模型还提供了一个合理的方法用于综合直接经验和第三方推荐经验.与几个现有的工作相比,设计了较完整的信任评估模型,并强调其合理性和可操作性.信任评估模型可为软件服务之间的协同与安全决策提供依据.

摘要：讨论了在线证书状态协议（OCSP）,首次提出了状态机关（SA）的概念,并根据OCSP协议定义的HTTP模式,衍生出能与其它任何应用程序结合的TCP模式,定义了它的通用访问接口,而且将之加入到安全中间件国家标准草案中,最后,设计了基于消息中间件的推送SA结构,解决了SA的吞吐量问题,给出了实际环境下SA请求的测试数据,并讨论了它的开销成本.

摘要：平面调车是一种铁路调车过程中的离散事件系统.可靠性高、易测试的平面调车软件对保障铁路运输安全极为重要,因此需要建立一种规范模型基础上的平面调车软件设计方法.分析了平面调车系统中事件驱动过程的复杂性以及自然语言规则描述方式的缺陷,提出通过自动机模型描述平面调车系统,具体讨论了平面调车系统与时间自动机(TA)、下推自动机(PDA)和分层自动机的关系.从状态划分、数据结构设计、状态转移流程等方面说明了基于自动机模型的平面调车软件的设计方法.

摘要：为实现北斗二号导航系统卫星信号模拟器产生的信号对高动态条件下载体特征的准确表示,设计了一种四阶相位合成器。理论分析了由量化误差引起合成器各阶次状态间的误差传递效应,提出了非对称结构的优化设计,以平衡各阶次状态误差对最终相位状态的贡献权值;对非对称合成器进行合理的线性化近似,构建状态偏差平方和的目标函数,并给出了使其最小条件下求解各阶控制量最优值的方法。最后对高动态仿真信号进行捕获跟踪分析,结果表明该合成器合成信号的等效伪距和速度精度可分别达到10-3m和10-4m/s,优于低阶相位合成器的精度;并通过对比实验,验证了合成器量化位数对合成精度的影响。

摘要：针对异构无线网络中的认证协议的安全问题,提出一种基于CPK算法和改进的ECDH算法的双向认证和密钥协商协议,引入用户的临时认证身份和临时通信身份实现用户的身份匿名;提出采用临时通信身份有序对防止重认证过程中的重放攻击,并且在协议设计中规避了密钥泄漏带来的风险。分析表明该协议具有身份认证、会话密钥安全、匿名性等安全属性。

摘要：运用多学科设计优化（MDO）方法对某固体战略弹道导弹的总体优化设计进行了研究。从满足固体导弹的MDO需求出发，基于第三代MDO理论，对固体导弹按学科分解为系统层（性能，弹道学科）和子系统层（推进学科、质量分析学科、气动学科），通过分析与建立以上各学科的优化模型及固体导弹的总体优化模型，以固体导弹起飞质量为目标函数将MDO单级优化过程中的同时分析与设计（SAND）过程应用于该固体导弹总体优化设计。与传统优化方法所得结果相比，固体导弹起飞质量减小15．1％，发动机结构质量减小23．3％，优化效率提高87％。算例表明，将MDO方法应用于固体导弹总体优化设计的思路可行。