论文降重
免费查重- 钛学术文献服务平台 \
- 学术期刊 \
- 工业技术期刊 \
- 自动化技术与计算机技术期刊 \
- 软件学报期刊 >
软件学报2006年出版文献
出版文献量（篇）
5820
总下载数（次）
36
出版文献量（篇）
5820
总下载数（次）
36
分享
文章浏览
目录
-
151. 软件体系结构模型单层化的一致性保障方法刊名： 软件学报发表期刊： 2006年6期页码:摘要： 在软件体系结构(software architecture,简称SA)设计中,复合构件是具有内部结构的构件,它可以对复杂的SA模型进行层次化的组织.尽管大多数体系结构描述语言都支持复合构件,...
-
152. 基于工作流引擎的构件组装体系结构刊名： 软件学报发表期刊： 2006年6期页码:摘要： 近年来,软件体系结构(SA)、基于构件的软件开发技术(CBSD)等开始在软件开发中发挥出重要的作用.CBSD应用的成功主要体现在自底向上构造系统的方法上.目前,对SA的研究还缺乏一种自顶向下...
-
153. 模型驱动架构中模型构造与集成策略刊名： 软件学报发表期刊： 2006年6期页码:摘要： 模型驱动式开发是以模型构造、模型转换和精化为核心的.对象管理组织OMG选择将统一建模语言UML作为标准建模语言,并将其作为模型驱动架构MDA的支持平台.但UML模型缺乏严格的语义,不同视角和...
-
154. 一种模型转换的编织框架刊名： 软件学报发表期刊： 2006年6期页码:摘要： 模型转换是MDA(model driven architecture)的核心技术之一,也是目前MDA研究的热点.目前,MDA范畴内存在多种模型转换方法和工具,它们之间的异构性造成了模型转换代...
-
155. 网格数据复本管理的动态自适应软件体系结构刊名： 软件学报发表期刊： 2006年6期页码:摘要： 单一策略的复本管理不能适应网格系统复杂、多变的环境.提出了软件体系结构驱动的动态自适应数据复本管理架构DSA-RM.在该架构中,软件体系结构描述作为核心元素被整个数据网格运行环境共享,适用于...
-
156. 一种支持端到端QoS的服务网格体系结构刊名： 软件学报发表期刊： 2006年6期页码:摘要： 随着网格技术研究和应用的不断深入,缺乏服务质量保证已成为制约网格应用的瓶颈之一.如何建立一个开放的、可扩展的体系结构,是当前支持端到端服务质量的服务网格体系结构研究的重要问题.提出了支持服务...
-
157. 面向服务软件体系结构的接口模型刊名： 软件学报发表期刊： 2006年6期页码:摘要： 服务接口描述是面向服务软件体系结构描述的关键问题之一,形式化描述方法是保证服务接口描述准确性的重要手段.目前的接口模型并不支持事务信息的描述.通过对已有Web服务接口模型进行扩展,提出了通过...
-
刊名： 软件学报发表期刊： 2006年6期页码:摘要：
-
159. 考虑样本不平衡的模型无关的基因选择方法刊名： 软件学报发表期刊： 2006年7期页码:摘要： 在基因表达数据分析中,鉴别基因是后续研究中非常重要的信息基因.有很多研究致力于从基因表达数据中选出信息基因这一挑战性工作,并提出了一些基因选择方法.然而,这些方法(特别是非参数选择方法)都没...
-
160. 测试集问题的集合覆盖贪心算法的深入近似刊名： 软件学报发表期刊： 2006年7期页码:摘要： 测试集问题是一个有着广泛应用的NP难问题.集合覆盖贪心算法是测试集问题的一个常用近似算法,其由集合覆盖问题得到的近似比21nn+1能否改进是一个公开的问题.集合覆盖贪心算法的推广被用来求解生...
-
刊名： 软件学报发表期刊： 2006年7期页码:摘要： 基于最小自由能模型的方法是计算生物学中RNA二级结构预测的主要方法,而计算最小自由能的动态规划算法需要O(n4)的时间,其中n是RNA序列的长度.目前有两种降低时间复杂度的策略:限制二级结构...
-
162. 不可否认协议时限性的形式化分析刊名： 软件学报发表期刊： 2006年7期页码:摘要： 虽然SVO逻辑由于其简单性在对不可否认协议的形式化分析中得到了广泛的应用,但它在时间描述能力上的不足使得它无法分析不可否认协议的时限性.通过向SVO逻辑添加一种简单的时间表达和分析方法扩展了...
-
刊名： 软件学报发表期刊： 2006年7期页码:摘要： 改名是一个将变元映射到变元本身或它的补的函数,变元改名是公式变元集合上的一个置换,文字改名是一个改名和一个变元改名的组合.研究CNF公式的改名有助于改进DPLL算法.考虑判定问题"对于给定的...
-
刊名： 软件学报发表期刊： 2006年7期页码:摘要： 多边形的Voronoi图在路径规划、碰撞检测等方面有着广泛的应用,其顶点和边数在这些应用算法的复杂度分析方面起着重要作用.Held证明了一个简单多边形的内部Voronoi图最多有n+k-2个...
-
165. 虚拟环境下基于语义的三维交互技术刊名： 软件学报发表期刊： 2006年7期页码:摘要： 自然、高效的三维交互技术是虚拟现实系统成功应用的关键.现有的交互技术主要是从几何层次上考虑如何有效实现交互任务,而对面向高层应用的交互任务的支持还不够.借鉴人类在真实世界中的认知原理,虚拟环...
-
166. 基于改进稀疏场算法的水平集形状过渡刊名： 软件学报发表期刊： 2006年7期页码:摘要： 水平集进化是基于体模型进行三维形状过渡的常用方法,窄带算法和稀疏场算法能高效实现水平集进化,窄带算法的结果较为平滑,稀疏场算法速度更快.一方面通过改进稀疏场算法应用于欧氏距离模型提高速度,另...
-
167. 高性能的EBCOT编码及其VLSI结构刊名： 软件学报发表期刊： 2006年7期页码:摘要： 提出了比特平面与编码过程全并行处理的EBCOT(embedded block coding with optimizedtruncation)编码结构.通过分析JPEG2000和国内外提出的...
-
刊名： 软件学报发表期刊： 2006年7期页码:摘要： 研究了基于三维多项式映射的三维广义Julia集表示方法.从理论上分析并证明了三维多项式映射满足等变的条件,精确地给出了关于正四面体群和正八面体群具有旋转不变对称性的两类三维等变映射的具体公式...
-
169. 运用流体模拟的油画生成方法刊名： 软件学报发表期刊： 2006年7期页码:摘要： 与真实感绘制技术关注于传统的3D图形学不同,非真实感绘制技术更加强调艺术表现力、主观意识与情绪的传递以及强化重要信息、忽略非关键信息等方面.提出了一种自动的、基于流体模拟的方法来生成具有凡高...
-
170. 基于相似性的图像融合质量的客观评估方法刊名： 软件学报发表期刊： 2006年7期页码:摘要： 研究图像融合结果的质量评估问题,提出一种新的基于相似性的图像融合质量客观评估方法.这种方法考虑人类视觉对局部变化更加敏感的特性,用源图像和融合结果的梯度场相似性来衡量融合的性能.这种相似性度...
-
171. 无线传感器网络分簇路由协议刊名： 软件学报发表期刊： 2006年7期页码:摘要： 在无线传感器网络体系结构中,网络层的路由技术至关重要.分簇路由具有拓扑管理方便、能量利用高效、数据融合简单等优点,成为当前重点研究的路由技术.分析了无线传感器网络分簇路由机制,着重从簇头的产...
-
172. 一个非确定系统的不干扰模型刊名： 软件学报发表期刊： 2006年7期页码:摘要： 提出系统动作对信息域的不干扰概念,并在此基础上将不干扰模型推广到非确定系统.由于基于系统动作的不干扰概念简化了系统动作序列的提取操作,该模型的单步展开条件具有简洁的形式并易于理解和使用.推广...
-
173. 基于区分服务的分层多播拥塞控制算法刊名： 软件学报发表期刊： 2006年7期页码:摘要： 多媒体多播应用在Internet上的广泛部署对拥塞控制提出了要求,分层多播是适应网络异构性较为有效的方案.为了克服现有分层多播存在的拥塞响应延时大、吞吐率抖动剧烈和不满足TCP友好的问题,给...
-
174. 合谋安全的卷积指纹信息码刊名： 软件学报发表期刊： 2006年7期页码:摘要： 数字指纹是一种发行商通过在数字作品拷贝中添加唯一用户身份标记,使得能够识别出制作非法拷贝"叛逆者"的技术.目前,数字指纹方案中普遍存在着大用户数下指纹码构造过长以及无法有效叛逆跟踪的问题和缺...
-
175. 对一种多重密钥共享认证方案的分析和改进刊名： 软件学报发表期刊： 2006年7期页码:摘要： 在(t,n)密钥共享方案中,密钥管理者将一个秘密密钥分成n个子密钥,然后让n个成员中的每个成员保存一个子密钥.当需要恢复秘密密钥时,任意t个成员拿出他们持有的子密钥后,就可以按既定的公开算法...
-
176. 基于可靠性理论的分布式系统脆弱性模型刊名： 软件学报发表期刊： 2006年7期页码:摘要： 对现有的脆弱性分析方法进行分析和比较,提出基于可靠性理论的分布式系统脆弱性模型.针对影响分布式系统安全性的各项因素进行脆弱性建模,利用模型检验方法构造系统的脆弱性状态图,描述系统脆弱性的完整...
-
177. 基于逻辑"或"约束优化的实时系统设计刊名： 软件学报发表期刊： 2006年7期页码:摘要： 标准约束优化问题的等式或不等式约束之间是逻辑"与"关系,目前已经有很多高效、收敛的优化算法.但是,在实际应用中有很多更一般的约束优化问题,其等式或不等式约束之间不仅包含逻辑"与"关系,而且还...
-
178. 能量受限的软件预取优化问题刊名： 软件学报发表期刊： 2006年7期页码:摘要： 在移动设备和嵌入式设备中,能量的供给是十分有限的,它受限于能量供给设备的容量和节电能力的大小.在能量受限的环境下,电池所提供的能量不足以使系统达到最优的性能目标.因此,提出了一种能量受限环境...
-
179. 一种基于功能需求层次凝聚的程序聚类方法刊名： 软件学报发表期刊： 2006年8期页码:摘要： 对大型复杂系统进行聚类分析能够改善软件维护的效率和效果,同时也是获取可复用构件的基础.提出一种基于需求层次凝聚的程序聚类方法来解决这个问题.该方法利用存在于需求描述中的语义信息获取问题域的高...
-
180. 一种基于PDCA的软件过程控制与改进模型刊名： 软件学报发表期刊： 2006年8期页码:摘要： CMM/CMMI(capability maturity model/CMM integration)自1999年开始为中国软件企业所接受并逐步得以推广,但目前中国实施CMM/CMMI的企业...
软件学报基本信息
| 刊名 | 软件学报 | 主编 | 李明树 |
| 曾用名 | |||
| 主办单位 | 中国科学院软件研究所 中国计算机学会 | 主管单位 | 中国科学院 |
| 出版周期 | 月刊 | 语种 |
chi
|
| ISSN | 1000-9825 | CN | 11-2560/TP |
| 邮编 | 100190 | 电子邮箱 | jos@iscas.ac.cn |
| 电话 | 010-62562563 | 网址 | www.jos.org.cn |
| 地址 | 北京8718信箱 |
软件学报评价信息
该刊被以下数据库收录
| 1. | 中国科学引文数据库 |
| 2. | 工程索引(美) |
| 3. | 日本科学技术振兴机构数据库(日) |
| 4. | 文摘杂志(俄) |
| 5. | 科学文摘(英) |
| 6. | 中国科技论文统计与引文分析数据库 |
期刊荣誉
| 1. | 百种中国杰出学术刊物 |
软件学报统计分析
被引趋势
(/次)
(/年)
学科分布
研究主题
推荐期刊
- 期刊分类
- 最新期刊
- 期刊推荐
- 相关期刊
一般工业技术
交通运输
军事科技
冶金工业
动力工程
化学工业
原子能技术
大学学报
建筑科学
无线电电子学与电信技术
机械与仪表工业
水利工程
环境科学与安全科学
电工技术
石油与天然气工业
矿业工程
自动化技术与计算机技术
航空航天
轻工业与手工业
金属学与金属工艺
办公自动化(学术版)
兵工自动化
办公自动化
智能制造
传动技术
传感技术学报
传感器与微系统
传感器世界
测控技术
CT理论与应用研究
成组技术与生产现代化
测绘与空间地理信息
电光与控制
电子商务
电机与控制学报
地理信息世界
音响改装技术
电脑编程技巧与维护
电脑高手
电脑技术
电脑开发与应用
电脑迷
电脑时空
智能计算机与应用
电脑与电子
