What Are Quantum States?

We present three strong arguments against the ontic interpretation of quantum states. We then show that the appropriate alternative is not an epistemic interpretation, but viewing quantum states as representing the available knowledge about the potentialities of a quantum system from the perspective a of a particular point in space. Unlike ordinary knowledge, which requires a knower, available knowledge can be assumed to be present regardless of a knower. The relationship between “perspectives on potentialities” and “the potentialities themselves” is clarified.     

Cones and foci: A mechanical framework for protocol verification

We define a cones and foci proof method, which rephrases the question whether two system specifications are branching bisimilar in terms of proof obligations on relations between data objects. Compared to the original cones and foci method from Groote and Springintveld, our method is more generally applicable, because it does not require a preprocessing step to eliminate τ-loops. We prove soundness of our approach and present a set of rules to prove the reachability of focus points. Our method has been formalized and proved correct using PVS. Thus we have established a framework for mechanical protocol verification. We apply this framework to the Concurrent Alternating Bit Protocol.

---

     

基于节点流的流程工业生产物流调度方法及应用

流程工业生产物流动态平衡调度是典型的多工序、多目标、多约束的多机并行调度问题,难以解析建模.为此,提出了节点流控制及切换的概念,建立了生产调度模型,并采用多目标分层求解调度模型.在此基础上,提出了流程工业生产的物流平衡调度方法.实际应用表明,所提出方法提高了物流动态调度的准确性和生产效率.     

基于CMM的软件过程度量系统的研究与设计

首先描述了软件过程的度量过程,结合软件度量定义模型GQ(I)M提供的方法和软件能力成熟度模型(CMM)提供的过程框架,给出了项目跟踪与监控过程域的一些度量实例,在此基础上完成了软件过程度量系统的设计;最后,指出了系统进一步的工作。     

基于Web和XML的CAPP系统

介绍了一种基于Web和XML的CAPP系统,主要包括系统的体系结构、系统的信息流程、基于XML工艺文档表示、工艺规则对XML文档的操作、XML文档的客户端处理。在网络环境中,客户端与服务器端利用XML进行信息交互,提高了Web环境下CAPP系统的性能,满足了企业工艺设计的需求,也使B/S模式下的应用系统面临的诸多问题得到很好的解决。     

MIS软件开发过程的描述

本文用活动的概念来描述软件的开发过程,建立了软件过程的形式化描述模型,以此为基础,给出了MIS软件开发的过程描述。     

Tradeoffs in process strategy games with application in the WDM reconfiguration problem

We consider a variant of the graph searching games that models the routing reconfiguration problem in WDM networks. In the digraph processing game, a team of agents aims at processing, or clearing, the vertices of a digraph D. We are interested in two different measures: (1) the total number of agents used, and (2) the total number of vertices occupied by an agent during the processing of D. These measures, respectively, correspond to the maximum number of simultaneous connections interrupted and to the total number of interruptions during a routing reconfiguration in a WDM network.Previous works have studied the problem of independently minimizing each of these parameters. In particular, the corresponding minimization problems are APX-hard, and the first one is known not to be in APX. In this paper, we give several complexity results and study tradeoffs between these conflicting objectives. In particular, we show that minimizing one of these parameters while the other is constrained is NP-complete. Then, we prove that there exist some digraphs for which minimizing one of these objectives arbitrarily impairs the quality of the solution for the other one. We show that such bad tradeoffs may happen even for a basic class of digraphs. On the other hand, we exhibit classes of graphs for which good tradeoffs can be achieved. We finally detail the relationship between this game and the routing reconfiguration problem. In particular, we prove that any instance of the processing game, i.e. any digraph, corresponds to an instance of the routing reconfiguration problem.     

基于过程仿真的SARS发热门诊重组研究

建立发热门诊是防控SARS的重要举措,它需要科学地安排患者的诊断过程。该文在突发公共卫生事件控制的背景下,针对长沙市传染病医院发热门诊的实际情况,采取事件驱动的过程链(EPC)模型化方法,建立了发热门诊的诊断过程模型,在Extend仿真环境中对其进行了仿真分析,从提高人员工作效率、使过程并行化以及合理调配资源等几方面对其进行了过程重组研究,为下一步研究工作奠定了基础。     

数据仓库环境下以用户为中心的数据清洗过程模型

数据清洗是数据仓库和数据挖掘中非常重要的一个环节。本文首先分析总结了数据清洗的有关概念,给出了数据清洗中需要解决的质量问题,并总结了解决这些问题的技术和方法。在此基础上提出了以人为中心的数据清洗过程模型。该模型集成了工作流技术、数据集成、数据转换和数据挖掘技术。给出了每个工具箱应该提供的基本功能。     

网络化制造系统中设备资源优选方法的研究

分析了层次分析法的优缺点,并详细介绍了其求解过程。根据成、德、绵区域网络化制造系统的开发实践,针对设备资源的特点,把层次分析法和模糊层次分析法相结合,让模糊层次分析法来解决层次分析法不能解决的问题,它们共同来完成网络化制造系统中的设备资源优选,最后通过实例验证了该方法的可行性和有效性。