半导体设备通讯标准GEM的应用

SECS/GEM 标准用来统一各个生产设备之间以及生产设备和控制设备之间的通讯.介绍了SECS/GEM标准的构成,提出了使用SECS/GEM标准接口解决半导体设备自动化的问题.详细叙述了GEM的通信状态模型、控制状态模型和设备处理状态模型,以及GEM的程序设计.并给出了GEM中事件数据收集的设计的实例.实践表明,SECS/GEM标准设计严谨,适应面宽,在我国半导体芯片工业中应用前景广阔.     

基于SECS标准的半导体封装设备串口通信实现

SEOS标准用来统一各个生产设备之间以及生产设备和控制设备之间的通讯。介绍了SECS标准的构成,提出了使用SECS标准接口解决半导体封装设备通信的问题,使所有设备全部都通过使用SECS标准接口连接到单元控制器及更高级别的MES和工厂计划信息系统。使设备能快速地整合在CIM的管理系统中。系统实现了基于SECS标准的串口通信,并给出了基于SECS协议的串口通信的实例。     

高可信软件工程技术

随着软件在信息社会中发挥日益重要的作用,人们对软件可靠性、可靠安全性和保密安全性等可信性质的要求也愈来愈高.本文讨论了高可信软件工程技术的现状和面临的主要挑战,给出了基于形式化方法的高可信软件技术的发展趋势和突破点.     

UML Statecharts的模型检验方法

统一建模语言UML已广泛应用于软件开发中,验证UML模型是否满足某些关键性质成为一个重要问题.提出了对UML Statecharts进行模型检验的方法.首先用扩展层次自动机结构化地表示UML Statecharts,然后给出其操作语义,通过寻找最大无冲突迁移集可以保证语义的正确性.对于具有无穷运行的系统,该操作语义可以映射到一个Büchi自动机.使用基于自动机理论的模型检验方法来验证UML Statecharts的线性时态逻辑性质,并给出方法验证由Statecharts和协同图建模的复杂多对象系统.     

基于模型的诊断系统验证

诊断系统在很多领域都非常重要,从工业设备到运输都有应用需求。诊断系统能够识别某个可能进入危险状态或根本不可能状态的设备现在是否正常运行。诊断系统可以指导控制过程,阻止没被发现而可能导致灾难的实效事件的发生。在某些安全攸关领域中,诊断已成为开发系统的重要步骤,诊断系统的验证工作举足轻重。文章介绍了基于模型的诊断系统的验证方法,包括诊断系统相关概念、基于模型的诊断理论以及一个基于模型的自治诊断系统Livingstone及其自动验证。     

高可信软件工程技术

随着软件在信息社会中发挥日益重要的作用，人们对软件可靠性、可靠安全性和保密安全性等可信性质的要求也愈来愈高．本文讨论了高可信软件工程技术的现状和面临的主要挑战，给出了基于形式化方法的高可信软件技术的发展趋势和突破点．     

面向对象软件开发方法的研究

面向对象方法学已经越来越引起人们的重视。人们从程序设计、软件设计、软件开发等方面对它进行了研究。本文着重从软件开发的角度,分析了面向对象方法学的特点。然后介绍了面向对象的软件开发方法OOSDM,这种开发方法将面向对象的思想贯穿于始终。采用多视点的方法分析问题,解决问题。最后重点介绍了我们在OOSDM中采用的需求分析方法OORAM 及其支持工具。     

融合描述文档结构和参引特征的Web 服务发现

首先分析研究Web服务描述文档(WSDL文档)的两大特征——结构特征和参引特征,然后根据各个特征对Web服务功能语义描述的影响,提出相应的Web服务表示模型——多向量表示模型.区别于通用文本表示模型,该模型能够显式地表示Web服务描述文档的本质特征.其中,结构特征语义表现在多向量空间的划分上,参引特征语义映射到子向量模型中特征权重的计算上.提出了基于多向量模型的Web服务相似度计算方法,并实现了基于该模型的Web服务发现原型系统.最后,在真实Web服务描述文档集合上构造了一个具有不完全相关性判断且涵盖了1576个WSDL文档的Web服务发现测试集,并在该测试集上进行了基于多向量模型的Web服务发现实验评估.实验结果表明,基于多向量模型的Web服务发现方法的检索效果比基于简单文本向量空间模型发现方法的检索效果在95%的置信度下有了显著提高.     

基于XQuery扩展的异构语义Web服务发现

语义Web服务发现作为分布式计算的前提和关键,备受研究者关注。多种语义Web服务描述语言的存在给异构语义Web服务的发现带来了挑战。本文提出了一种支持异构语义Web服务描述语言的发现框架i XQuery。该框架从两个方面扩展XQuery,使其支持异构语义Web服务的结构化查询与逻辑推理、模糊匹配的联合查询。一方面i XQuery利用XQuery的外部函数机制,建立了多种类型的相似度比较函数;另一方面i XQuery制定了一个统一的语义Web服务抽象描述本体,并建立了语义Web服务语言SAWSDL与OWLS与该本体之间的映射,并利用XQuery的用户自定义函数机制,建立了一系列用于抽取异构语义Web服务中信息的抽象描述操作子。最后,介绍了基于i XQuery框架的异构语义Web服务匹配器H-i Matcher。