用户名： 密码： 找回密码 中文版 English 本站信箱 收藏本站 本网介绍

首页加盟期刊收录期刊评价中心文献导读期刊动态博客美文问题解答在线订阅新浪微博RSS
网站动态： 中国计算机期刊网介绍          欢迎关注中国计算机期刊网微信订阅号！          中国计算机期刊网正式发布,欢迎访问!          如何申请成为收录期刊和加盟期刊         
  •   按检索    检索词：    高级检索
     排序：相关度 OA 时间 被引次数 点击次数 下载次数 共有10000条符合的查询结果，以下是第8321-8340项 搜索用时 165 毫秒
[首页] « 上一页 [412] [413] [414] [415] [416] 417 [418] [419] [420] [421] [422] 下一页 » 末  页»
8321.
下载全文  总被引：1，自引：0，他引：1
通用交互式逻辑推理语言Tuili是能够进行不同方向并能选择不同搜索策略进行推理的人工智能语言,特别适合快速建造专家系统或基于知识的系统。它的实现将使这一新颖的推理语言的应用成为可能。本文给出作者已经实现的一个Tuili系统中用到的编译方法和主要的实现技术。  相似文献
高全泉   《软件学报》1991,2(2):52-62
8322.
下载全文  总被引：8，自引：1，他引：8
HPF(high performance Fortran)是一种典型的数据并行语言,HPF编译系统的实现是并行计算研究领域的一个难点.文章介绍了一个HPF编译系统的研究与实现情况,在对该系统的主要组成进行了简要介绍之后,着重讨论了系统实现中的若干关键技术,并列出了部分HPF源程序… …   相似文献
8323.
软件体系结构由不同的视图组成,每个视图包含不同的体系结构关注点.在软件工程领域中,如何对这些视图进行比对和合并是一项非常重要的研究工作.然而,目前视图比对的主要研究都着眼于视图元素之间的比对,因而并不能有效地发现视图之间的隐含冲突.主要原因是由于不同视图背后隐含着不同的关注点,而… …   相似文献
朱文辉  黄罡  孙艳春  梅宏 《软件学报》2011,22(11):2577-2592
8324.
下载全文  总被引：4，自引：3，他引：1
摘要：针对数据挖掘领域中时间序列的相似性度量问题,提出了基于斜率偏离度量的浮动索引相似性搜索算法。在斜率偏离度量的基础上建立分箱标志,通过浮动索引方法有效实现高维多元时间序列的准确索引,用实际的飞行数据进行仿真验证获得好的效果,证明这种方法的有效性和可靠性。  相似文献
8325.
下载全文  总被引：5，自引：1，他引：5
这篇论文探索了命题逻辑的Horn子句的Petri网模型,求解逻辑推论Petri网模型的T—不变量是求解逻辑推论的核心步骤,本文提供了计算T—不变量的算法,这些算法基于归约的思想,另外,在算法中利用单字母规则、纯字母规则和割裂规则可提高算法的速度和简化算法的复杂性。  相似文献
林闯 《软件学报》1993,4(4):32-37
8326.
文章研究了用重复集生成的ω语言和语言的附着之间的关系,指出并证明了上下文无关语言附着类是ω上下文无关语言类的真子类,正规语言附着类是ω正规语言类的真子类．作为上下文无关语言的一个真子类——线性语言的附着类是ω正规语言类的真子类.  相似文献
郭清泉  王常青 《软件学报》1999,10(4):406-408
8327.
针对一般组合电路的优化算法复杂、优化过程时间长、优化效率偏低等问题,提出一种人工选择方式下的组合电路优化算法。该算法模拟物种进化时的家养模式,将最小项作为基因,函数表达式作为染色体,把逻辑电路的优化过程演变为遵循电路定律的基因变异、重组、寻优的过程。算法通过有利的变异条件,提高了… …   相似文献
8328.
下载全文  总被引：1，自引：0，他引：1
提出了改进的LSA模型并将其用于人脸识别处理。首先利用该模型建立不同尺度图像间的映射关系;其次使用原始图像及其小波分解结果得到模型中的参数以确定这种映射关系;最后根据该映射关系由低分辨率图像估计高分辨率图像。通过比较被测试图像的模型参数和训练集图像的模型参数确定被测试图像的类别。… …   相似文献
8329.
下载全文  总被引：2，自引：0，他引：2
澄清了各类量子自动机之间的相互关系,并给出了量子自动机的各种等价刻画定理.引入G-量子自动机、g-量子自动机、(广义)量子自动机及G-量子文法和g-量子文法,并阐明了它们与其他量子自动机之间的等价关系.在一定条件下讨论了G(g)-量子自动机与G(g)-量子文法的等价性,从而解决了… …   相似文献
邱道文 《软件学报》2003,14(1):9-15
8330.
针对传统火灾探测技术存在的不稳定、误判率高等缺点,着重分析了室内火灾图像与常见干扰光源图像的特点,提出用火焰区域面积变化、质心位置、尖角数、圆形度等信息作为火灾判据,并用模糊神经网络对以上特征参数进行数据融合,作出火灾判断。实验结果表明,基于模糊神经网络的信息融合算法能够有效识别… …   相似文献
8331.
下载全文  总被引：1，自引：0，他引：1
配合消防实战演练的需要,采用VRML技术开发了分布式灭火预案虚拟现实演示系统.系统采用三维和二维场景结合的方法,通过Java技术对VRML对象进行控制访问,形象直观的对整个消防灭火过程进行虚拟演示.  相似文献
8332.
描述了一个计算机人脸合成系统的设计目标、系统的结构和功能以及实现技术,并给出了计算机人脸合成系统的示例。  相似文献
8333.
下载全文  总被引：1，自引：1，他引：1
提出了一个基于服务Agent的计算框架,并从社交认知的角度建立了一个服务Agent的信任本体,支持服务Agent对信任信息进行推理.根据该信任本体,提出一系列基于信任推理的计算规则支持信任值的计算,帮助服务Agent进行理性的选择决策.案例研究结果表明,该方法能够有效地帮助服务请… …   相似文献
朱曼玲  金芝 《软件学报》2011,22(11):2593-2609
8334.
在形式规格说明的获取任务中,一个重要问题是验证获取得到的形式规格说明的正确性.即给定一个问题需求P,往往可以获取多种不同形式的规格说明,如何验证这些不同形式的规格说明均正确?问题需求的非(半)形式化与形式规格说明的形式化两者之间差异的本性,使得该问题成为软件需求工程中一个具有挑战… …   相似文献
王昌晶  薛锦云 《软件学报》2013,24(4):715-729
8335.
下载全文  总被引：1，自引：0，他引：1
移动Ad hoc网络是指由一组带有无线收发装置的移动节点组成的一个多跳的、不需要固定中心接入点或者基站支持的自治系统。对移动Ad hoc网络多播路由中的MAODV协议进行理论分析,提出了一种使用转接机制改进MAODV协议的方法,该改进协议使用新的NACK抑制机制来防止NACK风暴… …   相似文献
8336.
下载全文  总被引：1，自引：0，他引：1
介绍了组播VPN(Virtual Private Networks)的三种候选方案,在比较分析各自优缺点的基础上,本文重点研究了基于多点组播隧道的组播VPN方案.该方案利用公网上的PIM-SM(Pritocol Independent Multicast-Sparse Mode)… …   相似文献
8337.
文章实现混合型多概念获取系统HMCAS(hybrid multi-concept acquisition system).无论在离散值或连续值输入下,HMCAS系统都可以实现增量式教师学习.HMCAS的核心算法HMCAP基于事例空间的概率分布,结合了符号学习和神经网络学习,能够以… …   相似文献
8338.
现实中很多数据是增量出现的,就需要对数据进行增量的处理,为此,给出了一种基于优势区分矩阵的增量求核算法,通过修改矩阵的某一行或某一列来增量得到决策表的核。通过实验验证了算法的有效性。  相似文献
8339.
对多分支单变量循环程序的终止性问题进行了研究.证明了在适定的条件下,该类循环程序不可终止性的充分必要条件是迭代映射在循环条件形成的区域中有不动点.特别地,当这类循环程序是多项式循环程序时,在给定条件下,其在实数域上的终止性问题是可判定的.  相似文献
李轶  李传璨  吴文渊 《软件学报》2015,26(2):297-304
8340.
在分析了P2P网络应用模式优势的基础上,针对现有的基于P2P的视频直播系统中的负载均衡算法存在的问题,提出了一种分布式负载均衡算法。该算法不仅可以协同考虑节点的处理能力和网络延时,还可以在开销较小的前提下有效的降低组播树高度和平均源到端延时。  相似文献
[首页] « 上一页 [412] [413] [414] [415] [416] 417 [418] [419] [420] [421] [422] 下一页 » 末  页»
关于我们 | 广告服务 | 商务洽谈 | 联系我们 | 免责条款 | 隐私声明 | 网站导航
网站版权所有：中国科学院软件研究所  京ICP备09084417号-9
地址：北京海淀区中关村南四大街4号 邮编：100190 电话：010-62562563 E-mail ： cj_mail@jscas.ac.cn
本系统由:北京勤云科技发展有限公司提供技术支持