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

首页加盟期刊收录期刊评价中心文献导读期刊动态博客美文问题解答在线订阅新浪微博RSS
网站动态： 中国计算机期刊网介绍          欢迎关注中国计算机期刊网微信订阅号！          中国计算机期刊网正式发布,欢迎访问!          如何申请成为收录期刊和加盟期刊         
  •   按检索    检索词：    高级检索
     排序：相关度 OA 时间 被引次数 点击次数 下载次数 共有10000条符合的查询结果，以下是第9921-9930项 搜索用时 227 毫秒
[首页] « 上一页 [988] [989] [990] [991] [992] 993 [994] [995] [996] [997] [998] 下一页 » 末  页»
9921.
Lustre是一种广泛应用于工业界核心安全级控制系统的同步数据流语言,采用形式化验证的方法实现Lustre到C的编译器可以有效地提高编译器的可信度.基于这种方法,开展了从Lustre*(一种类Lustre语言)到C子集Clight的可信编译器的研究.由于Lustre*与Cligh… …   相似文献
刘洋  甘元科  王生原  董渊  杨斐  石刚  闫鑫 《软件学报》2015,26(2):332-347
9922.
高智能自动组卷算法要求找到最大程度地满足多重约束条件的试题组合。本文提出一种高智能自动组卷的算法模型。它利用树做为基本数据结构,充分考虑了多重组件因素之间的平衡,并实现了算法和数据存储的分离。此算法模型满足多种约束因素、多种策略选择的组卷选择,并提供了高可扩展性。  相似文献
9923.
  总被引：2，自引：0，他引：2
针对物联网对象命名服务中根服务器负载过重、负载不均衡和单点失效等问题,提出建立基于分布式哈希表的物联网命名服务体系结构,以对等的环型结构替代树型结构;同时采用基于物理网络拓扑的、依靠邻居节点集合的分簇算法,改进了Chord算法,实现了该物联网命名服务原形系统。仿真实验与分析证明了… …   相似文献
9924.
把源程序转换为流程图是软件工程的研究课题之一。本文提出了一种把源程序转换为结构化的流程图(PAD图)的方法和实现技术,该方法和技术已被用于转换工具IPADT系统。此外,本文也讨论了这种转换中所面临的几个问题。  相似文献
9925.
下载全文  总被引：29，自引：0，他引：29
在浩如烟海的混乱的信息世界中;人们逐渐迷失了方向、于是人们开始寻找一种有效的方式;以带领人们在信息海洋中确认正确的方向,以充分利用这些宝贵的资源。个性化信息服务是一个非常好的出路。在张扬个性,倡导创造性的现代信息社会,个性化服务更是倍受人们的关注和青睐。那么究竟什么是个性化信息服… …   相似文献
9926.
探讨一种全局式的声明式传感器网络开发模式,将全局式的声明式网络程序编译为分布式程序,再交给网络节点的虚拟机执行.因此,开发者只需声明网络全局的功能,而无须处理网络的分布式计算过程以及底层细节.  相似文献
汪芳  张云勇 《软件学报》2012,23(8):2073-2083
9927.
  
融合网络中的异构P2P流媒体系统中具有多种终端、应用及节目类型,使得用户行为模式复杂,为系统稳定性带来了挑战。针对以上问题提出融合网络异构P2P流媒体系统稳定性增强策略。通过分析流媒体系统用户日志,确定用户行为影响因素,在此基础上对不同类型的用户行为进行收集及拟合,进行基于可靠性… …   相似文献
9928.
下载全文  总被引：1，自引：0，他引：1
对于递归程序的操作语义,常用的刻划方法是引入无定义值ω,再定义函数的ω延拓和平坦偏序等概念,导入转移关系和计算序列。本文采用优先处理某些项的原则避免引入ω,从而直接根据谓词逻辑的基底的解释引进计算序列,并且保证了其中的转移关系是一个函数。由此我们否定了Loeckx和Sieber所… …   相似文献
邵志清 《软件学报》1991,2(4):31-35
9929.
在诸如机器人足球赛等典型的可分解马尔可夫决策过程(factored Markov decision process,简称FMDP)模型中,不同状态属性在不同的状态下,对于状态评估的影响程度是不同的,其中存在若干关键状态属性,能够唯一或近似判断当前状态的好坏.为了解决FMDP模型中… …   相似文献
张双民  石纯一 《软件学报》2005,16(5):733-743
9930.
  总被引：1，自引：0，他引：1
针对故障和征兆关系不确定的网络中故障定位算法检测率低和误检率高的缺陷,提出了一种基于贝叶斯征兆解释度的链路故障定位算法。该算法以概率加权的二分图作为故障传播模型,通过处理贝叶斯后验概率信息,定义一种新的参数贝叶斯征兆解释度,并基于该参数对可能链路故障进行判断,得出最优故障假设集合… …   相似文献
[首页] « 上一页 [988] [989] [990] [991] [992] 993 [994] [995] [996] [997] [998] 下一页 » 末  页»
关于我们 | 广告服务 | 商务洽谈 | 联系我们 | 免责条款 | 隐私声明 | 网站导航
网站版权所有：中国科学院软件研究所  京ICP备09084417号-9
地址：北京海淀区中关村南四大街4号 邮编：100190 电话：010-62562563 E-mail ： cj_mail@jscas.ac.cn
本系统由:北京勤云科技发展有限公司提供技术支持