计算机应用与软件杂志北大期刊统计源期刊

计算机应用与软件 2015年第12期杂志 文档列表

计算机应用与软件杂志软件技术与研究

一种基于约束求解的Verilog语言静态分析方法第1-3页

关键词: 硬件设计；  静态分析；  模型检验；  符号执行；  约束求解；  

基于信息价值链的多粒度信息交互网络模型建模方法第4-7页

关键词: 信息价值链；  多粒度；  信息交互网络模型；  

计算机应用与软件杂志数据工程

一种面向动态连续查询的查询索引第8-11页

关键词: 动态连续查询；  查询索引；  更新性能；  

基于滑动窗口的不确定性数据流频繁项集挖掘算法第12-15页

关键词: 不确定性数据；  数据流；  频繁项集；  滑动窗口；  

搜索日志中热点查询的内容抽取第16-21页

关键词: 搜索日志；  聚类；  热点查询；  热度；  

计算机应用与软件杂志应用技术与研究

一种动态环境下载体定姿方法第22-24页

关键词: 动态；  低成本；  suav；  最速下降法；  ukf；  

曲线约束Delaunay三角剖分及在地形构建中的应用第25-28页

关键词: 地形重构；  特征点提取；  曲线约束delaunay；  离散误差；  曲线离散化；  delaunay三角网格；  

基于非等变圆柱螺线模型的井眼轨迹测斜算法研究第29-33页

关键词: 井眼轨迹；  圆柱螺线；  测斜算法；  轨道设计；  

面向航空物流的数据交换平台设计方法研究第34-37页

关键词: 航空物流；  数据交换；  数据共享；  信息平台；  数据报文；  

对数变换下非平稳时间序列预测误差的解析分析第38-41页

关键词: 非平稳时间序列；  预测；  对数变换；  数学期望；  平均误差；  交通流；  

基于异构特征的符号社交网络关系分类第42-45页

关键词: 符号网络；  社交网络；  异构特征；  链接分类；  关系分类；  

基于五因素人格模型的人群仿真研究第46-50页

关键词: 人群仿真；  智能体；  五因素模型；  认知路标；  互惠式速度障碍区；  

适用于S-MAC协议的自适应随机退避机制研究第51-54页

关键词: 无线传感器网络；  beb；  竞争窗口；  吞吐率；  碰撞；  

基于Web知识的中文分词结果优化第55-58页

关键词: 中文分词；  未登录词；  网络新词；  搜索引擎；  分词优化；  

基于CIM和XSD的电力企业数据交换方法第59-63页

关键词: 数据交换；  数据序列化；  电力企业；