摘要：序列比对是生物序列分析中的一个经典问题,旨在找出序列之间的相似性,它对于发现生物序列中的功能、结构和进化信息都具有重要的意义.该问题可分为双序列比对和多序列比对2类,现有工作多针对特定算法展开,没有设计通用的求解方法;此外,甚少涉及算法可信性的研究.从生物序列比对问题的形式化规约出发,通过深入分析问题的性质,刻画问题求解的本质特征,借助形式化方法PAR(partition andrecursion)设计了序列比对动态规划算法的统一构造框架seqAlign;展示了应用该框架构造序列数为3的多序列比对算法的过程,并使用Isabelle定理证明器对构造结果进行形式化验证;利用PAR平台生成了该算法的C++可执行程序,进一步分析了由seqAlign框架机械化构造其他类型序列比对算法的过程.通过严密的规约精化和形式验证,有效地保证了生成算法的可信性;开发的seqAlign框架提供了序列比对问题类的通用求解方案,显著提高了序列比对算法族生成的效率.研究结果在生物序列分析中序列比对问题上的成功应用,从方法学和实践上可为复杂生物信息学领域高可靠算法的构造提供参考.

摘要：随着用户需求的拓展,现有多媒体制作软件在资源共享、在线协作等方面的不足日益凸显,RIA技术的出现和日趋成熟为解决这些问题提供了技术基础。进行了基于RIA技术架构多媒体共享制作软件的设计与实现,应用表明,系统操作简便、响应迅速,具有良好的用户体验。

摘要：在小型天线和低发射功率条件下,保证电离层测高仪观测数据质量和提高观测速度一直是电离层垂测的技术难点.针对这一问题,基于新近发展的高速数字芯片和射频器件,采用窄带跟踪滤波、脉冲压缩、编码复用和天线均衡匹配等技术,设计和研制一种敏捷数字电离层测高仪.该系统采用数米高的小型收发天线和便携式主机系统,配置任意频率扫描方式频高图、高分辨率多普勒频高图和斜向探测等多种工作模式,具有可流动观测布站、系统参数灵活捷变及适合快速电离层扰动探测等能力.敏捷数字电离层测高仪为组网观测获得大范围电离层时空变化和电离层快速扰动及传播提供了一种有效的探测手段.

摘要：阐述了军用软件在未来战争中的作用及在质量管理与控制中存在的问题,分析了军用软件的研制过程,重点从强化顶层设计、突出需求牵引、实施标准控制、组织联合评审、加强软件评测5个方面探讨了军用软件的质量管理与控制。