基于形式规约的软件测试用例自动生成技术研究

在Hierons提出的一种基于Z语言软件自动测试方法的基础上进行了拓展．该方法基于软件的Z语言规约;以HierOns提出的推理规则为基础,提出了分裂树的算法,将操作模式的约束条件转换为形如ViPi∧Qi的析取范式;然后根据析取范式将Z语言描述的操作模式划分为子操作模式;依据子操作模式的前置条件和后置条件,将子操作模式作为状态转换图的转换关系,构建了被测试软件的状态转换图;依据状态转换图,提出了相应的状态覆盖准则、转换关系覆盖准则和转换关系谓词覆盖准则等测试数据选择准则．     

基于改进Sobel算子的多仪表图像边缘检测算法

为了解决Sobel算子在多仪表图像检测中存在的边缘定位精度不高、提取边缘较粗以及对噪声敏感等缺点,提出了一种改进算法。首先在原有水平和垂直模板的基础上新增6个方向模板,提高了边缘定位精度,使其适用于纹理结构复杂的图像。然后根据图像的具体特征自适应确定阈值,有效去除图像的伪边缘。最后结合数学形态学的灰度腐蚀理论,对检测到的边缘进行细化处理。不仅能获得细化效果较好的边缘,同时可以有效的抑制噪声。实验结果表明:改进后的算法对图像噪声干扰有较强的抑制能力,提取的边缘定位准确、结构细腻。     

基于WBS客观评价方法的科技项目评价体系探索

探索了一种基于WBS客观评价方法的科技项目评价体系.介绍了现有项目评价方法的局限性,详细阐释了基于WBS的项目评价体系的主要内容、评价要素等,并总结了该评价方法的作用以及评价过程中存在的问题.     

CCN蛋白家族研究进展

CCN蛋白家族包含多个成员,它们结构相似,富含半胱氮酸。作为分泌蛋白,CCN蛋白能够促进细胞生长、细胞粘附、细胞迁移;诱导细胞凋亡;并调控肿瘤生长、血管发生和软骨内骨化。由于CCN蛋白在癌症和其它疾病预测或／和诊断中的重要性,成为近几年研究的热点。本文将简述近几年在CCN蛋白领域的研究进展。     

单形宽度的两个结果

研究了E^n中n维单形的宽度问题,给出了Sallee猜想的一些推广,得到两个新的结果.     

基于同频同时全双工自干扰消除的有线保密通信系统

针对目前有线全双工通信系统中保密通信技术尚未成熟,在保密性能存在局限性,以同频同时全双工(co-frequency co-time full duplex, CCFD)系统的自干扰(self-interference, SI)消除理论为基础,提出一种物理层绝对安全的有线保密通信系统设计方案,通过巧妙地在接收端向链路中释放同时同频大功率人造噪声的方式将目标信号隐藏起来,再利用接收机对噪声信号的已知性,借助CCFD系统的模拟域自干扰消除技术在接收机中实现高dB的SI消除,实现Wyner意义上的绝对安全的保密通信。依据香农理论分析了延迟时间差、窃听位置、传输线长度等因素对SI消除能力和系统安全容量的影响。结果表明：系统的安全容量始终大于零,达到绝对保密通信效果。     

减水剂对掺电石渣水泥强度与结构影响的研究

探讨不同掺量的减水剂对掺电石渣水泥强度与结构的影响.结果表明:当w电石渣掺量为5%时,掺入减水剂会使掺电石渣水泥的早期强度有所下降.当w电石渣掺量大于20%时,掺入减水剂可消除水泥的凝聚现象,大大提高水泥的流动性,降低硬化水泥浆体的孔隙率,明显提高掺电石渣水泥的早期强度,且水灰比越低,减水剂的增强效果越强.本试验中w减水剂的最佳掺量为0.75%.减水剂的掺入对掺电石渣水泥的后期强度影响不大.     

SPF级实验动物设施的改造设计与实施

结合本中心SPF级实验动物设施改造的经验,探讨了SPF级实验动物设施改造过程中如何通过设计与实施,获得温湿度、换气次数、压力梯度、空气洁净度以及风速等环境指标达标的、布局合理的实验动物设施,从而确保设施的质量,实现SPF级动物设施改造过程中质量的控制。     

银行与技术创新的关系研究综述及展望

系统性梳理银行与技术创新之间的关系研究对当前政府引导金融资源支持实体经济具有重要的理论指导意义。从熊彼特的创新经济分析开始沿着两条脉络:创新经济学家在对企业、产业和经济层面的创新特征及资源配置问题研究;以及金融学家关于银行通过技术创新促进经济增长方面研究,试图归纳银行与技术创新之间的关系研究的主要观点,对现有研究存在的不足做出简单评论,并为转型时期中国商业银行支持企业技术创新实践提供理论线索。     

论大学诚信教育的七大误区

诚信是中华民族几千年传统美德之一,也是市场经济发展的基本要求。大学作为育人的重要场所,培养德才兼备、诚实守信的人才是其义不容辞的责任。但现实是大学生的整体诚信状况堪忧,究其原因,可能是多方面的,其中诚信教育中存在的七个误区应是其重要的成因之一。因此,必须正确认识并予以矫正。