论文降重
免费查重- 钛学术文献服务平台 \
- 学术期刊 \
- 工业技术期刊 \
- 自动化技术与计算机技术期刊 \
- 软件学报期刊 >
软件学报2005年第3期出版文献
出版文献量（篇）
5820
总下载数（次）
36
总被引数（次）
226394
出版文献量（篇）
5820
总下载数（次）
36
总被引数（次）
226394
分享
文章浏览
目录
-
刊名： 软件学报发表期刊： 2005年3期页码:摘要： 命题逻辑可满足性(SAT)问题是计算机科学中的一个重要问题.近年来许多学者在这方面进行了大量的研究,提出了不少有效的算法.但是,很多实际问题如果用一组一阶逻辑公式来描述,往往更为自然.当解释...
-
刊名： 软件学报发表期刊： 2005年3期页码:摘要： 合取范式(CNF)公式H到F的同态(是一个从H的文字集合到F的文字集合的映射,并保持补运算和子句映到子句.同态映射保持一个公式的不可满足性.一个公式是极小不可满足的是指该公式本身不可满足,而...
-
刊名： 软件学报发表期刊： 2005年3期页码:摘要： 在基于语言考虑代码安全性的工作中,往往需要将高级语言程序翻译成类型化低级语言的程序进行类型检查.许多高级语言具有类型调度结构,在向低级语言的编译过程中需要用标签机制来实现.针对具有多继承接口...
-
刊名： 软件学报发表期刊： 2005年3期页码:摘要： 反应式系统通常是不终止的,其行为定义为系统状态的无限序列的集合.形式化验证时,检验需求一般使用时序逻辑给出.当使用诸如LTL(linear temporal logic)这样的逻辑时,由于这...
-
5. 均值漂移算法的收敛性刊名： 软件学报发表期刊： 2005年3期页码:摘要： 均值漂移是一种有效的统计迭代算法,已广泛应用于聚类分析、跟踪、图像分割、图像平滑、滤波、图像边缘提取和信息融合等方面.但是,其收敛性仍没有得到严格的证明,而收敛性是任何迭代算法的必要前提.推...
-
刊名： 软件学报发表期刊： 2005年3期页码:摘要： 输入队列因具有良好的可扩展性而广泛应用于高速交换机和路由器中,但输入队列需要精心设计调度算法以获取较好的性能.Round-Robin算法因其简单性和并行性而得到广泛的研究,但现有的Round...
-
7. 一种分布式吴方法计算模型刊名： 软件学报发表期刊： 2005年3期页码:摘要： 吴方法是由我国科学家吴文俊院士开创的一个新兴研究领域.考虑到吴方法"分而治之"的思想非常适合分布式计算,将分布式计算技术引入到该方法的计算过程中,给出一种既可以在集群环境下,也可以在网格环境...
-
刊名： 软件学报发表期刊： 2005年3期页码:摘要： k-Median问题的近似算法研究一直是计算机科学工作者关注的焦点,现有研究结果大多是关于欧式空间和Metric空间的,一般距离空间k-Median的结果多年来一直未见.考虑一般距离空间k-...
-
刊名： 软件学报发表期刊： 2005年3期页码:摘要： 支持多实例的工作流管理系统为工作流过程处理带来极大的灵活性,活动多实例要解决的主要问题之一是多实例的调度控制.在分析了多实例的分配和汇聚等问题之后,针对过程中活动间不同活动语义的上下文,对活...
-
刊名： 软件学报发表期刊： 2005年3期页码:摘要： 提出了一种支持软件过程控制与改进的主动度量模型AMM(active measurement model)和度量方法.模型形式化描述了软件过程的目标、特征和度量指标等关键元素以及相互间的关系,...
-
刊名： 软件学报发表期刊： 2005年3期页码:摘要： 针对基于Petri网离散事件系统关于标识向量和Parikh向量的不等式约束反馈控制器设计问题,提出一种新的控制器设计方法.该方法首先利用Petri网的状态方程把关于标识向量和Parikh向量...
-
刊名： 软件学报发表期刊： 2005年3期页码:摘要： 在用数量化理论3类(quantification theory of type 3,简称QT3)定量地分析软件需求的基础上,以质量功能展开(quality function deployme...
-
13. MANET中TCP改进研究综述刊名： 软件学报发表期刊： 2005年3期页码:摘要： 传统TCP(transmission control protocol)本是为有线网络设计,它假设包丢失全是由网络拥塞引起,这个假设不能适应于MANET (mobile ad hoc net...
-
刊名： 软件学报发表期刊： 2005年3期页码:摘要： 在分析Ad Hoc网的单播QoS路由问题的基础上,提出了一种新的Ad Hoc网的分布式QoS路由算法--EBLLD(entropy-based long-life distributed Q...
-
刊名： 软件学报发表期刊： 2005年3期页码:摘要： 首先将基于门限结构的彼得森可验证秘密共享方案(Pedersen-VSS)转换成可以抵抗一般结构敌手攻击的方案(Pedersen-VSS-General).指出R. Canetti等人在设计分...
-
刊名： 软件学报发表期刊： 2005年3期页码:摘要： Linux是目前广泛用于路由设备中的操作系统,而流量管理是这种网络操作系统的一个重要功能.研究了Linux系统的流量管理机制,发现当前Linux系统所采用的在网络接口的出口实现的基于网络包调...
-
刊名： 软件学报发表期刊： 2005年3期页码:摘要： 分析了王尚平等人提出的群签名成员删除方案,给出在群管理员更换群密钥后,已被删除成员更新其特性密钥、证明其成员资格和产生有效签名的方法,说明该方案是不安全的,不能真正删除群成员.
-
刊名： 软件学报发表期刊： 2005年3期页码:摘要： 针对移动Agent数据保护这一特定的安全问题,提出了关联密钥链加密IKCE(interrelated keys chains encryption)机制,并对该机制进行了安全性分析和性能分析...
软件学报基本信息
| 刊名 | 软件学报 | 主编 | 李明树 |
| 曾用名 | |||
| 主办单位 | 中国科学院软件研究所 中国计算机学会 | 主管单位 | 中国科学院 |
| 出版周期 | 月刊 | 语种 |
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理论与应用研究
成组技术与生产现代化
测绘与空间地理信息
电光与控制
电子商务
电机与控制学报
地理信息世界
音响改装技术
电脑编程技巧与维护
电脑高手
电脑技术
电脑开发与应用
电脑迷
电脑时空
智能计算机与应用
电脑与电子
