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

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

按检索检索词： 高级检索

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

[首页] « 上一页 [17] [18] [19] [20] [21] 22 [23] [24] [25] [26] [27] 下一页 » 末页»

211.

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

结合形变模型和ＡＣＤ方法提出了基于变形模型的３Ｄ表面自适应重建方法。同时引入了与图象统计特性有关的外力,使得表面重建结果与模型的初始位置无关,利用ＡＣＤ方法使模型自适应地改变其拓扑结构;为了提高表面重建的程度和鲁棒性,提出了多尺度重建算法,该方法适用于形状、结构复杂的物体重建,实… … 相似文献

夏利民谷士文沈新权《中国图象图形学报》2000,5(5):396-400

212.

一种基于业务生成图的Web服务工作流构造方法

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

针对互联网中Web服务具有动态变化且迅速增长的特点,提出了一种面向用户需求的服务工作流构造模型.该模型将功能相同或相似的服务聚集成一类服务集合,每类服务集合采用生成树的方式组织,并依据工作流的业务逻辑关系形成业务生成图;同时,在重定义粒子群算法的位置、速度、加/减法和乘法的基础上… … 相似文献

胡春华吴敏刘国平徐德智《软件学报》2007,18(8):1870-1882

213.

无线网络协作MAC 机制

协作通信利用空闲节点的天线,构成虚拟的MIMO(multiple-input multiple-output)系统,从而对抗无线信道衰落,获取分集增益.协作通信是下一代无线移动网络的关键技术,也是近几年的一个研究热点.目前,已有的研究成果大多集中在如何根据信道状态选取合适的协作节… … 相似文献

李云杜杨曹傧尤肖虎《软件学报》2011,22(1):101-114

214.

可证明安全性理论与方法研究

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

论述了可证明安全性理论在安全方案与安全协议的设计与分析中的应用,内容主要包括:什么是可证明安全性,可证明安全性理论涉及到的一些基本概念,RO(random oracle)模型方法论的基本思想及其在公钥加密和数字签名等方案中的应用研究进展,标准模型下可证明安全性理论在公钥加密和数字… … 相似文献

冯登国《软件学报》2005,16(10):1743-1756

215.

基于任务的访问控制模型

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

目前的访问控制模型都是从系统的角度出发去保护资源,在进行权限的控制时没有考虑执行的上下文环境.然而,随着数据库、网络和分布式计算的发展,组织任务进一步自动化,与服务相关的信息进一步计算机化,这促使人们将安全问题方面的注意力从独立的计算机系统中静态的主体和客体保护,转移到随着任务的… … 相似文献

邓集波洪帆《软件学报》2003,14(1):76-82

216.

海关EDI自动化通关系统

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

本文简要介绍了海关EDI自动化通关系统的定义概况及重要意义,对该EDI应用系统下的业务运作模式所涉及的法律问题,采用EDIFACT国际标准问题、网络与软件技术问题,以及工程管理问题进行了结合实际的分析。相似文献

杨国勋《计算机系统应用》1995,4(5):2-5

217.

基于精细化梯度的无线传感器网络汇聚机制及分析

下载全文

信息汇聚是无线传感器网络的典型传输形态之一.在信息汇聚过程中,网络存在数据流分布内密外疏的不均衡特性.研究发现,在传统跳数模型下,网络数据流分布不仅存在全局不均衡性,而且同层节点内还存在着内疏外密的反向不均衡现象,从而使网络流量分析复杂化.提出一种精细化梯度模型,通过引入加权平均… … 相似文献

朱红松孙利民徐勇军李晓维《软件学报》2007,18(5):1138-1151

218.

虚拟计算环境中的多机群协同调度算法

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

基于虚拟计算环境的核心机理,提出由自主调度单元、域调度共同体、元调度执行体为核心的多机群协同系统框架.剖析多机群任务并发运行性能模型,设计了多机群协同调度算法框架,提出最大空闲节点优先、最小网络拥塞优先、最小异构因子优先与最小异构空闲节点优先4种启发式资源选择策略.实验验证了协同… … 相似文献

张伟哲田志宏张宏莉何慧刘文懋《软件学报》2007,18(8):2027-2037

219.

基于抽象解释理论的程序验证技术

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

抽象解释(abstract interpretation)理论是Cousot.P和Cousot.R于1977年提出的程序静态分析时构造和逼近(approxiamation)程序不动点语义的理论.描述了程序语义基于Galois连接的抽象解释理论框架,讨论了基于抽象解释理论的程序变换… … 相似文献

李梦君李舟军陈火旺《软件学报》2008,19(1):17-26

220.

网构软件的资源自适应性的形式化分析与验证

下载全文

针对基于构件的网构软件系统对环境资源变化的自适应性特征的可信分析与验证展开研究.具体工作包括:在网构软件的系统模型层次,使用带资源语义信息的接口自动机对软件构件的行为进行形式化建模,其包含了构件在完成特定功能的过程中对环境资源的使用特征;使用资源接口自动机网络来描述构件组装实体的… … 相似文献

胡军黄志球曹东徐丙凤《软件学报》2008,19(5):1186-1200

[首页] « 上一页 [17] [18] [19] [20] [21] 22 [23] [24] [25] [26] [27] 下一页 » 末页»