期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到3篇文章
< 1 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
基于形式化方法的需求分析 被引量：15
1
作者 塔维娜 何积丰 《计算机工程》 CAS CSCD 北大核心 2003年第18期107-108,191,共3页
利用形式化规格说明语言—— B语言对软件需求进行了严格定义，在严格的数学基础上进行软件开发，以获得更好的软件性能。利用形式化方法的需求分析，有助于发现需求中隐含的不一致性、二义性和不完整性，对其进行更深入精确的理解，从... 利用形式化规格说明语言—— B语言对软件需求进行了严格定义，在严格的数学基础上进行软件开发，以获得更好的软件性能。利用形式化方法的需求分析，有助于发现需求中隐含的不一致性、二义性和不完整性，对其进行更深入精确的理解，从而进行规范化管理。 展开更多
关键词 需求分析 形式化方法 B方法 规范化管理
下载PDF
802.11无线局域网安全现状及其解决方案 被引量：12
2
作者 苏鹏 胡志远 +1 位作者 塔维娜 顾君忠 《计算机工程》 CAS CSCD 北大核心 2003年第4期112-114,共3页
主要分析了802.11无线局域网的安全现状，并针对其安全漏洞提出了相应的解决方案，介绍了数据完整性检查以及防止弱IV攻击技术。
关键词 无线局域网 802.1标准 网络安全 EAP/802.1X 访问挖掘 数据完整性 安全漏洞
下载PDF
带噪汉语语音识别的端点检测方法 被引量：3
3
作者 王朋 塔维娜 陈树中 《计算机工程》 CAS CSCD 北大核心 2003年第17期120-121,135,共3页
在语音识别系统中产生错误识别的原因之一是端点检测有误差，在高信噪比情况下，正确地确定语音的端点并不困难，然而，大多数实际的语音识别系统需工作在低信噪比情况下，一些常规的端点检测方法，例如基于能量的端点检测方法在噪声环... 在语音识别系统中产生错误识别的原因之一是端点检测有误差，在高信噪比情况下，正确地确定语音的端点并不困难，然而，大多数实际的语音识别系统需工作在低信噪比情况下，一些常规的端点检测方法，例如基于能量的端点检测方法在噪声环境下不能有效地工作。该文利用改进的隐马尔柯夫模型(ＨＭＭ)进行语音检测以适应噪声的变化，实验结果表明本方法可得到高正确率的带噪语音端点检测。 展开更多
关键词 语音识别 端点检测 语音检测
下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 下一页 到第 页
使用帮助 返回顶部