排序方式: 共有48条查询结果,搜索用时 15 毫秒
1.
介绍了数字集群的技术性能和在国外的发展概况,叙述了数字集群通信在我国的使用和发展前景。 相似文献
2.
为满足客户需求,在行为约束下的业务流程中寻找行为执行的最优路径具有一定的实际意义。已有的研究是建立在静态分析基础上,通过优化算法或是行为分析来寻找最优执行路径,忽略了行为约束条件对执行行为有效性的影响,所得结果具有一定的局限性。文中在已有方法的基础上,利用Petri网行为轮廓序关系描述约束条件并确定行为有效区间,提出了基于模态Petri网分支有效区间的业务流程最优路径选择方法。该方法以行为有效区间替代已有的固定值方法,以便更好地描述业务流程的行为约束以及约束下的有效行为。通过一个具体的业务流程分析实例分析了该方法的有效性。 相似文献
3.
4.
交互流程模型的模块分解是查找流程模型变化域的核心内容之一,已有的模块分解方法多是基于完整的流程模型,通过挖掘对比流程模型中所有活动的行为关系将流程模型分解为多个模块网。但是在基于单纯的事件日志分解交互流程模型方面,目前的模块分解方法存在一定的局限性。提出基于Petri网接口变迁的交互流程模型模块网挖掘方法,首先基于系统运行所记录的局部有效事件日志确定其中各活动间的前驱后继关系,并得到相应的活动前驱后继关系表。然后,基于前驱后继关系频繁的活动查找接口变迁,同时考虑无后继变迁的活动。其次,通过分析接口变迁的前集变迁查找交互流程模型中各个模块网的初始变迁,并由初始变迁开始,利用活动前驱后继关系表,逐个添加活动,以此挖掘交互流程模型的模块网。论文最后通过实例验证该优化方法的有效性。 相似文献
5.
6.
刘祥伟 《重庆理工大学学报(自然科学版)》2007,21(15):99-101
阐述了模m的特征、模m的原特征与特征和的定义及其相关引理,然后指出了文献[1]中的特征和定理的证明过程中所存在的问题,同时给出了文献[1]中的特征和定理证明的关键步骤. 相似文献
7.
通过对胜利油田桩西联合站进行实地调研,把握原油处理和污水处理的主要工艺流程、设备性能及效率、供能设施及燃料消耗、来液及外排流体性质。通过能量结构分析寻找关键耗能环节和系统的用能薄弱环节,确定出系统最大的节能潜力在于减少罐体热量散失和污水携带的能量损失。针对桩西联合站的实际生产状况,提出在不影响生产的前提下利用岩棉对罐体进行保温减少热量散失的节能措施,经计算保温后罐体的热量散失仅为原来的1/3。针对油田污水直接回注地层大量热能浪费的问题,论证了利用吸收式热泵技术进行污水余热回收的可行性,回收的能量可以用于站内生活用能,也可以直接用于集输系统供热,若用热泵代替加热炉供热,则可减少将近1/2的天然气消耗量,并且极大地降低了加热炉的烟气排放,对减轻大气污染具有积极作用。 相似文献
8.
从实质公理化和形式公理化两种思想的比较出发,提出真正的数学课程是非形式化和形式化二者的统一,进一步阐述关注形式数学知识与所联系的实体对象的重要性,然后提出对"淡化形式、注重实质"的新的看法。 相似文献
9.
刘祥伟 《重庆理工大学学报(自然科学版)》2007,21(8):99-101
阐述了模m的特征、模m的原特征与特征和的定义及其相关引理,然后指出了文献[1]中的特征和定理的证明过程中所存在的问题,同时给出了文献[1]中的特征和定理证明的关键步骤. 相似文献
10.
不锈钢的磨削加工与电解磨削复合加工比较 总被引:1,自引:0,他引:1
根据不锈钢的物理力学特性、不锈钢表面的工作特点和不锈钢表面加工特点,比较磨削加工和电解磨削复合加工二者的加工精度、表面粗糙度和生产率。经过理论分析和试验,选择电解磨削复合加工做为加工不锈钢表面的加工方法,生产的不锈钢表面粗糙度达到了产品质量要求。 相似文献