基于uMSD的Web服务组合验证方法研究

手工分析组合服务相当困难和耗时,为此提出了一种基于uMSD的Web服务组合的模型检验方法.如何简单和直观地表示Web服务组合的时态性质是该方法的关键问题.鉴于uMSD在简单性和表达力之间找到了一个平衡点,定义了uMSD的形式语法和语义.以Web服务组合OJA为实例,使用uMSD来图形化地表示组合服务的时态性质,展示了u...     

基于语义的Web service组合技术研究

随着Web服务的发展,Web服务组合越来越显示出其必要性。文章分析了语义Web服务组合的特点,着重阐述了基于AI规划的语义Web服务组合方案。     

Mixture equations of state: Composition dependence

This paper discusses theoretical models for the composition dependence of equations of state and compares the quality of predictions against experimental thermodynamic property data. The mean density approximation (MDA) and the van der Waals one-fluid (VDW1) model are compared with hybrid mixing rules (HMR), in which rigorous composition dependence is used for the second and third virial coefficients and the conformai solution model is used for equation-of-state density terms beyond the third virial term. It is found that when values of unity are used for all binary and three-body unlike interaction parameters, calculated densities for methane-normal heptane mixtures have average absolute deviations of 3.54% for MDA, 4.04% for VDW1, and 2.59% for HMR. When vapor-liquid equilibrium calculations were performed for the methane-normal heptane system, average absolute deviations of calculatedK values from experimental values were 16.7% for methane and 36.4% for normal heptane using HMR, whereas when conformal solution model (CSM) mixing rules were used, the results were 34.8% for methane and 66.7% for normal heptane. When the binary interaction parameter for the characterization of interaction energies is determined, it is found to be less sensitive to state conditions in the case of HMR than either MDA or VDW1. These preliminary results suggest the potential of mixture equation-of-state methods which utilize rigorous composition dependence for the lower-order virial coefficients.Paper presented at the Second U.S.-Japan Joint Seminar on Thermophysical Properties, June 23, 1988, Gaithersburg, Maryland, U.S.A.     

组成无公害低熔玻璃的发展现状

低熔玻璃广泛用作封接玻璃和电子浆料中的粘接相.现有低熔玻璃绝大部分为高铅含量玻璃.提出组成中不合PBb、Hg、Cd、As、Tl、Cr和放射性元素的玻璃称为组成无公害玻璃,综述了低熔玻璃的发展现状,指出电子产品目前所用含铅玻璃的取代物可能是磷酸盐、矾酸盐、铋酸盐玻璃.建立磷酸盐、矾酸盐、铋酸盐玻璃相关基础理论,发展玻璃形成新理论以及新的材料制备技术是组成无公害低熔玻璃研究与开发的重点.     

涂层成分对IrO2（5）TiO2（60）Co3O4（x）RuO2（35—x）／Ti阳极材料析氯…

用电化学和Ｘ射线衍射方法研究了氧化物涂层成分热分解法制备的ＩｒＯ２（５）ＴｉＯ２（６０）Ｃｏ３Ｏ４（ｘ）ＲｕＯ２（３５－ｘ）／Ｔｉ阳极材料析氯速率的影响．ｘ值为０－１３ｍ／ｏ时，氧化物涂层为单相金红石型固溶体，阳极析氯速率随ｘ值增加，ｘ值大于１３ｍ／ｏ时，涂层中出现尖晶石Ｃｏ３Ｏ４第二相，析氯速率随ｘ值下降。     

一种开发烧结过程专家系统的新方法及其应用

在研究烧结过程专家系统的结构和特点的基础上,提出了用面向对象的方法来建造烧结过程专家系统骨架,实现了骨架系统的两大功能:外壳功能和语言功能。系统提供了原型系统的生成平台和用于专家系统开发的类代码。并应用骨架系统,开发了由化学成分控制、烧结过程状态控制、能耗控制、异常诊断四个子系统组成的烧结过程控制专家系统,取得了良好的效果。     

基于体系结构的构件开发技术研究与应用

基于构件的软件工程(CBSE)开发方法一直是计算机人员研究的热点。本文在分析Petri网模型和C2构架的基础上,使用Petri网模型分析软件开发过程,研究基于C2架构的构件组装的方法和步骤,并通过实例分析了这种方法的合理性。     

采用动作时序逻辑的Web服务组合方法

基于有限状态自动机理论,将Web服务建模成一个有限状态自动机。针对网络服务描述语言(WSDL)在服务行为描述方面的缺陷对其进行扩展,提出了从扩展的WSDL到动作时序逻辑(TLA)语言的转换算法,从而可以用TLA对服务行为进行形式化描述和规范,为描述Web服务提供了一个新的方法。讨论了在动作时序逻辑中,服务组合时各组件服务的有限状态自动机的组合方式,以及伴随着服务组合,单个服务的TLA规范如何组合以形成复合服务的TLA规范的问题,并在此基础上,提出了实现TLA规范正确组合的算法思想。     

服务组合的代数规约

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

弱酸性电解水用于提升鲜切马铃薯安全品质的研究

目的 探究弱酸性电解水和自来水处理的鲜切马铃薯在室温贮藏条件下不同时间段内品质的变化。方法 模拟现代厨房贮存模式,经弱酸性电解水和自来水处理的鲜切马铃薯在室温(25±0.5)℃贮藏环境下,贮藏0、7、14、21、28、35h时,检测其感官、色度、质构、淀粉、蛋白质、钾、维生素C、菌落总数、大肠杆菌、沙门氏菌、金黄色葡萄球菌、霉菌、酵母菌。结果 经弱酸性电解水处理的鲜切马铃薯在室温贮藏21 h内,经自来水处理的鲜切马铃薯在室温贮藏14 h内,感官正常,其营养成分淀粉、蛋白质、维生素C、钾元素下降较少,金黄色葡萄球菌、沙门氏菌、菌落总数、大肠杆菌、霉菌、酵母菌的含量均在国家标准和团体标准许可的安全范围内,可安全食用。结论 弱酸性电解水可显著提升鲜切马铃薯的贮藏品质,抑制其金黄色葡萄球菌、沙门氏菌、菌落总数、大肠杆菌、霉菌、酵母菌繁殖,延长室温贮藏期。