论文降重
免费查重- 钛学术文献服务平台 \
- 学术期刊 \
- 工业技术期刊 \
- 自动化技术与计算机技术期刊 \
- 软件学报期刊 >
软件学报2003年第10期出版文献
出版文献量（篇）
5820
总下载数（次）
36
总被引数（次）
226394
出版文献量（篇）
5820
总下载数（次）
36
总被引数（次）
226394
分享
文章浏览
目录
-
刊名： 软件学报发表期刊： 2003年10期页码:摘要： 代数理论已经在抽象数据类型、程序语义等计算机科学领域有了广泛的应用,而代数的对偶概念--共代数,则直到20世纪90年代中后期才被越来越多的计算机学者关注.代数从"构造"的角度研究数据类型,而...
-
刊名： 软件学报发表期刊： 2003年10期页码:摘要： 模态图是谓词(演算的一种有效的图形表示形式.证明了谓词(演算和模态图的语义一致性,详细讨论了谓词(演算公式、嵌套谓词等式系和模态图之间的关系,并给出了一种优化的从线性公式到嵌套谓词等式系的转...
-
3. 稠密时间表示及冗余消除刊名： 软件学报发表期刊： 2003年10期页码:摘要： 算法的效率在很大程度上依赖于实际采用的数据结构.对无用数据的处理不仅会带来空间存储上的浪费,而且也会进一步造成时间上的浪费.因此,消除信息冗余一直是算法研究的一个重点.在当前实时领域(尤其是...
-
刊名： 软件学报发表期刊： 2003年10期页码:摘要： 介绍了一种发现最小函数依赖集的方法.这种方法基于一致集的概念,根据一致集导出最大集及其补集,然后生成最小非平凡函数依赖集.通过使用带状划分数据库减少求一致集的运算次数,使用逐层求精的算法来计...
-
刊名： 软件学报发表期刊： 2003年10期页码:摘要： 自适应信息过滤中一个大的挑战在于其数据稀疏问题.因此,在对输入的文本流进行过滤的同时学习最优阈值非常重要.提出了一种新颖的阈值优化算法.该算法可以通过少量的正例进行快速的学习,所需数据的获得...
-
刊名： 软件学报发表期刊： 2003年10期页码:摘要： 约束立方梯度挖掘是一项重要的挖掘任务,其主要目的是从数据立方中挖掘出满足梯度约束的梯度-探测元组对.然而,现有的研究都是基于一般数据立方的.研究了浓缩数据立方中约束数据立方梯度的挖掘问题.通...
-
刊名： 软件学报发表期刊： 2003年10期页码:摘要： 传感器网络综合了传感器技术、嵌入式计算技术、分布式信息处理技术和无线通信技术,能够协作地实时监测、感知和采集各种环境或监测对象的信息,并对其进行处理,传送到这些信息的用户.传感器网络是计算机...
-
8. Web应用服务器研究综述刊名： 软件学报发表期刊： 2003年10期页码:摘要： Web应用服务器是Web计算环境下产生的新型中间件,为创建、部署、运行、集成和管理事务性Web应用提供一个跨平台的运行环境,被认为是自关系型数据库以来最令人激动的企业应用技术.诸多IT企业纷...
-
9. 安全协议20年研究进展刊名： 软件学报发表期刊： 2003年10期页码:摘要： 总结了安全协议的20年研究进展情况,指出形式化方法在安全协议的设计与分析中的重要应用.对安全协议的若干热点研究方向进行了归纳和展望.
-
10. 自然语言文档复制检测研究综述刊名： 软件学报发表期刊： 2003年10期页码:摘要： 复制检测技术在知识产权保护和信息检索中有着重要应用.到目前为止,复制检测技术主要集中在文档复制检测上.文档复制检测在初期主要检测程序复制,现在则主要为文本复制检测.分别介绍了程序复制检测和文...
-
11. 面向网络管理的移动主体安全设施刊名： 软件学报发表期刊： 2003年10期页码:摘要： 移动主体技术为网络管理提供了一种新方法,但同时也带来了一些不安全因素.全面分析了采用策略与移动主体技术进行网络管理所面临的各种安全问题和相应的解决方案,提出了面向网络管理的移动主体安全设施M...
-
12. 万维网的链接结构分析及其应用综述刊名： 软件学报发表期刊： 2003年10期页码:摘要： 当今万维网的规模已经快速发展到包含大约80亿个网页和560亿个超链接.此外,对万维网的创建进行全局规划显然是不可能的.这些都对万维网的相关研究提出了挑战.另一方面,互联网环境下通过超链连接起...
-
13. 过载服务器的性能研究刊名： 软件学报发表期刊： 2003年10期页码:摘要： 针对服务器过载时的性能对Linux的相关源代码进行了分析.用排队论分析了内核的收包过程,得出了关于服务器在过载时性能的几个结论.基于上述分析提出并在Linux上实现了提高服务器在过载时性能的...
-
刊名： 软件学报发表期刊： 2003年10期页码:摘要： 提出一种用于光线与三角形网格求交运算中的有效剔除算法.算法中,一根光线被定义为两个非平行平面的交线.针对由稠密三角形网格组成的复杂场景,算法通过三角形和测试平面的相交判断剔除与投射光线不相交...
-
15. 全局光照环境中的逆向绘制刊名： 软件学报发表期刊： 2003年10期页码:摘要： 提出一种恢复场景中所有物体的反射特性的方法.算法以一个全景图、场景的完整几何模型和光源信息为输入,结果是场景的一个完整反射模型.恢复是以逐步求精的方式进行的.先假定物体表面是漫反射面并生成一...
-
16. 带约束的曲面放缩刊名： 软件学报发表期刊： 2003年10期页码:摘要： 提出了一种保持曲面形状特征(trimming curves)不变的曲面放缩新方法.该方法的关键是使用了一个新的目标函数来极小化放缩前后两曲面的差别.该目标函数由放缩前后两曲面对应点的导矢叉乘...
-
刊名： 软件学报发表期刊： 2003年10期页码:摘要： 应用有理Bézier曲线形式转化和表达式简化的新思想,应用Cauchy不等式,对于几何外形设计中最常用的有理n(n=2,3,4)次Bézier曲线的高度,作出了新的精密估计,从而进一步改进了...
软件学报基本信息
| 刊名 | 软件学报 | 主编 | 李明树 |
| 曾用名 | |||
| 主办单位 | 中国科学院软件研究所 中国计算机学会 | 主管单位 | 中国科学院 |
| 出版周期 | 月刊 | 语种 |
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理论与应用研究
成组技术与生产现代化
测绘与空间地理信息
电光与控制
电子商务
电机与控制学报
地理信息世界
音响改装技术
电脑编程技巧与维护
电脑高手
电脑技术
电脑开发与应用
电脑迷
电脑时空
智能计算机与应用
电脑与电子
