生成有向图中全部简单回路的一种新算法

提出了生成有向图中全部简单回路的一种新算法.算法的主要思想是对图中顶点进行缩减,在缩减过程中巧妙地利用字符串标记保存图中原有信息,不断减少图中顶点的数量,最终将图缩为一点,逐步得到全部简单回路.这种缩减过程隐藏在矩阵运算中,在运算中不断简化矩阵,从而降低了运算复杂度,提高运算效率.此算法生成的回路中不包含重复的回路,算法结构清晰,易转化为计算机程序.文中给出了算法的详细证明和实例应用.     

动力蛋白轻链亚基LC8在人细胞内的亚细胞定位

动力蛋白是活跃于微管骨架上行使负向运输功能的分子马达.从人类B淋巴细胞cDNA文库中克隆得到动力蛋白轻链亚基的基因LC8,将该基因插入表达绿色荧光蛋白的载体pEGFP-C3,获得的重组DNA成功在两种人源细胞内表达.通过荧光实验对GFP-LC8亚细胞定位进行分析,确定GFP-LC8是典型细胞浆定位,主要分布在细胞外周区和微管组织中心附近.当用药物nocodazole处理细胞使微管解聚时,GFP-LC8的定位发生改变.表明融合蛋白可正确指示LC8的细胞定位,可用于进一步研究病毒感染后的胞内事件.     

一种基于证据的软件可信性度量模型

为更全面系统地度量软件的可信性,根据客户对软件不同的主观需求将软件的可信性建立在各类证据之上,建立了一个基于证据的度量模型。模型根据系统安全保证的成功经验将可信性度量分成三个阶段,并对每个阶段定义相应的软件可信声明。通过可信架构分析,围绕可信声明收集建立证据和论据。综合收集到的信息,使用目标结构化表示法(goal-structuring notation, GSN)生成软件可信案例,由案例中声明是否被充分证明作为标准来度量软件的可信性。     

基于横切关注点恢复的软件逆向工程研究

为解决软件遗产系统中横切特性的理解和进化问题,提出了面向侧面(aspect-oriented)的逆向工程框架模型,并以此为基础给出了一种用例驱动的形式化概念分析方法,对需求分析模型层面上的系统横切特性进行逆向恢复。通过对目标系统执行信息进行概念格分析,该方法能够识别和抽取横切用例模型的系统方法调用集合,并利用统一建模语言中用例图的版型(stereotype)机制对它们进行模型重构和呈现。与仅为了代码重构而进行的侧面挖掘(aspect mining)技术相比,该方法更适合在较高的系统抽象层面上进行程序理解,作为一种采用增量式结果产生策略的半自动化方法,它的实施流程也具有更好的可控性和对逆向工程需求变化的适应性。     

基于概念分析的软件横切关注点提取方法

为解决软件遗产系统中横切特性的理解和进化问题，提出了面向侧面的逆向工程框架模型，并以此为基础给出了一种用例驱动的形式化概念分析方法，对需求分析模型层面上的系统横切特性进行逆向恢复．通过对目标系统执行信息进行概念格分析，文中方法能够识别和提取横切用例模型的系统方法调用集合，并将它们抽象为系统的早期侧面．和仅为了代码重构而进行的侧面挖掘技术相比，该方法更适合在较高的系统抽象层面上进行程序理解．作为一种采用增量式结果产生策略的半自动化方法，它的实施流程也具有更好的可控性和对逆向工程需求变化的适应性．     

碳排放约束下的水工隧洞施工机群配置优化

考虑碳排放约束条件,基于水工隧洞施工机群配置优化和碳减排双赢的改进路径,构建基于工期-成本-质量-碳排放量的多目标优化函数；选择模拟退火算法改进后的粒子群算法,参考施工机械台班费用定额和《IPCC国家温室气体排放清单指南》计算施工机械的台班碳排放量；将新型机械配置纳入碳排放因素,建立以工期、成本、质量和碳排放为一级指标和14个二级指标的水工隧洞施工机群配置目标偏好权重评价指标体系,并构建考虑碳排放的机群配置优化模型,以滇中引水工程万家隧洞3号支洞为例开展多目标约束下的施工机群配置优化分析。结果表明:建立的水工隧洞施工机群配置目标偏好权重评价指标体系可以较全面地考量施工机群对环境的影响性；计算得出该施工机群主要碳排放源为隧道多功能作业台车和混凝土搅拌站,碳排放量(以CO2计)达到1 000.kg/台班。改进后的粒子群算法可以有效增强全局寻优的搜索能力,识别施工机械中碳排放关键风险源,模型优化结果与现场施工情况相符,验证了模型的可行性。