计算机与数字工程杂志统计源期刊

计算机与数字工程 2014年第10期杂志 文档列表

计算机与数字工程杂志专栏

高性能并行仿真中持久性研究磁第1749-1751页

关键词: 高性能并行仿真；  持久性；  优越性；  

海洋数据质量检验方案中残差优化选择算法磁第1752-1757页

关键词: 海洋数据；  抽样检验；  残差；  skyline；  

基于改进 GNY 逻辑的 Kerberos ＊协议安全性分析磁第1758-1762页

关键词: 网络安全；  kerberos；  gny；  形式化分析；  

基于改进轮盘赌策略的交互式演化算法磁第1763-1767页

关键词: 交互式演化算法；  轮盘式选择；  隐式优化问题；  商业海报；  最优化设计；  

基于 Spin/Promela 的 Woo-Lam 协议安全性质高效验证磁第1768-1772页

关键词: 形式化方法；  模型检测；  协议；  枚举法；  打表法；  

基于中文微博的情感词典构建及分类方法磁第1773-1776页

关键词: 中文微博；  微博情感词典；  情感分类；  情感词汇自动获取；  

多图像同态滤波的 CPU 和 GPU 并行计算磁第1777-1781页

关键词: 图像增强；  同态滤波；  并行算法；  多核计算；  gpu；  计算；  

多用户偏好的 Top-k 查询处理算法研究磁第1782-1786页

关键词: 查询；  用户偏好；  查询处理；  

社交网络重叠社团检测初探磁第1787-1791页

关键词: 聚类划分；  社交网络；  重叠社团；  随机游走；  

对象数据库的虚属性查询优化方法磁第1792-1797页

关键词: 切换表达式；  表达式提升；  虚属性合并；  

带路径约束的双端网络可靠性分析磁第1798-1800页

关键词: 路径约束；  边扩展图；  网络可靠性；  双端网络；  

基于网络分析与 D-S 证据理论的信息安全风险评估磁第1801-1807页

关键词: 风险评估；  决策试验和评价实验室法；  网络分析法；  证据理论；  信息安全；  

嵌入式可信计算平台测评系统的设计与实现磁第1808-1812页

关键词: 嵌入式可信计算平台；  测评系统；  可信功能测试；  

一种新的软件可信评估方法磁第1813-1816页

关键词: 软件可信；  分层；  分解；  

正向隔离网闸在电力系统中的应用磁第1817-1818页

关键词: 网闸；  电力系统；  正向隔离；