数字集群通信在我国的使用和发展前景

介绍了数字集群的技术性能和在国外的发展概况，叙述了数字集群通信在我国的使用和发展前景。     

基于模态Petri网的行为有效区间寻找最优路径的方法

为满足客户需求,在行为约束下的业务流程中寻找行为执行的最优路径具有一定的实际意义。已有的研究是建立在静态分析基础上,通过优化算法或是行为分析来寻找最优执行路径,忽略了行为约束条件对执行行为有效性的影响,所得结果具有一定的局限性。文中在已有方法的基础上,利用Petri网行为轮廓序关系描述约束条件并确定行为有效区间,提出了基于模态Petri网分支有效区间的业务流程最优路径选择方法。该方法以行为有效区间替代已有的固定值方法,以便更好地描述业务流程的行为约束以及约束下的有效行为。通过一个具体的业务流程分析实例分析了该方法的有效性。     

基于Petri网接口变迁的交互流程模型模块网挖掘方法

交互流程模型的模块分解是查找流程模型变化域的核心内容之一,已有的模块分解方法多是基于完整的流程模型,通过挖掘对比流程模型中所有活动的行为关系将流程模型分解为多个模块网。但是在基于单纯的事件日志分解交互流程模型方面,目前的模块分解方法存在一定的局限性。提出基于Petri网接口变迁的交互流程模型模块网挖掘方法,首先基于系统运行所记录的局部有效事件日志确定其中各活动间的前驱后继关系,并得到相应的活动前驱后继关系表。然后,基于前驱后继关系频繁的活动查找接口变迁,同时考虑无后继变迁的活动。其次,通过分析接口变迁的前集变迁查找交互流程模型中各个模块网的初始变迁,并由初始变迁开始,利用活动前驱后继关系表,逐个添加活动,以此挖掘交互流程模型的模块网。论文最后通过实例验证该优化方法的有效性。     

基于配置变迁的业务流程模型优化分析方法

为了灵活适应市场需求,业务流程模型的优化分析显得越来越重要。已有的方法大部分基于静态定位变化区域,进而对该区域进行优化,具有一定的局限性。基于Petri网的方法和行为轮廓的思想从行为角度来动态分析业务流程中的变化部分,利用日志与模型的匹配关系以及动态定位来确定模型中的变化域,考虑接口部分,利用适合度和行为适当性,通过配置变迁优化模型,然后利用行为轮廓一致性度判定最优模型,最后用实例验证该方法的可行性。     

新型塔架门式起重机整体结构有限元分析

针对某新型塔架门式起重机,分析了其结构特点和工作状况,并运用通用有限元分析软件AN-SYS建立了起重机结构的有限元模型。通过施加合理的约束和载荷,对整机结构进行了强度、静态刚性的计算校核,可为类似复杂结构的设计校核提供借鉴。     

两种公理化思想的比较对数学教育的启示

从实质公理化和形式公理化两种思想的比较出发,提出真正的数学课程是非形式化和形式化二者的统一,进一步阐述关注形式数学知识与所联系的实体对象的重要性,然后提出对"淡化形式、注重实质"的新的看法。     

关于特征和定理的一个注记

阐述了模m的特征、模m的原特征与特征和的定义及其相关引理，然后指出了文献[1]中的特征和定理的证明过程中所存在的问题，同时给出了文献[1]中的特征和定理证明的关键步骤．     

关于特征和定理的一个注记

阐述了模m的特征、模m的原特征与特征和的定义及其相关引理,然后指出了文献[1]中的特征和定理的证明过程中所存在的问题,同时给出了文献[1]中的特征和定理证明的关键步骤.     

不锈钢的磨削加工与电解磨削复合加工比较

根据不锈钢的物理力学特性、不锈钢表面的工作特点和不锈钢表面加工特点,比较磨削加工和电解磨削复合加工二者的加工精度、表面粗糙度和生产率。经过理论分析和试验,选择电解磨削复合加工做为加工不锈钢表面的加工方法,生产的不锈钢表面粗糙度达到了产品质量要求。