基于概念内涵最小生成子的伪内涵计算方法

 伪内涵是形式概念分析理论的一个重要概念,伪内涵问题的研究是当前研究的热点.传统的伪内涵计算方法为了获得形式背景中所有的伪内涵,需要搜索形式背景中所有的非内涵属性集,而属性的组合容易导致搜索空间爆炸.为此,本文从概念内涵生成子的角度,刻画伪内涵的特性,给出伪内涵判定的充要条件;在此基础上,提出计算伪内涵的GPI算法.GPI算法只需对概念内涵的最小生成子进行计算,便可获得形式背景中所有的伪内涵,有助于缩减算法的搜索空间,提高伪内涵计算效率.理论分析和实验结果表明,本文的算法是有效可行的.     

一种C++程序中无用对象的检测方法

面向对象程序中无用对象的存在降低了程序的可读性,浪费了系统的存储空间,在运行时又降低了程序的运行速度,本文通过对Ｃ＋＋程序中对象是进行分析,提出了一个利用可达性分析来检测程序中无用对象的方法。     

一种新的重构语义分析方法及其应用

提出一种新的重构语义分析方法,引入了后置条件作为重构后程序语义的分析条件,然后基于该方法提出一种重构异常行为检测方法,利用不同重构之间的关系及其关联语义特征,发现重构实施时的错误.分析表明,该方法可以有效发现E-clipse中存在的若干缺陷,并且可以检测出使用Eclipse实施相应重构时产生的程序异常行为.     

基于变异测试和OWL-S文档的Web服务测试用例生成

由于缺乏必要的细节信息,针对Web服务的测试难度较大。文章的方法是将变异算子作用到OWL-S文档上,以得出不同输出为目标,从而生成测试用例。该方法避免了生成大量的变异体以及判定等价变异体,能降低测试成本。在保证其有效性的同时,还可以根据具体的应用来调整变异算子,保证方法的通用性和可扩展性。     

利用h指数及其衍生度量识别关键类

在维护不熟悉的软件系统时,需要花费大量的时间去理解系统的架构和功能。为帮助人们进行程序理解,在指数度量的基础上开发了一种轻量级的、自动化的关键类识别方法。软件维护人员可以从该方法识别出来的关键类入手,熟悉系统的架构和功能。首先根据类间的依赖关系构建类之间的依赖图,然后在依赖图的基础上计算h指数及其衍生指数度量值评价类的重要性。在两个开源软件系统上的实验结果表明,与先前的工作相比,该方法能够在保证识别准确性的情况下快速识别出系统中的关键类。     

苏州雅利订购第二台麦安迪LP3000柔印机

近日，苏州雅利印刷有限公司与麦安迪·美国联合再度携手，签订了第二台MarkAfldy LP3000十色柔性版印刷机。     

光谱响应测试在多结型太阳能电池中的应用

针对目前在高效率多结型硅薄膜元件结构设计中各层短路电流无法测出的困难,该文探讨了光谱响应/量子效率光谱测试技术在这方面的应用。该项技术使电池各层在短路电流密度上达到最佳匹配从而改进制程,提高电池的效率。     

基于ANSYS ICEM CFD和CFX数值仿真技术

为了准确方便地计算和分析流体的传热和流动情况，以分析某浸入式水口浇钢温度场和流场为例介绍了一种基于ANSYS ICEM CFD和CFX数值仿真技术在连续铸钢过程中的应用。该方法是利用ANSYS ICEM CFD进行流体数值仿真的前处理操作，然后将生成的网格导入到CFX中施加边界条件进行求解计算，这可以大大提高数值仿真效率。此种方法对CAE工程分析人员具有很大的借鉴意义。