论文降重
免费查重- 钛学术文献服务平台 \
- 学术期刊 \
- 工业技术期刊 \
- 自动化技术与计算机技术期刊 \
- 软件学报期刊 >
软件学报2003年出版文献
出版文献量（篇）
5820
总下载数（次）
36
出版文献量（篇）
5820
总下载数（次）
36
分享
文章浏览
目录
-
241. 一种具有快速条件断点的并行程序调试器刊名： 软件学报发表期刊： 2003年11期页码:摘要： 快速条件断点是高性能并行程序调试器中进程控制必备的功能之一.分析了快速条件断点基本原理以及快速条件断点设计中需要考虑的代码生成、代码插装和源程序对应等问题.并针对上述问题,提出了预编译与运行...
-
242. 工作流模型中多粒度时间约束描述及其分析刊名： 软件学报发表期刊： 2003年11期页码:摘要： 流程的分布性要求工作流模型中时间约束可以采用不同的时间粒度来度量.为此,定义了工作流模型MG-TWF.通过多粒度相对时间约束、多粒度绝对时间约束及多粒度时间约束工作流网概念,从MG-TWF模...
-
243. 工作流系统带权角色与周期时间访问控制模型刊名： 软件学报发表期刊： 2003年11期页码:摘要： 带权角色激活任务和周期时间授权是工作流系统访问控制研究尚未解决的核心问题.以基于角色的访问控制模型为基础,提出了一种新的工作流系统带权角色与周期时间访问控制模型WRPTAC(weighted...
-
244. 一种基于依赖性分析的类内聚度度量方法刊名： 软件学报发表期刊： 2003年11期页码:摘要： 内聚度是指模块内各成分之间的联结强度.在面向对象程序中,内聚度主要是指类内部各成分之间的联结强度.在深入剖析了类的属性与属性、方法与属性以及方法与方法之间的关系及其性质的基础上,提出了一种基...
-
245. 集成多方面信息的定性空间推理及应用刊名： 软件学报发表期刊： 2003年11期页码:摘要： 以往的定性空间或时空推理工作多数面向单一时空方面,这不符合实际应用需要.提出了集成拓扑、尺寸和时间3方面信息的定性表示和推理技术,并应用到时空GIS中.给出了面向GIS的拓扑、尺寸和时间的表...
-
246. 基于进化稳定策略的遗传算法刊名： 软件学报发表期刊： 2003年11期页码:摘要： 为了解决传统遗传算法易陷入局部最优解的问题,在借鉴生物学中"进化稳定策略"的基础上,对传统的遗传算法进行了改进,提出了基于进化稳定策略的遗传算法.该算法的核心在于,稳定参数控制下的突变算子的...
-
247. 单隐层神经网络的Lp同时逼近刊名： 软件学报发表期刊： 2003年11期页码:摘要： 用构造性的方法证明对任何定义在多维欧氏空间紧集上的勒贝格可积函数以及它的导数可以用一个单隐层的神经网络同时逼近.这个方法自然地得到了网络的隐层设计和收敛速度的估计,所得到的结果描述了网络收敛...
-
248. 重组的遗传漂移分析刊名： 软件学报发表期刊： 2003年11期页码:摘要： 进化计算中存在的遗传漂移现象导致种群均匀地收敛于单一个体,产生早熟收敛或丢失可选的全局(或局部)最优解.遗传漂移起源于选择压、选择的采样误差和重组算子的作用.多父代重组算子是多种交叉和重组算...
-
刊名： 软件学报发表期刊： 2003年11期页码:摘要： 提出了一种用于挖掘中药最优配方的三阶段选举筛选算法.首先对不同配方的中药新药的临床疗效数据进行可视化.然后,从可视化后的疗效数据曲线中提取若干疗效特征.最后,采用三阶段选举算法筛选新药配方....
-
250. 基于支持向量机的图像语义分类刊名： 软件学报发表期刊： 2003年11期页码:摘要： 图像的低层可视特征与高层语义特征之间存在着一道鸿沟,人们不能直接理解由计算机自动生成的低层特征.另外,基于内容的图像分类和检索的性能极大地依赖于可视特征的提取和描述.出于这些考虑,提出了新的...
-
251. 彩色图像人脸高光区域的自动检测与校正方法刊名： 软件学报发表期刊： 2003年11期页码:摘要： 人脸检测和识别受不同环境照明的影响很大,彩色图像中人脸高光区域的自动检测和辐射校正有助于对人脸的正确分析和识别.提出了一种在TSL(tint-saturation-luminance)彩色空...
-
252. 一类Koblitz椭圆曲线的快速点乘刊名： 软件学报发表期刊： 2003年11期页码:摘要： 考虑一类特征3的Koblitz椭圆曲线的快速点乘算法.在这类曲线上适合建立低带宽的、可证明安全的密码体制.结果显示,利用这类曲线的复乘性质,使用模约减和Frobenius展开技巧,这类曲线上...
-
253. 群签名中成员删除问题的更新算子解决方案刊名： 软件学报发表期刊： 2003年11期页码:摘要： 提出了Camenisch-Stadler群数字签名方案中成员删除问题的一个新的解决方案.新方案使用了群组成员秘密特性钥更新算子方法.新方案中当一个成员加入或被群组删除后,群主管计算并公布群组...
-
刊名： 软件学报发表期刊： 2003年11期页码:摘要： 今天,宽带社区接入基础设施仍然是下一代网络的主要研究领域之一.除了流行的非对称数字用户环路、光纤同轴混合网和ATM无源光网络,学术界和工业界正日益表现出对于以太网技术应用于宽带社区接入网的巨...
-
255. 基于离散对数的代理盲签名刊名： 软件学报发表期刊： 2003年11期页码:摘要： 代理签名是一种非常有用的密码学工具.使用它,原始签名人能将其数字签名权力委托给代理签名人.在盲签名方案中,消息的内容对签名者是不可见的.签名被接收者泄露后,签名者不能追踪签名.代理签名和盲签...
-
256. 电子商务协议中的可信第三方角色刊名： 软件学报发表期刊： 2003年11期页码:摘要： 在安全电子商务协议中,可信第三方TTP(trusted third party)担任重要的角色.通过3类不同的协议,即Coffey-Saidha协议、CMP1协议和Asoken-Shoup-...
-
257. 带时间特性的角色访问控制刊名： 软件学报发表期刊： 2003年11期页码:摘要： 基于角色的访问控制模型的研究工作近年来得到了广泛的重视,但主要工作均立足于与时间特性无关的其他方面.形式化描述了一个引入时间后的角色访问控制模型.在该模型中对原有授权约束进行了时间扩充.提出...
-
刊名： 软件学报发表期刊： 2003年11期页码:摘要： 图像、视频、音频和图形等均是多媒体数据流中的信息载体,对上述数据所蕴涵的内容进行分析,可以极大地方便人们对它们的使用与管理.基于内容的图像(视频)和音频检索已经取得了不少进展,但是对于图形,...
-
259. 基于人眼视觉特性的快速图像编码算法刊名： 软件学报发表期刊： 2003年11期页码:摘要： 提出了一种图像编码算法ESPIHT(extended set partitioning in hierarchical trees).该算法能够通过以下3项措施提高SPIHT算法工作效率:(...
-
260. 立体视频编码中的目标分割与立体匹配算法刊名： 软件学报发表期刊： 2003年11期页码:摘要： 视频目标分割与立体匹配是目标基立体视频编码中的核心技术.首先在单通道视频目标分割的基础上提出一种轮廓跟踪匹配算法,以提取立体视频目标对,然后提出一种基于目标的视差估计算法.它以具有特征信息的...
-
刊名： 软件学报发表期刊： 2003年12期页码:摘要： 合成操作是Petri网系统建模中一种重要的自底向上建模方法,而在Petri网系统的合成研究中,一些好性质,如活性、无死锁性、可回复性等的保持性,是一个重要的研究问题.研究了Petri网系统同...
-
262. Monad的一种自动生成技术刊名： 软件学报发表期刊： 2003年12期页码:摘要： Monad程序的核心是一组Monad定义.Monad定义分为MAP型和BIND型.如果在Monad库中已有所需要的Monad定义型,则可以直接使用,而不需要重新构造;否则,需要重新构造.但如...
-
263. 具有高可理解性的二分决策树生成算法研究刊名： 软件学报发表期刊： 2003年12期页码:摘要： 二分离散化是决策树生成中处理连续属性最常用的方法,对于连续属性较多的问题,生成的决策树庞大,知识表示难以理解.针对两类分类问题,提出一种基于属性变换的多区间离散化方法--RCAT,该方法首先...
-
264. 回归支持向量机的改进序列最小优化学习算法刊名： 软件学报发表期刊： 2003年12期页码:摘要： 支持向量机(support vector machine,简称SVM)是一种基于结构风险最小化原理的学习技术,也是一种新的具有很好泛化性能的回归方法,提出了实现回归支持向量机的一种改进的SM...
-
265. 基于联合得分的连续语音识别确认方法刊名： 软件学报发表期刊： 2003年12期页码:摘要： 提出了一种基于联合概率似然得分和概率似然比得分进行语音识别确认的方法,计算搜索路径得分过程中同时考虑概率似然比得分,在给出系统最终识别结果的同时给出置信度水平.实验结果表明,该方法在大大降低...
-
266. 具有已知代理人的不可否认门限代理签密方案刊名： 软件学报发表期刊： 2003年12期页码:摘要： 1996年,Mambo等人提出了代理签名概念.但是,代理签名仅能提供授权的认证而不能提供保密性.Chan和Wei提出一个门限代理签密方案(记为Chan-Wei方案),扩展了代理签名的概念.指...
-
267. 认证协议两种形式化分析方法的比较刊名： 软件学报发表期刊： 2003年12期页码:摘要： 串空间模型和CSP方法是当前最著名的分析认证协议的形式化方法.通过一个具体的认证协议例子,比较两种方法的不同特点.
-
268. 一个加强的NAT-PT模型刊名： 软件学报发表期刊： 2003年12期页码:摘要： NAT-PT(network address translation + protocol translation)允许IPv6节点与IPv4节点之间进行通信.NAPT-PT则通过一定的映射...
-
269. 低轨卫星通信网络中动态位置更新管理方案刊名： 软件学报发表期刊： 2003年12期页码:摘要： 移动性管理是LEO(低轨卫星(low earth orbit))卫星网络通信系统中的一个重要问题.提出了LEO网络中一种改进的基于移动的位置更新和寻呼方案.在这种方法中我们引入了"元小区"概...
-
270. 安全组播中密钥分配问题的研究刊名： 软件学报发表期刊： 2003年12期页码:摘要： 组播是面向组接收者的首选网络通信技术,其重要性随着Internet的发展日益突出.组管理协议IGMP不提供成员接入控制.为了保护通信机密性,安全组播使用仅为认证组成员所知的会话加密密钥(SE...
软件学报基本信息
| 刊名 | 软件学报 | 主编 | 李明树 |
| 曾用名 | |||
| 主办单位 | 中国科学院软件研究所 中国计算机学会 | 主管单位 | 中国科学院 |
| 出版周期 | 月刊 | 语种 |
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理论与应用研究
成组技术与生产现代化
测绘与空间地理信息
电光与控制
电子商务
电机与控制学报
地理信息世界
音响改装技术
电脑编程技巧与维护
电脑高手
电脑技术
电脑开发与应用
电脑迷
电脑时空
智能计算机与应用
电脑与电子
