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

现代物理知识 1992年第3期 20-21页

作者：孙汉城何祚庥杜祥琬中国原子能科学研究院北京应用物理与计算数学研究所研究员研究员、学部委员中国科学院理论物理所

一、我国石油工业对国民经济作出了重大贡献.但我国石油资源并不很丰富.东部各大油田都已进入了中期或晚期,维持稳产已是十分艰巨的任务.新疆油田刚开发,形成可观的产量还有一个相当长的过程.“八五”计划中,我国石油产量的增长率远低... 详细信息

一、我国石油工业对国民经济作出了重大贡献.但我国石油资源并不很丰富.东部各大油田都已进入了中期或晚期,维持稳产已是十分艰巨的任务.新疆油田刚开发,形成可观的产量还有一个相当长的过程.“八五”计划中,我国石油产量的增长率远低于其他行业,“九五”也难改观.千方百计节约石油、天然气已刻

关键词：核供热堆投资工期设计院瑞典财政管理北欧油田矿物燃料矿床天然气混合气体

来源：评论

学校读者我要写书评

暂无评论

物联网服务建模:一种基于环境建模的方法

引用

中国科学：信息科学 2013年第10期43卷 1198-1218页

作者：李戈魏强李力行金芝许焱郑丽伟北京大学信息科学技术学院软件研究所北京100871 北京大学高可信软件技术教育部重点实验室北京100871 中国科学院数学与系统科学研究院北京100190 中国科学院大学北京100049 北京信息科技大学计算机学院北京100085

物联网服务是传统Web服务通过传感器网络向物理环境的延伸,它通过传感器网络感知物理环境中的实体,也向物理环境实体施加作用.与传统Web服务相比,由于物联网服务受到所依赖的物理环境的时间受限性、资源受限性和设备潜在故障概率的影响... 详细信息

物联网服务是传统Web服务通过传感器网络向物理环境的延伸,它通过传感器网络感知物理环境中的实体,也向物理环境实体施加作用.与传统Web服务相比,由于物联网服务受到所依赖的物理环境的时间受限性、资源受限性和设备潜在故障概率的影响,物联网服务的响应速度、服务能耗和容错能力等特性成为影响物联网系统整体特性的重要因素.因此,对物联网服务进行全面建模,对物联网服务所处的外部环境进行形式化描述,并结合物理环境模型对物联网服务的性质进行分析,对于确保物联网系统的正确性、稳定性非常必要.本文针对物联网服务的特点,结合基于环境建模的需求工程思想,提出一种基于环境的物联网服务三元问题域建模框架,给出了物联网服务建模本体以及相应的建模原则.在此基础上,提出了一种物联网服务行为建模方法,该方法将物联网服务和物理环境建模为概率时间自动机,将用户期望的服务特性描述为时序逻辑公式,为物联网服务功能行为正确性验证和非功能性约束可满足性验证奠定了基础.

关键词：物联网物联网服务环境建模服务建模本体服务建模过程

来源：评论

学校读者我要写书评

暂无评论

复杂约束条件下的无线资源优化:AI视角下的方法和洞察

引用

移动通信 2024年第7期48卷 73-79页

作者：李洋徐凡张纵辉刘亚锋深圳市大数据研究院广东深圳518172 鹏城实验室广东深圳518071 香港中文大学(深圳)理工学院广东深圳518172 中国科学院数学与系统科学研究院计算数学与科学/工程计算研究所科学与工程计算国家重点实验室北京100190

针对无线资源优化问题中普遍存在的复杂约束条件,详细梳理了各种基于AI的优化方法。尽管现有基于AI的优化方法在各种功率分配和波束赋形设计问题上取得了巨大成功,但大多数方法考虑的问题都仅仅配备较为简单的约束条件(例如功率预算约... 详细信息

针对无线资源优化问题中普遍存在的复杂约束条件,详细梳理了各种基于AI的优化方法。尽管现有基于AI的优化方法在各种功率分配和波束赋形设计问题上取得了巨大成功,但大多数方法考虑的问题都仅仅配备较为简单的约束条件(例如功率预算约束条件),这些约束条件可以通过简单的投影操作得到满足。然而,对于更为复杂的约束条件,例如非凸的服务质量约束条件,其优化变量和无线信道通常是耦合的,如何有效处理非凸耦合的约束条件仍然是一个较大挑战。针对复杂约束条件下的无线资源优化问题,将现有基于AI的优化方法分为三类:监督学习方法、惩罚学习方法和拉格朗日对偶方法,并对这三类方法的适用性和不足作了细致的分析。最后,提出了一种基于增广拉格朗日法的惩罚-对偶学习框架,通过交替训练两个独立的神经网络,分别用以推断原问题的解和相应的拉格朗日乘子。此外,将所提出的惩罚-对偶学习框架应用于两个典型的无线资源优化问题上,并通过仿真实验表明,所提出的惩罚-对偶学习框架在约束违反和计算时间方面,分别优于当前最先进的AI和传统优化方法。

关键词：无线资源优化学习优化非凸优化惩罚对偶复杂约束

来源：评论

学校读者我要写书评

暂无评论

多Agent部分有序计划的最优线性化方法

多Agent部分有序计划的最优线性化方法

引用

2003'全国软件与应用学术会议

作者：李颖金芝中国科学院计算技术研究所智能信息处理重点实验室(北京) 中国科学院数学与系统科学研究院(北京)

多Agent系统中由于拥有多个执行者,所以可以并发执行计划中的动作.充分发挥多Agent系统的并发性,以提高计划的执行效率,是多Agent计划的研究目的之一.部分有序计划方法是一种常用的计划方法.对于多Agent的部分有序计划而言,充分发挥多Ag... 详细信息

多Agent系统中由于拥有多个执行者,所以可以并发执行计划中的动作.充分发挥多Agent系统的并发性,以提高计划的执行效率,是多Agent计划的研究目的之一.部分有序计划方法是一种常用的计划方法.对于多Agent的部分有序计划而言,充分发挥多Agent的并行性将不仅取决于如何生成部分有序计划,同时也取决于如何对部分有序计划进行线性化.针对给定的多Agent的部分有序计划,本文给出了一种可以找到最优计划执行实例的线性化方法.

关键词：部分有序计划线性化 Agent系统软件工程并行性

来源：评论

学校读者我要写书评

暂无评论

一种新的基于环境本体的服务描述方法

一种新的基于环境本体的服务描述方法

引用

2008全国软件与应用学术会议(NASAC'08)

作者：蔡广军金芝中国科学院计算技术研究所北京 100190 中国科学院研究生院北京 100049 中国科学院计算技术研究所北京 100190 中国科学院数学与系统科学研究院北京 100190

服务描述在面向服务计算中的作用至关重要,描述不足是服务描述的主要问题。本文以环境本体为基础,提出了一种投影描述方法,定义了本方法描述所需信息及描述产生的结果,陈述了描述的步骤。本方法可以根据具体领域的需要来生成服务的描述... 详细信息

服务描述在面向服务计算中的作用至关重要,描述不足是服务描述的主要问题。本文以环境本体为基础,提出了一种投影描述方法,定义了本方法描述所需信息及描述产生的结果,陈述了描述的步骤。本方法可以根据具体领域的需要来生成服务的描述,不仅可以更确切有效地描述服务的效果,而且刻画了服务作用环境的特征。

关键词：服务描述环境本体面向服务计算

来源：评论

学校读者我要写书评

暂无评论

Web服务语义描述研究综述

Web服务语义描述研究综述

引用

2005’全国软件与应用学术会议(NASAC)

作者：王璞巍金芝中国科学院计算技术研究所北京100080 中国科学院研究生院北京100049 中国科学院计算技术研究所北京100080 中国科学院数学与系统科学研究院北京100080

随着Internet的普及和延伸,跨平台、跨语言和松耦合的Web服务技术应运而生.它将具有执行任务能力的资源封装成Internet上的Web服务,并通过发布其形式化描述使服务能被外界发现和调用,因而服务描述是构建Web服务的基石.语义Web服务是Web... 详细信息

随着Internet的普及和延伸,跨平台、跨语言和松耦合的Web服务技术应运而生.它将具有执行任务能力的资源封装成Internet上的Web服务,并通过发布其形式化描述使服务能被外界发现和调用,因而服务描述是构建Web服务的基石.语义Web服务是Web服务的发展方向,实现这发展方向的落脚点则是赋予服务描述足够的语义信息.本文将Web服务的语义划分为静态和动态两个层次,并根据这两个层次综述了基于本体描述语言、逻辑语言和过程模型的服务语义描述方法.最后对比分析了这忖些研究成果,并展望了服务语义描述研究的未来前景.

关键词： Web服务语义描述本体描述语言逻辑语言过程模型

来源：评论

学校读者我要写书评

暂无评论

Petri网共享子网合成活性分析

Petri网共享子网合成活性分析

引用

第十次全国Petri网学术年会暨形式化方法学术讨论会

作者：夏传良焦莉陆维明中国科学院数学与系统科学研究院计算机科学研究室北京100080 中国科学院软件所计算机科学重点实验室北京100080

为解决子系统共享问题,提出了经由Petri网系统共享一种子网构成共享子网合成网的解决方案;给出了一种关于Petri网的从抽象化到精细化描述方法,它是使合成网保持原网性质的一种关键技术.研究了共享子网合成网的性质,提出了共享子网合成... 详细信息

为解决子系统共享问题,提出了经由Petri网系统共享一种子网构成共享子网合成网的解决方案;给出了一种关于Petri网的从抽象化到精细化描述方法,它是使合成网保持原网性质的一种关键技术.研究了共享子网合成网的性质,提出了共享子网合成网保持有界性和活性的充分条件或充要条件;目前存在的合成方法大多对状态机、标识图或非对称选择网(AC)等进行合成,用于解决资源共享问题,而本文的方法可对一般的Petri网进行合成,解决子系统共享问题.本文的结果可为Petri网系统合成性质的考察提供有效途径,为Petri网复杂大系统的分析提供重要手段.

关键词： Petri网合成活性有界活性复杂大系统

来源：评论

学校读者我要写书评

暂无评论

k/N:G冗余表决系统的渐近稳定性(英文)

引用

应用泛函分析学报 2004年第3期6卷 209-219页

作者：徐厚宝郭卫华于景元朱广田北京信息控制研究所北京100037 郑州轻工业学院信息与计算科学系河南郑州450002 中国科学院数学与系统科学研究院北京100080

　分析了带有修理设备和多重致命及非致命操作故障的k/N(G)冗余表决系统的渐近稳定性.用该系统算子生成的正定C0-半群证明了系统非负时间依赖解的存在唯一性.同时通过对系统算子谱点分布的分析,证明了本征值0对应的本征向量恰好是系统... 详细信息

　分析了带有修理设备和多重致命及非致命操作故障的k/N(G)冗余表决系统的渐近稳定性.用该系统算子生成的正定C0-半群证明了系统非负时间依赖解的存在唯一性.同时通过对系统算子谱点分布的分析,证明了本征值0对应的本征向量恰好是系统的静态解,并且,0是虚轴上系统算子唯一的谱点,从而证明了系统的渐近稳定性.

关键词：渐近稳定性证明 C-半群解的存在唯一性算子谱表决系统正定冗余操作故障

来源：评论

学校读者我要写书评

暂无评论

LSSC-Ⅲ集群的作业调度与系统管理

LSSC-Ⅲ集群的作业调度与系统管理

引用

首届中国科学院超级计算应用大会(SCA2011)

作者： Qian Ying 钱莹 Cui Tao 崔涛 State Key Laboratory of Scientific and Engineering Computing Beijing 100190 China Institute of Com 科学与工程计算国家重点实验室北京 100190 中国科学院数学与系统科学研究院计算数学与科学工程计算研究所北京 100190

“科学与工程计算国家重点实验室”(LSEC)的三号集群LSSC-Ⅲ,于2010年3月建成并投入使用。在总结了实验室前两套PC机群的作业调度与系统管理经验的基础上,我们开发了一系列基于OpenPBS和Maui的适应于科学计算Linux集群用户的作业提交、... 详细信息

“科学与工程计算国家重点实验室”(LSEC)的三号集群LSSC-Ⅲ,于2010年3月建成并投入使用。在总结了实验室前两套PC机群的作业调度与系统管理经验的基础上,我们开发了一系列基于OpenPBS和Maui的适应于科学计算Linux集群用户的作业提交、调度与系统管理脚本。本文详细介绍了LSSC-Ⅲ的作业调度与系统管理方案,以期能为中小规模集群(结点数在1 024个以内)用户提供一套稳定、高效且易用的作业调度与系统管理解决方案。

关键词：计算机集群系统作业调度系统管理

来源：评论

学校读者我要写书评

暂无评论

3维11元线性码的重量谱

3维11元线性码的重量谱

引用

中国电子学会第十六届信息论学术年会

作者：汪政红佘伟陈文德中南民族大学计算机科学学院应用数学研究所中国科学院数学与系统科学研究院信息安全中心

本文将[4]提出的结构4应用于不满足链条件的3维11元线性码,还剩13类未知序列。本文运用有限射影几何的方法,提出了一种新的交点赋零结构,最终确定了这13类未知序列对应的重量谱,从而得到了不满足链条件的3维11元线性码全部可能的重量谱。

关键词：重量谱链条件差序列交点赋零结构

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：