期刊文献+
共找到341篇文章
< 1 2 18 >
每页显示 20 50 100
基于本体的整体与部分关系的形式化表示及其错误检查研究 预览
1
作者 赵波 冯洁 《计算机应用与软件》 CSCD 北大核心 2008年第4期 73-75,91,共4页
整体/部分WP(whole/part)关系在计算机领域建模中无处不在。在一个WP关系中,由于整体对象具有管理和控制部分对象的功能,因此WP关系存在着许多其它关系没有的特征。但本体的研究中,存在着形式化程度不够的问题,人们,常用自然... 整体/部分WP(whole/part)关系在计算机领域建模中无处不在。在一个WP关系中,由于整体对象具有管理和控制部分对象的功能,因此WP关系存在着许多其它关系没有的特征。但本体的研究中,存在着形式化程度不够的问题,人们,常用自然语言解释这些特征,然而这样的解释通常是不准确的。另一方面,由于知识处于不断的增加与更新之中,难免造成知识库中知识的错误,导致知识库维护困难。因此本文首先基于本体对WP关系的特征进行形式化描述,在此基础上,根据WP关系的特征提出了一系列相关知识的形式判定规则。 展开更多
关键词 WP关系 主要特征 次要特征 形式判定规则
在线阅读 下载PDF
本体中继承关系的形式化表示及其应用 预览 被引量:3
2
作者 赵波 冯洁 《计算机工程与设计》 CSCD 北大核心 2008年第1期 154-156,共3页
本体关系中最重要的关系是子类/父类关系(继承关系),在子类/父类关系中,存在着除了继承以外丰富的语义关联。但本体的研究中,存在着形式化程度不够的问题,人们常用自然语言解释这些关系,然而这样的解释通常是有歧义的。为了严... 本体关系中最重要的关系是子类/父类关系(继承关系),在子类/父类关系中,存在着除了继承以外丰富的语义关联。但本体的研究中,存在着形式化程度不够的问题,人们常用自然语言解释这些关系,然而这样的解释通常是有歧义的。为了严格、准确描述这些语义关联,基于本体研究了它们的形式化描述,同时扩展UML,可视化地表示它们,并在此基础上,应用它们判定知识库中的某些错误。 展开更多
关键词 本体 继承关系 形式化 判定规则
在线阅读 下载PDF
基于本体的子类/父类关系的分类体系形式化表示 预览 被引量:1
3
作者 赵波 解敏 夏幼明 《云南师范大学学报:自然科学版》 2008年第3期 27-30,共4页
目前,在对本体的研究中,存在着形式化程度不够的问题。文章针对本体模型中的概念分类进行分析,用代数语言给出了四种概念分类的形式化描述。并扩展UML,可视化地表示这四种概念分类。同时,用OWL实现了概念分类的描述。
关键词 概念分类 子类/父类关系 UML OWL
在线阅读 免费下载
整体与部分关系中的语义传播机制研究 预览
4
作者 赵波 李涓子 王克宏 《四川大学学报:工程科学版》 EI CAS CSCD 北大核心 2007年第S1期,共5页
为了用UML严格、准确表示领域模型中整体与部分关系间的语义传播,从整体与部分关系的语义特征出发研究整体与部分关系之间的属性值的传播机制;从对象的生命周期出发,详细分析研究部分对象和整体对象之间的依赖关系,进而研究其操作的传... 为了用UML严格、准确表示领域模型中整体与部分关系间的语义传播,从整体与部分关系的语义特征出发研究整体与部分关系之间的属性值的传播机制;从对象的生命周期出发,详细分析研究部分对象和整体对象之间的依赖关系,进而研究其操作的传播机制。在此基础上,分析研究UML在表示这些语义传播机制时的不足,扩展UML使其能可视化地描述整体与部分关系之间的语义传播机制,同时用代数理论形式化地定义它们,为准确建立领域模型以及后续的设计及实现莫定了较好的基础。 展开更多
关键词 整体/部分关系 语义传播 UML 形式化表示
在线阅读 下载PDF
D—S证据理论中冲突证据组合分析 预览 被引量:2
5
作者 张玉琢 余英 《云南师范大学学报:自然科学版》 2007年第4期 29-32,共4页
分析了D—S证据理论组合冲突证据时存在的缺陷,以及国内外对此的各种改进方法,包括对证据组合规则的改进和对融合模型的改进,并通过实验比较检验了几种方法的有效性。
关键词 DEMPSTER组合规则 证据冲突 基本概率分配函数
在线阅读 免费下载
基于UML的整体与部分关系的可视化表示研究 预览 被引量:1
6
作者 赵波 张玉琢 夏幼明 《云南师范大学学报:自然科学版》 2007年第5期 25-29,共5页
整体/部分(whole/part,简称为WP)关系在计算机领域建模中无处不在。在WP关系中,整体对象具有管理和控制部分对象的功能,所以WP关系存在着许多复杂的语义关联。但是除了聚集和组合以外,UML没有直接提供除此以外的其它更多的语义... 整体/部分(whole/part,简称为WP)关系在计算机领域建模中无处不在。在WP关系中,整体对象具有管理和控制部分对象的功能,所以WP关系存在着许多复杂的语义关联。但是除了聚集和组合以外,UML没有直接提供除此以外的其它更多的语义特征。因此本文通过分析WP关系的特征,阐明UML在描述WP关系方面的不足之处,扩展UMI。使其能清晰、准确地描述WP关系。 展开更多
关键词 WP关系 UML 主要特征 次要特征
在线阅读 免费下载
基于XML知识表示方法的研究进展 预览 被引量:2
7
作者 冯小丹 夏幼明 《电脑知识与技术:学术交流》 2007年第5期 756-757,共2页
综述了近年来基于XML的知识表示方法的研究进展。分别从基于XML的知识表示方法、研究现状和具体应用情况进行介绍,展望了XML知识表示方法的未来研究方向和发展前景。
关键词 XML知识表示 评述 应用 方法
在线阅读 下载PDF
周期查询完全、门限服务系统性能解析 预览
8
作者 余英 赵东风 《云南师范大学学报:自然科学版》 2006年第4期 32-35,共4页
文章采用嵌入Markov链和概率母函数的方法,对离散时间型、非对称的周期查询完全服务、门限服务系统进行分析,得到了系统的一阶和二阶特性。给出了信息分组平均排队队长和平均等待时间的精确解。
关键词 周期查询 完全服务 门限服务 数学解析
在线阅读 免费下载
虚拟公路上过往车辆产生及其行驶行为控制研究 预览 被引量:2
9
作者 冯乔生 段鹏 +1 位作者 陈玉华 刘丹非 《系统仿真学报》 EI CAS CSCD 北大核心 2006年第8期 2114-2118,共5页
提出新的控制过往车辆的跟车、超车、换车道和无障碍行驶行为的算法,该算法是通过感知车道线的位置和类型、过往车辆相对于周围车辆安全性距离及其变化、周围车辆灯光与喇叭声信号以及应用交通规则来控制过往车辆的行驶行为;提出一种... 提出新的控制过往车辆的跟车、超车、换车道和无障碍行驶行为的算法,该算法是通过感知车道线的位置和类型、过往车辆相对于周围车辆安全性距离及其变化、周围车辆灯光与喇叭声信号以及应用交通规则来控制过往车辆的行驶行为;提出一种自动选择过往车辆在虚拟公路上合适的初始位置的算法,这种选择受到虚拟公路上其它车辆的位置、主车驾驶员的视觉、主车的行驶方向和道路的单向通行性的约束。这些算法在我们所研制的智能化高速公路驾驶仿真虚拟环境建模器IVEHMDS中进行了实验,实验结果表明这些算法是有效的和具有良好的实时性。 展开更多
关键词 汽车驾驶仿真 虚拟公路环境 过往自治车辆产生 行驶行为控制
在线阅读 下载PDF
基于SynqNet的网络化运动控制器研究 预览 被引量:6
10
作者 云利军 孙鹤旭 +1 位作者 雷兆明 王炜 《制造技术与机床》 CSCD 北大核心 2006年第2期 40-43,共4页
在分析运动控制网络的研究现状基础上。重点对MEI公司的高性能运动控制网络SynqNet的特性进行研究分析。然后提出了一种基于SynqNet运动控制网络的网络化运动控制系统设计方案。希望能为国内CNC及各种制造加工设备行业提供一个降低系统... 在分析运动控制网络的研究现状基础上。重点对MEI公司的高性能运动控制网络SynqNet的特性进行研究分析。然后提出了一种基于SynqNet运动控制网络的网络化运动控制系统设计方案。希望能为国内CNC及各种制造加工设备行业提供一个降低系统复杂度和节约成本的有效解决方案。 展开更多
关键词 运动控制网络 SYNQNET 网络化 运动控制器
在线阅读 下载PDF
运动控制网络的研究现状及发展趋势 预览 被引量:15
11
作者 云利军 孙鹤旭 +1 位作者 雷兆明 王炜 《控制工程》 CSCD 2006年第4期 289-293,共5页
综述了运动控制网络技术的发展历程和研究现状。阐述了工业控制网络的发展历程;重点分析比较了目前几种运动控制网络的性能,并对其中具有代表性的SSCNET,SERCOS,IEEE 1394,SynqNet和Profinet5种串行运动控制网络的研究现状及性能... 综述了运动控制网络技术的发展历程和研究现状。阐述了工业控制网络的发展历程;重点分析比较了目前几种运动控制网络的性能,并对其中具有代表性的SSCNET,SERCOS,IEEE 1394,SynqNet和Profinet5种串行运动控制网络的研究现状及性能特点进行了详细分析;最后展望了运动控制网络技术的未来发展方向,指出基于嵌入式计算的开放式、网络化运动控制系统是今后运动控制技术发展的趋势。 展开更多
关键词 网络技术 工业控制网络 运动控制网络
在线阅读 下载PDF
关于优美指数的A.Murthy猜想 预览 被引量:7
12
作者 蒲永锋 杨仕椿 《云南师范大学学报:自然科学版》 2006年第2期 5-7,共3页
若一个整数m可表为正整数n与它的除数函数d(n)之商。则称m为优美指数。文章证明了,存在无穷多个正整数m不是优美指数。从而否定了A.Murthy的猜想,并提出了若干个关于非优美指数的猜想。
关键词 除数函数 因子 优美指数 非优美指数 A.Murthy猜想
在线阅读 免费下载
基于工业以太网的嵌入式运动控制器研究 被引量:3
13
作者 云利军 孙鹤旭 +1 位作者 雷兆明 梁涛 《电气应用》 北大核心 2006年第3期51-55,共5页
深入探讨工业以太网的研究现状及发展趋势,提出一种基于工业以太网的片上可重构嵌入式运动控制器体系结构,在此基础上利用Xilinx公司的MicroBlaze32位微处理器IPCore进行原型系统实现。实验结果表明,本运动控制器的总体设计方案是正... 深入探讨工业以太网的研究现状及发展趋势,提出一种基于工业以太网的片上可重构嵌入式运动控制器体系结构,在此基础上利用Xilinx公司的MicroBlaze32位微处理器IPCore进行原型系统实现。实验结果表明,本运动控制器的总体设计方案是正确可行的。 展开更多
关键词 工业以太网 嵌入式运动控制器 MICROBLAZE IP CORE 嵌入式INTERNET
基于HFC结构的优先级接入控制技术研究 预览 被引量:1
14
作者 高飞 尹世堂 +1 位作者 赵东风 余英 《电子科技大学学报》 EI CAS CSCD 北大核心 2005年第2期 217-220,共4页
研究了基于争用/预约机制的混合光纤/同轴宽带接入网媒体接入控制协议原理,提出了随机争用与周期查询排队系统相结合的终端申请接入方式,使不同优先级的终端申请能以不同的控制机制实现接入.计算机仿真实验结果表明,系统能保证具有较高... 研究了基于争用/预约机制的混合光纤/同轴宽带接入网媒体接入控制协议原理,提出了随机争用与周期查询排队系统相结合的终端申请接入方式,使不同优先级的终端申请能以不同的控制机制实现接入.计算机仿真实验结果表明,系统能保证具有较高优先级的申请能获得更好的服务质量保证. 展开更多
关键词 混合光纤/同轴 优先级 冲突分解 计算机仿真
在线阅读 免费下载
分隙CDMA协议在多媒体业务中的应用研究 预览
15
作者 李莉 彭云帆 +1 位作者 刘丽梅 云利军 《云南师范大学学报:自然科学版》 2005年第1期 8-10,20,共4页
文章研究了一种适合多媒体传输的MAC协议--分隙CDMA协议(τ-CDMA),它在RT-DMA的基础上,将基站可分配的资源从时隙扩展为码字一时隙,并充分利用通话期间的静默时段,更有效支持多媒体业务的传输.
关键词 τ—CDMA 静默时段 多媒休传输
在线阅读 免费下载
宽带交换机输入缓存QoS研究 预览
16
作者 余英 赵东风 《计算机科学》 CSCD 北大核心 2005年第1期 56-57,共2页
宽带化、数字经、综合化将成为今后网络建设的潮流,为了改善宽带业务的服务质量QoS,我们对ATM交换机输入缓存提出了一种新的改进方案.通过计算机仿真实验,我们分析了系统的相关性能,获得了一些有用的结果.
关键词 宽带交换机 输入缓存 QOS ATM业务类型 传输特性 服务质量 计算机仿真
在线阅读 免费下载
PowerBuilder与Excel间通信技术研究 预览 被引量:2
17
作者 孙玉荣 刘丽梅 《计算机与现代化》 2005年第2期 47-49,共3页
结合实例具体介绍了利用OLEObject对象实现PowerBuilder与Excel间数据共享的技术.
关键词 POWERBUILDER 数据窗口 EXCEL OLEObject对象
在线阅读 下载PDF
急性冷暴露与持续冷驯化对中缅树鼩膈肌和心肌线粒体呼吸的影响 预览
18
作者 王颖 王政昆 史天然 《云南师范大学学报:自然科学版》 2005年第1期 34-39,共6页
在急性冷驯化阶段(1h,4h,8h),中缅树嗣膈肌线粒体状态Ⅳ呼吸与对照比较8小时组有显著的增强,心肌线粒体状态Ⅳ呼吸与对照比较在4小时和8小时有显著增强;在持续冷驯化阶段(1d,7d,14d,28d),中缅树鼩膈肌和心肌线粒体状态Ⅳ呼吸与对照比较... 在急性冷驯化阶段(1h,4h,8h),中缅树嗣膈肌线粒体状态Ⅳ呼吸与对照比较8小时组有显著的增强,心肌线粒体状态Ⅳ呼吸与对照比较在4小时和8小时有显著增强;在持续冷驯化阶段(1d,7d,14d,28d),中缅树鼩膈肌和心肌线粒体状态Ⅳ呼吸与对照比较均有所增强,其中28天组增强十分显著.这一系列变化对于探讨中缅树嗣膈肌与心肌在冷驯化中质子漏产热特征具有一定的意义. 展开更多
关键词 膈肌 树鼩 急性 心肌线粒体 呼吸 对照比较 影响 冷驯化 冷暴露 产热
在线阅读 免费下载
基于时序逻辑的多Agent系统协商模型及其推理与授权规则研究 预览
19
作者 刘海庆 夏幼明 +1 位作者 李晶 尹红丽 《武汉大学学报:信息科学版》 EI CSCD 北大核心 2005年第9期 833-836,共4页
在文献[1]的基础上,对多Agent系统协商模型基于时序逻辑的方法进行了设计,给出了其形式化体系结构,同时给出了该模型的推理规则和授权规则.
关键词 多AGENT系统 协商模型 时序逻辑
在线阅读 下载PDF
汽车驾驶仿真虚拟环境中路面标示的智能化建模 预览 被引量:1
20
作者 冯乔生 陈玉华 +1 位作者 刘丹非 段鹏 《计算机仿真》 CSCD 2003年第7期 81-83,共3页
高速公路以及城市道路路面上的各种标示是汽车驾驶员的重要指示符号,因而它们是汽车驾驶仿真场景中的重要组成部分.但是,路面上的标示在三维空间中受路面的几何约束和它们间的连接约束,并且高速公路以及城市道路的路面又不总是笔直平面... 高速公路以及城市道路路面上的各种标示是汽车驾驶员的重要指示符号,因而它们是汽车驾驶仿真场景中的重要组成部分.但是,路面上的标示在三维空间中受路面的几何约束和它们间的连接约束,并且高速公路以及城市道路的路面又不总是笔直平面的,这些因素导致按普通的绘图方法在路面上绘制各种标示是费时的、不能满足汽车驾驶仿真应用中对场景实时建模的要求.所以,该文分析了汽车驾驶仿真虚拟环境中路面上的车道线和其它标示的绘制特点,按它们所受的几何约束进行了分类,进而提出了基于JAVA3D和面向对象设计方法的智能化绘制路面标示的关键技术.用该技术所开发的场景建模器能自动连接和调整路面标示以满足约束关系,达到使建模人员方便快速建模路面标示的目的. 展开更多
关键词 汽车驾驶 仿真 虚拟环境 路面标示 智能化建模 面向对象 汽车驾驶员
在线阅读 下载PDF
上一页 1 2 18 下一页 到第
使用帮助 返回顶部 意见反馈
新型冠状病毒肺炎防控与诊疗专栏