超文本应用软件测试充分性准则初探

在开发超文本应用软件时，测试是费时费力的工作。现有软件测试充分性准则并非直接适用于超文本应用软件。本文首先讨论超文本应用的三级测试需求；节点级验证节点中所今信息的正确性，链接级检接实现的正确性、系统结构对系统结构进行评估以测试可用性。     

服务组合的代数规约

现有的服务组合描述途径不能有效地验证和测试组合正确性,针对这一问题,提出了一个代数规约方法,引入规约包机制扩展面向服务代数规约语言SOFIA以支持该方法。用代数规约单元描述服务系统中的各种实体,其中基调部分定义实体的语法和结构,公理部分定义其功能和行为特性。与一个服务相关的规约单元封装在一个包中或拆分在几个相互引用的包中,每个包形成一个命名空间。当多个服务组合在一起时,以这些服务的代数规约包为基础,一方面抽象地定义组合服务的交互过程和语义,形成描述服务组合实现方式的实现规约包;另一方面抽象地定义组合服务对外接口及其功能语义,形成描述组合服务需求的抽象规约包。在实现规约和抽象规约的双元结构基础上,进一步定义了实现规约和抽象规约之间必须满足的“实现”关系,证明了满足实现关系可以保证实现的正确性,从而为服务组合的可验证性和可测试性奠定了理论基础。最后结合实例分析阐述了用代数规约描述服务组合的抽象性、可表达性和可验证性。     

用化学计量学方法评定贮存血液细胞品质因素

用自动血液分析仪测定贮存全血的10个化验参数测定,按照主成分分析方法量化处理、计算化验数据,在主成分分析基础上,提出"细胞品质因素"作为综合评定指标的概念.用坐标平面图对贮存全血质量作出准确量化评定.结果说明"细胞品质因素"能较理想的评价贮存血液的质量,表明化学计量学方法在医学化验数据中可发现更多、更有价值的化学规律和生物信息.     

真空泠却技术的研究进展

真空冷却是一种快速冷却技术，它被广泛应用在花卉、水果、蔬菜和食品的冷却降温。本文综述了真空冷却技术在花卉、果蔬和熟肉中的应用研究现状以及目前真空冷却技术理论研究的进展。总结出目前真空冷却技术研究中存在的一些问题，并提出了今后真空冷却的研究方向。     

弹力复合纱线及其应用

介绍了弹力复合纱线的加工方法及原理，并对不同的弹力复合纱线的性能进行了分析比较以及复合纺纱方法在纺织上的应用。     

用于湿法成网的水刺工艺

在过去的１０－１５年来，干法成网的水刺工艺开发得相当广泛，达到了人们所期望的目标，对纤网性能的加工要求也有了较好的掌握。然而，对湿法成网来说，当用水刺工艺处理时，则要求对湿法成网质量和纤网加工性等诸多影响因素加以细心考虑。这里所讨论的湿法成网纤网是由长纤维和短纤维混合而成，短纤维通常是纸浆。本文对可以优化湿法成网纤网运行加工的一些设备进行了讨论，并对诸如加压力和托载网结构等工艺上的可变性进行了探讨     

中凸变椭圆活塞精加工热变形补偿方法研究

本文采用有限元方法对活塞精加工过程中热变形进行分析并通过补偿方式优化加工参数。具体针对某型号活塞,分析其加工时的热变形。分析结果表明,最大径向变形出现在活塞头部,为14.3μm,最小径向变形出现在活塞底部,为4.9μm。并以此调整活塞加工参数,实验表明此方法有效减小了由热变形造成的加工误差,为同类型活塞加工工艺改进提供了参考依据。     

GSM网络电表集抄系统的硬件结构设计

介绍了我国电力消费、GSM网络发展的现状,开发基于GSM网络电表集抄系统的意义。提出了基于GSM网络电表集抄系统硬件结构的设计方案,并给出了其简化结构图,分析了各硬件组成部分的设计理念,提出GSM网络电表集抄系统具有广阔的应用前景。     

模式驱动的系统安全性设计的验证

随着万维网和移动计算技术的广泛应用,系统安全性得到了越来越多的关注,使用安全模式对系统安全解决方案进行设计并验证是提升系统安全性的一种有效途径。现有方法根据系统安全需求选择适用的安全模式,在此基础上将模式组合为系统的安全解决方案,并通过模型检测方法验证其安全性。但是,这些方法往往将方案看作整体进行验证,忽略了内部安全模式的组合细节,难以在包含大量模式的复杂系统中定位缺陷。提出一种模式驱动的系统安全性设计的验证方法,首先使用代数规约语言SOFIA描述安全模式及其组合,以构建系统安全解决方案的形式化模型;然后将SOFIA规约转换为Alloy规约后,使用模型检测工具验证模式组合的正确性和系统的安全性。案例研究表明,该方法能够有效地验证系统安全解决方案的正确性。