限定检索结果

检索条件"机构=云南师范大学计算机科学系"
33 条 记 录,以下是1-10 订阅
视图:
排序:
基于时序逻辑的多Agent系统协商模型及其推理与授权规则研究
收藏 引用
《武汉大学学报(信息科学版)》2005年 第9期30卷 833-836页
作者:刘海庆 夏幼明 李晶 尹红丽海军工程大学微机中心 云南师范大学计算机科学系 
在文献[1]的基础上,对多Agent系统协商模型基于时序逻辑的方法进行了设计,给出了其形式化体系结构,同时给出了该模型的推理规则和授权规则。
来源:详细信息评论
基于向量空间的检索模型研究
收藏 引用
《现代图书情报技术》2002年 第S1期 85-86页
作者:陶跃华 赵波 杨秀国 廖燕玲云南师范大学计算机科学系昆明650092 
在设计搜索引擎时,由于Internet的飞速发展,现有的检索模型检索效率不高。为了提高搜索引擎的检索效率,在本文中我们对基于向量空间的检索模型(例如:QR模型,潜语义标引模型)进行了深入地研究。
来源:详细信息评论
基于AUTOCAD的机器人参数化三维实体造型
收藏 引用
计算机辅助设计与图形学学报》2000年 第3期12卷 207-210页
作者:冯乔生 刘丹非 张萍云南师范大学计算机科学系昆明650092 
提出以广泛使用的非参数化造型系统 AU TOCAD进行机器人参数化三维实体造型方法和修改方法 ,能方便灵活地生成符合需要的机器人及其工作环境的三维实体模型 ,将其用于机器人离线编程 .该方法也适用于以AU TOCAD进行其它开链结构系统的...
来源:详细信息评论
超文本关系数据库实验模型
收藏 引用
计算机应用》2001年 第12期21卷 88-89页
作者:孙莅文 张萍云南师范大学数学系云南昆明650092 云南师范大学计算机科学系云南昆明650092 
设计并实现了一个超文本关系数据库实验模型HRDBEM ,对超文本技术与数据库技术的结合做了有益的尝试。HRDBEM可以在Internet环境下运行 ,具有友好的人机界面 ,提供SQL命令方式或填表方式对数据进行数据定义、数据操纵和数据查询等操作。
来源:详细信息评论
“普通物理”CAI软件的设计探讨
收藏 引用
云南大学学报(自然科学版)》1998年 第S1期20卷 166-168页
作者:李敬 赵波云南师范大学信息传播系 云南师范大学计算机科学系 
分析了当代“普通物理”教学理论和教学特点,并在此基础上阐明了“普通物理”CAI系统的设计思想、教学目标、结构模式。
来源:详细信息评论
整体与部分关系中的语义传播机制研究
收藏 引用
《四川大学学报(工程科学版)》2007年 第S1期39卷 264-268页
作者:赵波 李涓子 王克宏云南师范大学计算机科学系云南昆明650092 清华大学计算机科学与技术系知识工程组北京100084 
为了用UML严格、准确表示领域模型中整体与部分关系间的语义传播,从整体与部分关系的语义特征出发研究整体与部分关系之间的属性值的传播机制;从对象的生命周期出发,详细分析研究部分对象和整体对象之间的依赖关系,进而研究其操作的传...
来源:详细信息评论
DNA密码学在云计算数据安全中的应用
收藏 引用
计算机工程与设计》2022年 第8期43卷 2169-2173页
作者:施媛波云南师范大学商学院计算机科学系云南昆明650106 
针对云环境多媒体由于通过互联网传输而易受到黑客攻击的问题,提出基于DNA密码学的云计算数据安全模型。该模型的数据所有者根据用户属性、用户密码、DNA参考密钥、互补规则和十进制编码规则随机生成长1024位密钥,基于DNA序列对加密的...
来源:详细信息评论
用TSR程序扩充FOXBASE+图形功能的一种方法
收藏 引用
云南师范大学学报(自然科学版)》1997年 第4期17卷 32-39页
作者:余英云南师范大学计算机科学系 
本文意在通过混合编程的方法,利用TSR程序和TURBOC快速而丰富的图形功能函数,提供为Foxbase/Foxprofordos扩充图形功能的一种方法。
来源:详细信息评论
计算机实现随机音频信号识别
收藏 引用
云南大学学报(自然科学版)》2001年 第6期23卷 422-424页
作者:李莉 杨明华 赵宁 段煜萍云南师范大学计算机科学系云南昆明650092 云南大学信息与电子科学系云南昆明650091 
分析了利用自相关函数法实现快速识别随机音频信号 。
来源:详细信息评论
基于语义网络的知识表示的形式转换及推理
收藏 引用
《武汉大学学报(信息科学版)》2001年 第4期26卷 369-373页
作者:夏幼明 刘海庆 徐天伟云南师范大学计算机科学系 海军工程大学微机中心武汉市解放大道717号430033 
介绍了基于语义网络的知识表示 ,并利用基于知识的方法将SNetL的知识表示转换为谓词逻辑的表现形式 ,将其用于推理。本文讨论知识表示的交互式输入方法以及中间模型的设计。按SNetL语言的描述机制 ,确定了用户描述的控制、导航方式 。
来源:详细信息评论
聚类工具 回到顶部