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

软件学报 2008年第01期杂志 文档列表

软件学报杂志理论计算机科学

量子程序设计语言NDQJava第1-8页

关键词: 量子程序设计语言；  命令式量子程序设计语言；  申述式量子程序设计语言；  量子数据类型；  量子变量；  量子表达式；  量子语句；  

量子程序设计语言NDQJava处理系统第9-16页

关键词: 量子程序设计语言；  编译；  解释；  模拟；  词法分析程序；  语法分析与代码转换程序；  量子汇编与解释程序；  

全国第15届计算机辅助设计与图形学（CAD／CG200s）学术会议第16-16页

基于抽象解释理论的程序验证技术第17-26页

关键词: 抽象解释理论；  galois连接；  程序验证；  

谓词抽象技术研究第27-38页

关键词: 模型检验；  谓词抽象；  抽象求精；  反例；  插值；  

变量极小不可满足在模型检测中的应用第39-47页

关键词: 极小不可满足；  抽象精化；  模型检测；  

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

聚类算法研究第48-61页

关键词: 聚类；  算法；  实验；  

基于层次划分的最佳聚类数确定方法第62-72页

关键词: 聚类；  聚类有效性指标；  统计指标；  聚类数；  层次聚类；  

一种从不完备关系数据中学习PRM的方法第73-81页

关键词: 机器学习；  关系学矾不完备数据；  概率关系模型；  最大似然树；  进化计算；  

基于区分类别能力的高性能特征选择方法第82-89页

关键词: 特征选择；  文本分类；  信息检索；  

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

超三代移动通信系统的QoS体系结构第90-102页

关键词: 端到端的qos体系结构；  可扩展性；  可管理性；  自适应；  动态资源管理；  

无线传感器网络中自适应数据存取第103-115页

关键词: 无线传感器网络；  数据存取；  数据速率；  地理位置；  

第5届智能CAD与数字娱乐学术会议征文通知第115-115页

无线网状网基于不确定性度量极小化信任模型第116-124页

关键词: wmn；  信任模型；  不确定性度量；  极小化；  证据理论；  

高带宽延时网络中一种协同式拥塞控制协议第125-135页

关键词: tcp；  拥塞控制；  高带宽延时网络；