论文降重
免费查重- 钛学术文献服务平台 \
- 学术期刊 \
- 工业技术期刊 \
- 自动化技术与计算机技术期刊 \
- 软件学报期刊 >
软件学报2009年第3期出版文献
出版文献量（篇）
5820
总下载数（次）
36
总被引数（次）
226394
出版文献量（篇）
5820
总下载数（次）
36
总被引数（次）
226394
分享
文章浏览
目录
-
刊名： 软件学报发表期刊： 2009年3期页码:摘要： 循环术语集是描述逻辑长期以来的研究难点,其最基本的问题即语义及推理问题没有得到合理的解决.分析了描述逻辑循环术语集的研究现状和存在的问题,将Baader的工作扩展到新的方向.针对更大的描述逻...
-
刊名： 软件学报发表期刊： 2009年3期页码:摘要： 循环术语集是描述逻辑长期以来的研究难点,其最基本的问题即语义及推理问题没有得到合理的解决.基于混合分级μ-演算将不动点构造算子引入到含有枚举构造算子的描述逻辑ALCQO中,提出了一种允许包含...
-
3. Petri网的步问题研究刊名： 软件学报发表期刊： 2009年3期页码:摘要： 在基于Petri 网的模型验证方法中,步被广泛用于减少变迁实施产生的语义交织.为了研究基于步的构造算法的计算复杂性,提出步的判定问题,并证明该问题是NP完全的.进一步给出了极大步问题的多项式...
-
刊名： 软件学报发表期刊： 2009年3期页码:摘要： 紧致性是模糊逻辑的一个重要性质.现已经证明Lukasiewicz命题逻辑、Godel命题逻辑、乘积命题逻辑和形式系统L*都是紧的.通过刻画逻辑系统NMG中的极大相容理论和证明NMG的满足性,...
-
5. 软件过程建模方法研究刊名： 软件学报发表期刊： 2009年3期页码:摘要： 通过软件开发实践,人们逐步地认识到软件产品的质量在很大程度上依赖于产品开发时所使用的过程.软件过程建模是通过特定的方法对软件过程进行抽象、表示和分析以增加对软件过程的理解,同时,可执行的(e...
-
刊名： 软件学报发表期刊： 2009年3期页码:摘要： 在面向服务的环境下,单个Web服务往往不能满足用户的要求,这时就需将已有的单个Web服务进行组合,以便产生满足用户需求的、增值的组合服务.已有的服务组合方法都很少考虑Web服务的随机性和In...
-
刊名： 软件学报发表期刊： 2009年3期页码:摘要： 大多软件过程模型是预定义的.在变化的应用环境中,需要由相应人员进行适应性调整.提出一种用于软件过程建模的适应性多边协商模型-- AMNM-PA,其采用Agent封装软件过程中所涉及的个体,包...
-
8. 基础软件平台质量评估刊名： 软件学报发表期刊： 2009年3期页码:摘要： 关于软件质量模型和软件质量评估模型的研究,一直是软件质量保障和评估领域的研究热点,国内外在这两方面进行了大量的研究,并取得了一定的研究成果.近年来,以操作系统为核心的基础软件呈平台化、体系化...
-
刊名： 软件学报发表期刊： 2009年3期页码:摘要： 综合评估数据异构的服务质量(QoS)从而选择出全局最优的执行计划是语义Web服务组合研究中的难题之一.提出一种基于模糊多属性决策理论的语义Web服务组合的优化选择算法(FuMuCom)以解决...
-
10. 重构C++程序物理设计刊名： 软件学报发表期刊： 2009年3期页码:摘要： 整合重构的基本思想和物理设计的基本技术,提出了物理重构的概念.它是对软件物理结构的再设计,目的是在不改变软件外在行为的前提下,调整软件组织结构,从而提高软件的开发效率和可维护性等.在此基础上...
-
刊名： 软件学报发表期刊： 2009年3期页码:摘要： 在无线局域网中提供服务质量(QoS)保证的MAC算法应该满足业务区分服务的要求和系统性能的整体最优.以往的此类自适应MAC算法依赖于对不同级别的竞争业务数目进行估计,计算过于复杂.提出一种基...
-
12. 防范前缀劫持的互联网注册机制刊名： 软件学报发表期刊： 2009年3期页码:摘要： 借鉴IRR(Internet routing registry)机制中注册路由策略的思想,提出了前缀策略(prefix policy)的概念,并由此设计了一种防范前缀劫持的方法-- E-IR...
-
刊名： 软件学报发表期刊： 2009年3期页码:摘要： 针对非结构化P2P系统中可扩展的快速无偏抽样问题,提出了一种基于多个peer自适应随机行走的抽样方法SMARW.在该方法中,基于代理随机行走选择一组临时的peer执行抽样过程,一次产生一组可...
-
刊名： 软件学报发表期刊： 2009年3期页码:摘要： 为了解决有向传感器网络中点目标覆盖控制问题,分别提出了两种方向优化算法和一个节点调度协议:改进的贪婪(enhanced greedy algorithm,简称EGA)、公平的方向优化(equ...
-
刊名： 软件学报发表期刊： 2009年3期页码:摘要： 提出一种自适应负载均衡方法,方法采用一种被动式结点负载统计方法生成局部负载视图;一种文件访问统计方法生成局部文件访问视图;当系统内结点负载存在差异时,重载结点把指向自身的逻辑链路迁移至指向局...
-
16. 面向智能空间的位置感知方法研究刊名： 软件学报发表期刊： 2009年3期页码:摘要： 位置感知是智能空间中的重要技术.在分析了现有基于移动自组网的位置感知方法后,提出了一种基于多维定标(multidimensional scaling,简称MDS)的新的位置感知方法--SSO...
-
17. 一种基于分组密码的hash函数刊名： 软件学报发表期刊： 2009年3期页码:摘要： 提出了一个基于分组密码的hash函数体制,它的rate小于1但却具有更高的效率,同时,这个hash函数可以使用不安全的压缩函数进行构造,降低了对压缩函数安全性的要求.首先,在黑盒子模型下对这...
-
18. 可证安全的无证书代理签名方案刊名： 软件学报发表期刊： 2009年3期页码:摘要： 研究在新提出的无证书公钥密码系统下的代理签名问题,给出了无证书代理签名方案非常强的安全模型.该安全模型下的攻击者是能力最强的超级类型I和类型II攻击者.同时,利用双线性映射设计了一个高效的无...
-
19. 秋季植物叶子表观的模拟刊名： 软件学报发表期刊： 2009年3期页码:摘要： 提供了一种采样并生成植物叶子表观的方法,可以非常真实地展现叶子秋季在干枯、老化过程中多种纹理、表观属性的变化.在生成叶子纹理的过程中,有别于以往基于单一材质样本的表观合成技术,采集了大量不同...
-
刊名： 软件学报发表期刊： 2009年3期页码:摘要： 对已有的三维网格简化技术进行分析,利用半边折叠操作对QEM(quadric error metric)算法进行改进,提出了一种基于二次误差测度(QEM)的网格简化算法,解决了非连续外观属性在...
-
21. 基于特征点的三维人脸形变模型刊名： 软件学报发表期刊： 2009年3期页码:摘要： 针对传统三维人脸形变模型效率低的不足,提出了一个基于特征点的线性人脸形变模型.首先,提出一种基于平面模板的对应方法,自动地实现了三维人脸的稠密点对应,建立了人脸线性模型.然后,提出一个基于动...
-
刊名： 软件学报发表期刊： 2009年3期页码:摘要： 提出了一种概率模型对HDR(high dynamic range)图像进行色调再生.分别对局部像素的色调能量分布与HDR/LDR(low dynamic range)间梯度变化约束建立概率统...
-
23. 一种基于补偿代价的长事务调度算法刊名： 软件学报发表期刊： 2009年3期页码:摘要： 服务组合应用中的事务具有较长的生命周期,一个事务被划分成多个分布的子事务.补偿机制是保证长事务原子性的一种有效方法,允许在语义上逆转一个已提交子事务的结果.然而,补偿的代价可能是巨大的.针对...
-
24. 一种细粒度高效多版本文件系统刊名： 软件学报发表期刊： 2009年3期页码:摘要： 提出了基于快照的细粒度版本技术,能够克服已有多版本文件系统无法仅对系统局部目录或文件保留版本的缺点,增加了系统的灵活性;提出了版本空间的反向继承寻径,使用名字与版本独立的检索方案,可以充分利...
-
刊名： 软件学报发表期刊： 2009年3期页码:摘要： 在集群软件无线电系统中,当宽带大容量信号数据进入系统后通过在节点上的并行计算实现对强衰弱信号的高增益、低延迟处理.结合集群软件无线电系统中信号处理的特点,研究了以下任务调度方面的问题:1) ...
-
26. 《软件学报》投稿指南刊名： 软件学报发表期刊： 2009年3期页码:摘要：
软件学报基本信息
| 刊名 | 软件学报 | 主编 | 李明树 |
| 曾用名 | |||
| 主办单位 | 中国科学院软件研究所 中国计算机学会 | 主管单位 | 中国科学院 |
| 出版周期 | 月刊 | 语种 |
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理论与应用研究
成组技术与生产现代化
测绘与空间地理信息
电光与控制
电子商务
电机与控制学报
地理信息世界
音响改装技术
电脑编程技巧与维护
电脑高手
电脑技术
电脑开发与应用
电脑迷
电脑时空
智能计算机与应用
电脑与电子
