面向Web服务测试的单线执行序列生成方法

测试用例自动生成是实现Web服务自动化测试的关键,基于代数规约的传统测试技术均依赖于创建、初始化和复制被测对象等操作来验证测试结果的正确性,但第三方Web服务并不支持这些操作,无法将测试用例转换成可执行操作序列。一种可行的解决方案是将测试用例转换成只包含一个被测服务实例、不包括实例初始化、只对实例进行状态修改和检查的线性执行序列。改进已有工作,提出包含逆项的测试执行图TEG-I来描述测试用例执行过程中的状态变化,设计TEG-I构造算法和单线执行序列生成算法并实现相应原型工具。实验结果表明,提出的方法能够有效地自动完成测试用例生成,提高Web服务的可测试性。     

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

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

疏而不漏

食品在生产加工过程中，常因设备的磨损、零件的脱落等造成金属粉末、金属粒子或针状不定形的金属异物混入食品中，给食品安全性带来极大危害，对食品生产企业的信誉造成极大损失。因此，我们常采用金属检出机对产品进行检测，以杜绝金属异物在产品中的存在。     

基于AODV的贪婪路由协议

针对AODV路由协议在节点高速移动环境中存在的低性能问题,提出一种利用贪婪算法并充分考虑节点移动状态的路由协议GAODV。该协议涉及扩展Hello报文、限制控制分组数量、建立稳定路由以及禁用本地路由修复。仿真分析表明,GAODV比AODV具有更高的吞吐量,在节点移动速度达80 m/s时,端到端的平均时延减少了55%。     

大米品质分析中的碱消度法优化研究

为加速鉴别市售大米品牌和质量,以国内外大米为对象,针对碱消度法,在时间和碱浓度方面进行优化研究,最佳实验操作条件为３０℃,２．２％ＫＯＨ溶液,恒温５．５ｈ,即可得到有代表性米样的碱消度图谱,从而可依图鉴定出米样是否为某品牌以及纯度,为快速鉴别大米品牌提供了重要依据和普及的可行性。     

德国品质中国制造--赛多利斯新款检重秤

德国赛多利斯亚琛有限公司(原德国伯克斯Boekels公司)成立于1948年,由Hans Boekels博士创立于德国亚琛,是专业生产金属探测器、自动检重秤与皮带秤的公司。其产品广泛用于制药、化工、食品饮料、采矿、木材、烟草等领域。强大的研发力量使赛多利斯保持领先的技术。良好的质量保证体系使其于1995年通过了ISO9001质量体系。1998年Boekeis公司加入赛多利斯集团后,整合资源,其检重秤采用赛多利斯集团最先进的超级单体电磁力传感器,使产品更具竞争力,同时其产品从主要在欧美销售转向全世界,销量位居世界同类产品前列。检重秤的优质性能Synus系列检重秤是德国赛多利斯最新研发生产的高精度系列检重秤,它主要针对食品及医药行业的自动称量要求所特殊设计制造。Synus系列采用最先进的设计理念,机身高度及称重台高度均可通过简易的机械组合进行调节,满足不同客户的不同需求。Synus系列检重秤的仪表部分选用最先进的工控机技术,使动态称量的数据处理达到最优化状态。同时为了使客户能更方便快捷地使用检重秤,Synus特地为客户定制了一些特殊功能。如:全中文显示界面,免去了国内大部分企业对英文操作界面的不适应。特殊USB接口可以使用户在不配备打印机的时候,通过普通台式电脑的office软件编辑打印相关数据,为用户生产提供必要的统计数据。超大的10.5英寸显示屏幕可使客户查看相应的数据时更简便,同时赛多利斯还提供15英寸的触摸屏显示屏幕满足不同客户的需求。     

超声波法在线监测端羟基聚丁二烯/甲苯二异氰酸酯体系的固化过程

采用超声波纵波透射法在线监测了端羟基聚丁二烯/甲苯二异氰酸酯（HTPB/TDI）体系在不同温度下的固化过程,测定了固化过程中超声波的声速与衰减,计算了体系的纵向储能模量和固化度,由此确定了体系的凝胶化、硬化以及固化终点时间。与红外光谱法相比,超声波法通过表征固化体系模量的变化更合理地揭示了体系物理交联和化学交联两方面协同作用的固化机理,对HTPB/TDI体系硬化后的固化过程监测更为灵敏。     

论Folding/Unfolding程序转换的能力

本文讨论Burstall与Darlington提出的folding/unfolding系统的程序转换能力,即讨论从一个给定的程序可以推导出什么样的程序。因此,这是正确性与完备性问题的推广。本文证明了可推导性的一个必要条件,并由此得到了该系统提高程序效率的一个界限。该系统的部分正确性和不完备性也均是该条件的推论。     

A12O3薄膜包装材料工艺参数与阻隔性的实验研究

采用直流反应磁控溅射工艺,进行了一系列在PET塑料薄膜表面沉积氧化铝的实验,研究了氩气(Ar)、氧气(O2)和溅射功率对所制备的A12O3薄膜透氧率和透湿率的影响.实验表明,当氩气流量为90sccm、氧气流量为10sccm、溅射功率为600W时,A12O3薄膜的透氧率为2.11cm3/(m2×atm×24h),透湿率为0.58g/(m2×atm×24h),此时薄膜阻隔性能最好.