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

计算机工程 2013年第03期杂志 文档列表

计算机工程杂志轨道交通专题

基于模型的列车自动防护系统软件开发第1-6页

关键词: 城市轨道交通；  列车自动防护；  应用软件；  接口模型；  状态模型；  控制流模型；  

WiMAX下的列调强拆SIP扩展方案第7-11页

关键词: wimax网络；  会话初始化协议；  无线列调；  强拆；  会话控制；  

CTCS-2级列控系统的形式化建模与验证第12-15页

关键词: 列控系统；  符号模型检验；  形式化方法；  车载设备；  模式转换；  

基于状态表决的安全计算机数据库更新算法第16-19页

关键词: 轨道数据库；  数据库状态；  安全计算机；  数据库更新；  表决；  

模块化高速电动车组牵引传动跟踪监测系统第20-24页

关键词: 高速电动车组；  牵引传动系统；  实时监测；  离线分析；  模块化设计；  状态机；  

铁轨表面缺陷的视觉检测与识别算法第25-30页

关键词: 铁轨；  表面缺陷检测；  水平投影法；  灰度补偿；  机器视觉；  bp神经网络；  

基于传感器模型的安全计算机仿真系统第31-35页

关键词: 仿真系统；  安全计算机系统；  传感器建模；  无损坏故障注入；  系统建模；  轨道交通；  

计算机工程杂志软件技术与数据库

基于时序描述逻辑的UML顺序图形式化方法第36-40页

关键词: 时序描述逻辑；  统一建模语言顺序图；  静态语义；  动态语义；  形式化规约；  形式化验证；  

基于周期规律的加权时态关联规则挖掘算法第41-45页

关键词: 关联规则；  周期规律；  有效时间；  区间归并；  时间复杂度；  

一种基于概率的孤立点检测方法第46-50页

关键词: 孤立点；  概率；  中位数；  dbscan算法；  方差；  聚类；  

基于群决策的指标体系结构建立方法第51-55页

关键词: 指标体系结构；  主题生成；  综合研讨；  群决策；  

航电系统软件需求知识本体构建及评价第56-62页

关键词: 航电系统；  软件需求知识；  多本体框架；  泛化本体；  领域本体；  本体评价；  

基于可信计算和HIP的Web数据库安全模型第63-66页

关键词: web数据库；  安全模型；  可信计算；  主机标识协议；  多宿主；  移动性；  

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

WSN中一种基于最优投影的数据收集方案第67-71页

关键词: 无线传感器网络；  压缩感知；  数据收集；  最优投影；  网络生命周期；  

OFDM系统中基于因子图的信道估计算法第72-76页

关键词: 正交频分复用；  信道估计；  符号检测；  因子图；  和积算法；