检索结果-内蒙古大学图书馆

计算机学报 1997年第10期20卷 865-871页

作者：林闯国家信息中心信息科学研究所

本文提出一种随机Ｐｅｔｒｉ网（ＳＰＮ）的资源共享系统的模型，并给出了模型分解和子模型选代近似求解的两种方法：标识概率交换和平均标志个数交换．例子显示了这两种方法的有效性和相对误差．本文还证明了上述两种方法在固定点迭代... 详细信息

本文提出一种随机Ｐｅｔｒｉ网（ＳＰＮ）的资源共享系统的模型，并给出了模型分解和子模型选代近似求解的两种方法：标识概率交换和平均标志个数交换．例子显示了这两种方法的有效性和相对误差．本文还证明了上述两种方法在固定点迭代求解中，固定点解的存在．本文的复杂模型近似性能求解方法可以应用到很多复杂系统的性能分析中．

关键词：资源共享系统近似性能分析 Petri网

来源：评论

学校读者我要写书评

暂无评论

论债务政策、财政政策和货币政策的偏差协调

引用

经济学家 1990年第2期 16-25,128页

作者：秦海国家信息中心信息科学研究所

债务政策应作为宏观经济政策的一个独立分支与财政政策和货币政策并列,且与财政政策、货币政策共同发挥促进供给增长和抑制需求扩张的作用。债务政策的作用重点是改变总需求的形成结构和增长结构,不能与一定时期内的财政政策和货币政策... 详细信息

债务政策应作为宏观经济政策的一个独立分支与财政政策和货币政策并列,且与财政政策、货币政策共同发挥促进供给增长和抑制需求扩张的作用。债务政策的作用重点是改变总需求的形成结构和增长结构,不能与一定时期内的财政政策和货币政策相冲突,必须与这些宏观经济政策构成偏差性协调。

关键词：财政赤字宏观经济政策内债债务依存度宏观经济运行宏观经济活动财政政策与货币政策宏观经济环境通货膨胀信用风险

来源：评论

学校读者我要写书评

暂无评论

生产系统的Petri网模型

引用

自动化学报 1993年第3期19卷 290-299页

作者：陆维明林闯中国科学院数学研究所北京100080 国家信息中心信息科学研究所北京100045

本文提出了有消解过程的系统建模方法,并为随机模型建立了逐步精细原则,展示了系统性能分析的实例,探讨了建立外部监控模型的原理,研究了调控模型智能化问题,引入了用智能方法实现理想外部监控器的研究结果。

关键词： Petri 工厂自动化

来源：评论

学校读者我要写书评

暂无评论

基于案例推理系统的Petri网模型

引用

计算机学报 1994年第A期17卷 77-81页

作者：林闯国家信息中心信息科学研究所

在基于案例推理中，一个重要的问题就是如何在案例存储空间进行推演．本文中，我们提出了一个基于案例推理（ＣＢＲ）系统的Ｐｅｔｒｉ网模型，而且使用网论中的线性技术来解决基于案例的推演．

关键词：案例推理系统 Petri网人工智能

来源：评论

学校读者我要写书评

暂无评论

Petri网用于求解概率逻辑的近似可能世界矩阵

引用

计算机学报 1995年第1期18卷 1-8页

作者：林闯陆维明国家信息中心信息科学研究所中国科学院数学研究所

概率逻辑中的可能世界随着问题增长而指数性增长，使问题求解难以实现．Ｎｉｌｓ－ｓｏｎ提出了一种矩阵列产生方法［１］，可得到近似而规模小的矩阵，但他没有提出具体的算法．本文提出一种Ｐｅｔｒｉ网模型，可为Ｎｉｌｓｓｏｎ方法... 详细信息

概率逻辑中的可能世界随着问题增长而指数性增长，使问题求解难以实现．Ｎｉｌｓ－ｓｏｎ提出了一种矩阵列产生方法［１］，可得到近似而规模小的矩阵，但他没有提出具体的算法．本文提出一种Ｐｅｔｒｉ网模型，可为Ｎｉｌｓｓｏｎ方法的求解提供有效途径．

关键词：概率逻辑 Petri网矩阵算法

来源：评论

学校读者我要写书评

暂无评论

中加经贸合作项目数据库的开发

引用

数量经济技术经济研究 1995年第10期12卷 34-36页

作者：刘海宽国家信息中心信息科学与应用研究所

本项目的目标是采集和补充中、加两国现有的统计、经贸机构的贸易投资数据,建立便于用户使用的数据库,并在数据分析的基础上,向两国政府和企业界的决策人提供建议和对策。经过近一年的工作,在用户需求和数据源调查的基础上,中方已经采... 详细信息

本项目的目标是采集和补充中、加两国现有的统计、经贸机构的贸易投资数据,建立便于用户使用的数据库,并在数据分析的基础上,向两国政府和企业界的决策人提供建议和对策。经过近一年的工作,在用户需求和数据源调查的基础上,中方已经采集了海关、外经贸部和国家统计局的有关数据,并开发了中加双边贸易投资数据库的原型。

关键词：数据库经济合作贸易合作中国加拿大

来源：评论

学校读者我要写书评

暂无评论

Petri网用于Horn子句的逻辑推论

引用

软件学报 1993年第4期4卷 32-37页

作者：林闯国家信息中心信息科学与应用研究所北京100045

这篇论文探索了命题逻辑的Horn子句的Petri网模型,求解逻辑推论Petri网模型的T—不变量是求解逻辑推论的核心步骤,本文提供了计算T—不变量的算法,这些算法基于归约的思想,另外,在算法中利用单字母规则、纯字母规则和割裂规则可提高算... 详细信息

这篇论文探索了命题逻辑的Horn子句的Petri网模型,求解逻辑推论Petri网模型的T—不变量是求解逻辑推论的核心步骤,本文提供了计算T—不变量的算法,这些算法基于归约的思想,另外,在算法中利用单字母规则、纯字母规则和割裂规则可提高算法的速度和简化算法的复杂性。

关键词： Petri网 Horn子句逻辑推论

来源：评论

学校读者我要写书评

暂无评论

地球剖分网格的地形量化模型

引用

测绘学报 2016年第B12期45卷 152-158页

作者：孟丽程承旗陈东杨伟铭北京大学遥感与地理信息系统研究所北京100871 国家信息中心北京100045 后勤科学研究所北京100071

针对目前地形量化方法中,量化承载网格层级受限,且量化数据组织管理复杂的问题,提出了一种基于地球剖分网格的四边形网格的地形量化模型。该模型以GeoSOT地球剖分网格为支撑,通过GeoSOT网格编码实现了多层地形量化数据的关联、检索,为... 详细信息

针对目前地形量化方法中,量化承载网格层级受限,且量化数据组织管理复杂的问题,提出了一种基于地球剖分网格的四边形网格的地形量化模型。该模型以GeoSOT地球剖分网格为支撑,通过GeoSOT网格编码实现了多层地形量化数据的关联、检索,为矢量数据和规则格网数据的量化处理、组织与存储以及量化数据聚合问题提供了方法。

关键词：地形量化地球剖分网格 GeoSOT 数据聚合

来源：评论

学校读者我要写书评

暂无评论

概率逻辑可能世界的Petri网模型

引用

计算机学报 1994年第4期17卷 307-311页

作者：林闯陆维明国家信息中心信息科学研究所中国科学院数学研究所

本文研究概率逻辑中推导可能世界的Ｐｅｔｒｉ网模型．该模型为可能世界的产生提供有效算法．这个算法被证明是正确的，它可以产生所有的一致的可能世界．文章中还分析了算法的复杂性．通过同其它方法的比较可知：此Ｐｅｔｒｉ网模型是... 详细信息

本文研究概率逻辑中推导可能世界的Ｐｅｔｒｉ网模型．该模型为可能世界的产生提供有效算法．这个算法被证明是正确的，它可以产生所有的一致的可能世界．文章中还分析了算法的复杂性．通过同其它方法的比较可知：此Ｐｅｔｒｉ网模型是概率逻辑可能世界推导的简单、实用和图形化的工具．

关键词：概率逻辑 Petri网模型

来源：评论

学校读者我要写书评

暂无评论

推理维护系统的Petri网模型

引用

软件学报 1994年第11期5卷 23-30页

作者：林闯陆维明国家信息中心信息科学与应用研究所中国科学院数学研究所

本文为推理维护系统引入一种Ｐｅｔｒｉ网模型并对有限非单调理论应用Ｐｅｔｒｉ例分析方法．本文提议的模型不但能描述推理维护系统，而且可用网论与网技术分析推理维护．对于一组给定的非单调规则我们给出一个算法可求得其外延，我们... 详细信息

本文为推理维护系统引入一种Ｐｅｔｒｉ网模型并对有限非单调理论应用Ｐｅｔｒｉ例分析方法．本文提议的模型不但能描述推理维护系统，而且可用网论与网技术分析推理维护．对于一组给定的非单调规则我们给出一个算法可求得其外延，我们还给出一个算法可发现系统的不一致性．我们提出的寻找外延的算法要比现有的重构过程更有效，且它是可判定的．

关键词： Petri网推理维护系统非单调推理人工智能

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：