计算机工程与设计杂志北大期刊统计源期刊

计算机工程与设计 2009年第22期杂志 文档列表

计算机工程与设计杂志软件与算法

反例引导的模型检验工具的设计第5041-5043页

关键词: 模型检验；  状态爆炸；  反例引导；  抽象精化；  抽象与组合；  

快速振荡系数抛物型方程的小波多尺度数值模拟第5044-5047页

关键词: 小波；  多尺度算法；  均匀化；  多分辨率分析；  二尺度方程；  

软错误评估中仿真故障注入平台的理论模型第5048-5052页

关键词: 软错误；  故障注入；  语法分析；  检查点；  分层抽样；  

基于Markov链的软件任务剖面建模方法研究与实现第5053-5057页

关键词: 软件测试技术；  基于模型的测试；  任务剖面；  rose可扩展接口；  markov链；  

多态性构件及其代数规范第5058-5061页

关键词: 构件；  多态；  代数规范；  空间几何实体；  形式化；  

基于概念格的关联规则挖掘方法第5062-5064页

关键词: 背景；  概念格；  关联规则；  频繁项集；  基本规则集；  

挖掘闭合多维序列模式的可行方法第5065-5067页

关键词: 数据挖掘；  闭合序列模式；  闭合项目集模式；  多维模式；  闭合多维模式；  

计算机工程与设计杂志信息安全技术

基于椭圆曲线密码体制的可认证的密钥交换协议第5068-5070页

关键词: 椭圆曲线密码；  椭圆曲线离散对数；  可认证的密钥交换协议；  数字签名；  

基于NOVOMODO的证书状态服务系统的改进与实现第5071-5074页

关键词: 状态服务中心；  novomodo；  证书状态；  ejbca；  pki；  

网络设备硬件漏洞研究第5075-5077页

关键词: 信息安全；  网络防御；  硬件漏洞；  al216；  以太网；  

基于FPGA硬件策略的入侵检测的研究第5078-5081页

关键词: 网络安全；  入侵检测；  模式匹配；  数据采集；  协处理器；  

基于神经网络模型分割的入侵检测方法第5082-5086页

关键词: 入侵检测；  神经网络；  子神经网络；  模型分割；  检测率；  

虚拟知识社区的综合访问控制模型研究第5087-5090页

关键词: 虚拟知识社区；  概念模型；  访问控制；  基于属性；  决策表；  综合访问控制策略；  

计算机工程与设计杂志网络与通信技术

分布式网络自动抓包管理系统的设计与实现第5091-5093页

关键词: 网络管理；  网络数据包；  自动抓包；  winpcap；  分布式；  

无线传感器网络GEAR算法的改进第5094-5096页

关键词: 无线传感器网络；  地理位置路由协议；  gear算法；  路由空洞；  网络生命周期；