浅谈现代科技发展中企业用电管理技术的重要性

随着现代科学技术的发展,电能在现代工农业生产、科学实验及人民生活等各个领域中获得了极为广泛的应用。由于目前我国用电的管理技术还有待进一步发展,为了使供电企业适应市场经济的需要,精心培育用电市场,提高用电管理科学化水平,增强电能产品的竞争力,形成用电市场的良性循环,我们加大技术改造、技术革新的力度,提高供电质量和供电可靠性,以及电能计费的准确度,以满足用电客户不同的电能需求。本文对企业的用电管理技术作了一些分析研究。     

一种保持编排与参与者间行为一致的映射方法

将编排映射为Peer（参与者）,是对编排进行可实现性分析的第1个步骤.现有文献提出的映射方法未考虑参与者中τ对行为的影响,无法确保编排与参与者间的行为一致性.以Petri网作为形式化基础,提出了一种能够保持编排与参与者间行为一致的映射方法,允许：（1）通过动作映射,将交互式Petri网定义的编排映射为带τ的交互式Petri网;（2）提出了4条τ删除规则,用以对带τ的交互式Petri网中的τ进行有选择的删除;（3）将编排与参与者间的行为一致性问题规约为检验两个交互式Petri间是否满足弱互模拟的问题,并证明了这4条τ删除规则的正确性.实验结果表明,该映射方法能够确保编排与参与者间的行为一致性.