软件学报期刊
出版文献量(篇)
5820
总下载数(次)
36
总被引数(次)
226394

软件学报

Journal of Software

CSCDEIJSTAJSACSTPCD

影响因子 2.4459
《软件学报》是一本刊登计算机软件各领域原创性研究成果的期刊,所刊登的论文均经过严格的同行专家评议.《软件学报》主要面向全球华人计算机软件学者,致力于创办与世界计算机科学和软件技术发展同步的以中文为主的"中文国际软件学术期刊",为全球华人同行提供学术交流平台.
主办单位:
中国科学院软件研究所 中国计算机学会
期刊荣誉:
百种中国杰出学术刊物  
ISSN:
1000-9825
CN:
11-2560/TP
出版周期:
月刊
邮编:
100190
地址:
北京8718信箱
出版文献量(篇)
5820
总下载数(次)
36
总被引数(次)
226394
文章浏览
目录
  • 作者: 叶剑虹 孙世新 宋文
    刊名: 软件学报
    发表期刊: 2007年7期
    页码:  1553-1562
    摘要: 已有的Petri网化简方法需将网的局部结构与化简规则作逐一的比对,步骤较为繁琐,并且所提供的方法不适合于带抑止弧的网.采用一种与传统方法不同的化简思路,首先将网划分为若干个最大无圈子网,将每...
  • 作者: 康达周 徐宝文 李言辉 陆建江
    刊名: 软件学报
    发表期刊: 2007年7期
    页码:  1563-1572
    摘要: 扩展模糊描述逻辑是对描述逻辑的一种模糊扩展,支持对复杂模糊知识的表示和推理,但该逻辑缺乏支持术语公理约束的推理算法.提出扩展模糊描述逻辑EFALCR+(extended fuzzy attr...
  • 作者: 吴志林 张文辉
    刊名: 软件学报
    发表期刊: 2007年7期
    页码:  1573-1581
    摘要: 定义了一个命题线性时序逻辑的对偶模型的概念.一个公式f的对偶模型是指f的满足以下条件的两个模型(即状态的w序列):在每个位置上这两个模型对原子命题的赋值都是对偶的.然后,对于确定一个公式f是...
  • 作者: 梅宏 谷放 邢岩
    刊名: 软件学报
    发表期刊: 2007年7期
    页码:  1582-1591
    摘要: Web Services正逐渐成为主流的平台独立的软件构件,并广泛地存在于INTERNET分布式环境中,通过组装Web Services生成系统的开发方法正在逐步引起人们的关注并受到重视,但...
  • 作者: 张文博 李洋 钟华 魏峻 黄涛
    刊名: 软件学报
    发表期刊: 2007年7期
    页码:  1592-1602
    摘要: Servlet缓存能够有效地提高Servlet容器的吞吐量,缩短用户请求的响应时间.然而,Servlet缓存的性能受到缓存替换算法的影响.Servlet容器中的Servlet对应着一定的业务...
  • 作者: 冯晓兵 唐锋 张兆庆 武成岗
    刊名: 软件学报
    发表期刊: 2007年7期
    页码:  1603-1611
    摘要: 二进制翻译可以用于解决遗产代码的迁移问题,也可以实现不同硬件平台之间软件的通用.如果源平台通过标志位进行条件跳转,那么如何处理标志位就成为翻译中的一个重要问题,对翻译的代码质量起着决定性作用...
  • 作者: 李明树 袁峰
    刊名: 软件学报
    发表期刊: 2007年7期
    页码:  1612-1625
    摘要: TRISO-Model(tridimensional integrated software development model)是为处理软件开发的复杂性和动态性而提出的三维集成软件开发方法...
  • 作者: 徐晓飞 战德臣 苏生
    刊名: 软件学报
    发表期刊: 2007年7期
    页码:  1626-1638
    摘要: 制造供应链计划是制造供应链管理的关键问题,它不仅需要分配生产任务和控制库存,还需要解决不同工厂(企业)间的运输配套问题.为统一描述具有复杂产品生产过程(包括装配型、分解型和多输入多输出型等)...
  • 作者: 戴磊 李洋 程学旗 陈友
    刊名: 软件学报
    发表期刊: 2007年7期
    页码:  1639-1651
    摘要: 基于特征选择的入侵检测系统处理的数据含有大量的冗余与噪音特征,使得系统耗用的计算资源很大,导致系统训练时间长、实时性差,检测效果不好.特征选择算法能够很好地消除冗余和噪音特征,为了提高入侵检...
  • 作者: 刘敏 张德魁 李忠诚 过晓冰
    刊名: 软件学报
    发表期刊: 2007年7期
    页码:  1652-1659
    摘要: 垂直切换作为多网融合的基础,受到了学术界和工业界的广泛关注.目前,相关工作主要集中于垂直切换算法的研究.但由于各种算法用于自身验证的仿真评测环境各不相同,因此无法公平地予以对比.从节点运动模...
  • 作者: 张勇 金蓓弘 陈宁江 黄涛
    刊名: 软件学报
    发表期刊: 2007年7期
    页码:  1660-1671
    摘要: 动态多层Web系统在运行时会受到许多不确定性因素的影响.同时,在不同的负载模式下具有不同的性能特性,需要不同的性能模型进行描述.为消除不确定性因素对系统性能的影响,基于反馈控制原理设计的性能...
  • 作者: 冯国富 毛莺池 陈力军 陈道蓄
    刊名: 软件学报
    发表期刊: 2007年7期
    页码:  1672-1684
    摘要: 解决在没有节点位置信息的情况下,如何能量有效地保证网络连通性覆盖的问题.分析了节点覆盖与区域覆盖之间的关系,并给出了节点覆盖等于区域覆盖的充分必要条件.根据分析结果,基于构建连通支配集CDS...
  • 作者: 印鉴 陈健
    刊名: 软件学报
    发表期刊: 2007年7期
    页码:  1685-1694
    摘要: 传统的基于用户的协作过滤推荐系统由于使用了基于内存的最近邻查询算法,因此表现出可扩展性差、缺乏稳定性的缺点.针对可扩展性的问题,提出的基于项目的协作过滤算法,仍然不能解决数据稀疏带来的推荐质...
  • 作者: 徐帆江 曾斌 李之棠
    刊名: 软件学报
    发表期刊: 2007年7期
    页码:  1695-1704
    摘要: 当传统TCP协议用于卫星网络时面临各种问题,原因包括:卫星信道的高传输延迟、较大的误码率、带宽不对称、信号衰减等.为了提高卫星网络环境下TCP的性能,在不破坏TCP端到端特性的前提下,提出了...
  • 作者: 万淑超 宋靖宇 魏峻
    刊名: 软件学报
    发表期刊: 2007年7期
    页码:  1705-1714
    摘要: 目前,门户的功能定位已经从传统的信息集成转向应用集成.门户环境中应用间的进一步集成实际上表现为Portlet互操作问题. 现有Portlet互操作方法在共享范围、标准兼容方面存在不足且难于集...
  • 作者: 丁丽萍 周博文 王永吉
    刊名: 软件学报
    发表期刊: 2007年7期
    页码:  1715-1729
    摘要: 基于实时取证的思想,提出了一种安全可取证操作系统(security forensics operating system,简称SeFOS)的概念和实现思路.提出了其总体结构,建立了该系统的取...
  • 作者: 徐兰芳 徐凤鸣 桑子夏 胡怀飞 邹德清
    刊名: 软件学报
    发表期刊: 2007年7期
    页码:  1730-1737
    摘要: 信任是决定实体双方在互联网上成功交易的一个重要原因,而商家的信誉又是客户选择交易对象的关键因素.传统的信任评估方法对评估对象提出种种假设,不能分辨恶意客户的虚假推荐,因而影响了评估结果的客观...
  • 作者: 冯勇 唐樨瑾
    刊名: 软件学报
    发表期刊: 2007年7期
    页码:  1738-1745
    摘要: 针对密码学中的多变元多项式二次方程系统求解问题,基于扩展Dixon结式提出了一种求解算法DR(Dixon resultants).基本思想为对于MQ(multivariate quadrat...
  • 作者: 张畅 王亚弟 郭渊博 韩继红
    刊名: 软件学报
    发表期刊: 2007年7期
    页码:  1746-1755
    摘要: 多重集重写MSR(multiset rewriting)模型是一种基于多重集重写的协议形式化建模方法.从目前的研究成果来看,该模型并不完善.针对其攻击者模型验证协议存在的不足,对MSR模型进...
  • 作者: 吴文玲 林东岱 王大印
    刊名: 软件学报
    发表期刊: 2007年7期
    页码:  1756-1764
    摘要: 提出并分析了一种确定的、可并行的消息认证码--DPMAC(deterministic parallelizable message authentication code).它基于分组长度为...
  • 作者: 刘聪 张治国 张鹏
    刊名: 软件学报
    发表期刊: 2007年7期
    页码:  1765-1773
    摘要: 在移动Ad Hoc网络(mobile ad hoc networks,简称MANETs)中,由于节点的快速移动,网络的物理拓扑结构在不断地变化.各个节点由于不能及时获得网络物理拓扑结构的更新...
  • 作者:
    刊名: 软件学报
    发表期刊: 2007年7期
    页码:  1773
    摘要:
  • 作者: 李宝 王鲲鹏
    刊名: 软件学报
    发表期刊: 2007年7期
    页码:  1774-1777
    摘要: 考虑有限域上椭圆曲线的构造.设q是一个奇素数的方幂,l是一个素数.证明了,如果GF(q)[x]上的方程U2-D(x)V2=e(x-a)l有本原解,其中,D(x)∈GF(q)[x]是一个首1三...
  • 作者: 卢锡城 安辉耀 彭伟 彭宇行
    刊名: 软件学报
    发表期刊: 2007年7期
    页码:  1786-1798
    摘要: 在移动自主网络中,提供服务质量支持是一个核心研究问题.大量研究表明,在移动自主网络中提供服务质量保障具有很大的挑战性.提出一个基于簇的QoS多路径路由协议(CQMRP),通过一种可扩展、灵活...
  • 作者: 胡磊
    刊名: 软件学报
    发表期刊: 2007年7期
    页码:  1799-1805
    摘要: 利用有限域包含的循环群之间的映射,给出了特征为素数p,MOV次数为3的超奇异椭圆曲线上的一类Tate对的两种有效压缩方法,它们分别将Tate对的值从6logp比特长的串压缩到3logp和2l...
  • 作者: 唐志敏 李祖松 胡伟武 许先超
    刊名: 软件学报
    发表期刊: 2007年7期
    页码:  1806-1817
    摘要: 随着生产工艺的提高,芯片上能集成越来越多的晶体管,多线程技术也逐步成为一种主流的处理器体系结构技术,而多线程处理器的软硬件接口也就成为急需解决的问题.在分析同时多线程的软件需求的基础上,提出...
  • 作者: 张大方 田绍槐 陆应平
    刊名: 软件学报
    发表期刊: 2007年7期
    页码:  1818-1830
    摘要: 在网络可靠性研究中,设计较好的容错路由策略、尽可能多地记录系统中最优通路信息,一直是一项重要的研究工作.超立方体系统的容错路由算法分为可回溯算法和无回溯算法.一般说来,可回溯算法的优点是容错...
  • 作者: 于戈 李晓静 杨晓春 欧征宇 邓庆绪
    刊名: 软件学报
    发表期刊: 2007年7期
    页码:  1831-1843
    摘要: 当前,数据流上的实时处理系统大多关心平均元组延时最小化要求,而很少考虑每个元组的截止期要求.提出一种实时的自适应批任务调度策略--ATS(adaptive batch task schedu...
  • 作者: NASRO Min-Allah 刘军祥 曾海涛 王永吉 邢建生
    刊名: 软件学报
    发表期刊: 2007年7期
    页码:  1844-1854
    摘要: 随着实时系统越来越多地应用于各种快速更新系统,尤其是各种片上系统,如PDA(personal digital assistant),PSP(play station portable)等,性...
  • 作者:
    刊名: 软件学报
    发表期刊: 2007年7期
    页码:  封3
    摘要:

软件学报基本信息

刊名 软件学报 主编 李明树
曾用名
主办单位 中国科学院软件研究所 中国计算机学会  主管单位 中国科学院
出版周期 月刊 语种
chi
ISSN 1000-9825 CN 11-2560/TP
邮编 100190 电子邮箱 jos@iscas.ac.cn
电话 010-62562563 网址 www.jos.org.cn
地址 北京8718信箱

软件学报评价信息

期刊荣誉
1. 百种中国杰出学术刊物

软件学报统计分析

被引趋势
(/次)
(/年)
学科分布
研究主题
推荐期刊