论文降重
免费查重- 钛学术文献服务平台 \
- 学术期刊 \
- 工业技术期刊 \
- 自动化技术与计算机技术期刊 \
- 软件学报期刊 >
软件学报2011年出版文献
出版文献量（篇）
5820
总下载数（次）
36
出版文献量（篇）
5820
总下载数（次）
36
分享
文章浏览
目录
-
刊名： 软件学报发表期刊： 2011年6期页码:摘要： 现有的形式化验证方法除了在模型层面对系统进行验证以外,越来越倾向于直接针对系统的实际代码和具体运行.运行时验证技术验证的对象是具体程序,它试图把形式化验证技术部署到程序的实际运行过程中.然而...
-
刊名： 软件学报发表期刊： 2011年6期页码:摘要： 分布式实时系统是广泛应用在众多关键领域的一类复杂实时系统.为保证其上运行任务的实时性,传统基于最坏响应时间的调度分析方法往往包含了实际系统运行过程中无法达到的最坏情况,因此在这些情况下的分析...
-
93. AADL模型可靠性分析评估工具刊名： 软件学报发表期刊： 2011年6期页码:摘要： 主要针对AADL(architecture analysis and design language)嵌入式系统体系结构进行可靠性建模,实现AADL可靠性模型到广义随机Petri网(gene...
-
刊名： 软件学报发表期刊： 2011年6期页码:摘要： 基于时间自动机理论,提出了时间窗、时间依赖服务代价以及时间依赖旅行时间这3类时变网络中国邮路问题的统一建模的语义模型和求解方法.首先,将中国邮路问题可行解条件和时变参数与时间自动机联系起来,...
-
95. P2P流量识别刊名： 软件学报发表期刊： 2011年6期页码:摘要： P2P流量的迅猛增长加剧了网络拥塞状况,P2P流量识别为网络管理提供了基本的技术支持.首先介绍了P2P流量的类别及流量识别面临的主要困难,然后综述了P2P流量识别的主要技术及研究进展,最后给...
-
96. 属性基加密机制刊名： 软件学报发表期刊： 2011年6期页码:摘要： 由于属性基加密(attribute-based encryption,简称ABE)机制以属性为公钥,将密文和用户私钥与属性关联,能够灵活地表示访问控制策略,从而极大地降低了数据共享细粒度访问...
-
97. 无证书公钥密码体制研究刊名： 软件学报发表期刊： 2011年6期页码:摘要： 无证书公钥密码体制(certificateless public key cryptography,简称CL-PKC)是在基于身份的公钥密码体制(identity-based public ...
-
刊名： 软件学报发表期刊： 2011年6期页码:摘要： 移动模型是Ad Hoc网络区别于其他形式网络的重要标志,对其产生的动态网络特性(简称动态特性)进行评估,是研究Ad Hoc网络的协议仿真和网络相关技术(如拓扑控制和网络性能测量等)的基础性问...
-
99. 高效安全的基于身份的签名方案刊名： 软件学报发表期刊： 2011年6期页码:摘要： Paterson等人在Waters签名方案的基础上提出的基于身份的签名方案,虽然在标准模型下被证明能够归约于CDH问题假定,但方案的计算效率不高.此后,李-姜等人对Paterson方案虽然进...
-
刊名： 软件学报发表期刊： 2011年6期页码:摘要： 旨在研究基于实时性约束的actor节点优化部署策略.由于WSANs通常是随机播撒的,导致基于实时性约束的actor节点优化部署问题是NP难问题.因此,提出了基于Voronoi图的最大实时覆盖...
-
101. 基于爬行器的大规模P2P IPTV测量刊名： 软件学报发表期刊： 2011年6期页码:摘要： 为了解大规模P2P IPTV系统中的用户行为特征和拓扑结构特征等内在信息,开发和部署了一个多协议P2P IPTV爬行器TVCrawer,对3个主流的P2P IPTV系统--PPLive,PP...
-
102. 各向异性传感环境下的移动对象反监控算法刊名： 软件学报发表期刊： 2011年6期页码:摘要： 研究异构传感环境下移动对象的反监控问题,提出一种暴露模型,该模型可用于近似估算移动对象穿越各向异性传感器网络时的风险.并在此基础上,结合各向异性Voronoi图提出了一种路径判定算法,该算法...
-
103. 基于不确定图的网络漏洞分析方法刊名： 软件学报发表期刊： 2011年6期页码:摘要： 网络漏洞分析是提高网络安全性的重要基础之一.以主机为中心的漏洞分析方法可在多项式时间内生成攻击图,但是没有考虑网络链路本身存在的不确定性.提出了一种基于不确定图的网络漏洞分析方法,采用链路不...
-
104. 基于消息日志的Web服务接口业务协议挖掘刊名： 软件学报发表期刊： 2011年7期页码:摘要： Web服务接口的业务协议描述了Web服务的外部行为,对于Web服务的复用具有重要意义,可以作为服务发现、组合、验证和运行期可信保障等方面的重要基础.目前,已有一些工作研究了Web服务的协议发...
-
刊名： 软件学报发表期刊： 2011年7期页码:摘要： 随着执行时绑定的Web服务的提出及其被大量地应用到开放式服务中,用户对支持快速和动态的Web服务组合提出了新的要求.即在组合过程中,用尽可能短的时间花费选择满足用户端到端的QoS要求的服务....
-
刊名： 软件学报发表期刊： 2011年7期页码:摘要： 容错调度是调度问题中一个重要的研究内容,是提高系统可靠性的有效手段.目前已有很多集群系统中实时任务的容错调度算法,但是这些算法都没有考虑到任务的QoS需求问题.提出了一种异构集群系统中具有Q...
-
刊名： 软件学报发表期刊： 2011年7期页码:摘要： 软件测试中的一个重要问题是测试成本和测试效率的平衡问题.依据程序中错误分布的2-8定律,将测试分为两个阶段,以解决该问题.第1阶段采用最小代价发现软件中的错误,第2阶段针对第1阶段中发现的错...
-
108. 异构多处理器SoC的应用算法性能优化方法刊名： 软件学报发表期刊： 2011年7期页码:摘要： 在嵌入式多媒体处理领域中,多处理器片上系统(multi-processor system-on-chip,简称MPSoC)的应用越来越广泛.多媒体处理MPSoC通常采用“主处理器核+多个异构...
-
109. 基于事件的社会网络演化分析框架刊名： 软件学报发表期刊： 2011年7期页码:摘要： 提出了一个全新的复杂网络分析框架来跟踪动态网络的演化规律,发现其在演化过程中的时间特性.不同于传统静态时间片的分析方法,整个框架首先利用有效而快速的方法发现网络的timeline,然后利用图...
-
110. 基于视听信息的自动年龄估计方法刊名： 软件学报发表期刊： 2011年7期页码:摘要： 年龄是人的重要属性.近年来,自动估计用户年龄逐渐成为一个涉及模式识别、计算机视觉、语音识别、人机交互、机器学习等领域的活跃课题.其在现实世界中也有很多的实际应用,如法医学、电子商务、安全控制...
-
111. 可判定的时序动态描述逻辑刊名： 软件学报发表期刊： 2011年7期页码:摘要： 动态描述逻辑DDL(dynamic description logic)提供了一种基于描述逻辑的动作理论,适用于语义Web环境下对动态领域知识的刻画和推理.为了将分支时序逻辑的刻画能力引入到...
-
112. 求解QBF问题的启发式调查传播算法刊名： 软件学报发表期刊： 2011年7期页码:摘要： 提出了一种启发式调查传播算法,并基于该算法设计了一种QBF(quantified Boolean formulae)求解器——HSPQBF(heuristic survey propagat...
-
113. 支撑向量数据域描述优化问题最优解理论分析刊名： 软件学报发表期刊： 2011年7期页码:摘要： 支撑向量数据域描述(support vector data description,简称SVDD)作为一种已经得到广泛应用的核方法,目前研究主要集中在其性能和效率的提高上,然而该算法优化问题...
-
114. 基于核化图嵌入的最佳鉴别分析与人脸识别刊名： 软件学报发表期刊： 2011年7期页码:摘要： 将压缩映射和同构映射引入核化图嵌入框架(kernel extension of graph embedding,简称KGE),从理论上证明了KGE框架内的各种核算法其实质是KPCA(keme...
-
115. 基于重构权的离群点检测方法刊名： 软件学报发表期刊： 2011年7期页码:摘要： 近几年来,流形学习在模式识别、机器学习和数据挖掘等许多领域都受到了广泛的关注.但是,通常的流形学习方法对离群点缺乏鲁棒性.对此,提出了一种基于重构权的流形离群点检测方法.该方法在每个样本点构...
-
116. 移动分布感知的车载自组网络数据分发刊名： 软件学报发表期刊： 2011年7期页码:摘要： 提出了一种面向发布/订阅系统基于车辆移动分布感知的事件分发策略MDA(mobile distribution-aware data dissemination).基于车流的自组织性及自稳性的...
-
117. 移动传感器网络中定位算法的性能评测刊名： 软件学报发表期刊： 2011年7期页码:摘要： 主要有3个方面的贡献:首先,发现在已有的移动传感器网络定位算法中所使用的仿真过程不能产生稳定的性能统计数据.讨论了这种现象的原因,并且提出一种定量的方法来设置仿真过程,以使得所设置的仿真过程...
-
118. 无线传感器网络中的定位模型刊名： 软件学报发表期刊： 2011年7期页码:摘要： 位置信息在无线传感器网络应用中日益重要,针对该网络中的定位问题,提出一种新颖的基于模糊识别的定位模型.在该模型中,定位空间被一些样本点划分为若干个小区域,每个样本点唯一地对应一个信号向量,通...
-
119. 时延受限且能量高效的无线传感网络跨层路由刊名： 软件学报发表期刊： 2011年7期页码:摘要： 如何通过网络的多跳中继把传感器节点收集的信息快速、高效地传输至基站,是无线传感器网络的基本问题.研究发现,MAC(media access control)层的睡眠调度和无线信道的不规则性均...
-
刊名： 软件学报发表期刊： 2011年7期页码:摘要： 根据ad hoc安全路由协议的特点,分析串空间理论的优势和不足,并在串空间分析协议的基础上,设计出一种返回不存在路由的协议攻击分析模型.以扩展SRP协议为例,验证了模型的正确性.
软件学报基本信息
| 刊名 | 软件学报 | 主编 | 李明树 |
| 曾用名 | |||
| 主办单位 | 中国科学院软件研究所 中国计算机学会 | 主管单位 | 中国科学院 |
| 出版周期 | 月刊 | 语种 |
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理论与应用研究
成组技术与生产现代化
测绘与空间地理信息
电光与控制
电子商务
电机与控制学报
地理信息世界
音响改装技术
电脑编程技巧与维护
电脑高手
电脑技术
电脑开发与应用
电脑迷
电脑时空
智能计算机与应用
电脑与电子
