MPI程序的Petri网模型及其动态性质

对并行程序进行验证以保证正确性是很重要的,但是由于并行程序比串行程序要复杂得多,因此有必要建立它们的模型。MPI是目前应用最广泛的基于消息传递的并行程序编程标准之一。基于MPI程序的特点,提出了MPI并行程序的Petri网模型——MPINet,给出了MPI函数的基本Petri网模型及对程序建模的基本步骤。定义了静态可执行的和并行正确的并行程序,并研究了MPINet的动态性质,包括安全性、可达性、可逆性以及活性。这些方法可以用于其他并行编程标准的分析。     

两全保险最佳年限的确定模型

从降低保险公司所面临风险的角度出发，给出了两全保险在协方差和方差最小时的最佳年限的确定模型。     

基于EOPN的晶圆制造系统实时调度仿真平台

针对半导体晶圆制造系统(SWFS)的组织构成、加工过程和生产模式的典型特点,以拓展型面向对象Petri网(EOPN)为工具对该复杂系统建立了模型,在准确描述晶圆制造过程的基础上采用面向对象技术设计并开发了一套SWFS实时调度仿真平台.该平台不仅能够真实再现半导体晶圆的反复重入型加工过程,而且能够集成多种实时调度与派工控制算法,以准确高效的仿真计算进行算法测试和相应系统绩效的评价与预测.SWFS实时调度仿真平台的开发成功对SWFS的建模、调度和控制等相关研究起到积极的支持作用.     

基于Web服务工作流管理系统框架设计

在分析传统工作流管理技术不足的基础上,提出将Web服务引入工作流管理系统的设计框架.通过探讨Web服务和工作流管理技术在物流集成系统中的应用实践,说明该设计框架能实现具有平台无关性、松散耦合、互操作性好的企业联盟.     

基于语义的Web服务发现机制的研究

在对Web服务和领域本体研究的基础上,把语义网和Web服务相结合,提出了一个售票领域本体模型,用本体中丰富的关系表达传统Web服务所不能表达的语义,依据Web服务描述本身的特点,对基于语义的Web服务相似度计算方法进行了研究,提出了一种不同于关键字匹配的基于语义距离的Web服务匹配算法。     

基于着色Petri网的电子商务工作流建模

用基本Petri网对电子商务工作流建模，往往会因为细节过多而使其图形复杂。提出了一种基于着色Petri网的模型，给出了针对电子商务中网上购物系统的建模过程并进行了结构合理性的论证。应用结果表明，通过着色Petri网建模可以使得库所和变迁的数量都大为减少，使图形更加简约。     

人工神经网络在土石坝安全监测系统中的应用

介绍了土石坝安全监测系统研究的目的、内容以及人工神经网络BP模型的建立,论述了人工神经网络在土石坝监测资料分析中的应用,可以给大坝管理带来新的技术,有助于充分发挥工程效益,有效地改善工作人员的劳动条件和减轻劳动强度。     

电气化铁路接触网综合大修工程研究报告

根据多年的工作经验及现场实际,对北同蒲线站场电气化铁路接触网设备改造的必要性及可行性进行了分析和探讨,并提出相应的建议。     

语义Web技术在基金数据校验中的应用

语义Web技术通过定义公共原语的方式,使得数据能够被不同的程序、企业应用和行业领域共享与重用.FundRegulator将语义Web技术应用于金融行业,使基金各项指标的自动校验成为可能.该系统以Web服务体系结构为蓝本,以语义级功能模块为计算单元,并借鉴了信息系统集成的研究成果,采用了分布式计算框架使该系统结构能有效地容纳新的数据源和校验规则.同时,对该类系统存在的不足之处和未来的改进方向提出了建设性的意见.