求解非线性互补问题的光滑化拟牛顿法

利用光滑Chen Harker KanzowSmale函数和Robinson正则法,将非线性互补问题转化为与之等价的光滑非线性方程组,并基于无导数线搜索技术提出了一种新的求解P0非线性互补问题的光滑化拟牛顿法.在一定条件下获得了算法的全局收敛性,数值实验表明该算法是有效的.     

MCRASC-MGSC微型阵列语音增强方法

提出了一种基于多路抗串扰自适应信号抵消(MCRASC)的修正广义旁瓣抵消(MGSC)方法,通过使用MCRASC来阻塞MGSC中需要阻塞的语音信号,使微型阵列输出的增强语音效果明显提高.真实环境下的实验验证了方法的有效性.     

变破产下限广义双Poisson风险模型的破产概率

研究了广义双Poisson风险模型在假定变破产下限时的破产概率,得出破产概率所满足的不等式,且研究了当破产下限f(t)为线性函数时,破产概率所满足的不等式和破产概率的具体表达式.     

采动影响下风井破坏原因分析

在受采动影响情况下,利用概率积分与Drucker-Prager准则相结合的方法判断风井的破坏位置,因风井的破坏往往发生在岩层与岩层,或基岩与松散层交接面处,故该方法并不能从理论上说明破坏的原因.风井的破坏与否,与风井穿过的岩层的力学性质、岩层之间的胶结程度、岩层所处的深度有关,水平移动值的大小也与深度有关.因此,各岩层的水平移动值会有所差异.如果下层位岩层与上层位岩层胶结程度弱,那么,下层位岩层的水平移动传递到上层位岩层的可能就小,两个岩层之间水平移动值的差异大,也即水平变形大,会引起赋存在岩层内的地下构筑物破坏.工程实例验证了这种判断方法的可靠性.     

基于模型参考自适应系统理论的异步电机矢量控制系统研究

采用模型参考自适应系统对系统转速进行估算,实现了异步电机的无速度传感器控制.在一个4kW的三相异步电动机上进行了实验,异步电机结果表明:该系统具有快速的动态响应能力和良好的稳定性.     

HG无机侑机复合土壤固结材料的应用研究

作为一种新型的复合材料,HG无机/有机复合土壤固结材料能提高水泥对地下淤泥质软土的加固作用.经过试验对比,结果表明:HG与水泥复配的最佳质量比例为1.5%;添加HG后水泥土试样的无侧限抗压强度、抗剪强度和抗渗透性与未添加时相比都有明显的提高,同时添加HG能明显降低水泥浆的粘度,增加了水泥浆的输送性能.     

G.723.1编解码器在TMS320C50上的优化实现

数字信号处理器在语音编解码中得到广泛应用。在简要介绍TMS320C50定点DSP芯片和ITU-T G.723.1语音编解码算法后,详细讨论了G.723.1在TMS320C50上的实现及其技术要点,主要是内存安排、算法和代码优化、数据精度等。设计的编解码器通过了ITU-T G.723.1标准测试数据测试,占用内存资源较少,并具备较高的编解码速度。     

一种基于分而治之的语音识别错误纠正方案*

介绍了一种基于分而治之的语音识别错误纠正方案,首先利用混淆网络把连续语音识别问题转换为顺序的、独立的分类子任务。每个分类子任务可看做是孤立词识别问题,通过训练专门的支持向量机来区分混淆网络的识别候选。提出了一种快速的基于码本转换的语音向量对齐方法,解决了变长语音向量无法直接作为支持向量机输入的问题。通过一个普通话音节识别任务的实验结果表明,该方案能有效提高系统的正确率。     

基于Blowfish和MD5的混合加密方案*

针对Blowfish算法在实际应用中存在的等价密钥、重复初始化等问题,提出Blowfish与MD5算法相结合,将MD5算法的生成值作为密钥的一部分对Blowfish算法进行初始化,使用概率统计方法证明该方案弥补了Blowfish算法的实际应用缺陷。计算结果表明,混合加密方案具有更高的安全性、更快的速度。     

基于Petri网的信息流安全属性的分析与验证*

信息流安全属性的定义均基于不同的语义模型,很难作出比较,以Petri网作为描述安全系统的统一模型,在Petri网上定义四种常见的安全属性,并分析它们之间的逻辑关系。在信息流安全属性验证方面,传统的方法称为展开方法,该方法适用于确定型系统,而对于非确定型系统,该方法是可靠的,但不完备。进一步对Petri网上已经定义的四种属性给出可靠完备的验证算法,并开发出相应的验证工具。最后通过实例说明了验证方法在搜索隐通道方面的应用。