8581.
8582.
总被引：8，自引：0，他引：8
代码迷惑是一种以增加理解难度为目的的程序变换技术,用来保护软件免遭逆向剖析.代码迷惑是否有效是代码迷惑研究中首要解决的问题.目前对有效性证明的研究大都是基于非语义的方式.文章将语义与有效性证明联系起来,建立了基于语义的代码迷惑有效性比较框架,该框架能够为迷惑算法在静态分析这样的限… … 相似文献
8583.
8584.
总被引：8，自引：0，他引：8
UML已经成为建模语言的事实标准，如何从UML分析设计模型生成测试用例也为面向对象软件测试带来了新的挑战．为了从UML设计模型中的活动图直接生成测试用例，给出了UML活动图的形式化定义和灰盒测试方法．该方法首先分析UML活动图上的所有执行路径（每条路径称为一个测试场景），然后根据… … 相似文献
8585.
总被引：8，自引：0，他引：8
歧义切分技术是中文自动分词系统的关键技术之一.特别是在现代汉语通用分词系统(GPWS)中,允许用户动态创建词库、允许多个用户词库同时参与切分,这给歧义切分技术提出了更高的实用性要求.从大规模的真实语料库中,考察了歧义(特别是交集型歧义)的分布情况和特征;提出了一种改进的正向最大匹… … 相似文献
8586.
8587.
总被引：8，自引：1，他引：8
提出了描述互连网络拓扑等价的图分析法。获得了全交叉网络与基准，逆基准，Ｏｍｅｇａ，ｆｌｉｐ，Ｓ＝Ｆ＝２ＳＷ榕树，简化数据变换等多级互连网络拓扑等价的逻辑名结构。阐明了用光学全交叉网络模拟实现上述网络的互连函数的原理及其多处理机，电信交换等领域的潜在应用。 相似文献
8588.
总被引：8，自引：2，他引：8
本文提出一种基于几何推理的参数化设计方法，该方法引入了已知元素，已知约束等新概念；通过扩展一般的图形数据结构统一表示几何元素与几何约束；基于普通算法而不是专家系统实现几何推理，并采用一个更适合地几何推理策略；基于几何推理实现参数化设计。 相似文献
8589.
8590.
8591.
总被引：8，自引：0，他引：8
本文首先简要介绍了Ｊａｖａ技术和ＪＤＢＣ和ＲＭＩ机制的工作原理,讨论了如何应用ＪＤＢＣ实现在Ｗｅｂ环境下对异种数据库进行透明访问,如何采用ＲＭＩ机制消除Ｊａｖａ对Ａｐｐｌｅｔ程序的安全性限制,实现Ｗｅｂ环境下分布式数据库的互操作,最后给出了一个我们基于Ｊａｖａ技术设计和实现的Ｗｅ… … 相似文献
8592.
总被引：8，自引：2，他引：8
本文提出一种构件化的动态软件系统模型ＣＬＡＳ,其基本思想是用系统的宏观逻辑描述来联结实现系统具体功能的构件,从而组成完整的软件系统。在ＣＬＡＳ模型中,系统的构件化使软件的复用性大大提高,而逻辑与实现的分离又明显改善了系统的灵活性和逻辑可扩充性。 相似文献
8593.
总被引：8，自引：0，他引：8
本文主要介绍了ＤＯＬＴＲＩ－Ａｇｅｎｔ运行环境ＭＡＦ的实现及原理及其相关技术,ＤＯＬＴＲＩ－Ａｇｅｎｇ是将Ｍｏｂｉｌｅ Ａｇｅｎｔ的概念引入网络信息搜索领域中来而设计的一个信息搜索系统,ＭＡＦ是Ｍｏｂｉｌｅ Ａｇｅｎｔ的外部运行环境,包上组成模块：安全管理模块,移动智能体管理… … 相似文献
8594.
总被引：8，自引：0，他引：8
本文提出了数据库与超文本／超媒体系统连接的三条途径，比较了它们的优点和不足之处，并且介绍了我们所实现的一个Ｉｎｔｅｒｎｅｔ与数据库连接的系统。 相似文献
8595.
总被引：8，自引：0，他引：8
该文提出一种图像编码的新算法（EBOHT）,该算法先将图像进行小波变换,然后按空间位置对应关系将小波系数分成若干块,每一块数据采用一种新等级树编码,比传统的SPITH方法增加了预测过程,进一步利用了相邻小波系树的相关性,块间进行基于率失真曲线的优化方法,使每一块图像有合理的比特分… … 相似文献
8596.
总被引：8，自引：0，他引：8
作为未来网络资源管理的一个重要组件,QoS路由问题越来越受到人们的重视。为了保证网络服务质量,希望根据多个QoS约束的尺度（metrics)来选择可行的路由。但由于网络本身的动态性和复杂性,网络状态信息具有固有的不确定性,因此有必要研究不确定参数对QoS路由的影响。通过形式化地描… … 相似文献
8597.
总被引：8，自引：0，他引：8
首先描述了一个基于角色和任务的工作流授权模型,其基本思想是角色和权限不直接挂钩而是通过任务把它们联系在一起,更方便权限粒度的控制和管理,然后以此模型为上下文背景提出了一个描述基于角色和任务的工作流授权约束的直观的形式化语言,称为RTCL·它以系统函数、集合以及变量符作为基本元素,… … 相似文献
8598.
总被引：8，自引：1，他引：8
将万有引力的思想引入聚类分析中,提出了一种基于引力的聚类方法GCA(Gravitybased Clustering Approach),同时给出了一种计算聚类阈值的简单而有效的方法。GCA关于数据库的大小和属性个数具有近似线性时间复杂度,这使得聚类方法GCA具有好的扩展性。实验结… … 相似文献
8599.
8600.
总被引：8，自引：0，他引：8
近年来,多Agent学习已经成为人工智能和机器学习研究方向发展最迅速的领域之一．将强化学习和BDI思维状态模型相结合,形成针对多Agent的动态协作模型．在此模型中,个体最优化概念失去其意义,因为每个Agent的回报,不仅取决于自身,而且取决于其它Agent的选择．模型采用AFS… … 相似文献
关于我们 |
广告服务 |
商务洽谈 |
联系我们 |
免责条款 |
隐私声明 |
网站导航
网站版权所有：中国科学院软件研究所 京ICP备09084417号-9
地址：北京海淀区中关村南四大街4号 邮编：100190 电话：010-62562563 E-mail ： cj_mail@jscas.ac.cn
本系统由:北京勤云科技发展有限公司提供技术支持
网站版权所有：中国科学院软件研究所 京ICP备09084417号-9
地址：北京海淀区中关村南四大街4号 邮编：100190 电话：010-62562563 E-mail ： cj_mail@jscas.ac.cn
本系统由:北京勤云科技发展有限公司提供技术支持
