CMM——全面质量管理在软件业的应用

早在20世纪60年代中期,人们就发现软件的生产出现了“问题”,主要表现在生产过程不规范,缺乏管理。后来,人们在软件工程方法学中引入了工程的概念、原理、技术和方法,这种思想在一定程度上解决了软件生产过程中遇到的问题。但是直至80年代还是没有提出一套管理软件开发的通用原则,软件管理不善的问题依旧在大范围内存在。随着软件开发的深入、各种技术的不断创新以及软件产业的形成,人们越来越意识到软件过程管理的重要性,因此管理学的思想逐渐融入软件开发过程中,由美国软件工程研究所（SEI）提出的软件能力成熟度模型（简称SW—CMM）便是软件过程管理思想不断发展的集中体现。     

基于UVM的存储控制器功能验证

采用通用验证方法学(UVM)搭建验证平台,以AHB总线上挂载的存储控制器为验证对象,重点分析了UVM验证平台的设计;采用传统的定向验证方法将很难遍历到所有情况,而通过UVM验证平台能够产生受约束的随机激励信号,对存储控制器进行全面的验证,并能自动收集功能覆盖率和分析验证结果;验证结果表明,该验证平台能有效地查出设计缺陷,达到覆盖率要求,减少验证时间,提高验证效率,且具有良好的可配置性和可复用性.     

HPLC法测定醋酸氯己定方法研究

为消毒剂中醋酸氯己定含量测定建立的一种快速准确的分析方法,即采用shimadzu LC-4A色谱系统,PC8柱,以0.02mol/L磷酸二氢钾(磷酸调pH2.5):乙腈(60+40)为流动相,检测波长为253nm.结果醋酸氯己定在0.80～4.93μg范围内呈良好线性关系,相关系数r=0.999,最低检出限为0.04mg/ml,方法的变异系数为7.2%,回收率为93.8%～103.5%.     

明胶的色泽

色泽是明胶质量必不可少的一项指标。本文的研究目的在于: (1)对明胶显色的化学原理作一次调查; (2)提出一个从方法学角度去判别显色原因的方法; (3)介绍分析方法。 在明胶显色过程中,仅包含了美拉德反应(Maillard reaction)。分析指出,有两种途径可以使明胶显色:一是蛋白质与还原糖之间的反应;另一是氧化类脂质(Oxidized lipids)化合物。 显色反应的前体——氧化类脂质化合物,以及还原糖的美拉德反应的特征性产物——Amadori生成物已被检测出来。 使明胶显色的一个较重要的分子是戊糖苷(pentosidine),它可以用荧光法予以定量。     

功能覆盖率驱动的TAU/MVBC模块验证*

本文基于验证方法学(VMM),使用硬件验证语言搭建分层可复用的TAU/MVBC验证环境,利用功能覆盖率结果对随机激励生成器进行导向,同时使用断言覆盖未达到的边角情况,在合理的时间内达到了预定的覆盖率要求。结果表明,覆盖率导向的带约束随机激励生成方法通过提高对覆盖率贡献较大的小概率事件出现的次数,有效地提高了验证效率。     

一种基于RSOC的软硬件协同设计方法研究

针对可重构片上系统(RSOC)应用设计复杂、编程困难的问题,提出了一种软硬件协同设计方法。该方法整体框架基于特定功能模块的软硬件协同函数。给出了方法的基本流程、涉及的关键技术及实现方式,并验证了关键部分的设计方案及可行性。该方法为目标应用设计人员屏蔽了特定功能模块的软硬件实现细节,提高了基于RSOC应用的运行效率和灵活性。     

一种基于过程级编程模型的可重构片上系统设计方法

可重构片上系统是一种兼具功能灵活性与高运算速度的新型计算平台,是面向未来嵌入式应用市场复杂需求的技术解决方案,但复杂、困难的设计过程必将阻碍它的广泛应用与进一步发展.针对当前可重构片上系统设计过程中编程不透明、可重构资源难以有效利用等问题,结合可编程器件能够根据应用特性动态配置芯片体系结构的特点,提出并实现了一套基于过程级透明编程模型的软硬件协同设计方法.在编程模型框架内,系统设计人员通过调用已根据应用特性进行优化的软硬件协同函数库,即可利用高级语言完成系统功能描述;动态软硬件划分算法在程序运行时对其进行划分,选择、调度需要转换到软件或硬件实现的库函数,并通过动态链接器实时切换函数的运行方式,从而形成一个由功能描述到系统实现的自动化流程.实验及测试结果验证了该方法的可行性和高效性.     

机械创新设计及其研究

探讨了机械创新设计的研究对象、性质及特征；对机械创新设计基本理论体系作了初步构建；最后论述了开展机械创新设计研究的重要意义。     

联邦企业体系结构框架研究

为解决企业工程活动中关于企业体系结构框架和方法学的评价、建立、选择和使用等具体问题,阐述了系统化的研究步骤和方法.首先介绍了联邦企业体系结构框架及其方法学、使用指南、参考模型.然后利用ISO标准通用企业参考体系结构和方法学,研究联邦企业体系结构框架,并探讨二者之间的匹配关系,研究及评价的具体参照物包括通用企业参考体系结构和方法学元模型中的主要组件,主要内容包括:生命周期、模型框架、建模语言、方法学、参考模型、通用企业模型概念、企业模型工具和企业模块等.最后,总结了联邦企业体系结构框架的优点和不足之处.     

医用负压引流聚氨酯海绵中甲苯二异氰酸酯残留量的测定

建立了医用负压引流聚氨酯海绵中单体甲苯二异氰酸酯残留量的气相色谱测定方法。选用GS-TEK GSBP-5毛细管柱(30 m×320μm×0.25μm),氢火焰离子化检测器,载气为氮气,流速1.5 m L/min,柱温采用程序升温,初始温度100℃,以20℃/min升温至200℃,保持1 min,采用外标法定量,并进行了方法学研究。结果表明,甲苯二异氰酸酯浓度在0.005 72~0.143 mg/m L的范围内,峰面积和浓度呈现良好的线性关系,相关系数为0.999 5,加标回收率95.40%~102.37%,相对标准偏差2.95%(n=9)。该方法专属性强、重现性好、灵敏度高,可用于聚氨酯海绵中单体甲苯二异氰酸酯残留量的在线测定。