对逻辑覆盖软件测试准则的公理化评估

由于形式规格说明采用一种精确、一致、容易被机器自动处理的符号系统来描述软件需求,因而形式规格说明为测试用例的自动生成和软件功能的验证提供了基础.在基于形式规格说明的测试过程中逻辑覆盖测试准则是一组常用的测试准则,如何选择和使用其中的每个测试准则是应用这组测试准则时面临的主要问题.因此分析和比较这组测试准则中每个测试准则的性质将为测试工程师选择测试准则提供指导和帮助.对测试充分性准则的公理化评估是一种比较测试准则的方式,这种方式将对理想的测试准则的直觉需求定义为一组公理,然后通过检查测试准则是否满足该组公理来分析和比较相应的测试准则.描述了一组理想的逻辑覆盖测试准则应该具有的性质和用来确定一个测试充分性准则是否完全的生成算法.这组性质被形式化地定义为一组公理.利用这种形式化的定义,用定理的形式精确地给出了这些性质之间的关系.最后通过这组公理系统来评估现有的逻辑覆盖测试准则.评估的结果为测试人员在实际过程中选择逻辑覆盖测试准则提供了指导.     

用Z语言形式化扩展事件踪迹图

软件体系结构被看成是现代软件技术的重要因素之一 ,而一个软件系统结构的关键就是它可以分解成组件和组件交互的规格说明。扩展事件踪迹图 (ExtendedEventsTraces ,EETs)是一种用来描述组件交互的图形技术 ,它允许我们用图来定义结构中经常发生的交互模型 ,并且在多种上下文中可实例化 ,因而可以重用。虽然EETs的图形表示很直观 ,但是语义不够精确 ,因此 ,在本文中将使用形式规格说明语言Z来形式化EETs。并且 ,给出了形式描述EETs的几个应用例子     

一种在Internet环境下提交与发布Z规格说明的方法

用形式方法开发软件可提高软件系统的正确性和可靠性，并可提高软件开发的效率。Z是一种基于状态的形式规格说明语言。但是一直以来形式方法在工业上不能得到普遍的应用，一个原因是它缺乏有效的支持工具以及向通用的工业标准转化的连接。本文首先用JAVA语言和XML开发了一种方法，使得用户能够在不同的平台上、不同的浏览器上利用GUI的方式编辑Z规格说明，进而转化成服务器端的以XML方式描述的Z模式。通过XSL所定义的格式，又将以XML方式描述的Z发布到网页上。从而实现了Z规格说明在WWW环境下的共享与发布。     

非平稳随机载荷下海洋平台振动半主动控制

提出了一种新的变刚度半主动控制方法，采用短时波面特征信息和开环控制策略，由波面特征信息通控制器实时改变TMD的刚度，以达到对系统最优状态的跟踪，克服信号处理系统和作动器的延时可能带来的系统稳定性问题。将一次风暴潮强非平稳过程描述成许多短时的平稳过程，分别以平台上甲板位移、加速度响应最小作为控制作动器优化目标，优化得到控制装置刚度变化的时域过程，实现TMD变刚度对海洋平台甲板加速度及位移的振动控制。在平台顶部甲板安装半主动控制装置后，平台甲板的加速度标准偏差平均降低21％。这种半主动控制装置既有主动控制效果好、适用范围广的性质，又有被动控制装置造价较低、可靠性高的特点。     

模具CAD/CAE/CAM的发展和展望

介绍模具CAD／CAE／CAM的研究与应用情况，以详实的资料论述模具CAD／CAE／CAM的发展历程及其发展趋势，为工程设计人员了解和掌握其发展历程及发展趋势提供很大方便。     

绿松石结构的致密性对其颜色量化研究的影响

绿松石的结构致密性对其颜色量化研究工作存在重要影响。采用国际公认的色度学变量CIE 1976色差(ΔE)来表征绿松石样品在特定区域内颜色的不均一性,通过静水称重法和原子力显微镜(AFM)来表征结构致密性的体相和表相特征。结果发现,质地疏松绿松石存在较大色差、较大的表面粗糙度及较小的相对密度。激光剥蚀电感耦合等离子质谱仪(LA-ICP-MS)研究绿松石成分显示,疏松绿松石样品中致色元素含量呈现较大的测量不确定性,存在很严重的随激光剥蚀时间延长而迅速衰减的现象,而致密绿松石样品并无此现象。出土疏松绿松石样品的受沁程度和色差也明显大于致密样品。相对而言,高致密性绿松石具有相对密度较大、表面平滑度较高、颜色分布较为均一、致色元素分布较为规律、抗污染能力较强等优良特征。因此,在后续绿松石颜色量化分级工作当中,对致密性进行严格定量显得尤为必要。     

皖南、皖北农村环境污染问题调查分析

以安徽省淮北市、安庆市和阜阳市等地区的农户为调查对象，针对农村环境污染问题进行入户调查。统计分析结果表明：这 些地区农村垃圾产量日益增多，构成日益复杂；农村垃圾处理方式有较大改变，改善了农村生活污染，但农村生产污染依然严重； 皖南与皖北地区农村环境污染差异明显，皖北地区农村生活污染严重程度较皖南地区更甚，而生产污染则相反。因此，要提升农村 居民环境保护意识，健全农村环境保护法制体系，建立并完善农村垃圾分类制度，加大农村环境保护监管力度，增加农村环境保护 资金投入，对农村环境污染进行综合治理。     

电力系统调度自动化技术的应用与发展

随着我国人民生活水平的提高，物质文化也得到了极大地满足。尤其是电力行业的发展，无论是公有制工业，还是私有制的工业，无论是居民个人还是个体工商户，都通过电力带动了大中小企业的发展。企业电力系统技术有了质的飞跃 ,, 同时对于供电的安全性和质量性有了更严格的要求。所以，电力技术的发展成为当前的重要任务，也是我国电力系统调度技术应用与发展的关键之所在。     

采用QuEChERS结合UHPLC-MS/MS定量分析热加工肉制品中的三种胺类物质

本文采用QuEChERS技术结合超高效液相色谱-串联质谱（UHPLC-MS/MS）技术建立同时检测丙烯酰胺（AA）、亚硝胺（NAs）和杂环胺（HAAs）含量的方法，用于分析热加工肉制品中产生的胺类物质。结果表明:该方法检测出的三类成分20种胺类物质在相应浓度范围内显示出良好的线性关系（R2>0.991），检测限和定量限分别为0.01~1.6 ng/g和0.03~4.8 ng/g，日内回收率介于66.3%~116.5%之间，日内精密度介于0.78%~9.0%之间。每个胺类物的5×LOQ加标水平计算的日间精度范围为3.4%~9.4%。该方法应用于煎烤的四种肉制品中AA、NAs和HAAs的分析，共检测出9种胺类物质，浓度范围为0.03~31.26 ng/g。     

微波技术在分析中样品消解与萃取的应用进展

介绍了微波的原理与特点,综述了近年来国内微波消解与微波萃取在样品分析前处理中的应用。