检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

约束弧等离子体制备镍纳米粉体及磁学性质

稀有金属快报 2007年第6期26卷 30-33页

作者：闫志巾吴治国闫鹏勋西安理工大学陕西西安710054 兰州大学甘肃兰州730000

采用约束弧等离子体方法成功制备出了高纯Ni纳米粉体,运用X射线衍射(XRD)、透射电子显微镜(TEM)和振动样品磁强计(VSM)对样品的结构、形貌和磁学性质进行了表征。研究了工艺条件对电弧状态和粉体形貌的影响,实验结果表明,约束弧等离子... 详细信息

采用约束弧等离子体方法成功制备出了高纯Ni纳米粉体,运用X射线衍射(XRD)、透射电子显微镜(TEM)和振动样品磁强计(VSM)对样品的结构、形貌和磁学性质进行了表征。研究了工艺条件对电弧状态和粉体形貌的影响,实验结果表明,约束弧等离子方法能制备出纯净的Ni纳米粉体,并能有效控制粒子的粒径,粉体的比饱和磁化强度低于块体,矫顽力高于块体,饱和磁化强度和矫顽力均随着颗粒度的减小而降低。

关键词：镍纳米粉约束弧等离子体

在线全文

学校读者我要写书评

暂无评论

库所组合有色网-一种新型的有色网

系统仿真学报 2005年第z1期17卷 30-37,43页

作者：霍金健袁崇义屈婉玲北京大学信息科学学院计算机科学技术系北京100871 北京大学信息科学学院计算机科学技术系北京100871 北京大学信息科学学院计算机科学技术系北京100871

为了解决用Petri网描述复杂系统时出现的"节点爆炸"问题,本文提出了四种特殊的弧:约束弧、柔性弧、组合弧和因果弧.库所组合有色网就是在有色网的基础上添加这四种特殊的弧得到的,这种网系统并没有增加描述能力,但在描述具有组合效果的... 详细信息

为了解决用Petri网描述复杂系统时出现的"节点爆炸"问题,本文提出了四种特殊的弧:约束弧、柔性弧、组合弧和因果弧.库所组合有色网就是在有色网的基础上添加这四种特殊的弧得到的,这种网系统并没有增加描述能力,但在描述具有组合效果的系统时具有强大的先天优势.本文通过为电梯控制系统建模示例了这四种弧为简化模型带来的便捷之处.

关键词： Petri网约束弧柔性弧组合弧因果弧

基于Petri网IP网QoS策略控制方法建模

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

计算机仿真 2010年第7期27卷 99-101,111页

作者：宋婷禹贵州师范学院数学与计算机科学学院贵州贵阳550018

研究网络中多种业务对QoS要求日益提高与网络资源矛盾愈发突出导致的QoS高效控制策略机制模型建立的问题。针对目前QoS策略控制系统运行效率相对较低的现状,提出了一种基于Petri网的控制策略机制模型。该模型具有良好的可移植性,将其应... 详细信息

研究网络中多种业务对QoS要求日益提高与网络资源矛盾愈发突出导致的QoS高效控制策略机制模型建立的问题。针对目前QoS策略控制系统运行效率相对较低的现状,提出了一种基于Petri网的控制策略机制模型。该模型具有良好的可移植性,将其应用到IP网QoS策略控制的建模中,可以建立一种快速、高效的QoS控制策略系统模型。经过数学推导和Petri网的机制理论验证得出,该模型是一种高效的QoS策略控制系统模型,其准确清晰,直观易懂,对IP网的QoS策略控制机制建立有实际指导意义。

关键词：服务质量策略约束弧策略控制过程

在线全文

学校读者我要写书评

暂无评论

基于Petri网的工作流模型研究

基于Petri网的工作流模型研究

作者：李瑞翔中央民族大学

学位级别：硕士

自从人类进入工业信息化时代以来,面对市场需求变化加快,全球竞争日益激烈,顾客要求的个性化和定制化越来越复杂,如何完成企业过程的组织管理和流程优化成为企业发展面临过程中的一个问题。工作流的出现为整合企业复杂信息环境、实现业... 详细信息

自从人类进入工业信息化时代以来,面对市场需求变化加快,全球竞争日益激烈,顾客要求的个性化和定制化越来越复杂,如何完成企业过程的组织管理和流程优化成为企业发展面临过程中的一个问题。工作流的出现为整合企业复杂信息环境、实现业务流程自动执行提供了解决方案。工作流是一个业务过程的全部或部分自动执行,为了实现工作流管理功能,我们必须将业务过程从现实世界中抽象出来,并用一种形式化方法对其进行描述,其结果称为是工作流模型。工作流模型在建立完成后,应先对模型的正确性进行验证,保证工作流可以实现预期的业务目标,获得相关的性能指标,发现模型是否存在死锁、瓶颈以及冗余部分,进而修改模型使其达到最优性能。模型的正确性验证和性能评价是工作流模型当前研究的热点和难点。Petri网系统是一种适合于描述异步并发现象的模型,不仅具有直观的图形化优势同时还具有成熟的理论基础和分析技术,因此用Petri网对工作流技术进行建模和分析具有很重要的意义。本文主要研究基于Petri网的工作流业务模型及其正确性和性能验证。在建模方面,首先分析了经典Petri网和时间Petri网的理论知识并介绍相关概念,随后着重分析了工作流和工作流模型并给出了参考模型,罗列出建模的相关方法,最后将约束弧和测试弧引入Petri网模型中且将时间Petri网进行扩展形成约束组合时间Petri网,并结合资产信息管理系统给出相应的业务模型。在模型的正确性方面提出了验证算法并对模型示例进行了验证,在模型的性能方面着重分析了模型的时间性能,对工作流的四种结构模型：顺序结构、并行结构、选择结构和循环结构进行时间性能分析并结合这些分析技术分析了模型实例的时间性能。

关键词：工作流工作流网 Petri网时间Petri网约束弧

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

全定制宏模块精确时序建模方法研究与实现

全定制宏模块精确时序建模方法研究与实现

作者：董盟盟国防科学技术大学

学位级别：硕士

随着电路集成度与复杂性的不断提高，高性能处理器采用半定制/全定制混合设计。对于半定制/全定制混合设计流程中的全定制非标准单元，为了将其融入到半定制流程中需要人工建立模块的时序模型。目前全定制模块的时序建模工作主要依靠半... 详细信息

随着电路集成度与复杂性的不断提高，高性能处理器采用半定制/全定制混合设计。对于半定制/全定制混合设计流程中的全定制非标准单元，为了将其融入到半定制流程中需要人工建立模块的时序模型。目前全定制模块的时序建模工作主要依靠半自动流程，人工分析模块详细路径，提取针对各种不同时序路径的SPICE激励波形。这不但费时费力，而且由于人工参与过多而导致可靠性不够。本文在详细研究时序建模相关知识的基础上，系统的讨论了如何精确而又快速的完成深亚微米工艺条件下复杂全定制模块的时序建模工作。本文主要工作和研究成果包括：设计实现了全定制宏模块二分法时序建模方法并开发工具DICHO。DICHO将建模工作分为三部分：约束弧建模主要体现了二分法的思想，首先根据用户提供的激励文件查找合适的区间值，然后在区间内使用二分法思想提取约束值;延时弧建模采用动态模拟，自动测量延时的思想设计实现;功耗建模采用动态模拟直接引用仿真工具测得功耗值，对所有采样点进行测量。该方法不需要了解电路模块内部设计，只需提供简单激励波形，修改相应工艺拐角配置文件即可提取模块时序模型。为了保证提取时序模型的准确性，本文研究了时序库文件反向验证方法LIBeri的设计。库文件中时序的准确性需要通过程序设计将信号时序约束信息反向加载到仿真环境的激励文件中，并判断仿真结果是否正确来检查库文件时序信息的准确性，并修改对库文件中不准确的时序信息。 YHFTX微处理器和FTX处理器都是高性能微处理器，采用半定制/全定制混合设计。使用本文设计的时序建模方法完成了YHFTX和FTX微处理器中全定制模块的时序建模以及验证工作，主要包括：两个寄存器文件和五个存储器模块。以上研究成果从时序建模工作到时序反向验证的自动化流程实现，大大减小了人工时序建模工作的复杂度，避免了人为误差，提高了建模的效率和精度。在实际工程应用中取得了较好的成果。

关键词：时序建模二分法约束弧延时弧 LIB验证

基于扩展Petri网的城市交通信号控制研究

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

成都信息工程学院学报 2009年第3期24卷 244-249页

作者：部昱晖李东琦马健西南交通大学信息科学与技术学院四川成都610031 安阳师范学院计算机与信息工程学院河南安阳455000

通过一种时间扩展的带有约束弧的Petri网,对城市十字路口交通信号控制系统进行模型的建立。将路口流向分为离散的6相位,并分别设定其延时,以保证各个方向的车辆及行人安全。最后对模型进行正确性分析及验证。

关键词：时间扩展约束弧 Petri网相位

在线全文

学校读者我要写书评

暂无评论

全定制宏模块LIB自动化提取技术

全定制宏模块LIB自动化提取技术

第十七届计算机工程与工艺年会暨第三届微处理器技术论坛

作者：吕灵慧李振涛赵振宇国防科技大学计算机学院

本文介绍了全定制宏模块时序视图的自动化提取技术——Auto-LIB,包括对功耗和时序弧的提取。时序弧主要分为延时弧和约束弧两类,为使时序建模更加精确,在提取约束孤时,引用了二分法原理。通过循环二分及功能对比,得到最终的约束弧,这也... 详细信息

本文介绍了全定制宏模块时序视图的自动化提取技术——Auto-LIB,包括对功耗和时序弧的提取。时序弧主要分为延时弧和约束弧两类,为使时序建模更加精确,在提取约束孤时,引用了二分法原理。通过循环二分及功能对比,得到最终的约束弧,这也是Auto-LIB最核心的部分。软件支持为linux系统下的XA或NanoSim模拟工具。结合脚本语言Perl和Shell实现了程序的自动化,使得模拟过程快速,顺利进行,最终得到精确的时序结果。

关键词：全定制自动化 Auto-LIB 时序弧约束弧二分法

来源： cnki会议评论

在线全文

cnki会议

学校读者我要写书评

暂无评论

全定制宏模块时序建模自动化

全定制宏模块时序建模自动化