检索结果-南通市图书馆

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

中国高放废物地质处置21世纪进展

原子能科学技术 2019年第10期53卷 2072-2082页

作者：王驹核工业北京地质研究院中核高放废物地质处置评价技术重点实验室

21世纪近20年,我国高放废物深地质处置进入了一稳步发展的新阶段,在法律法规、技术标准、战略规划、选址和场址评价、工程屏障研究、处置库和地下实验室概念设计、核素迁移和安全评价研究等方面取得了显著进展。其主要亮点包括颁布了《... 详细信息

21世纪近20年,我国高放废物深地质处置进入了一稳步发展的新阶段,在法律法规、技术标准、战略规划、选址和场址评价、工程屏障研究、处置库和地下实验室概念设计、核素迁移和安全评价研究等方面取得了显著进展。其主要亮点包括颁布了《中华人民共和国放射性污染防治法》和《中华人民共和国核安全法》,制定了《高放废物地质处置研究开发规划指南》,颁布了《高放废物地质处置设施选址》核安全导则,确定了2020年前开工建设地下实验室、2050年建成高放废物处置库的目标,甘肃北山预选区被确定为我国高放废物地质处置库首选预选区,建立了场址评价方法技术体系,确定了内蒙古高庙子膨润土为我国高放废物处置库的首选缓冲回填材料,建立了我国首台缓冲回填材料热-水-力-化学耦合条件下特性研究大型实验台架(China-Mock-Up),获得了一批关键放射性核素的迁移行为数据,开展了初步的安全评价,完成了地下实验室安全技术研究。确定甘肃北山的新场为我国高放废物地质处置地下实验室的场址。2019年5月6日,国家国防科工局批复中国北山高放废物地质处置地下实验室工程建设立项建议书,标志着我国高放废物地质处置正式进入地下实验室阶段。这一系列工作进展和取得的成绩为我国2020年开工建设地下实验室、掌握高放废物地质处置技术奠定了坚实的基础。

关键词：高放废物地质处置地下实验室场址评价甘肃北山

在线全文

学校读者我要写书评

暂无评论

关于 Baker 假设的证明

数学学报（中文版） 1990年第5期33卷 626-633页

作者：王驹中国科学院软件研究所

1983年 *** 发现:在代数簇 V(M_3)中存在任意长的代数投射,因而是不可定义的.但在保持主同余类结构不变的意义下,V(M_3)中任何一个代数投射都可以由若干个长度小于6的代数投射所代替.他将后面这个性质称为有穷主长度性质.由于 V(M_3)是... 详细信息

1983年 *** 发现:在代数簇 V(M_3)中存在任意长的代数投射,因而是不可定义的.但在保持主同余类结构不变的意义下,V(M_3)中任何一个代数投射都可以由若干个长度小于6的代数投射所代替.他将后面这个性质称为有穷主长度性质.由于 V(M_3)是一个同余分配簇,他问:是否所有由有穷代数生成的同余分配簇都具有有穷主长度性质?他认为答案是肯定的.这就是Baker 假设.(参见[1])本文将此问题作了理论化处理,并在泛代数领域中首先引入了所谓“最小板块”的概念.在此基础上,本文给出 Baker 假设的一个完整的证明.

关键词： Baker假设泛代数最小板块证明

描述逻辑εLN循环术语集的不动点语义及推理

在线全文

学校读者我要写书评

暂无评论

软件学报 2009年第3期20卷 477-490页

作者：蒋运承王驹史忠植汤庸广西师范大学计算机科学与信息工程学院广西桂林541004 中山大学计算机科学系广东广州510275 中国科学院计算技术研究所北京100190

循环术语集是描述逻辑长期以来的研究难点,其最基本的问题即语义及推理问题没有得到合理的解决分析了描述逻辑循环术语集的研究现状和存在的问题,将Baader的工作扩展到新的方向.针对更大的描述逻辑系统研究了循环术语集的语义及推理机制... 详细信息

循环术语集是描述逻辑长期以来的研究难点,其最基本的问题即语义及推理问题没有得到合理的解决分析了描述逻辑循环术语集的研究现状和存在的问题,将Baader的工作扩展到新的方向.针对更大的描述逻辑系统研究了循环术语集的语义及推理机制,即在描述逻辑εL的基础上添加数量约束构造算子,提出了描述逻辑εLN,给出了εLN的语义(包括不动点语义和描述语义).针对εLN的需要,重新定义了描述图(包括语法描述图和语义描述图).使用描述图之间的模拟关系给出了不动点语义下εLN循环术语集的可满足性和包含关系推理算法,并证明了推理算法是多项式时间复杂的.

关键词：描述逻辑 εLN 循环术语集描述图模拟关系不动点语义

在线全文

学校读者我要写书评

暂无评论

基础电子地图多尺度显示模型的建立与应用

武汉大学学报（信息科学版） 2010年第7期35卷 768-772页

作者：江南白小双曹亚妮王驹信息工程大学测绘学院郑州市陇海中路66号450052

针对基础电子地图显示的交互性和动态性的特点,结合电子地图多尺度表达的理论,提出了显示尺度和多尺度显示模型的概念,并提出了电子地图载负量的计算方法,探讨了基于电子地图载负量变化曲线的特征点求解关键比例尺的基本原理,找出了建... 详细信息

针对基础电子地图显示的交互性和动态性的特点,结合电子地图多尺度表达的理论,提出了显示尺度和多尺度显示模型的概念,并提出了电子地图载负量的计算方法,探讨了基于电子地图载负量变化曲线的特征点求解关键比例尺的基本原理,找出了建立相应的多尺度显示模型的基本方法。利用其原理和方法建立了中小比例尺基础电子地图多尺度显示模型,通过实际应用验证了其可行性。

关键词：基础电子地图显示尺度多尺度显示模型特征点关键比例尺

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

核废物深部地质处置方案及试验(英文)

岩石力学与工程学报 2006年第4期25卷 750-767页

作者：张春良王驹苏坤德国核安全研究中心德国不伦瑞克38122 核工业北京地质研究院北京100029 法国国家放射性废物管理局

国际上普遍认为,对核废物进行深部地质处置是长期保护人类及生存环境不受核污染的最为安全可靠的措施。为此,许多核能利用国家提出了处置方案,建立了地下实验室,并对其方案展开了大量的现场技术试验及基础理论研究,取得了极为宝贵的经... 详细信息

国际上普遍认为,对核废物进行深部地质处置是长期保护人类及生存环境不受核污染的最为安全可靠的措施。为此,许多核能利用国家提出了处置方案,建立了地下实验室,并对其方案展开了大量的现场技术试验及基础理论研究,取得了极为宝贵的经验。所有的处置方案都是根据多重屏障原理建立的,即包括自然地质屏障(各种围岩)和工程屏障(废物体 + 包装罐 + 缓冲回填体)。各国根据地质条件,选择了不同岩石作为处置库的围岩,主要有盐岩、结晶岩、泥岩和凝灰岩。介绍了为在这些岩体中建造处置库提出的典型处置方案、方案的现场试验、试验中所观察的热–水–气–力过程和其数值模拟结果。

关键词：核废物深部地质处置多重屏障处置方案地下实验室现场试验

在线全文

学校读者我要写书评

暂无评论

基于描述逻辑的模糊ER模型

软件学报 2006年第1期17卷 20-30页

作者：蒋运承汤庸王驹中山大学计算机科学系广东广州510275 广西师范大学数学与计算机科学学院广西桂林541004

分析了描述逻辑ALNUI与ER模型的关系,特别是如何将ER模型转化为ALNUI的知识库,从而利用ALNUI的推理机制对ER模型进行自动推理的有效性,在此基础上,进一步研究了基于描述逻辑的模糊ER模型.针对模糊ER模型的特点和需求,在描述逻辑ALNUI的... 详细信息

分析了描述逻辑ALNUI与ER模型的关系,特别是如何将ER模型转化为ALNUI的知识库,从而利用ALNUI的推理机制对ER模型进行自动推理的有效性,在此基础上,进一步研究了基于描述逻辑的模糊ER模型.针对模糊ER模型的特点和需求,在描述逻辑ALNUI的基础上,对描述逻辑ALNUI进行了模糊化推广,提出了一种新的描述逻辑,即模糊描述逻辑FALNUI.研究了基于FALNUI的模糊ER模型,即研究了如何将模糊ER模型转化为FALNUI的知识库,并利用FALNUI的推理机制研究了模糊ER模型的可满足性、冗余性和包含关系等自动推理问题,证明了这些推理问题的正确性.

关键词：模糊数据库模糊ER模型描述逻辑模糊描述逻辑

在线全文

学校读者我要写书评

暂无评论

朱庆澜与“辽吉黑民众后援会”

社会科学战线 1991年第2期 220-226页

作者：王驹

一朱庆澜,字子桥,浙江绍兴人,1874年生。早年他积极支持孙中山革命斗争,后任黑龙江省督军、广东省省长、哈尔滨特区行政长官兼中东铁路护路军司令。1926年后,他一直从事社会福利事业。朱庆澜与东北军政商学各界和南京政府各要员均有联系... 详细信息

一朱庆澜,字子桥,浙江绍兴人,1874年生。早年他积极支持孙中山革命斗争,后任黑龙江省督军、广东省省长、哈尔滨特区行政长官兼中东铁路护路军司令。1926年后,他一直从事社会福利事业。朱庆澜与东北军政商学各界和南京政府各要员均有联系,并在国内外享有较高威望。

关键词：义勇军国民党政府后援张学良东北军东北三省南京政府抗日斗争社会福利事业民众

在线全文

学校读者我要写书评

暂无评论

描述逻辑εL的二阶线性推理机制

软件学报 2017年第2期28卷 216-233页

作者：王驹陈光喜余泉广西可信软件重点实验室(桂林电子科技大学) 广西桂林541004 黔南民族师范学院数学系贵州都匀558000

基于描述逻辑的本体的保守扩充理论、模块抽取理论、通用模块构建理论及其相关算法是本体工程中本体构建、本体融合及重构的核心理论与工具.国际上该领域已有Lutz等人使用形式构模方法证明了ALC的保守扩充判定算法复杂度是二阶时间指数... 详细信息

基于描述逻辑的本体的保守扩充理论、模块抽取理论、通用模块构建理论及其相关算法是本体工程中本体构建、本体融合及重构的核心理论与工具.国际上该领域已有Lutz等人使用形式构模方法证明了ALC的保守扩充判定算法复杂度是二阶时间指数的,而轻量级的系统?L的算法复杂度是一阶时间指数的.但当前文献中的形式构模方法思路复杂,难以把握,几乎不能在实用的工程层面上实现.提出一种面向轻量级的描述逻辑系统家族(DL-Lite family)的统一的二阶线性推理机制,并给出该推理机制的完备性证明.该方法直观,思路清晰,从而在工程中容易实现.同时,该方法对?L,FL0,FL?,v L等DL-Lite家族的所有系统都有效.在该线序推理系统下,可以根据"空间换时间"的原则,设计和实现关于保守扩充判定的图推理机制,其复杂性(相对于空间的大小)是多项式的.

关键词：描述逻辑保守扩充模块本体抽取二阶线性推理机制 DL-Lite家族

在线全文

学校读者我要写书评

暂无评论

东北救亡总会与东北抗日联军

社会科学辑刊 1991年第5期 38-43页

作者：王驹辽宁社会科学院党史所

东北救亡总会(东总)与东北抗日联军(抗联),是在“九一八”事变后,在中共领导下分别成立的。前者是流亡关内各地的东北人组建的抗日救亡团体;后者是坚持在东北地区进行武装抗日的部队。本文就他们之间的关系进行初步探讨,不当之处,敬请... 详细信息

东北救亡总会(东总)与东北抗日联军(抗联),是在“九一八”事变后,在中共领导下分别成立的。前者是流亡关内各地的东北人组建的抗日救亡团体;后者是坚持在东北地区进行武装抗日的部队。本文就他们之间的关系进行初步探讨,不当之处,敬请指正。

关键词：周恩来东北抗日联军部队东北地区工作团领导人代表团北平八路军尚志