检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

基于网格分割的带纹理模型细节保持化简方法

计算机辅助设计与图形学学报 2010年第12期22卷 2111-2118页

作者：薛冰王莉莉沈哲北京航空航天大学计算机学院虚拟现实技术与系统国家重点实验室北京100191

针对带纹理模型化简过程容易造成细节丢失的问题,提出一种基于网格分割的化简方法.在预处理过程中,根据模型的纹理、法线等外观属性将几何模型划分为若干子网格,使子网格之间的相关性降低,并在子网格内部执行边折叠化简操作,最后将化简... 详细信息

针对带纹理模型化简过程容易造成细节丢失的问题,提出一种基于网格分割的化简方法.在预处理过程中,根据模型的纹理、法线等外观属性将几何模型划分为若干子网格,使子网格之间的相关性降低,并在子网格内部执行边折叠化简操作,最后将化简后的结果合并并进行补缝处理,形成完整的化简模型.由于采用了外观属性信息对模型的高频部分加以分离,减少了细节区域的信息丢失,使得在保持模型轮廓的同时较好地保持了模型的几何细节和外观属性.实验结果表明,文中方法是有效的.

关键词：模型化简网格分割细节保持

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

在线全文

学校读者我要写书评

暂无评论

电子学报 2002年第8期30卷 1134-1137页

作者：田立勤林闯周文江清华大学计算机科学与技术系北京100084

随机Petri网的状态空间爆炸问题的研究始终是Petri网研究的主要问题之一 .在随机Petri网模型中 ,变迁的串、并联是Petri网模型的主要基本形式 ,对它的化简不仅有助于解决随机Petri网状态空间的爆炸问题 ,而且也为其他随机Petri网的化简... 详细信息

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

关键词：随机Petri网模型化简串联并联变迁化简性能等价方程 SPN

在线全文

学校读者我要写书评

暂无评论

基于Petri网化简方法的工作流模型验证

信息与控制 2001年第6期30卷 492-497页

作者：李建强范玉顺清华大学自动化系北京100084

经营过程的建模、分析与优化是支持企业经营过程重组 (BPR)的重要基础 ,行之有效的模型分析方法是成功进行模型分析的重要的关键技术问题 .在深入分析了经营过程工作流模型特点的基础上 ,本文提出了一种基于 Petri网图形化简规则的业务... 详细信息

经营过程的建模、分析与优化是支持企业经营过程重组 (BPR)的重要基础 ,行之有效的模型分析方法是成功进行模型分析的重要的关键技术问题 .在深入分析了经营过程工作流模型特点的基础上 ,本文提出了一种基于 Petri网图形化简规则的业务过程模型分析与验证方法 ,证明了所提出这套化简规则的完备性和多项式时间的复杂性 .

关键词：经营过程重组工作流分析 Petri网模型化简 BPR 企业

基于Petri网化简技术的工作流过程模型结构验证

在线全文

学校读者我要写书评

暂无评论

计算机技术与发展 2009年第6期19卷 51-54,57页

作者：徐晶明杜宝珠北京理工大学研究生学院北京100081

目前,工作流系统向大型化发展,这使得基于可达图的验证技术在对大型模型进行验证时面临着状态空间爆炸的问题。因此,在过程验证之前,对大型模型进行化简是必要的。文中介绍两种化简规则。这些规则将一个大的Petri网化简为更小的Petri网... 详细信息

目前,工作流系统向大型化发展,这使得基于可达图的验证技术在对大型模型进行验证时面临着状态空间爆炸的问题。因此,在过程验证之前,对大型模型进行化简是必要的。文中介绍两种化简规则。这些规则将一个大的Petri网化简为更小的Petri网,同时保持合理性属性,保证化简后的Petri网和原有的Petri网具有相同的属性。介绍了Petri网、Workflow Petri网和过程合理性定义;讨论了针对Petri网的两种化简技术;提出了工作流过程模型结构合理性验证过程。

关键词： Petri网工作流合理性模型化简

基于Petri网化简技术的工作流模型合理性验证

在线全文

学校读者我要写书评

暂无评论

微计算机信息 2009年第15期25卷 219-221页

作者：赵军富靳荣马胜梅刘玉平内蒙古科技大学实践训练中心内蒙古包头014010

随着工作流系统趋于大型化,使得可达图的验证技术对于大型模型进行验证时面临着状态空间爆炸的问题。因此,在过程验证之前,对大型模型进行化简是必要的。本文通过引入Petri网、Workflow Petri网和过程合理性定义,采用Petri网的两种化简... 详细信息

随着工作流系统趋于大型化,使得可达图的验证技术对于大型模型进行验证时面临着状态空间爆炸的问题。因此,在过程验证之前,对大型模型进行化简是必要的。本文通过引入Petri网、Workflow Petri网和过程合理性定义,采用Petri网的两种化简技术,实现了工作流过程模型结构合理性验证过程。

关键词： Petri网工作流合理性模型化简

变结构条件下智能配电软开关暂态快速仿真方法

在线全文

学校读者我要写书评

暂无评论

电网技术 2018年第7期42卷 2279-2285页

作者：王天昊李鹏于浩宋毅王成山智能电网教育部重点实验室(天津大学) 天津市南开区300072 国网天津市电力公司检修公司天津市河北区300230 国网经济技术研究院有限公司北京市昌平区102209

智能软开关（soft open point,SOP）对配电系统运行经济性、灵活性和可靠性的提升具有重要作用。为了更好地研究SOP在系统各种扰动下的动态行为特征,建立了考虑各种控制策略的SOP详细暂态仿真模型,采用基于Krylov子空间的模型降维化简（... 详细信息

智能软开关（soft open point,SOP）对配电系统运行经济性、灵活性和可靠性的提升具有重要作用。为了更好地研究SOP在系统各种扰动下的动态行为特征,建立了考虑各种控制策略的SOP详细暂态仿真模型,采用基于Krylov子空间的模型降维化简（model order reduction,MOR）方法以提升配电系统的仿真计算效率,并提出新的算法将MOR方法用于变结构配电网络,使其能在多场景下对SOP进行分析。通过IEEE 123算例测试证明,该文方法能够在保证可接受的仿真精度前提下,有效降低整体模型规模,提升仿真计算效率,并满足各种外部扰动场景下的SOP暂态快速仿真分析需求。

关键词： Krylov子空间模型化简智能软开关暂态仿真

在线全文

学校读者我要写书评

暂无评论

基于AMESim模型的实时化简

航空计算技术 2012年第4期42卷 72-76页

作者：王骥超郭迎清西北工业大学动力与能源学院陕西西安710072

针对航空发动机主燃油液压机械系统搭建的高保真模型无法进行实时仿真的问题,提出用活性能量指数配合线性频域分析的方法,分析化简已有的液压机械系统模型。通过计算模型中各个子元件的能量活性指数并结合线性频域分析,判断出其中能量... 详细信息

针对航空发动机主燃油液压机械系统搭建的高保真模型无法进行实时仿真的问题,提出用活性能量指数配合线性频域分析的方法,分析化简已有的液压机械系统模型。通过计算模型中各个子元件的能量活性指数并结合线性频域分析,判断出其中能量活性指数低且固有频率远高于控制系统关注频带的子模型,并对其删除或修改,实现对原有模型的化简,以满足实时仿真需求。利用航空发动机实时仿真平台试验仿真结果表明,修改后的模型在保证精度的前提下,不仅缩短了仿真的时间而且满足了实时仿真的要求。

关键词： AMESim 模型化简活性指数频域分析主燃油控制系统

基于随机Petri网的工作流服务时间的等价计算方法

在线全文

学校读者我要写书评

暂无评论

系统仿真学报 2005年第z1期17卷 110-113页

作者：田立勤陈福明北京科技大学计算机系北京100083 华北科技学院计算机系北京101601 中国地质大学(北京)信息工程学院北京100083

工作流模型的性能研究越来越受到人们的重视[1-4],随机Petri网易于描述分布、并发和异步等特征,加上它具有坚实的数学分析基础,在工作流的模型中独具鳌头.但随机Petri网在表示实际工作流模型时常常会出现状态空间爆炸的问题,所以如何得... 详细信息

工作流模型的性能研究越来越受到人们的重视[1-4],随机Petri网易于描述分布、并发和异步等特征,加上它具有坚实的数学分析基础,在工作流的模型中独具鳌头.但随机Petri网在表示实际工作流模型时常常会出现状态空间爆炸的问题,所以如何得到一个与原模型等价的、紧凑的模型一直是研究模型的重要内容之一.从简单的由两个模块组成的基于随机Petri模型的工作流系统分析开始,论述了如何计算化简后的、与原工作流基本模型等价的服务时间的概率密度.有了概率密度就很容易计算它的期望值、方差等随机变量的数字特征,这就为求化简后的工作流模型的等价性能打下理论基础.由于这些公式具有通用性,所以只要根据工作流实际情况确定模块服务时间的概率分布(如指数分布),就可以求出与该类工作流模型等价的服务时间了.最后以工作流模块服从指数分布为例,利用上面得出的公式计算出了这类工作流的等价概率密度和服务时间,进而简化了模型,同时本文的结果也为实际模型的性能等价化简奠定了坚实的理论基础.

关键词：工作流基本模型模型化简等价概率密度随机Petri网

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

时间贝叶斯网络及其概率推理

管理科学学报 2007年第2期10卷 12-18页

作者：蒋国萍陈英武国防科技大学信息系统与管理学院管理系长沙410073

针对贝叶斯网络应用中出现的循环和动态问题,研究贝叶斯网络的时间扩展.给出了时间贝叶斯网络的定义;探讨了时间贝叶斯网络中环的存在合理性判断问题;给出了时间贝叶斯网络的概率推理算法,应用示例说明了方法的可行性.

关键词：贝叶斯网络动态概率推理模型化简