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

摘要：根据南浦大桥和卢浦大桥夜景灯光设计的功能要求,首先对两桥的现状分析,进行了创意设计,然后详细介绍了两桥的夜景灯光设计及技术方案实施。最终达到了最优异的夜景效果。

摘要：石海是中国网游行业的一名老兵，可能也是最为特立独行的一个从业者，他一直以做艺术的心态来做产品，这不仅让其远离一波又一波的IPO浪潮。

摘要：通过一些案例分析,表明结构理论在夜景照明设计中是非常重要的。

摘要：介绍了飞机某框从逆向设计到数字化高效加工详细流程,应用以CATIA V5、VERICUT为代表的先进数字化制造技术,使零件数字化设计、数字化加工、工艺流程得到全面改进,为今后零件逆向设计及数字化加工奠定良好的基础。

摘要：利用自行设计的稳恒磁场装置以辅助激光熔覆工艺,通过调节电流强度获得相应的稳恒磁场作用于激光熔池,在45钢基材表面制备了Fe55合金涂层。借助扫描电子显微镜(SEM)、能谱仪(EDS)和X射线衍射(XRD)等表征手段分析了稳恒磁场作用下Fe55合金涂层的微观形貌、化学组成和物相结构。结果表明,Fe55合金涂层主要由γ-(Fe,Cr)和(Fe,Ni)固溶体、(Cr,Fe)_(23)C_6碳化物及少量Cr9.1Si0.9组成。与未施加磁场相比,稳恒磁场作用下的激光熔覆Fe55涂层,枝晶间Cr元素含量更高,枝晶内Fe元素含量也有所增加。稳恒磁场在一定程度上促进了激光熔池中的传质过程,有助于Fe,Cr元素扩散和(Fe,Cr)固溶体的形成。当电流强度为4.0A时,外加磁场大大降低了熔池内固-液界面前沿的温度梯度,增加了液态金属熔池的形核率,涂层中大量柱状枝晶和树枝晶转变为方向各异的等轴晶,涂层组织得到了明显优化。

摘要：近年来,随着建筑安全意识的增强,防排烟工程在建筑设计中起到了至关重要的作用。其中,复合风管作为一种新型的防排烟材料,具有美观、防火和环保等优势,在防排烟系统中得到了广泛应用。本研究基于复合风管的材料和结构设计以及制作工艺控制,进行了性能测试和评估。研究结果表明,复合风管具有良好的力学性能、防火性能和观感性好,并能满足防排烟工程的要求。同时,研究还对复合风管的制作工艺进行了优化和改进,提高了复合风管的质量和可靠性。本研究为防排烟工程中复合风管的应用提供了理论和技术支持。

摘要：GPS罗经是新一代船用导航设备,它克服了传统罗经的许多缺点,能全天候、实时地为船舶等提供精确的导航数据.给出了采用自行设计的导航软件和硬件的GPS罗经系统.实验证明,其单点定位的误差可以小于10 mm,航向角和俯仰角的误差均可以小于±1.0°.与现有的同类型的国外产品比较,其具有成本低、精度高和可靠性好等优点.

摘要：在进行建筑设计的过程中,结构设计是其中的重要环节。为了让建筑物结构达到国家设计标准,让建筑物设计更加具备经济价值和使用价值,设计人员应当强调优化建筑结构设计工作。所以建筑结构设计优化必须要掌握最基本、更实用、更前沿的相关技术来满足人们日益增长的物质文化需求。