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

学园 2013年第7期6卷 54-54页

作者：权方英广西师范大学计算机科学与信息工程学院

《形势与政策》课程是高校思想政治理论课的重要组成部分，但以往照本宣科的纯理论教学模式已远远不能满足学生的需要和达到教学的效果。笔者认为，通过增进互动、开阔眼界、获得体验和收获启发四个方面可有效解决形势与政策课程教学改... 详细信息

《形势与政策》课程是高校思想政治理论课的重要组成部分，但以往照本宣科的纯理论教学模式已远远不能满足学生的需要和达到教学的效果。笔者认为，通过增进互动、开阔眼界、获得体验和收获启发四个方面可有效解决形势与政策课程教学改革中的实际问题，可为任课教师在教学改革与研究中提供参考。

关键词：形势与政策课程教学体验式

来源：评论

学校读者我要写书评

暂无评论

不同逻辑间翻译的逻辑性质

不同逻辑间翻译的逻辑性质

引用

2009中国计算机大会

作者：申宇铭马越曹存根眭跃飞王驹中国科学院计算技术研究所智能信息处理重点实验室北京100190 中国科学院研究生院北京100039 中国科学院计算技术研究所智能信息处理重点实验室北京100190 广西师范大学计算机科学与信息工程学院广西桂林541004

如果考虑逻辑间模型的翻译并且一个逻辑的模型类被翻译为另一个逻辑的模型类的真子类,那么可靠的(the soundness)和完备的(the completeness)翻译可以将不可满足的公式翻译为可满足的公式.针对上述问题,该文提出了语义忠实(the faithful... 详细信息

如果考虑逻辑间模型的翻译并且一个逻辑的模型类被翻译为另一个逻辑的模型类的真子类,那么可靠的(the soundness)和完备的(the completeness)翻译可以将不可满足的公式翻译为可满足的公式.针对上述问题,该文提出了语义忠实(the faithfulness)和语义满(the fullness)两条逻辑性质来确保可满足的公式翻译为可满足的公式,不可满足公式翻译为不可满足公式.该文例证了二阶逻辑在标准语义下到一阶逻辑的翻译是语义忠实的但不是语义满的,在Henkin语义下是语义忠实的和语义满的.

关键词：语义翻译逻辑性质公式翻译

来源：评论

学校读者我要写书评

暂无评论

小区地表温度与下垫面结构关系研究

引用

国土资源遥感 2009年第3期21卷 49-53页

作者：陈声海魏信王修信朱启疆东华理工大学长江学院南昌330013 北京师范大学珠海分校不动产学院珠海519085 广西师范大学计算机科学与信息工程学院桂林541004 北京师范大学地理学与遥感科学学院遥感与地理信息系统研究中心北京100875 环境遥感与数字城市北京市重点实验室北京100875 遥感科学国家重点实验室北京100875

以北京市为例,选取了商业区、学校、生活区和公园4种典型小区24个,基于遥感及G IS的方法反演地表温度,获取下垫面覆盖信息;研究了不同类型小区地表温度热场与下垫面结构的关系。结果表明:水体、绿地具有明显的降温功能,建筑地面则增温... 详细信息

以北京市为例,选取了商业区、学校、生活区和公园4种典型小区24个,基于遥感及G IS的方法反演地表温度,获取下垫面覆盖信息;研究了不同类型小区地表温度热场与下垫面结构的关系。结果表明:水体、绿地具有明显的降温功能,建筑地面则增温效果明显,这3种地表所占的面积比例与小区平均地表温度关系密切;在所选取的绿地结构指数中,对温度影响从大到小依次为绿地覆盖率、分离度、缀块平均面积、连通指数、形状指数和分维数,其中,分离度与温度呈现正相关,其它指数与温度呈负相关;在所有类型小区中,温度从高到低依次为商业区、学校、生活区和公园;公园的温度分布在所有类型小区中最分散,商业区最集中。

关键词：小区地表温度下垫面结构景观生态绿地

来源：评论

学校读者我要写书评

暂无评论

一种用于网络可生存性模型建模验证的平台

一种用于网络可生存性模型建模验证的平台

引用

第8届全国计算机支持的协同工作学术会议(CCSCW-2012)暨全国第23届计算机技术与应用学术会议(CACIS-2012)

作者：魏昭夏春和何冰焦健马心意北京航空航天大学网络技术北京市重点实验室北京100191 北京航空航天大学虚拟现实技术与系统国家重点实验室北京100191 北京航空航天大学网络技术北京市重点实验室北京100191 广西师范大学计算机科学与信息工程学院广西桂林541000 北京信息科技大学计算机学院北京100192

网络可生存性模型因考虑因素不同，模型描述各异和实验环境概念不同，造成彼此之间较难的可比性。本文建立了一种用于评判多种可生存性模型的建模验证平台。基于本体构造了可生存性模型的高层描述方法，提出了防御仿真任务的自动部署方... 详细信息

网络可生存性模型因考虑因素不同，模型描述各异和实验环境概念不同，造成彼此之间较难的可比性。本文建立了一种用于评判多种可生存性模型的建模验证平台。基于本体构造了可生存性模型的高层描述方法，提出了防御仿真任务的自动部署方法，实现了可生存性模型的仿真验证。在Ad Hoc网络环境中，基于此平台对SAMNAR模型和群组恢复模型进行建模验证，实验结果表明该平台具有可生存性模型的高层描述、防御仿真任务的自动部署以及仿真验证的功能。

关键词： Ad Hoc网络防御仿真任务自动部署可生存性模型建模验证

来源：评论

学校读者我要写书评

暂无评论

描述逻辑系统FLεN中概念的最小公共包含算法研究

引用

计算机研究与发展 2010年第6期

作者：张维侯金宏曹发生王驹蒋运承黔南民族师范学院数学系　　贵州都匀　　（558000）广西师范大学数学科学学院　　广西桂林　　（541004）广西师范大学数学科学学院　　广西桂林　　（541004）广西师范大学计算机科学与信息工程学院　　广西桂林　　（541004）华南师范大学计算机学院　　广州　　（510631）中国科学院软件研究所计算机科学国家重点实验室　　北京　　（100190）

描述逻辑中的非标准推理是目前研究者们所关注的焦点问题,它主要包括:最具体概念、最小公共包含、匹配问题及概念的重写等.过去人们主要研究那些不合数量限制的描述逻辑系统,研究的是描述逻辑系统FLεN厂中的一种重要的非标准推理--概... 详细信息

描述逻辑中的非标准推理是目前研究者们所关注的焦点问题,它主要包括:最具体概念、最小公共包含、匹配问题及概念的重写等.过去人们主要研究那些不合数量限制的描述逻辑系统,研究的是描述逻辑系统FLεN厂中的一种重要的非标准推理--概念的最小公共包含,它同时含有数量限制和存在限制,是对前人工作的推广.首先定义了FLεN中概念的描述树及描述树之间的同态关系,给出了概念之间包含关系的推理算法,然后通过两棵概念描述树的笛卡儿积给出了两个概念的最小公共包含推理算法并指出了概念A,B的最小公共包含概念LCS(A,B)的大小size(LCS(A,B))是随着size(A),size(B)呈指数增长的.

关键词：描述逻辑非标准推理概念描述树最小公共包含算法

来源：评论

学校读者我要写书评

暂无评论

智能空间信息处理与时空大数据分析探索

引用

地理空间信息 2022年第12期20卷 1-11页

作者：秦昆许凯吴涛徐敏黄静陈一祥冯霞赵鹏祥王玉龙张晔徐源泉毕奇武汉大学遥感信息工程学院湖北武汉430079 中国地质大学(武汉)地理与信息工程学院湖北武汉430078 岭南师范学院计算机与智能教育学院广东湛江524048 中国科学院空天信息创新研究院遥感科学国家重点实验室北京100101 北京应用气象研究所北京100029 南京邮电大学地理与生物信息学院江苏南京210023 湖北工程学院物理与电子信息工程学院湖北孝感432000 瑞典隆德大学自然地理与生态系统科学系隆德S-22362 中国电子科技集团公司第二十七研究所河南郑州450047 国家基础地理信息中心北京100830 广西师范大学环境与资源学院广西桂林541006

提出一个智能空间信息处理与时空分析的研究框架,并对相关研究进行综述。首先分析讨论了其基础理论与关键技术,将关键技术总结为3个方面:智能空间信息处理、空间数据挖掘、时空大数据分析,分别介绍了智能空间信息处理的3个代表方法(云... 详细信息

提出一个智能空间信息处理与时空分析的研究框架,并对相关研究进行综述。首先分析讨论了其基础理论与关键技术,将关键技术总结为3个方面:智能空间信息处理、空间数据挖掘、时空大数据分析,分别介绍了智能空间信息处理的3个代表方法(云模型智能空间信息处理、数据场智能空间信息处理、空间统计智能信息处理),空间数据挖掘的3个代表方法(基于概念格的空间数据挖掘方法、基于商空间及粒计算的图像理解方法、基于深度学习的遥感场景识别方法),以及时空大数据分析的3个代表方法(轨迹聚类与分析、融合遥感与社会感知的城市功能区提取、地理多元流分析)。最后对智能空间信息处理与时空分析的理论、方法和应用进行了总结,并指明了进一步研究的方向。

关键词：智能空间信息处理时空分析空间数据挖掘概念格商空间云模型数据场空间统计轨迹分析社会感知地理多元流

来源：评论

学校读者我要写书评

暂无评论

基于共享存储的OpenStack虚拟机应用分发策略

基于共享存储的OpenStack虚拟机应用分发策略

引用

第34次全国计算机安全学术交流会

作者：王紫璇吕良双李肖坚王天博北京航空航天大学网络技术北京市重点实验室北京100191 北京航空航天大学计算机学院北京100191 北京航空航天大学网络技术北京市重点实验室北京100191 广西师范大学计算机科学与信息工程学院广西桂林541004 北京航空航天大学网络技术北京市重点实验室北京100191 北京航空航天大学网络空间安全学院北京100191

云计算是21世纪互联网的发展趋势之一,在实验和生产环境中被广泛应用.云平台的服务可以以虚拟机的形式提供.为了提供用户需求的服务,需要在交付虚拟机之前或在提供服务的过程中对虚拟机进行按需定制的应用部署.OpenStack是开源云平台的... 详细信息

云计算是21世纪互联网的发展趋势之一,在实验和生产环境中被广泛应用.云平台的服务可以以虚拟机的形式提供.为了提供用户需求的服务,需要在交付虚拟机之前或在提供服务的过程中对虚拟机进行按需定制的应用部署.OpenStack是开源云平台的典型代表,针对OpenStack平台,研究如何高效、稳定地对虚拟机进行应用部署,对提高云服务质量具有借鉴意义.文章分析了OpenStack平台中虚拟机应用部署的特点,结合内容分发网络思想,提出了以计算节点内部的共享存储为基础的OpenStack平台虚拟机应用分发策略,并通过仿真实验验证了这一策略的有效性.

关键词：云平台虚拟机共享存储应用部署

来源：评论

学校读者我要写书评

暂无评论

面向移动云计算场景的动态网络拓扑描述语言

面向移动云计算场景的动态网络拓扑描述语言

引用

第34次全国计算机安全学术交流会

作者：余奕吕良双李肖坚王天博北京航空航天大学网络技术北京市重点实验室北京100191 北京航空航天大学计算机学院北京100191 北京航空航天大学网络技术北京市重点实验室北京100191 厂西师范大学计算机科学与信息工程学院广西桂林541004 北京航空航天大学网络技术北京市重点实验室北京100191 北京航空航天大学网络空间安全学院北京100191

建立网络仿真环境,实现网络安全演练,是研究移动云计算安全的重要手段.为解决移动云计算仿真系统仿真场景建模学习成本高、可移植性差的问题,文章根据移动云计算的典型场景,提出了一种动态网络拓扑描述语言(Dynamic Network Topology De... 详细信息

建立网络仿真环境,实现网络安全演练,是研究移动云计算安全的重要手段.为解决移动云计算仿真系统仿真场景建模学习成本高、可移植性差的问题,文章根据移动云计算的典型场景,提出了一种动态网络拓扑描述语言(Dynamic Network Topology Description Language,DNTDL),详细介绍了该场景下安全设备等组成成分的语法定义,阐述了DNTDL在网络仿真平台的作用和实施机制.配合该语言的编译器实现了在OpenStack平台上仿真场景的部署,验证了DNTDL的可行性和有效性.

关键词：移动云计算网络仿真动态网络拓扑描述语言信息安全

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：