排序方式: 共有3条查询结果,搜索用时 0 毫秒
1
2.
随着现代科学技术的发展,电能在现代工农业生产、科学实验及人民生活等各个领域中获得了极为广泛的应用。由于目前我国用电的管理技术还有待进一步发展,为了使供电企业适应市场经济的需要,精心培育用电市场,提高用电管理科学化水平,增强电能产品的竞争力,形成用电市场的良性循环,我们加大技术改造、技术革新的力度,提高供电质量和供电可靠性,以及电能计费的准确度,以满足用电客户不同的电能需求。本文对企业的用电管理技术作了一些分析研究。 相似文献
3.
将编排映射为Peer(参与者),是对编排进行可实现性分析的第1个步骤.现有文献提出的映射方法未考虑参与者中τ对行为的影响,无法确保编排与参与者间的行为一致性.以Petri网作为形式化基础,提出了一种能够保持编排与参与者间行为一致的映射方法,允许:(1)通过动作映射,将交互式Petri网定义的编排映射为带τ的交互式Petri网;(2)提出了4条τ删除规则,用以对带τ的交互式Petri网中的τ进行有选择的删除;(3)将编排与参与者间的行为一致性问题规约为检验两个交互式Petri间是否满足弱互模拟的问题,并证明了这4条τ删除规则的正确性.实验结果表明,该映射方法能够确保编排与参与者间的行为一致性. 相似文献
1