Applying Petri-Net-Based Reduction Approach for Verifying the Correctness of Workflow Models

0 IntroductionTobadaseyd’s o nintfhoer mflaotiwonof s ywsotrekmss t hhraovueg hbe tehne doervgealnoipzead-tion rather than based ontasks .Duetothistrend,work-flowand business process technology has been applied tovarious applications such as ERP, groupwares , E-mar-ketplaces , E-business etc . When business processes areapplied to these applications ,business processes are de-fined by process designers and business process instancesare executed by workflowengines or workflow manage-ment sys…     

双向HFC网上行传输的技术问题及对策

文章对有线电视双向HFC网上行传输的若干技术问题作了较详细的研究;阐述了双向HFC网传输通道中的特有问题——“汇集干扰”、“汇集均衡”等概念及形成原因,并通过实例分析;提出了解决双向HFC网中信号存在“汇集干扰”、“汇集均衡”等问题的可行性方案及加强有线电视上行通道安全性的措施。     

BEPCⅡ工程直线加速器正电子调束取得成功

北京正负电子对撞机重大改造工程(BEPCⅡ)继2004年11月19日将电子束调试到直线加速器的末端，保证储存环同步辐射专用运行，并提供BESⅢ探测器研制所需的试验束之后，于2005年3月19日成功将正电子束调到直线加速器出口，初步定标流强达45mA(改造前BEPC正电子流强为3-5mA)，正电子能量达1．3GeV，已能够为储存环提供正电子进行机器研究。这标志着BEPCⅡ直线加速器改造又向前迈出关键一步。     

东深改造工程机电设备安装质量和进度的目标管理

东深改造工程机电设备安装工程有三个泵站和36个分水点量水间机电设备的安装,点多、分散、而且设备材料种类多、要实现工程指挥部提出的总体目标“建设安全、优质、文明、高效的全国一流供水工程。”作为机电安装单位,由于实行科学的目标管理、因此为实现东改工程提前2个月供水,创造了条件。     

锚喷 锚网喷 锚网索喷联合支护技术的应用

通过山西焦煤集团西山股份公司西铭矿应用锚喷、锚网喷、锚网索喷联合支护技术的实践,分析了有关参数及特点,指出应用锚喷、锚网喷、锚网索喷联合支护大断面1018大巷,可起到,良好的支护效果,使施工速度加快、成本降低,为今后特殊地点及大断面巷道施工提供了一种全新的支护方式。     

ALOHA协议在公安无线局域报警网中的应用研究

本文从分析无线局域报警网的特点入手，就网中报警信号特点、抗干扰技术及实时传输技术作了简要分析，重点论述了在无线局域报警网中采用纯ALOHA协议的可行性，并进一步分析了采用其他随机访问协议的可能性。     

模糊集合论在矿山控制网布设和图纸质量评定中的应用

应用模糊数学方法研究和处理矿山测量中存在的具有“模糊性”的问题。例如控制网布设方案及矿山测量图纸质量的综合评判。它能更准确地描述用精确数学模型难以描述的问题。     

采用空间量化技术的泉州传统街巷风貌改造策略

以福建省泉州市的传统街巷为研究样本,通过空间量化技术探究泉州街巷形成的大致演变过程与形成逻辑;然后,采用等级、功能与宽度3个因子辨析街巷,并生成一套适用于泉州传统街巷空间的风貌改造策略.结果表明：泉州街巷的主要差异在于等级、功能与宽度的不同,同时等级、功能与宽度的变化也会导致街巷类型的转变,街巷的属性能够通过等级、功能与宽度共同组成的复合评价体系进行辨析;最后,通过梳理泉州现有的街巷格局,并针对街巷分别提出相应的改造策略.     

诱导空间的分子网收敛特征

研究了诱导空间的分子网收敛理论,给出诱导空间的几个与分子网收敛有关的刻画,从本质上揭示了诱导空间分子网收敛的特征及与之相关的闭包运算的内部结构。另外,作为应用,解决了《L-fuzzy拓扑空间论》中提出的关于序列式空间的几个问题。