软件学报杂志北大期刊CSCD期刊统计源期刊

软件学报 2011年第04期杂志 文档列表

软件学报杂志系统软件与软件工程

一种目标可满足性定性、定量表示与推理方法第593-608页

关键词: 面向目标需求工程；  可满足性表示；  目标可满足性推理；  云模型；  有序加权聚合算子；  

自适应多Agent系统的运行机制和策略描述语言SADL第609-624页

关键词: 自适应agent；  动态绑定机制；  策略描述语言；  环境；  多agent系统；  

低约束密度分布式约束优化问题的求解算法第625-639页

关键词: 分布式约束优化问题；  多agent；  算法；  

BACH：线性混成系统有界可达性模型检验工具第640-658页

关键词: 线性混成系统；  线性混成自动机；  有界可达性检验；  线性规划；  

模态顺序图uMSD的形式语义第659-675页

关键词: 模态顺序图；  性质规约模式；  

软件学报杂志模式识别与人工智能

知识不确定性问题的粒计算模型第676-694页

关键词: 粒计算；  知识；  不确定性；  粗糙集；  模糊集；  商空间；  

相关性粒子群优化模型第695-708页

关键词: 粒子群优化；  相关性；  copula；  收敛性；  

软件学报杂志计算机网络与信息安全

Laurel：一种混合式数据分发覆盖网第722-735页

关键词: 层次式覆盖网；  混合式覆盖网；  分簇；  数据分发；  p2p；  

移动通信系统中一种合作博弈CAC策略第736-744页

关键词: 呼叫接纳控制；  公平性；  博弈论；  移动通信；  

采用排名反馈的P2P名誉评价模型第745-760页

关键词: p2p网络；  名誉评价；  排名反馈；  共谋攻击；  

IMS网络中的SIP洪泛攻击检测第761-772页

关键词: ip多媒体子系统；  会话初始协议；  计数式布鲁姆过滤器；  双抽样与变抽样间隔；  

基于副本复制和Bloom Filter的P2P概率路由算法第773-781页

关键词: 对等计算；  有向随机网络；  副本复制；  衰减bloomfilter；  概率路由；  

椭圆曲线密码中一种多标量乘算法第782-788页

关键词: 点乘；  多标量乘；  阶乘展开式；  固定基窗口算法；  

2011年全国开放式分布与并行计算学术年会征文通知第788-788页

关键词: 征文通知；  学术年会；  并行计算；  开放式；  华中科技大学；  优秀论文；  专业委员会；  计算机；  

软件学报杂志计算机图形学与计算机辅助设计

基于Hot-Target图和特征边缘保持的图像收缩方法第789-800页

关键词: 图像收缩；  特征边缘；  网格变形；