•   按检索    检索词:    高级检索
     排序:相关度 OA 时间 被引次数 点击次数 下载次数 共有10000条符合的查询结果,以下是第8221-8240项 搜索用时 102 毫秒
[首页] « 上一页 [407] [408] [409] [410] [411] 412 [413] [414] [415] [416] [417] 下一页 » 末  页»
8221.
下载全文  总被引:1,自引:0,他引:1
SQA架构己成为现代应用开发领域最重要的课题,其服务的平台无关性、语言独立性和松散耦合性极大的方便了各系统之间的集成和扩展。基于SCA构件技术是实现SOA架构的最佳实践,构件具备的完备性、实用性、稳定性和独立性涵盖了整个软件生命周期,也将成为占有绝对优势的软件工程实践方法。… …   相似文献
8222.
SPMD翻译是指将一种特定类型的SPMD程序编译到多种设备上,当前的细粒度SPMD翻译研究建立在线程之间相互独立的假定上,线程之间只通过显式同步进行通信。但线程之间还隐含存在着各种数据依赖,如隐式同步,这导致了 SPMD 翻译在处理隐式同步时的正确性缺陷。为了对隐式同步进行处理,… …   相似文献
岳峰  庞建民  赵荣彩 《软件学报》2013,24(8):1775-1785
8223.
下载全文  总被引:1,自引:0,他引:1
以上下文无关语言上的递归函数为基础的语言LFC(1anguage for context free recursive function)是一种形式规约语言,适于处理短语结构.LFC也是函数式语言,具有函数式语言的许多特点.LFC已经在形式规约获取系统SAQ(specificat… …   相似文献
黄文集 《软件学报》2004,15(7):969-976
8224.
下载全文  总被引:3,自引:0,他引:3
本文介绍了一种基于Web的网络管理(Web-Based Network Management)技术,讨论了利用Adventnet SNMP Package类库开发网管软件的方法。提出一种基于Web的三级网络管理(Browser-Web/Manager-Agent)模型NetMan… …   相似文献
8225.
  
针对无线传感器网络中因节点的任意部署导致出现覆盖空洞的问题,采用了移动节点进行修复的思想,提出了一种基于向量代数的分布式方法来确定节点的移动方向和通过感知半径来确定节点的移动距离的节点移动方案。仿真实验结果表明,该策略提高了网络的覆盖率,减少了所需移动节点的个数和移动节点的能量消… …   相似文献
8226.
  总被引:5,自引:0,他引:5
提出将蚁群算法用于求解函数优化问题的新方法。使用一定数量的蚂蚁在解空间中首先随机搜索,然后模拟蚂蚁觅食的方式,更新搜索路径上的信息素,按照转移概率来决定搜索方向,即通过信息素来指引搜索,最后搜索收敛于各个全局最优解。给出了基于此思想的具体算法,并通过计算示例仿真说明了该算法的有效… …   相似文献
8227.
  总被引:1,自引:0,他引:1
以关系型数据库、XML文件、HTML文件、一般文档为信息源,运用不同的方法分别将多信息源映射为概念图,并按照拟定的概念逻辑结构进行统一存储,最后运用抽取算法实现本体的自动抽取.  相似文献
8228.
  
在标准混合激励线性预测(MELP)语音编码算法中,对同时含有清音和浊音的混合帧会产生参数估计错误,并且导致合成语音质量的下降。针对这个缺陷提出一种基于过渡帧判决算法的改进MELP模型(M-MELP),提高了参数估计的准确度,保证了合成语音的质量,并结合TMS320C6416数字信… …   相似文献
8229.
下载全文  总被引:5,自引:0,他引:5
分析了协议性能测试需要解决的主要问题,并以随机Petri网为形式化工具,描述了网络协议的服务质量.提出从随机Petri网模型到TTCN(tree and tabular combined notation)测试集的转换规则,并根据随机Petri网模型生成了协议性能测试例.… …   相似文献
徐明伟  林闯  吴建平 《软件学报》1999,10(3):248-252
8230.
  
在模拟集成电路设计中,关于X轴和y轴同时对称的Stack,以及模块之间的合并,对于增加器件之间的匹配和控制寄生是至关重要的.描述了模拟集成电路二轴对称Stack生成算法和模块合并算法.通过对于对称欧拉图和对称欧拉路径的研究,得出了多项理论结果.在此基础上,提出了时间复杂度为O(n)的伪器件插入算法、对称欧拉路径构造算法和二轴对称Stack生成算法.生成的Stack,不但关于X轴和y轴对称,而且具有公共质心(commoncentroid)的结构.还描述了模块合并算法,给出了计算最大合并距离的公式.该算法本质上是独立于任何拓扑表示的.实验结果验证了算法的有效性.… …   相似文献
刘锐  董社勤  洪先龙  龙迪  顾钧 《软件学报》2004,15(5):641-649
8231.
下载全文  总被引:2,自引:0,他引:2
归纳了ORDBMS(object-relationaldatabasemanagementsystem)主动性规则的一般描述形式,对规则各种语义、规则继承、规则操作、多规则触发以及规则的级联触发进行了全面的探讨.提出并实现了一种适用于ANGEL系统的简化E-C-A(event-c… …   相似文献
李红燕  李战怀  唐世渭 《软件学报》2001,12(9):1329-1335
8232.
针对定性推理在有冲突情况下进行传播时所存在的问题,本文提出了一种因果关系形式,引入了“时间”和“效果”概念,给出了因果推理过程:先建立因果关系图,再传播原因变量的行为,并应用定性代数方法来处理冲突问题.这种因果推理形式推广了Iwasaki因果推理方法.  相似文献
王锵  石纯一 《软件学报》1997,8(4):291-296
8233.
  总被引:4,自引:0,他引:4
在查阅大量文献的基础上对多机器人路径规划的主要研究内容和研究现状进行了分析和总结,讨论了多机器人路径规划方法的评判标准,并阐述了研究遇到的瓶颈问题,展望了多机器人路径规划方法的发展趋势。  相似文献
8234.
下载全文  总被引:4,自引:0,他引:4
手语是聋人使用的语言,是由手形动作辅之以表情姿势由符号构成的比较稳定的表达系统 ,是一种靠动作/视觉交际的语言.手语识别的研究目标是让机器“看懂”聋人的语言.手 语识别和手语合成相结合,构成一个“人-机手语翻译系统”,便于聋人与周围环境的交 流.手语识别问题是动态手势信号即手语信… …   相似文献
吴江琴  高文  陈熙霖  马继涌 《软件学报》2000,11(11):1430-1439
8235.
消除伪造源地址分组是互联网安全可信的内在要求.基于路由的分布式分组过滤具有良好的效果,但是目前对其有效性缺乏严密的理论分析.基于域间路由传播和互联网拓扑的分层特征,建立路由传播数模型和理想AS图模型,以此为工具分析了基于域间路由的最大过滤和半最大过滤有效性.结论印证并从理论上解释… …   相似文献
王立军 《软件学报》2012,23(8):2130-2137
8236.
下载全文  总被引:3,自引:0,他引:3
本文基于Petri网的可达树的概念,给出标注可达树定义,并且证明网N与其标注可达树是一一对应的,然后,我们给出了网N与相应的标注可达树的相互转换算法。  相似文献
8237.
下载全文  总被引:3,自引:1,他引:3
字符串文法不适于描述二维以上事物的特征,无法定义事物之间的复杂关系.本文提出了关系图的概念,对关系图的性质进行了研究.在此基础上提出了一种新的文法——关系图文法.该文法能够方便地抽象和概括二维以上复杂对象的特征,为分析和识别这些对象提供工具和方法,可以广泛应用于模式识别、高维文本… …   相似文献
方林  谢立 《软件学报》1997,8(2):87-92
8238.
本文对移动代理系统作了简要介绍。阐述了由于其移动性而引发的安全问题和安全需求。介绍了移动代理系统安全技术及其体系结构研究现状,对它们的优缺点进行了分析。  相似文献
8239.
WWW 上用户的访问路径信息会被记录在WEB 服务器的日志记录中,分析这些日志并挖掘出用户的主要行为模式,可以提取出WEB 网站被频繁访问的主干部分。本文首先将原始日志信息整理成目标页前向访问路径集TUPD(Target Pages User Forward Access Path Dataset),然后在TUPD 上生成加权网站结构多维树WWSSMT(Weighted Web Site Structure Multi-Tree),最后引入决策频度阀值S,删除所有WWSSMT 中weight相似文献
8240.
当前中国房地产行业飞速发展,其营销方式不断变化。随着消费者的个性需求越来越多,客户服务在房地产营销体系中所占的比重不断增大,而且传统媒体广告费用也不断增加,使得传统营销方式正面临着诸如客户管理,营销策划,营销管理等方面的许多问题。基于J2EE轻量级架构的房地产营销系统具有良好的扩… …   相似文献
[首页] « 上一页 [407] [408] [409] [410] [411] 412 [413] [414] [415] [416] [417] 下一页 » 末  页»