自由选择工作流网的可靠完备化简规则集

流程化简技术是一种重要的商业流程模型分析方法.已有的非形式化化简方法因缺乏理论基础而无法保证完备性.基于Petri网的化简方法应用范围不针对流程模型因而不能保证可靠性.提出了针对自由选择工作流网的一个可靠完备化简规则集,可靠性保证化简过程中这类模型的行为正确性被保持,完备性保证任意一个正确的此类工作流网最终都能被化简为最简形式.基于化简规则集给出可靠完备的合成规则集,用于流程模型的设计与精化.

改进的居民地要素模板匹配化简方法

针对基于转角函数的模板匹配化简方法易出现的3类化简错误,即模板库找不到合适的化简模板、计算形状相似度时错误选择模板、化简结果出现位置及方向偏差等问题,提出一种改进的居民地要素模板匹配化简方法。首先构建基于转角函数的无偏相似性度量模型,减小居民地与模板之间的形状相似性度量误差,然后将匹配过程划分为“粗匹配”和“精匹配”两个阶段,克服形状相似性度量对边界起始点选择的敏感性,提高匹配效率,最后针对化简区域或邻近区域已有更小尺度居民地数据的情况,研究模板库自动扩充方法,提高模板库的完备性。通过真实数据试验分析,验证了本文方法在化简中能保持居民地的主体形态特征,实现不同尺度的化简。与现有方法相比,本文方法能够有效克服3类化简错误,提高对复杂居民地的化简率,使化简居民地与模板之间的形状吻合度更高。

教你三招化简对数式

在解答对数的求值问题、最值问题、单调性问题、参数问题时,要先对对数式进行化简,那么化简对数式有哪些招数?

一种顾及空间关系约束的线化简算法

线要素化简在制图表达与综合领域一直是研究的热点和难点之一。然而,经典化简算法多针对单独线要素进行处理,缺乏对该线要素与周边线要素之间整体空间关系的考虑,并且,存在计算结果生硬(D-P算法)、局部极值点缺失,特别是在曲度较大之处出现相交异常(L-O算法)等问题。为此,本文提出一种顾及空间关系约束的线化简算法,建立线要素全局化简方法(LGSM)和矢量位移、面积位移等5类评价指标。采用等高线、河流和道路3类线要素实际数据进行了试验,充分检验了本文算法的优越性,其处理结果符合开方根模型规律,降低了曲线复杂度,在保证全局空间关系不变条件下,不仅更好地保持了曲线整体形状特征,而且光滑美观、精度高。

随机Petri网模型中变迁的串、并联性能等价化简技术

随机Petri网的状态空间爆炸问题的研究始终是Petri网研究的主要问题之一 .在随机Petri网模型中 ,变迁的串、并联是Petri网模型的主要基本形式 ,对它的化简不仅有助于解决随机Petri网状态空间的爆炸问题 ,而且也为其他随机Petri网的化简技术提供一个坚实的基础 .另外在诸如工作流、多媒体等重要的随机Petri网模型中也存在大量的变迁的串、并联结构 ,所以对随机Petri网模型变迁的串、并联的化简 ,特别是能够推导出它的性能等价的数学公式就显得很有必要 .本文详细阐述了随机Petri网变迁的串并联的模型化简技术 ,推导出了变迁的串、并联化简的性能等价公式 ,并给出一个化简的例子 ,最后对结果的相关问题进行了分析 .

逻辑函数的代数化简法技巧剖析

代数化简法可化简任意逻辑函数,但目前尚未形成一套完整系统的方法,没有一个固定的步骤可遵循,具有一定的试探性.能否尽快合理地对逻辑函数进行化简,很大程度上取决于化简者的经验、技巧、洞察力及对公式掌握与运用的熟练程度,特别是经验、技巧,如增加冗余项、配项等,一直以来是教师教学与学生学习的一个难点.将代数化简法与卡诺图化简法有机结合起来,借助卡诺图化简法,对代数化简法的应用经验与技巧作了剖析,做到有章可循.

多条海岸线协同化简的层次化三角网分区法

针对当前海岸线自动综合方法仅考虑单条线要素,未有效考虑其与附近海岸线之间的空间邻近关系,提出一种用于多条海岸线协同化简的层次化三角网分区法。首先,利用约束Delaunay三角网对能否化简的区域进行划分和标识;然后,利用二叉树构建层次关系模型,对各区域实体进行有序组织;最后,有序地对可化简的标识区域进行渐进式化简,并对局部狭窄区域进行自适应夸大,从而实现多海岸线的协同化简。试验结果表明:本文方法可克服复杂区域海岸线化简产生的图理性问题,可明显提高海岸线的化简质量。

顾及拓扑一致性的水系三维曲线化简

鉴于常规曲线化简方法应用于水系曲线化简时难以顾及水系要素的三维特征及其拓扑关系,本文提出了一种顾及拓扑一致性的水系三维曲线化简方法。该方法首先对D-P算法进行三维扩展,实现水系中单条河流三维曲线化简,然后构建水系树结构表达其拓扑关系,最后按照水系树的层次顺序依次进行河流曲线化简和干流与支流的拓扑关系重构。试验结果表明,该方法化简精度高,既能保持水系的三维形态特征,又能保证河流交汇处的拓扑一致性。

三角函数化简与求值的四种常用方法

三角函数化简与求值的原则是“三看”:一看角,看各角之间的差异与联系,将角进行转化;二看函数名称,看函数名称之间的差异,确定使用的公式,如切化弦等;三看次数,看各项的次数之间的差异与联系,确定使用的公式,如降幂、升幂等。

聚焦三角函数化简与求值的“主角”

三角函数的化简与求值是三角函数中的一个常见题型,而“变角”是化简与求值的重要形式,是化简与求值的主角,其主要的变换方法有单角化复角、复角化单角、复角化复角。

有条件的分式化简与求值问题的解题策略

有条件的分式化简与求值问题,历来是中考的必考题型.本文结合几则典例,提出有条件的分式化简与求值问题的解题策略,以提高学生解题能力,提升学生数学素养.

初中阶段化简绝值的几种方法小结

著名数学家华罗庚说过:“数缺形时少直观,形少数时难入微;数形结合百般好,隔离分家万事休.”“数”与“形”作为数学问题中两个最主要的基本要素与研究对象,二者相互独立又紧紧相联,构建成一个和谐完美的统一体,相互融合,相互渗透,相互转化.本文给出初中阶段绝对值的几种化简方法,希望能够帮助学生们更好理解绝对值,化简绝对值.

代数式中“整式”与“分式”的化简求值方法探究

代数式是数学中常见的一类表示式,它由变量、常数和运算符组合而成.而整式和分式则是代数式的两种常见形式,整式是只包含有理数系数的代数式,它的各项之间通过加法和减法运算符连接;分式是含有分母的代数式,它的各项之间通过加法和减法运算符连接,但是可以存在除法运算.在代数式中,整式和分式常常需要进行化简和求值的操作,整式的化简和求值相对较简单,可以进行合并同类项、提取公因式等操作;分式的化简和求值则相对复杂,需要考虑分子和分母的因式分解、约分等操作.

以角的关系探索三角函数的化简求值

新课程标准在“四基”“四能”方面,对学生和教师都提出了更高的要求.学生每天都有一定的练习量,在课堂上有课堂作业,教师可能还布置相应的课外作业,目的只有一个,那就是要提高学生的“四能”,即发现问题和提出问题的能力,分析和解决问题的能力.在长期的教学实践中不断研究探索,发现寻找角的关系有助于探索三角函数的化简求值.

一种基于特征环的复杂网络结构化简方法

具有复杂连接关系的网难以进行结构分析和运行控制。基于特征环的网络化简方法,保持了原有网络的特性并有效降低了网络连接的复杂程度。网的研究基于单重有向图,在连接和路径概念的基础上,定义了环路径和复合环路径,进而引入了特征点和普通点的概念,并给出了单纯特征环和复合特征环的定义。给出了基于特征环的网结构化简原则和化简算法,结合实例对网络结构的化简进行了探讨。结果证明该方法可以有效化简复杂网络,但特征环的选择顺序不同时,网络化简的结果也可能不同。

逻辑函数的立体化简法及其实现

逻辑函数的"立体化简法"是在卡诺图化简法的思想基础上设计的一种新型逻辑函数化简方法。这种方法用逻辑函数立方体代替卡诺图,在三维立体空间进行逻辑函数的化简。卡诺图法可以方便地化简四个变量以内的逻辑函数,而立体化简法可以方便地化简六个变量以内的逻辑函数。使用CubeScape在线网站的功能可以方便地表示逻辑函数立方体,让学生直观地感受逻辑函数最小项的逻辑相邻关系,更好地理解立体化简法化简逻辑函数的原理。

利用卡诺图快速化简逻辑函数的方法

该文分析了利用卡诺图法化简逻辑函数的基本原理,并根据自己的教学实践,提出了快速画出逻辑函数的卡诺图及由卡诺图快速化简逻辑函数的方法。

一种新型逻辑函数化简方法——立体化简法

文章在卡诺图化简法的思想基础上设计了一种新型的逻辑函数化简方法——"立体化简法"。用逻辑函数立方体代替卡诺图来表示逻辑函数,在三维立体空间进行逻辑函数的化简,既保持了卡诺图化简法方便、直观、容易掌握的优点,又使得可以方便化简的逻辑函数变量增加至六个;如果采用达到卡诺图化简法五、六变量逻辑函数化简的难易程度的方法,可使化简的逻辑函数变量增加至九个。这种新型的逻辑化简方法使得五、六变量逻辑函数的化简变得非常简单、方便,也使得九变量以内的逻辑函数的化简变得直观、可行。

逻辑函数在布尔减-除-非代数系统中的标准展开式及其化简

布尔减、布尔除与非运算构成完备集.从与-或-非代数系统中的最小项、最大项展开式出发,推导了任意逻辑函数在减-除-非代数系统中的标准DOS(减之除)和标准SOD(除之减)展开式.在此基础上给出了DOS和SOD逻辑函数的代数化简法和图形化简法,给出的化简实例验证了上述化简方法的有效性.

晶体管放大电路等效网络化简分析法

运用电源化简定理,给出分析晶体管放大电路的网络化简分析法,并结合分析具体电路说明此等效网络化简分析法的优势所在.