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

首页加盟期刊收录期刊评价中心文献导读期刊动态博客美文问题解答在线订阅新浪微博RSS
网站动态： 中国计算机期刊网介绍          欢迎关注中国计算机期刊网微信订阅号！          中国计算机期刊网正式发布,欢迎访问!          如何申请成为收录期刊和加盟期刊         
  •   按检索    检索词：    高级检索
     排序：相关度 OA 时间 被引次数 点击次数 下载次数 共有10000条符合的查询结果，以下是第9741-9760项 搜索用时 125 毫秒
[首页] « 上一页 [483] [484] [485] [486] [487] 488 [489] [490] [491] [492] [493] 下一页 » 末  页»
9741.
下载全文  总被引：2，自引：1，他引：2
首先概括对象依赖、无冲突对象依赖集合、规范化对象模式森林和复杂对象模式规范化设计算法的基本概念和性质;然后给出并证明相应于无冲突对象依赖集合M的规范化对象模式森林F的性质:P(F)是惟一的、不可分解的规范化对象模式森林的路径集合;M<=>OD(F)<=>P(F);P(F)是无(环的.这对于面向对象信息系统的开发有一定的意义.… …   相似文献
吴永辉  周傲英 《软件学报》2002,13(8):1488-1493
9742.
  
安全协议形式化分析方法通过规范描述和数学推理来检验安全协议是否满足各种安全要求.GSPM是安全协议形式化分析的一般模型.在该模型中加入新鲜性的定义,形式化描述了新鲜性这一特殊的安全性质,扩展了GSPM的适用范围,并通过Andrew Secure RPC协议给出了形式化分析新鲜性的… …   相似文献
9743.
  
Julia语言是一种在MIT许可证下免费的开发中脚本语言(beta 0.2.0),目标是降低并行程序的编程难度.基于Julia现有语法机制,逐步增强Julia语法特性,结合公交线路的平均走行时间统计案例,研究Julia并行编程框架和程序逐步精化的方法.Julia程序支持本地多核心… …   相似文献
9744.
针对肝脏CT序列图像数据中目标血管与背景灰度差别小、肝脏内管道系统复杂及噪声较多等问题,提出一种肝脏管道系统提取和处理的方法。首先用基于统计的阈值分割方法粗分割血管,然后用一种基于空间连通域的三维血管树追踪的方法得到空间连通的三维管道系统,从而达到去除噪声的目的。最后利用傅里叶描… …   相似文献
9745.
下载全文  总被引：2，自引：0，他引：2
与以往尽最大努力的查询服务提供方式不同,讨论了数据流处理中确定性QoS的保证问题以网络演算为理论基础,提出了一种数据流处理中的QoS建模和QoS保证方法.系统运行前验证所有查询在满足各自的QoS前提下的可调度性.在运行时为通过QoS可调度性验证的每个查询分配代表其QoS需求的服务… …   相似文献
武珊珊  于戈  吕雁飞  谷峪  李晓静 《软件学报》2008,19(8):2066-2079
9746.
  总被引：3，自引：0，他引：3
当Internet成为信息社会最重要的传递手段以后,应用系统的范围和客户端的结构就都多样化了.与Internet的集成成为数据库研究者面临的非常急迫和重要的研究问题.因为多数已经存放在计算机系统内的数据是驻留并由数据库系统管理的,并且大量即将进入计算机系统的数据也将通过数据库系统… …   相似文献
9747.
  
以提高机床液压系统可靠性为目的,分析了液压传动的特点,并对常见的故障现象进行了整理,归纳出了振动异响、压力不足及波动大、流量不稳定、液压元器件损坏四种典型的故障模式。以某磨齿机为例,采用FTA(故障树分析)方法,对四种故障模式进行了故障原因溯源,找出了造成系统故障的根本原因。以压… …   相似文献
9748.
通过把自适应线性神经元(adaline)网络与自由曲面的生成原理相结合,提出了一种生成分形曲面的新方法.给出了对自由曲面分形的各种分形方法的数学模型,详细介绍了如何通过设置神经网络可调参数的数值来控制和调整分形曲面形状的方法,实现了在控制神经网络可调参数的情况下,改变确定自由曲面… …   相似文献
9749.
提出不完备模型的两种不完备性:模型定义不完备和因果关系不完备.在模型定义不完备条件下,用在线观测与模型共同约束的方法处理观测乱序及未定义事件,得到可行的诊断轨迹.相对于基于完备模型假设下不能诊断的结论,该方法扩展了诊断方法的适用范围,放松了对模型的约束要求,在因果不完备条件下,提… …   相似文献
9750.
  
引入域和资源路由节点的概念,设置最小代价函数对网格资源进行分层按域划分,形成一种基于最小代价的分层次网格资源发现模型;并为模型设计了相应的资源路由器节点选择算法、资源注册和查询算法。性能分析和模拟实验结果表明,模型具有良好的可扩展性和容错性,且系统代价低;模型能够在屏蔽网格资源异… …   相似文献
张忠平  贾倩 《计算机应用研究》2012,29(12):4683-4687
9751.
  总被引：2，自引：1，他引：2
就盟主企业建立动态联盟的过程、盟友的评价指标体系、优化决策的算法进行了分析与研究,建立了盟友选择的数学模型,提出模糊综合评价算法及分层模糊综合评价的改进算法。最后将算法应用于实践,证明了其可行性和有效性。  相似文献
9752.
Internet的迅速发展使得电子商务中信息超载现象越发严重,如何从商品信息的海洋中快速准确的挑选出需要的商品已成为电子商务网站急需解决的问题,个性化推荐为解决该问题提供了可能.为了实现准确的推荐,本文提出了使用人工免疫技术对用户进行聚类,然后采用协同过滤技术进行推荐,结果表明,… …   相似文献
9753.
无β环数据库模式具有很多优良的特性,以往的研究都局限在图论的范畴内,而没有考虑数据库的其他规范化特性.在混合依赖基概念的基础上,定义了严格无冲突、扩展严格无冲突等概念,并证明了在混合环境下得出的无损联接、保持依赖、无β环且满足4NF的分解的充要条件是,混合依赖集是扩展严格无冲突的.据此,给出了判断严格无冲突及混合环境下无β环分解算法,并分析了算法时间的复杂度是线性的.最后,给出基于线图的实例验证.这一结论可直接指导数据库的模式设计.… …   相似文献
刘文远  郝忠孝 《软件学报》2000,11(12):1656-1659
9754.
本文讨论Burstall与Darlington提出的folding/unfolding系统的程序转换能力,即讨论从一个给定的程序可以推导出什么样的程序。因此,这是正确性与完备性问题的推广。本文证明了可推导性的一个必要条件,并由此得到了该系统提高程序效率的一个界限。该系统的部分正确… …   相似文献
朱鸿 《软件学报》1991,2(2):31-41
9755.
本文用类型一阶理论来定义逻辑程序,并通过引入Ｌａｋａｔｏｓ的基于证伪的发现方法论将原有的封闭型类型一阶理论改造为开放的类型一阶理论．在此基础上,建立了一个基于假说演算的逻辑自动编程理论,并利用这一理论在Ｓｕｎ工作站上建立了一个自动设计Ｐｒｏｌｏｇ型程序的实验系统．  相似文献
姜涛  孙怀民 《软件学报》1994,5(11):50-58
9756.
在无线mesh网络中,机会路由通过高效使用无线传输的广播特性显著地提高了无线网络的吞吐量.引入网络编码,使得机会路由协议可以避免复杂的调度,更加易于实现.然而,网络编码的引入给机会路由协议带来新的问题：转发节点应该发送多少编码包?MORE等协议依据平均链路状况信息来预计节点转发编… …   相似文献
9757.
  总被引：2，自引：0，他引：2
在图像融合过程中常采用重叠区域像素加权融合方法,这会存在鬼影现象。为解决这一问题,提出了一种改进的最佳缝合线生成算法和沿最佳缝合线的融合方法,并将其应用于序列遥感图像的拼接融合。首先在重叠图像中,对重叠区域的边赋予权值,然后进行最大流最小割,最终获取最佳缝合线。在计算边权值时引入… …   相似文献
9758.
  
为了改善单一聚类算法的聚类性能,提出一种基于量子遗传算法的XML文档聚类集成解决方法。该方法首先利用KNN分类算法将XML文档划分成k个差异性的聚类成员;其次根据聚类成员的关系获得内联相似度矩阵,并通过多次分割、向下、向上、双向收缩的QR算法分解特征值对应的特征向量来实现矩阵的维… …   相似文献
9759.
  
在装定器接收到的负载调制信号中,载波信号与反馈信号相位相差π/2,且前者幅度远远大于后者,因此,负载调制信号的调幅度接近于1,用包络检波方式难以解调出反馈信号。提出了一种正交变换方法,可以简便地实现载波信号的正交变换,使得载波信号与反馈信号同相,增强负载调制信号的幅度变化率,从而… …   相似文献
9760.
针对蓝牙分散网本身具有的特殊限制和特性,文章提出了一种基于密度影响函数的聚类算法构造蓝牙分散网的方法。首先通过密度影响函数对所有结点进行分区后构建匹克网,然后利用聚类算法形成最终的分散网。经数学证明,该方法为有效构建蓝牙分散网节省了时间。  相似文献
[首页] « 上一页 [483] [484] [485] [486] [487] 488 [489] [490] [491] [492] [493] 下一页 » 末  页»
关于我们 | 广告服务 | 商务洽谈 | 联系我们 | 免责条款 | 隐私声明 | 网站导航
网站版权所有：中国科学院软件研究所  京ICP备09084417号-9
地址：北京海淀区中关村南四大街4号 邮编：100190 电话：010-62562563 E-mail ： cj_mail@jscas.ac.cn
本系统由:北京勤云科技发展有限公司提供技术支持