软件导刊杂志省级期刊

软件导刊 2011年第07期杂志 文档列表

软件导刊杂志软件理论与方法

逻辑函数式的逐次代入化简法第3-5页

关键词: 逻辑函数式；  逐次代入；  化简；  方法；  

一种新的阈值函数的平移不变多小波去噪方法第6-8页

关键词: 阈值函数；  平移不变；  多小波变换；  信号去噪；  

基于TEmb的嵌入式软件测试V模型研究第9-11页

关键词: temb；  软件测试；  改进v模型；  并行测试；  

Web服务的分析、测试与验证第12-14页

关键词: web服务；  面向服务计算；  服务组合；  软件分析；  软件测试；  形式化验证；  

Linux集群服务第15-17页

关键词: 集群；  调度；  算法；  

基于Web模式的人才档案管理系统研究与开发第18-20页

关键词: 人事档案；  web；  分布式多层结构；  数据库；  

数组在VB中的多态研究第21-22页

关键词: 数组；  静态数组；  动态数组；  控件数组；  自定义类型数组；  

多专家系统及其知识组织第23-25页

关键词: 多专家系统；  管理控制知识；  知识表示；  

单边带调制中希尔伯特滤波器的Weaver法实现第26-27页

关键词: weaver法；  希尔伯特滤波器；  ssb调制；  

SQL存储过程实现相似重复记录检测第28-29页

关键词: sql；  存储过程；  相似重复记录；  数据清洗；  

用ISPH模拟不可压缩流体第30-31页

关键词: isph；  不可压缩流体；  压力泊松方程；  数值模拟；  

论数字校园中的一卡通服务体系建设第32-34页

关键词: 数字校园；  一卡通；  服务体系；  建设；  

Vega中碰撞检测的几种方法研究第35-37页

关键词: 碰撞检测；  体；  相交矢量；  方法；  vega；  

数字式电动操纵负荷系统仿真模型建模研究第38-39页

关键词: 操纵负荷系统；  仿真模型；  工程模拟器；  

企业PDM系统选型与实施方法研究第40-42页

关键词: pdm；  teamcenter；  实施；  选型；