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

首页加盟期刊收录期刊评价中心文献导读期刊动态博客美文问题解答在线订阅新浪微博RSS
网站动态： 中国计算机期刊网介绍          欢迎关注中国计算机期刊网微信订阅号！          中国计算机期刊网正式发布,欢迎访问!          如何申请成为收录期刊和加盟期刊         
  •   按检索    检索词：    高级检索
     排序：相关度 OA 时间 被引次数 点击次数 下载次数 共有10000条符合的查询结果，以下是第7521-7540项 搜索用时 115 毫秒
[首页] « 上一页 [372] [373] [374] [375] [376] 377 [378] [379] [380] [381] [382] 下一页 » 末  页»
7521.
下载全文  总被引：3，自引：2，他引：1
本文在一些相当直观的条件下建立了Ｉｎｓｔｉｔｕｔｉｏｎ中合并理论与各因子理论的初始（终结）语义之间的对应关系．  相似文献
应明生 《软件学报》1996,7(6):360-363
7522.
下载全文  总被引：2，自引：0，他引：2
正确理解乐观推进机制的基本原理,并按照高层体系结构HLA(high level architecture)规范实现RTI(runtime infrastructure)中的乐观推进服务一直是分布式仿真领域关注的难点问题.介绍了并行离散事件仿真PDES(parallel discr… …   相似文献
7523.
下载全文  总被引：5，自引：0，他引：5
从软件容错的角度出发,在基于网络的分布计算环境下,针对军事指挥系统及银行管理系统的特点,为了满足这些应用对可靠性的要求,以组通信为基础,采用进程复制技术,提出了一个嵌套式动态容错模型;进而提出了一个动态容错算法,该算法保证当主服务进程发生失效时,能够动态地选择一个新的主服务进程,… …   相似文献
7524.
下载全文  总被引：9，自引：0，他引：9
提出一种基于语义单元表示树剪枝的高速多语言机器翻译方法.此方法是一种将汉语翻译到其他语种不需要先进行汉语切分的多语言机器翻译方法.而且翻译时间为O(L)而不是O(LN),其中,L是文本的长度,N是语义单元库中语义单元的数量,一般有数十万或者数百万.… …   相似文献
高小宇  高庆狮  胡玥  李莉 《软件学报》2005,16(11):1909-1919
7525.
  总被引：3，自引：0，他引：3
提出了一种基于Java的Web程序安全解决方案。该方案采用JAAS（Java Authentication Authorization Service）实现可插入式登录模块,采用X509数字证书作为用户身份认证,通过配置Web服务器,并利用服务器证书和客户端证书实现服务器与客户端… …   相似文献
7526.
  
为了达到有效缩短算法运行时间、加快定位速度的目的,研究并分析了匹配场声源定位算法中存在的固有并行性,构建了匹配场声源定位的并行计算算法框架。详细介绍了匹配场声源定位算法的网格法并行化方法;并以互连的双核PC机作为并行计算硬件平台,选用Windows操作系统、FORTRAN编译器,… …   相似文献
7527.
  
针对结构化耳标的不足,提出序列化耳标的新思路,以解决听觉显示方法呈现结构化离散信息时,可听化菜单容量不足的问题。借助心理学实验的方法对序列化耳标进行反映时——刺激（R—S）测试,来验证其可用性。测试结果表明,序列化耳标扩充了可听化的菜单容量,可用在表示类别相同而细节不同的信息上,… …   相似文献
7528.
  
针对高光谱图像分类过程中数据波段多以及信息冗余量大引起的处理速度慢及Hughes现象等问题,提出了一种基于多粒子协同进化算法进行高光谱图像自动波段选择与分类的方法:使用多粒子群协同进化算法搜索特征子集,对粒子群优化算法进行改进,定义新的位置和速度的更新策略,并以支持向量机为分类器… …   相似文献
任越美  李垒  张艳宁  魏巍  李映 《计算机科学》2014,41(12):283-287
7529.
  总被引：2，自引：1，他引：2
针对攻击分类研究发展的局限性,提出用多视图的方法构建以attack view、defense view和third-party view三个视图为主体结构的由四个层次组成的攻击分类体系。通过对攻击分类特性的合理性分析,提出将可接受性、完备性、互斥性、确定性和可用性作为分类评价的基… …   相似文献
7530.
下载全文  总被引：7，自引：1，他引：6
软件可靠性估计是软件可靠性研究的重要问题之一.提出一种根据软件随机测试的结果进行软件可靠性估计的方法.它使被测软件的复杂性成为估计公式中的一个因素,从而克服了现有同类方法把软件看作是黑箱的缺点.它以软件的邻域集合的伪维数作为软件复杂性度量,从而使根据软件的可能错误空间进行可靠性估… …   相似文献
朱鸿 《软件学报》1998,9(9):713-717
7531.
  
对有界闭域上的线性赋值循环程序终止性问题进行研究.利用Jordan 标准型技术将原循环程序的终止性问题约减为终止性等价的具有简单结构的循环程序的终止性问题.证明了当线性迭代映射满足一定条件时,该类循环程序不可终止的充分必要条件是：迭代映射在有界闭域上有不动点或周期轨.  相似文献
李轶  吴文渊  冯勇 《软件学报》2014,25(6):1133-1142
7532.
  总被引：1，自引：1，他引：0
给出了一个寄存器架构的虚拟机模型Micro-Dalvik,包括虚拟机指令集和虚拟机运行时状态的形式化,并以大步操作语义(big-step operational semantics)的方式给出了指令单步执行的状态转换以及定义在单步执行上的自反传递闭包来表达虚拟机程序的运行时状态转… …   相似文献
7533.
  
为了在多核处理器上充分利用多核资源以提升挖掘性能,提出了一种动态与静态任务分配机制相结合的基于多核的并行序列模式挖掘算法。该算法采用数据并行与任务并行相结合的策略,在各处理器核生成局部序列模式后,再与其他处理器核协同,以最终获得所有的全局序列模式。算法通过并行局部归约技术消除了局… …   相似文献
7534.
线性复杂度是衡量序列密码学强度的重要指标,设计具有大的线性复杂度和k-error线性复杂度的序列是密码学和通信中的热点问题.Niederreiter首次发现了Fq上许多满足这个要求的周期序列.通过序列的广义离散傅立叶变换构造了一些Fq上具有极大1-error线性复杂度的周期序列,这些结果远远优于已知的结果.… …   相似文献
胡红钢  冯登国 《软件学报》2005,16(5):940-945
7535.
  总被引：1，自引：0，他引：1
面向方面建模的目标是将面向方面的思想应用到设计阶段。目前面向方面建模的相关研究仍处于起步阶段。本文采用基于UML模型的方法,分别从动态横切和静态横切的角度,根据连接点、切入点、通知、类型间声明的语义,结合AspectJ对横切关注点进行建模。文章所描述的面向方面建模方法考虑了连接点… …   相似文献
7536.
提出一种基于控制流的程序行为扩展模型EMPDA(extended model based on push down automaton).对控制流模型加入不变性约束扩展,该模型能够表达程序正常运行时所应保持的不变性质约束,增强了模型的监控能力;通过以实际应用区分系统调用重要性,将… …   相似文献
陆炜  曾庆凯 《软件学报》2007,18(11):2841-2850
7537.
  
网页作弊不仅造成信息检索质量下降,而且给互联网的安全也带来了极大的挑战.提出了一种基于Bag-ging-SVM集成分类器的网页作弊检测方法.在预处理阶段,首先采用K-means方法解决数据集的不平衡问题,然后采用CFS特征选择方法筛选出最优特征子集,最后对特征子集进行信息熵离散化… …   相似文献
唐寿洪  朱焱  杨凡 《计算机科学》2015,42(1):239-243
7538.
  总被引：1，自引：0，他引：1
经过对IPv6数据包报头格式的研究,提出了基于限制性策略的IPv6报头安全性检测算法。该算法根据IPv6协议规范和网络安全需求,按照各扩展报头的出现顺序、扩展报头和/或选项的组合构造及重复次数的特性来检测有潜在安全威胁的恶意IPv6数据包。实验结果表明,该算法有效且能够在一定程度… …   相似文献
7539.
下载全文  总被引：3，自引：0，他引：3
悖论逻辑ＬＰ是一个超协调逻辑,发展超协调逻辑（ＬＰ）的目的是使得不会从矛盾推出任一命题,但它有一个主要缺点：就是一些在经典逻辑中有效的推理在ＬＰ中不再有效;极小悖论逻辑ＬＰｍ能克服这个缺点,使得在没有矛盾的直接影响下超协调逻辑等价于经典逻辑．ＬＰ和ＬＰｍ原来都只给出语义定义,虽然… …   相似文献
林作铨  李未 《软件学报》1996,7(6):345-353
7540.
  
为了进一步提高数据仓库的性能, 通过分析数据仓库中性能优化技术的特点, 提出了索引和物化视图耦合的性能优化技术。通过数据挖掘自动选择候选索引和物化视图, 减少查询的扫描范围; 然后研究在物化视图上建立索引的空间高效存储方法, 以提高查询速率; 最后利用成本模型对耦合情况进行分析,… …   相似文献
[首页] « 上一页 [372] [373] [374] [375] [376] 377 [378] [379] [380] [381] [382] 下一页 » 末  页»
关于我们 | 广告服务 | 商务洽谈 | 联系我们 | 免责条款 | 隐私声明 | 网站导航
网站版权所有：中国科学院软件研究所  京ICP备09084417号-9
地址：北京海淀区中关村南四大街4号 邮编：100190 电话：010-62562563 E-mail ： cj_mail@jscas.ac.cn
本系统由:北京勤云科技发展有限公司提供技术支持