文章搜索——中国计算机期刊网

网站动态：	中国计算机期刊网介绍欢迎关注中国计算机期刊网微信订阅号！中国计算机期刊网正式发布,欢迎访问! 如何申请成为收录期刊和加盟期刊

按检索检索词： 高级检索

排序：相关度 OA 时间被引次数点击次数下载次数共有10000条符合的查询结果，以下是第7791-7800项搜索用时 146 毫秒

[首页] « 上一页 [775] [776] [777] [778] [779] 780 [781] [782] [783] [784] [785] 下一页 » 末页»

7791.

带类型的λ－演算是一个逻辑系统,它可以作为程序语言的基础．Ｐｌｏｔｋｉｎ所引进的ＰＣＦ就是这样一类程序语言．Ｐｌｏｔｋｉｎ构造了ＰＣＦ的一个模型,然后讨论与这个模型相关的指称语义和操作语义之间的配合问题──简单配合和完全配合．本文利用Ｓｃｏｔｔ引进的信息系统概念构造ＰＣＦ的另一种… … 相似文献

王美清《软件学报》1994,5(4):19-27

7792.

制造网格环境下异构数据共享技术研究

下载全文 总被引：1，自引：0，他引：1

回顾了从开放网格服务体系结构(OGSA)到Web服务资源框架(WSRF)的面向服务网格体系的发展历程,分析了网格和P2P两种计算模型的共性和个性特点,在此基础上提出了Globus Toolkit和JXTA J2SE Platform相结合的面向服务的制造网格框架结构,重点阐述了该… … 相似文献

郭晓辉张璟李军怀《计算机应用研究》2006,23(3):216-218

7793.

基于增强转移网络（ATN）的室外移动机器人道路图像理解

下载全文 总被引：2，自引：0，他引：2

道路图像理解是室外移动机器人视觉导航自主驾驶研究中的一个关键技术 ,由于基于视觉导航的室外移动机器人自主驾驶时 ,对实时性和鲁棒性要求很高 ,因此 ,为了满足室外移动机器人自主驾驶的实时性和鲁棒性要求 ,将人工智能研究句法分析中的一个形式体系——增强转移网络 (ATN )成功地应… … 相似文献

李兵张朋飞何克忠《中国图象图形学报》2004,9(3):380-384

7794.

自然场景中的视觉显著对象检测

下载全文

显著对象检测是视觉注意机制的一个重要应用基础研究,对于图像检索、场景分析、图像标注与对象识别都有着重要的研究意义。基于Tresiman特征整合理论和Koch计算框架,提出一种自然场景中视觉显著对象的检测方法。该方法首先建立适用于彩色自然场景的视觉显著度模型,计算多种不同特征的显著… … 相似文献

田明辉万寿红岳丽华《中国图象图形学报》2010,15(11):1650-1657

7795.

基于形式化方法的因特网路由协议的一致性测试

下载全文

并发数表组合表述法(并发TTCN)是可以描述并发测试行为的测试表述法.该文提出一种基于并发TTCN的分布式路由协议的测试方法.首先讨论路由协议实体的测试结构,然后给出基于并发TTCN测试系统的设计.最后介绍了测试集的设计. 相似文献

毕军吴建平《软件学报》2000,11(4):427-434

7796.

传感器网络中一种基于单向哈希链的过滤方案

下载全文

已有传感器网络中,过滤机制只能在转发过程中过滤虚假数据而无法过滤重复数据,且无法防范协同攻击.提出了一种基于单向哈希链的过滤方案HFS.在HFS中,节点在部署后将密钥和初始哈希值预分发给部分中间节点存储,每个数据包附带t个MAC和新鲜哈希值,转发节点同时对数据包中检测节点之间相对… … 相似文献

刘志雄王江涛王伟平刘华富王建新张士庚《软件学报》2014,25(10):2385-2396

7797.

自由立体显示技术的研究综述

下载全文 总被引：1，自引：0，他引：1

自由立体显示技术目前大多处于研发阶段,主要应用在商业和娱乐行业,并未大规模推广使用。从技术上来看,自由立体显示可以分为光屏障式技术、柱状透镜技术和指向光源技术等。自由立体显示技术的最大优势是摆脱了立体眼镜的束缚,但是在分辨率、可视角度和可视距离等方面还存在着很多不足之处。主要介绍… … 相似文献

胡素珍姜立军李哲林谭军《计算机系统应用》2014,23(12):1-8

7798.

基于EMD和GEP的软件可靠性预测模型

基于经验模态分解和基因表达式编程算法提出了一种软件可靠性预测模型。通过对软件失效数据序列进行经验模态分解得到不同频段的本征模态分量和剩余分量,消除失效数据中的噪声,运用基因表达式编程算法的灵活表达能力,把分解得到的不同频段的各本征模态分量及剩余分量中所对应的不同失效时间序列作为样… … 相似文献

张德平汪帅周吴杰《计算机科学》2013,40(4):164-168

7799.

一种基于EQ规则的组合服务运行时自适应方法

下载全文

组合服务通常运行在开放、变化和不确定的互联网环境中.动态复杂的运行环境,使得组合服务的执行具有不确定性和不可靠性,从而制约了服务组合技术的实际可用性.针对该问题,面向环境的分析与建模,提出了一种基于EQ规则的组合服务运行时自适应方法.该方法在记载组合服务的执行日志和各备选服务的运… … 相似文献

张明卫朱志良张斌张岳松《软件学报》2015,26(4):849-866

7800.

基于变分网格的曲面简化高效算法

下载全文 总被引：1，自引：0，他引：1

根据变分网格逼近表示所定义的全局误差能量,提出一种局部贪心优化算法.该算法通过控制目标网格分片数来简化网格,通过种子的自适应选取来达到理想的简化效果,具有直观的几何意义.该方法计算量较小,效率较高,能够有效地应用于几何造型系统中. 相似文献

金勇吴庆标刘利刚《软件学报》2011,22(5):1097-1105

[首页] « 上一页 [775] [776] [777] [778] [779] 780 [781] [782] [783] [784] [785] 下一页 » 末页»