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

软件学报 2010年第11期杂志 文档列表

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

逆向工程中的大类图拆分方法第2701-2710页

关键词: 类图；  uml；  逆向工程；  软件维护；  

基于约束的多面体抽象域的弱接合第2711-2724页

关键词: 静态分析；  抽象解释；  多面体抽象域；  凸闭包；  强接合；  弱接合；  

基于形态分析识别设计模式中的集中管理式聚集第2725-2737页

关键词: 聚集；  设计模式；  形态分析；  集中式管理；  识别；  

一种基于形式化规约生成软件体系结构模型的方法第2738-2751页

关键词: 形式化规约；  软件体系结构；  lotos；  实时系统；  

时间属性序列图：语法和语义第2752-2767页

关键词: 属性序列图；  时间属性序列图；  形式验证；  

基于行为自动机的构件可替换性分析与验证第2768-2781页

关键词: 基于构件的软件工程；  构件可替换性；  交互兼容性；  构件行为自动机；  软件演化；  

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

粒计算的一种覆盖模型第2782-2789页

关键词: 粒计算；  覆盖；  galois联络；  拓扑空间；  

一种高效的复杂系统遗传算法第2790-2801页

关键词: 遗传算法；  复杂系统；  幂律法则；  基因漂流；  

一种基于语料特性的聚类算法第2802-2813页

关键词: algorithm；  based；  on；  the；  distributions；  of；  intrinsic；  文本聚类；  模型不匹配；  重标度；  信息检索；  

基于贝叶斯网络的半监督聚类集成模型第2814-2825页

关键词: 半监督聚类集成；  变分推理；  必连；  不连；  

可能性扩展规则的推理和知识编译第2826-2837页

关键词: 扩展规则；  可能性逻辑；  知识编译；  pair；  of；  possibilistic；  clauses；  contains；  complementary；  

癌症识别中一种基于组合GCM和CCM的分类算法第2838-2851页

关键词: 基因表达谱；  癌症识别；  全局分量模型；  癌症组分量模型；  

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

基于卡方统计的应用协议流量行为特征分析方法第2852-2865页

关键词: 网络行为；  应用协议；  流量分类；  行为特征；  卡方统计；  报文抽样；  

IEEE802.11支持QoS区分服务的性能优化第2866-2882页

关键词: qos区分；  p坚持；  自适应优化算法；  多速率网络；  

用局部保持典型相关分析定位无线传感器网络节点第2883-2891页

关键词: 无线传感器网络；  定位；  典型相关分析；  流形；