工作流系统模型的性能等价分析

讨论了基于随机Petri网的工作流系统的顺序、并行、选择、循环4种基本模型,并详细推导了这4种基本模型的性能等价公式.最后通过现实中的一个工作流实例来说明如何建立相应的随机Petri网模型,以及如何利用这些性能等价公式来计算工作流的性能参数.给出了定量分析工作流系统性能的通用方法,通过用这些等价公式不仅可以对复杂的系统进行性能等价化简,而且还可以得到性能参数的乘积解.     

随机Petri网模型的精化设计

随机Petri网的模型技术有多种不同的方法.简单地使用模型技术去模拟复杂的系统,势必造成状态空间的爆炸,而无法分析系统性能.模型精化技术可以开发出紧凑的模型,暴露出原模型中子模型的独立性和相互依存关系,为模型的分解求解奠定基础.该文以多服务器多队列系统模型的精化设计为例,展示利用变迁可实施谓词和随机开关进行模型精化的方法.文章还讨论了多服务器多任务系统的调度、选择控制方案,并提供了这些方案的随机Petri网模型.     

作为多媒体系统模型的时间Petri网的同步合成

本文用一种以出现网为基网的时间Petri网作为多媒体系统模型。这种模型便于描述和分析并行媒体流间的同步问题。文中提出了时间层次同步和同步时间差阈值等概念。同步时间差同步是时间层次同步性能的一个度量。根据实现时间层次同步的可能性，一个时问Petri网中的同步变迁可划分为三种类型：理想同步变迁、可实现有效同步的变迁和不可能实现有效同步的变迁，一个好的多媒体系统的时间Petri网模型不应存在第三类同步变迁。文中给出了这三类变迁的判定条件。     

随机Petri网性能等价化简与分析方法研究

随机Petri网等价性能化简技术的研究一直是Petri网研究的主要问题之一，已有学者研究了在指数分布的假设下的随机Petri网的等价化简方法。该文研究指出关于顺序结构、选择结构和循环结构的化简结果并不依赖于指数分布，但是关于并发结构的结果依赖于指数分布。并给出了在均匀分布条件下的随机Petri网并发结构的化简技术。     

随机Petri网的分解和压缩技术

本文综述了在随机Petri网的分解和压缩技术方面的一些最近的工作，着重介绍了时间数量级分解、接近无关分解、响应时间保留压缩、流等价压缩、层次模型和分层分析与乘积形式解等技术的基本思路、方法和操作过程．本文也描述了解决系统模型状态空间爆炸问题所面临的困难和进一步的研究方向．     

基于随机Petri网的信息系统工作流建模

工作流过程验证领域存在的问题是:通常用描述工具仅仅是对所建模型进行简单的语法验证,结果验证不彻底,致使开发效率降低.文章提出了一种通用Petri网工作流建模和验证方法.以常规信息系统的一个工作流程为例,构建基于随机Petri网的工作流模型,从静态角度给出正确的工作流模型结构标准,从动态角度给出正确性验证方法及有关规则,并分析了模型的正确性,通过冲突分析说明该模型结构不存在死锁结构、不可达节点、同步丢失等现象.研究结果表明:随机Petri网及其扩充形式便于描述异步、并发、并行等情况、一定程度上解决状态空间爆炸问题、便于进行性能评价,如果从语义验证和结构验证两方面对随机Petri网工作流模型进行验证,可以提高模型正确率.     

语言表达式到Petri网模型的转化及其算法

已知一个语言的表达式,直接构造产生该语言的Petri网模型是Petri网语言理论中一个重要问题.本文分析、研究同步交错正规表达式中各种运算与Petri网模型的对应转换关系,分别给出正规表达式、α闭包表达式到Petri网模型的转换方法;定义了Petri网的有界覆盖合成运算,研究有界覆盖合成网的语言性质,给出将同步交错正规表达式转换为Petri网模型的算法,从而实现了语言表达式到Petri网模型的等价转化.     

基于随机Petri网的性能与可靠性评价

近年来,随机Petri网在柔性制造系统、计算机及通信系统等领域的性能与可靠性评价中得到了广泛的应用。文章首先介绍了性能与可靠性评价,然后回顾了广义随机Petri网及其状态空间爆炸问题,最后讨论了非马尔科夫随机Petri网。     

基于随机Petri网的协同服务模型与分析

提出了一种基于随机Petri网的协同服务模型与分析方法,选择了企业协同服务中几个最具有代表性的流程,利用随机Petri对这些代表流程进行了建模以及模型简化和证明.然后,以电子商务系统中的物流系统为例,在随机Petri网模型建模的基础上应用模型等价化简和性能评价方法,时模型化简前后的系统性能和计算时间进行了对比分析.     

基于GSPN的工作流模型性能评价方法与应用

广义随机Petri网因其具有坚实的理论基础、强大的分析功能和易于表达的图形化方式,在工作流模型性能评价领域应用越来越广泛。论文着重讨论了基于广义随机Petri网的工作流模型性能评价的技术和方法,对于其分析过程中涉及的问题,尤其是广义随机Petri网的等价化简问题,进行了详细的阐述。文章最后结合一个应用实例“全国高等教育网上阅卷系统”对建模和分析评价过程进行了说明。     

一种智能化的企业实时绩效管理方法

全面实时监测企业运行状态及市场环境,发现企业当前运行的问题,识别市场潜在机会,将企业关键变化信息及时地以适当的形式呈现给企业各个层次的相关决策者和执行者,是企业快速决策的关键。本文扩充了传统的企业绩效管理方法,通过拓展质量功能展开（Quality Function Deployment,QFD）方法,提出了新的用于过程企业绩效实时监测的智能QFD方法,该方法通过引入一套基于指标变化的且周期可配置的标准,通过特定时间周期内指标变量与标准的对比,动态地监测企业运行过程的变化,并基于用户角色及其执行的任务以适当的详细程度和格式为企业运作人员及时提供所需信息,以利于快速分析和决策。这种实时的企业绩效管理一方面随时发现企业内部运营的问题,同时识别市场和商业机会,对企业在竞争日益激烈的市场环境中做到“科学决策、优化运营和快速反应”起重要的作用。     

一种HPF编译系统的研究与实现*

HPF(high performance Fortran)是一种典型的数据并行语言,HPF编译系统的实现是并行计算研究领域的一个难点.文章介绍了一个HPF编译系统的研究与实现情况,在对该系统的主要组成进行了简要介绍之后,着重讨论了系统实现中的若干关键技术,并列出了部分HPF源程序及其编译器生成的相应代码,最后给出了对该编译器的一些性能测试结果和有关问题的讨论.     

竞选算法的参数设计与性能研究

提出采用在线性能评估准则和离线性能评估准则评价竞选算法用于数值优化问题时的性能。通过对标准测试函数的数值优化实验,分析竞选算法的参数对算法在线性能和离线性能的影响,为竞选算法实际应用时的参数选择提供依据。实验结果表明,通过控制参数的改变,可有效改善竞选算法的在线性能和离线性能。     

Parallel application performance on shared high performance reconfigurable computing resources

The use of a network of shared, heterogeneous workstations each harboring a reconfigurable computing (RC) system offers high performance users an inexpensive platform for a wide range of computationally demanding problems. However, effectively using the full potential of these systems can be challenging without the knowledge of the system's performance characteristics. While some performance models exist for shared, heterogeneous workstations, none thus far account for the addition of RC systems. Our analytic performance model includes the effects of the reconfigurable device, application load imbalance, background user load, basic message passing communication, and processor heterogeneity. The methodology proves to be accurate in characterizing these effects for applications running on shared, homogeneous, and heterogeneous HPRC resources. The model error in all cases was found to be less than 5% for application runtimes greater than 30 s, and less than 15% for runtimes less than 30 s.     

一种被用于网络性能管理的模型及实现

高速通信网络（例如ＡＴＭ）技术能够架构一种灵活的支持宽带的多业务网络．诚然, ＣＯＲＢＡ（Ｃｏｍ ｍ ｏｎＯｂｊｅｃｔ Ｒｅｑｕｅｓｔ Ｂｒｏｋｅｒ Ａｒｃｈｉｔｅｃｔｕｒｅ）、移动计算（Ｔｒａｎｓｐｏｒｔａｂｌｅ ｃｏｍ ｐｕｔａｔｉｏｎ）、虚拟机（Ｖｉｒｔｕａｌｍ ａｃｈｉｎｅｓ）和积极网络管理技术的方法实现的网管系统具有灵活、健壮和容易修改的特征．但是,另一方面,它需要稳定、可靠和有效地提交ＱｏＳ（Ｑｕａｌｉｔｙ ｏｆＳｅｒｖｉｃｅ）,而且其仅仅依靠网络协议本身是做不到的．为此,提出了一种用于网络性能管理的模型,该模型具有以下特点：第一,利用随机回应模型（Ｓｔｏｃｈａｓｔｉｃ Ｒｅｗ ａｒｄ Ｍｏｄｅｌ,ＳＲＭ）建立整体网络性能和可信度的模型;第二,能够实时地计算和预测整体网络端到端的性能可靠性（Ｐｅｒｆｏｒｍ ａｎｃｅ－ｒｅｌｉａｂｉｌｉｔｙ）、可用性（Ｐｅｒｆｏｒ－ｍ ａｎｃｅ－ａｖａｉｌａｂｉｌｉｔｙ）、该网络的平均无故障时间（ＭＴＴＦ）和可信度的值;第三,由于模型求真解十分复杂,对于高可靠性网络的管理,得到了该模型的近似模型及其它的数值解法,并在文章的最后,给出了一个例子．     

Display Design: Principles and Procedures

The history of research on display design is described briefly and the general problems of real/artificial displays and new/stored information are discussed with particular emphasis on compatibility. The main discussion centres on the advantages and limitations of the throe general approaches to display design: use of checklists, use of formal procedures and use of behaviour theory. A checklist for display design is provided and the other procedures are illustrated by case studies.     

Application of OLAP to a PDM database for interactive performance evaluation of in-progress product development

This paper applies online analytic processing (OLAP), a widely accepted database analysis technique, to a product data management (PDM) database to evaluate the performance of in-progress product development. This paper introduces a set of processing key performance indicators (KPIs) that can measure ongoing product development. To convert and analyze operational data in a PDM database with interactive OLAP operations, this study proposes a multidimensional data model specified by product facts with associated dimensions. The model is implemented using a commercial OLAP engine, and applied to a database supported by a prototype PDM system. The OLAP engine allows analysts to interactively evaluate the performance of in-progress product development in a multidimensional data space. This is a far more flexible and efficient approach than other result-oriented static evaluation approaches.     

网络化的控制系统

通过比较的方式研究了网络化控制系统的特点、网络因素与控制系统性能间的关系,分类介绍了当前网络化控制系统的研究方法、分析角度及策略,最后在评述当前研究现状的基础上,提出了以兼顾控制性能质量(QoP)和网络服务质量(QoS)为目标的网络化控制系统综合性能优化的新的研究观点.     

2017年中国高性能计算机发展现状分析

根据2017年10月发布的中国高性能计算机性能TOP100排行榜的数据,对国内高性能计算机的发展现状从总体性能、制造商、行业领域、部署机构等方面进行了讨论分析,同时对未来发展进行了展望。     

Data‐Driven Performance Monitoring for Model Predictive Control Using a mahalanobis distance based overall index

This paper proposes a data‐driven approach for model predictive control (MPC) performance monitoring. It explores the I/O data of the MPC system. First, to evaluate the MPC performance and capture the fluctuation of the process variables, we present an overall performance index based on Mahalanobis distance (MDBI) with its deduced benchmark. The Mahalanobis distance can better characterize the change of the process variable in both principal component space and residual space. As the proper vectors of the two spaces are orthogonal, the MDBI eliminates the correlation between the process variables while considering the variables’ characteristics in both spaces simultaneously, which helps evaluate the MPC performance more effectively with fewer monitoring parameters. Furthermore, for the MPC performance diagnosis, we use the MDBI as inputs and construct a support vector machine (SVM) pattern classifier. The classifier can achieve a higher accuracy when recognizing four common performance degradation patterns and determine the root cause of performance degradation. The results of simulations on the Wood‐Berry distillation column process and experiments on NIAT multifunctional experiment platform illustrate the effectiveness of the proposed performance assessment/diagnosis strategies.