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

物理化学学报 2013年第3期29卷 653-659页

作者：汤子龙李冬梅程经纬蒋洁如上海大学材料科学与工程学院上海200072

以3-巯基丙酸为稳定剂在水相中合成了Cu掺杂的ZnSe量子点(QDs),并利用硫脲(CH4N2S)对其进行表面修饰,制备出核壳结构的ZnSe:Cu/ZnS量子点.制得的量子点呈闪锌矿结构,尺寸约为5nm,有较好的分散性。其荧光发射峰在460nm左右.经CH4N2S修饰... 详细信息

以3-巯基丙酸为稳定剂在水相中合成了Cu掺杂的ZnSe量子点(QDs),并利用硫脲(CH4N2S)对其进行表面修饰,制备出核壳结构的ZnSe:Cu/ZnS量子点.制得的量子点呈闪锌矿结构,尺寸约为5nm,有较好的分散性。其荧光发射峰在460nm左右.经CH4N2S修饰后,量子点表面形成了宽禁带的ZnS包覆层,将电子和空穴限域在了ZnSe:Cu核内,减少了表面发生非辐射复合的载流子,显著提高了量子点的荧光强度.与Na2S、硫代乙酰胺(TAA)等常用硫源相比,以CH4N2S为硫源制得的ZnSe:Cu/ZnS量子点壳层厚度可控,表面钝化效果更好,显示出更佳的荧光效率和稳定性.ZnSe:Cu/ZnS量子点经过紫外线照射后消除了表面的悬空键,进一步提高了其量子产率,最终获到了具有较好荧光性质的ZnSe:Cu/ZnS量子点.

关键词：量子点 ZnSe Cu ZnS 水相合成硫脲修饰低毒性紫外光照

来源：评论

学校读者我要写书评

暂无评论

模糊描述逻辑本体合取查询研究

模糊描述逻辑本体合取查询研究

引用

作者：程经纬东北大学

学位级别：博士

为了在语义Web中实现知识的可重用性和高度互用性,通常使用本体来表示领域知识。基于本体的知识表示和推理是语义Web的重要组成部分。描述逻辑(Description logics,简称DLs)是一种形式化表示知识的方法,是OWL DL等Web本体语言的理论基... 详细信息

为了在语义Web中实现知识的可重用性和高度互用性,通常使用本体来表示领域知识。基于本体的知识表示和推理是语义Web的重要组成部分。描述逻辑(Description logics,简称DLs)是一种形式化表示知识的方法,是OWL DL等Web本体语言的理论基础。描述逻辑最显著的特征是其内置的推理机制。利用这一机制,可以由知识库中显式存储的知识推导出隐含的信息。描述逻辑的基本推理服务包括知识库可满足性检查、概念包含检查和实例检索等。为了表示语义Web应用中广泛存在的模糊和不精确信息,已有大量的研究工作致力于描述逻辑的模糊扩展,并设计出符合模糊描述逻辑特性的推理服务,开发出相应的推理算法和推理机系统。在数据密集型的应用中,描述逻辑知识库和本体的查询占据着重要的位置。实例检索等简单形式的查询表达能力相对较弱,无法有效地表达用户的查询意图。源于数据库领域的合取查询(conjunctive queries, CQs),近来被视为查询和访问描述逻辑知识库的一种理想形式,它提供了比实例检索表达能力更丰富的查询语言。通过对国内外在描述逻辑模糊扩展、(模糊)描述逻辑合取查询、(模糊)描述逻辑推理机和查询引擎实现等方面研究现状的分析,发现现有的模糊描述逻辑知识库合取查询研究存在以下问题： (1)对于轻量级模糊描述逻辑f-DL-Lite系列,现有文献通常只针对其中的某一种逻辑语言,而并未系统地讨论整个语言系列的推理和查询应答问题。 (2)现有的查询蕴涵算法无法处理表达能力丰富且应用广泛的f-SH系列模糊描述逻辑的合取查询蕴涵及合取查询应答问题。 (3)现有模糊描述逻辑推理机不支持表达能力丰富的模糊描述逻辑知识库的合取查询应答。 (4)现有的讨论模糊描述逻辑合取查询应答问题的文献并未深入讨论算法的复杂性问题和算法优化问题。为此,本文深入研究了轻量级模糊描述逻辑f-DL-Lite系列的推理和查询应答问题,表达能力丰富的f-SH系列模糊描述逻辑知识库合取查询蕴涵问题,支持模糊描述逻辑合取查询的推理机原型系统的设计与实现,以及模糊OWL DL本体查询应答问题到模糊描述逻辑合取查询蕴涵问题的归结。具体研究内容包括以下几个方面： (1)系统研究了f-DL-Lite系列描述逻辑的合取查询应答问题。首先,给出该类逻辑的语法、语义以及知识库的形式化定义。然后,以f-DLR-LiteFn为例,给出f-DL-Lite系列描述逻辑知识库可满足性的判定算法。在此基础上,重点研究了f-DL-Lite系列知识库的合取查询应答问题,给出f-DLR-LiteF,知识库合取查询应答的具体步骤和算法,并进行了算法时间复杂性分析,讨论了该合取查询过程的一阶逻辑可归结性。 (2)表达能力丰富的f-SH系列模糊描述逻辑合取查询蕴涵的研究。首先,给出了模糊布尔合取查询的语法、语义以及模糊合取查询蕴涵问题的定义。其次,分析了模糊合取查询蕴涵与单个模糊断言蕴涵的区别,以及判定模糊布尔合取查询蕴涵需要先行解决的问题。第三,给出了基于模糊表推演算法的合取查询蕴涵判定算法,证明了算法对于f-SHOIQ的真子逻辑的可靠性、完备性和可终止性,证明了算法对于f-SHOIQ是可靠的,并分析了导致算法不可终止的原因。最后,对于该问题的数据复杂度,证明了当查询中不存在传递角色时其严格的CONP上限。对于联合复杂度,证明了算法关于知识库和查询大小的C03NEXPTIME时间复杂度上限。 (3)基于模糊描述逻辑f-SHOIQ及其子逻辑的知识库可满足性推理算法和f-SHOIQ及其真子逻辑的模糊查询蕴涵算法,设计并实现了首个支持表达能力丰富的模糊描述逻辑合取查询应答的推理机原型系统FReQ。首先,介绍了FReQ所提供的推理服务和查询应答服务。然后,详细描述了FReQ的框架结构及各组成部分的设计与实现,并着重阐述了FReQ推理机的特色和实现过程中所采用的优化技术。最后,比较了优化前后FReQ推理机的性能,并分析其原因。 (4)模糊OWL本体合取查询应答问题研究。首先,构建模糊OWL本体与模糊描述逻辑知识库的对应关系。然后,构建模糊SPARQL查询与datalog形式布尔合取查询的对应关系。最后,利用上述对应关系,将模糊OWL本体的查询应答问题归结为相应的模糊描述逻辑知识库的查询蕴涵问题。

关键词：语义Web 描述逻辑本体知识库模糊逻辑表推演算法合取查询查询应答查询蕴涵推理机

来源：评论

学校读者我要写书评

暂无评论

基于社会需求下体育硕士培养方案优化研究——以河南省为例

基于社会需求下体育硕士培养方案优化研究——以河南省为例

引用

作者：程经纬河南大学

学位级别：硕士

人才培养方案是学校在教育领域组织开展教学活动、安排教学任务的规范性文件,是实施人才培养和开展质量评价的基本依据。人才培养方案应当包括专业名称及代码、入学要求、修业年限、职业面向、培养目标与培养规格、课程设置、学时安排... 详细信息

人才培养方案是学校在教育领域组织开展教学活动、安排教学任务的规范性文件,是实施人才培养和开展质量评价的基本依据。人才培养方案应当包括专业名称及代码、入学要求、修业年限、职业面向、培养目标与培养规格、课程设置、学时安排、教学进程总体安排、实施保障、毕业要求等内容。研究生培养方案的科学性,直接关系到高层次人才的培养质量,因此促进体育硕士研究生培养方案的科学可持续发展,使其适应社会发展需求,对于提高体育硕士研究生的培养质量具有积极意义。河南省高等教育资源贫瘠、发展较慢,体育硕士研究生的发展培养起步较晚,整体来看层次不高。在调研中发现,体育硕士的培养与社会经济发展不匹配的现象阻碍了河南省体育高端人才的培养和河南省体育事业的发展。因此笔者选取了河南省四所普通高校的体育硕士培养方案,从不同方向进行比较研究,找出各高校培养方案存在的差异性与优缺点。本文在此基础上结合当前经济社会发展现状,从不同角度分析河南省体育硕士培养方案中存在的与社会需求及要求不相符的部分,对培养方案提出符合社会经济发展的优化建议。本文研究对象是郑州大学体育学院(校本部)、河南师范大学体育学院、信阳师范学院体育学院、河南大学体育学院的体育学专业学位硕士研究生培养方案,运用问卷调查法、文献资料法、专家访谈法、比较分析法和统计法,在社会需求的视角下对体育学专业学位硕士研究生培养方案的培养目标、培养学制、课程设置、社会实践、科研论文进行分析比较,得出结论如下:1、河南省四所高校的培养方案基本符合国家指导性培养方案,但是没有突出各校特点,与社会需求结合度不够。2、培养目标上没有突出体育硕士应用型特点,出现了与学术型硕士同化的现象。3、课程设置上没有体现其专业性的特点,部分老师出现“水课”现象。4、培养学制上出现了往三年制靠拢的现象。5、社会实践中实习基地不够多样化,与社会校企合作深度不够,且出现“一刀切”现象。6、科研论文缺乏深度,选题多是现状调查类。对于本文调研中出现的问题,笔者提出以下优化建议:1、在培养目标中突出专业型体育硕士的应用型特点,各校在目标的制定中根据社会发展需求与本校自身特点制定适合自己的有本校特色的培养目标。2、在课程设置上也要坚持目标导向原则,一切以培养应用型体育硕士为出发点,同时学校管理层加强对任课老师授课内容的督查,严厉查处“水课”。3、根据培养目标与各校自身情况制定合理的培养学制,尽量避免同化现象。另外在制定培养学制时应考虑社会需要与国家经济发展现状。4、对于社会实习实践首先要有针对性,根据不同的专业领域和发展方向安排学生去不同的实习单位,因材施教。其次丰富实践形式,允许学生发挥自主能动性。最后丰富实践基地,加强校企联合培养,完善双导师制。5、在论文选题上需要突出专业型的特点,完善多样化毕业条件。

关键词：体育硕士培养方案优化社会需求

来源：评论

学校读者我要写书评

暂无评论

嵌入式网络视频监测系统的设计与实现

嵌入式网络视频监测系统的设计与实现

引用

作者：程经纬合肥工业大学

学位级别：硕士

目前，视频监测系统在各个领域得到了广泛应用，主要用于安全防范、信息获取等方面。网络技术、视频处理技术和嵌入式技术的迅速发展，极大地推动了视频监测技术的发展进程，促使视频监测技术向数字化、网络化以及智能化的方向发展。本... 详细信息

目前，视频监测系统在各个领域得到了广泛应用，主要用于安全防范、信息获取等方面。网络技术、视频处理技术和嵌入式技术的迅速发展，极大地推动了视频监测技术的发展进程，促使视频监测技术向数字化、网络化以及智能化的方向发展。本文在分析了视频监测技术发展的基础上提出了以嵌入式ARM开发板和USB接口摄像头为主体，以Web访问为交互方式的一套嵌入式视频监测系统的解决方案。该方案采用Philips公司的32位高性能ARM7芯片作为微处理器，以μClinux为嵌入式操作系统，通过摄像头采集图像并利用JPEG格式来实现图片压缩解码；在系统前端运行嵌入式Web服务器，基于TCP／IP协议通过网络传输图像信息；用户可以在远端通过浏览器访问，以网页内嵌Java Applet的直观形式实现对远程信息的监测。该系统开发成本低、性能高并且使用方便。本文从系统的总体规划、模块划分，到软硬件各模块的设计，再到各模块的具体实现都进行了较为详细的描述。并重点阐述了系统主要软件模块的开发实现过程，并给出了代码实现。在文章最后，指出了在本系统存在的一些问题，并对下一步的工作提出了展望。

关键词：视频监测嵌入式系统 μClinux 网络服务器

来源：评论

学校读者我要写书评

暂无评论

环氧树脂基混凝土的冲击和老化性能研究

环氧树脂基混凝土的冲击和老化性能研究

引用

作者：程经纬华南理工大学

学位级别：硕士

随着我国交通事业的迅速发展,路面铺装层的早期破坏问题越来越受到重视,而研制高性能的铺装材料是解决该问题最直接的方法。环氧树脂基混凝土以其高强高韧的材料属性,在铺装材料中具有潜在的应用空间,但是国内外相关的研究才刚刚起步。... 详细信息

随着我国交通事业的迅速发展,路面铺装层的早期破坏问题越来越受到重视,而研制高性能的铺装材料是解决该问题最直接的方法。环氧树脂基混凝土以其高强高韧的材料属性,在铺装材料中具有潜在的应用空间,但是国内外相关的研究才刚刚起步。本文针对于铺装层的早期破坏问题,试图研制一种新型的高性能铺装材料,对其配合比进行不断的优化,得到满足抗压性能、抗弯拉性能和界面粘结性能等基本力学要求的新型环氧树脂基混凝土,并且进一步对新材料的抗冲击力学性能和老化性能进行实验研究。具体内容包括以下几点:(1)根据珠江黄埔大桥的实际参数,建立了正交异性钢桥面及其铺装层的有限元模型,研究了铺装材料的目标性能指标,以此为目标对不同配合比的新型环氧树脂基混凝土试件进行了四点弯曲实验,得到了满足要求的配合比,同时进行了单轴压缩和新旧混凝土的界面拉伸实验,研究了新型环氧树脂基混凝土的准静态力学性能。(2)利用分离式霍普金斯压杆对新型环氧树脂基混凝土进行了不同速率的冲击试验,分析了新材料在不同速率的冲击荷载下的应变率效应,同时从应力-应变曲线中发现了该材料具有应变硬化效应和应变软化效应的双重作用。(3)根据广东地区的实际气候统计,制定了加速老化的实验方案,完成了环氧树脂基混凝土弯曲试件加速老化试验,分析了老化时间对新型环氧树脂基混凝土准静态抗弯拉性能的影响;并对老化后的冲击试件进行了不同速率的SHPB冲击实验,分析了老化时间和冲击速率对新型环氧树脂基混凝土动态力学性能的影响。

关键词：铺装材料环氧树脂基混凝土准静态力学性能霍普金森压杆冲击力学性能加速老化试验

来源：评论

学校读者我要写书评

暂无评论

模糊面向对象数据模型的描述逻辑表示与推理

引用

软件学报 2012年第3期23卷 594-612页

作者：张富严丽马宗民程经纬东北大学信息科学与工程学院辽宁沈阳110819 东北大学软件学院辽宁沈阳110819

通过分析描述逻辑与面向对象数据模型之间的关系,研究了基于描述逻辑的模糊面向对象数据(fuzzy object-oriented data,简称FOOD)模型的表示与推理.首先,进一步研究了FOOD模型,提出了FOOD模型的形式化定义和语义定义,以便更好地在FOOD模... 详细信息

通过分析描述逻辑与面向对象数据模型之间的关系,研究了基于描述逻辑的模糊面向对象数据(fuzzy object-oriented data,简称FOOD)模型的表示与推理.首先,进一步研究了FOOD模型,提出了FOOD模型的形式化定义和语义定义,以便更好地在FOOD模型与模糊描述逻辑之间建立对应关系;然后,针对FOOD模型的特点和推理需求,介绍了模糊描述逻辑f-ALCIQ.在此基础上,研究了基于f-ALCIQ的FOOD模型的表示与推理,包括:实现了从FOOD模型到f-ALCIQ知识库在结构层和实例层上的转化,即实现了从FOOD模型到f-ALCIQ TBox的转化,以及从FOOD模型相应的数据库实例到f-ALCIQ ABox的转化;进而,基于转化得到的f-ALCIQ知识库,研究了如何利用f-ALCIQ的推理机制对FOOD模型的推理问题(一致性、包含性和冗余性等)进行推理;最后,设计并实现了基于f-ALCIQ的模糊描述逻辑推理机(FRsQ推理机),实现了对FOOD模型和f-ALCIQ模糊概念知识的自动推理.

关键词：模糊面向对象数据(fuzzy object-oriented data,简称FOOD)模型模糊描述逻辑表示推理推理机

来源：评论

学校读者我要写书评

暂无评论

RDF在关系数据库中的存储研究

引用

东北大学学报（自然科学版） 2015年第3期36卷 346-349页

作者：佟强张富程经纬马宗民东北大学软件学院辽宁沈阳110819 东北大学信息科学与工程学院辽宁沈阳110819

资源描述框架(RDF)是Web资源信息的规范性描述语言,如何存储RDF数据成为当前重要的研究问题.通过深入分析RDF数据的特点,提出了一种新的基于关系数据库的RDF存储模式,给出了RDF在关系数据库中的存储规则,提供了相应的存储实例.基于提出... 详细信息

资源描述框架(RDF)是Web资源信息的规范性描述语言,如何存储RDF数据成为当前重要的研究问题.通过深入分析RDF数据的特点,提出了一种新的基于关系数据库的RDF存储模式,给出了RDF在关系数据库中的存储规则,提供了相应的存储实例.基于提出的存储方法,实现了相应的自动存储原型系统,通过实验进一步验证存储方法和原型系统的可行性,并与已有存储模式进行了理论对比分析.

关键词：语义网资源描述框架(RDF) 关系数据库存储信息保持

来源：评论

学校读者我要写书评

暂无评论

模糊描述逻辑f-DLR-Lite∩的合取查询回答

引用

东北大学学报（自然科学版） 2008年第9期29卷 1249-1252页

作者：程经纬马宗民严丽王海龙东北大学信息科学与工程学院辽宁沈阳110004

分析了描述逻辑合取查询回答的研究现状及存在的不足,在描述逻辑DL-Lite和模糊集理论的基础上,提出了一种可表示和处理n元关系,并允许在包含公理左侧出现概念合取的新的模糊描述逻辑f-DLR-Lite∩,并给出其语法和语义及知识库的形式.提... 详细信息

分析了描述逻辑合取查询回答的研究现状及存在的不足,在描述逻辑DL-Lite和模糊集理论的基础上,提出了一种可表示和处理n元关系,并允许在包含公理左侧出现概念合取的新的模糊描述逻辑f-DLR-Lite∩,并给出其语法和语义及知识库的形式.提出了一种兼容查询阈值和用户指定权重的模糊查询语言,给出了利用这种语言在f-DLR-Lite∩知识库上进行合取查询的具体步骤和算法,并进行了算法时间复杂度分析,讨论了该合取查询过程的一阶逻辑可归约性.f-DLR-Lite∩弥补了经典描述逻辑在知识表示和推理上的不足,扩展后的查询语言对用户查询意图的表达更加精确合理.

关键词：描述逻辑合取查询模糊查询语言一阶逻辑可归约性 f-DLR-Lite∩

来源：评论

学校读者我要写书评

暂无评论

实体对齐研究综述

引用

计算机学报 2022年第6期45卷 1195-1225页

作者：张富杨琳艳李健伟程经纬东北大学计算机科学与工程学院沈阳110169

实体对齐(Entity Alignment)旨在发现不同知识图谱(Knowledge Graph)中指代相同事物的实体,是知识图谱融合的关键技术,近年来受到了广泛的关注.早期,研究者们使用字符串的各种特征来进行实体对齐工作.近年来,随着知识表示学习(Knowledge... 详细信息

实体对齐(Entity Alignment)旨在发现不同知识图谱(Knowledge Graph)中指代相同事物的实体,是知识图谱融合的关键技术,近年来受到了广泛的关注.早期,研究者们使用字符串的各种特征来进行实体对齐工作.近年来,随着知识表示学习(Knowledge Representation Learning)技术的不断发展,研究者们提出了许多基于知识表示学习的实体对齐方法,效果明显优于传统方法.然而,实体对齐的研究仍然存在着许多亟待解决的问题与挑战,比如数据质量、计算效率等.本文从实体对齐的定义、数据集和评价指标出发,详细深入地综述和比较了传统实体对齐方法和基于知识表示学习的实体对齐方法.针对传统方法,分类介绍了基于相似性计算和基于关系推理的实体对齐方法,并深入研究了每类方法对字符特征、属性特征、关系特征的利用,同时深入分析了不同方法之间的优势与不足.针对基于知识表示学习的实体对齐方法,本文进行了重点讨论、分析和对比.首先,本文将该类实体对齐方法抽象为由三个模块(即嵌入模块、交互模块和对齐模块)组成的统一框架,依据三个模块对每个方法进行了详细的综述.进一步地,根据方法所利用的信息种类的不同,将已有方法划分为基于结构信息、属性信息、实体名信息、实体描述信息和综合信息等八类方法,对每一类方法进行了详细的综述.然后,对基于知识表示学习的实体对齐方法进行了深入对比分析.最后,讨论了实体对齐工作的主要挑战,包括稀疏知识图谱的处理、标注数据的缺乏和噪声问题、方法的效率问题等,并对该工作的未来进行了展望.

关键词：知识图谱实体对齐知识图谱融合知识表示学习多源信息

来源：评论

学校读者我要写书评

暂无评论

装配式建筑绿色施工的应用解析

引用

建筑工程技术与设计 2021年第30期 789-790页

作者：程经纬南昌市凯华建筑工程有限公司江西南昌 330025

在装配式建筑施工中，落实绿色施工对提升施工质量和施工效率具有重要影响。为了提升装配式建筑施工的有效性，应该加强对绿色施工的落实。本文基于绿色建筑理念在装配式建筑中的体现，提出绿色施工在装配式建筑施工中应用策略，促使装... 详细信息

在装配式建筑施工中，落实绿色施工对提升施工质量和施工效率具有重要影响。为了提升装配式建筑施工的有效性，应该加强对绿色施工的落实。本文基于绿色建筑理念在装配式建筑中的体现，提出绿色施工在装配式建筑施工中应用策略，促使装配式建筑施工得以高效地开展，建筑施工的环保性和专业性得到切实的保障，并且建筑行业发展需求得到了充分的满足，实现绿色健康成长。

关键词：装配式建筑绿色施工施工技术

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：