咨询与建议
  • 全部搜索
  • 期刊论文
  • 图书
  • 学位论文
  • 标准
  • 纸本馆藏
  • 外文资源发现
  • 数据库导航
  • 超星发现
高级检索

限定检索结果

文献类型

  • 25 篇 期刊文献
  • 6 件 标准
  • 2 篇 会议
  • 2 篇 成果

馆藏范围

  • 35 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 21 篇 工学
    • 13 篇 计算机科学与技术...
    • 7 篇 控制科学与工程
    • 4 篇 软件工程
    • 3 篇 测绘科学与技术
    • 2 篇 地质资源与地质工...
    • 1 篇 环境科学与工程（可...
    • 1 篇 公安技术
    • 1 篇 网络空间安全
  • 9 篇 管理学
    • 9 篇 管理科学与工程(可...
    • 1 篇 工商管理
  • 7 篇 理学
    • 3 篇 系统科学
    • 2 篇 数学
    • 2 篇 地理学
    • 1 篇 地球物理学
    • 1 篇 统计学（可授理学、...
  • 6 篇 经济学
    • 3 篇 理论经济学
    • 3 篇 应用经济学
  • 2 篇 法学
    • 1 篇 政治学
    • 1 篇 社会学

主题

  • 9 篇 petri网
  • 3 篇 人工智能
  • 2 篇 反通货膨胀
  • 2 篇 算法
  • 2 篇 计算机网络
  • 2 篇 概率逻辑
  • 2 篇 数据库
  • 2 篇 宏观经济政策
  • 2 篇 通货膨胀
  • 2 篇 政策选择
  • 1 篇 整顿经济秩序
  • 1 篇 经济学界
  • 1 篇 资源共享系统
  • 1 篇 变量隐藏抽象
  • 1 篇 信息基础设施
  • 1 篇 推理维护系统
  • 1 篇 hypervisor安全
  • 1 篇 地理信息系统
  • 1 篇 超大规模地形场景
  • 1 篇 投资需求

机构

  • 8 篇 国家信息中心
  • 8 篇 国家信息中心信息...
  • 6 篇 国家信息中心信息...
  • 5 篇 中国电子技术标准...
  • 4 篇 中国科学院数学研...
  • 3 篇 联想有限公司
  • 3 篇 北京奇虎科技有限...
  • 3 篇 华为技术有限公司
  • 3 篇 中电长城网际系统...
  • 3 篇 中国科学院软件研...
  • 3 篇 中国软件评测中心
  • 3 篇 中国科学院信息工...
  • 3 篇 北京天融信网络安...
  • 2 篇 北京赛西科技发展...
  • 2 篇 中国科学院遥感应...
  • 2 篇 阿里云计算有限公...
  • 2 篇 工业和信息化部电...
  • 2 篇 中国信息安全测评...
  • 2 篇 中国网络安全审查...
  • 2 篇 国家保密科技测评...

作者

  • 11 篇 林闯
  • 7 篇 陆维明
  • 4 篇 秦海
  • 3 篇 闵京华
  • 3 篇 李汝鑫
  • 3 篇 徐枫
  • 3 篇 刘蓓
  • 2 篇 阎守邕
  • 2 篇 李岩
  • 2 篇 干露
  • 2 篇 王强
  • 2 篇 王桥
  • 2 篇 舒敏
  • 2 篇 刘海宽
  • 2 篇 高亚楠
  • 2 篇 郭永振
  • 2 篇 刘贤刚
  • 2 篇 樊洞阳
  • 2 篇 刘亚岚
  • 2 篇 张屹

语言

  • 35 篇 中文
检索条件"机构=国家信息中心信息科学与应用研究所"
共 35 条 记 录，以下是1-10 订阅
全选 清除本页 清除全部 题录导出 标记到"检索档案"
详细 简洁
排序：
中加经贸合作项目数据库的开发
收藏
分享
引用
数量经济技术经济研究 1995年 第10期12卷 34-36页
作者： 刘海宽 国家信息中心信息科学与应用研究所
本项目的目标是采集和补充中、加两国现有的统计、经贸机构的贸易投资数据,建立便于用户使用的数据库,并在数据分析的基础上,向两国政府和企业界的决策人提供建议和对策。 经过近一年的工作,在用户需求和数据源调查的基础上,中方已经采... 详细信息
来源： 评论
Petri网用于Horn子句的逻辑推论
收藏
分享
引用
软件学报 1993年 第4期4卷 32-37页
作者： 林闯 国家信息中心信息科学与应用研究所 北京100045
这篇论文探索了命题逻辑的Horn子句的Petri网模型,求解逻辑推论Petri网模型的T—不变量是求解逻辑推论的核心步骤,本文提供了计算T—不变量的算法,这些算法基于归约的思想,另外,在算法中利用单字母规则、纯字母规则和割裂规则可提高算... 详细信息
来源： 评论
一种资源共享系统的模型和近似性能分析
收藏
分享
引用
计算机学报 1997年 第10期20卷 865-871页
作者： 林闯 国家信息中心信息科学研究所
本文提出一种随机Ｐｅｔｒｉ网（ＳＰＮ）的资源共享系统的模型，并给出了模型分解和子模型选代近似求解的两种方法：标识概率交换和平均标志个数交换．例子显示了这两种方法的有效性和相对误差．本文还证明了上述两种方法在固定点迭代... 详细信息
来源： 评论
论债务政策、财政政策和货币政策的偏差协调
收藏
分享
引用
经济学家 1990年 第2期 16-25,128页
作者： 秦海 国家信息中心信息科学研究所
债务政策应作为宏观经济政策的一个独立分支与财政政策和货币政策并列,且与财政政策、货币政策共同发挥促进供给增长和抑制需求扩张的作用。债务政策的作用重点是改变总需求的形成结构和增长结构,不能与一定时期内的财政政策和货币政策... 详细信息
来源： 评论
推理维护系统的Petri网模型
收藏
分享
引用
软件学报 1994年 第11期5卷 23-30页
作者： 林闯 陆维明 国家信息中心信息科学与应用研究所 中国科学院数学研究所
本文为推理维护系统引入一种Ｐｅｔｒｉ网模型并对有限非单调理论应用Ｐｅｔｒｉ例分析方法．本文提议的模型不但能描述推理维护系统，而且可用网论与网技术分析推理维护．对于一组给定的非单调规则我们给出一个算法可求得其外延，我们... 详细信息
来源： 评论
生产系统的Petri网模型
收藏
分享
引用
自动化学报 1993年 第3期19卷 290-299页
作者： 陆维明 林闯 中国科学院数学研究所 北京100080 国家信息中心信息科学研究所 北京100045
本文提出了有消解过程的系统建模方法,并为随机模型建立了逐步精细原则,展示了系统性能分析的实例,探讨了建立外部监控模型的原理,研究了调控模型智能化问题,引入了用智能方法实现理想外部监控器的研究结果。
来源： 评论
基于案例推理系统的Petri网模型
收藏
分享
引用
计算机学报 1994年 第A期17卷 77-81页
作者： 林闯 国家信息中心信息科学研究所
在基于案例推理中，一个重要的问题就是如何在案例存储空间进行推演．本文中，我们提出了一个基于案例推理（ＣＢＲ）系统的Ｐｅｔｒｉ网模型，而且使用网论中的线性技术来解决基于案例的推演．
来源： 评论
一种生成具有变量标识的高级Petri网可达树的算法
收藏
分享
引用
计算机学报 1991年 第8期14卷 596-604页
作者： 林闯 张彤 国家信息中心信息科学与应用研究所 北京100045 中国科学院软件研究所 北京100080
Petri网动态性质的考察一般基于网不变量(Net Invariants)和可达树(Reachability Tree).这两个概念已被扩展到高级Petri网中.高级Petri网可达集空间随着网的复杂性而指数性增长是计算可达树问题中的一个主要难 点.本文定义了具有变量标... 详细信息
来源： 评论
Petri网研究:机遇与挑战
收藏
分享
引用
计算机科学 1994年 第4期21卷 1-5页
作者： 陆维明 林闯 中国科学院数学研究所 北京100080 国家信息中心信息科学与应用研究所
本文是文[2]的姐妹篇,以国际动态为背景展示研究工作可以取得成就的方面,也试图就她面临的难点进行建设性的讨论。
来源： 评论
Petri网用于表示知识
收藏
分享
引用
计算机学报 1992年 第1期15卷 1-16页
作者： 林闯 陆维明 国家信息中心信息科学与应用研究所 北京100045 中国科学院数学研究所 北京100080
本文研究了各种级别Petri网与模态逻辑之间的关系.Petri网的Enlogy是研究这些关系的基础.状况(case)和可达(Reachability)概念已经成功地用于以条件/事件(Condition/Event,简称C/E)网作知识表示.本文引用上述两个概念,使位置/变迁(Place... 详细信息
来源： 评论
全选 清除本页 清除全部 题录导出 标记到“检索档案”
共4页 <<  < 1 2 3 4 >  >>
回到顶部
执行限定条件