铁路信号域形式化方法研究

铁路信号系统作为安全关键系统。它的失效可能带来灾难性的后果或重大经济损失，因此，安全关键系统的软件开发对可靠性和安全性的要求非常苛刻，而需求分析及描述是软件生命周期的一个重要环节，它所确立的系统逻辑模型是设计和实现目标系统的基础，提出了一种适合于计算机处理的铁路信号域知识的形式化表达方法，希望代替以往继电器接点电路表示的逻辑关系处理方式。     

浅议企业财务风险的防范

财务风险在企业的经济活动中是难免的,提出了风险及防范措施.     

煤矿复杂多源数据的混合相似性度量方法

随着煤矿产业自动化、电子化和信息化的发展,目前已有的数据描述方式不能有效刻画煤矿中多源、多维、动态的海量数据信息.针对该问题,首先将源于哲学范畴中的本体引入煤矿生产领域,以矿区监测位置本体作为语义模型与数值描述相结合,形成树状层次结构来描述煤矿复杂多源数据;然后,通过基于语义和数值的混合相似性度量方法计算煤矿数据的相似度;最后通过实验验证了本文所述方法的可行性和有效性.     

女性犯罪原因浅析

常说女性是"半边天",她们给人一种美丽、平和、善良、温暖的感觉,然而随着我国经济的发展,我国妇女的政治经济地位也不断提高,广大女性逐渐摆脱了家庭的束缚,越来越多地参与到社会生活中,发挥着重要的作用。女性既是家庭的纽带,也是社会的重要组成部分,对社会的影响是长期深远和巨大的,但这"半边天"也出现了"黑洞"。近年来女性犯罪趋于不断上升的趋势,预防和打击女性犯罪已成为一项长期而艰巨的社会任务,而解决这一社会问题要首先究其根源。女性犯罪的原因是多方面的,既有宏观,微观的社会环境的客观原因,又有其生理和心理等主观原因,多种主客观因素相互影响相互渗透相互作用,导致了女性犯罪行为的发生。笔者从社会、家庭、个人、传统风俗入手分析女性犯罪原因。     

非线性Schrdinger方程的辛算法

给出了非线性Schrdinger方程的二阶Euler中点格式、四阶Euler中点格式、二阶蛙跳格式和四阶蛙跳格式,并且作了数值实验验证这些格式的可行性并比较其误差.并且对同样截断误差阶的一种辛格式和一种非辛的差分格式进行比较.我们选取二阶蛙跳格式和二阶两层格式作了数值实验并对它们的运行结果作了比较.发现辛算法比同样截断误差的非辛算法误差小,时间越长优势越明显.     

高校科技统计数据采集中的问题与对策

本文通过对高校科技统计现状的分析,提出了改进的方法,即利用科技统计学会,从规范统一科技统计指标入手,以保证科技统计的真实性、时效性和完整性。     

嵌入式系统中一种池式内存管理方案

嵌入式系统的内存管理机制根据系统的不同需求必须满足相应实时性和可靠性的要求,再加上系统中内存储器资源紧张,因此高效、可靠的内存管理机制是构建一个优秀的嵌入式系统所必需的。文章简单介绍了当前嵌入式系统中普遍使用的内存管理技术,着重阐述了对内存池进行管理的一种可行的实现方法,该内存管理方法不但本身管理空闲内存的开销很少,同时可以有效地减少内存碎片的产生,从而提高内存的利用率。文章对该方法中使用到的数据结构,关键实现流程进行了详细的描述。     

非理想反电势无刷直流电机转矩直接控制方法

为了抑制非理想反电势无刷直流电机的转矩脉动,提出一种转矩直接控制方法。将转矩参考值和反馈值输入到转矩控制器之后经过计算得到所要求的占空比,来控制相应的开关管。该方法采用两相导电方式,并在绕组换相期间考虑了直流电源有限的供电能力。仿真和实验表明,与普通的方波电流控制相比,该控制方法能有效抑制由非理想反电势引起的无刷直流电机的转矩脉动。     

煤矿复杂多源数据的混合相似性度量方法

随着煤矿产业自动化、电子化和信息化的发展，目前已有的数据描述方式不能有效刻画煤矿中多源、多维、动态的海量数据信息．针对该问题，首先将源于哲学范畴中的本体引入煤矿生产领域，以矿区监测位置本体作为语义模型与数值描述相结合，形成树状层次结构来描述煤矿复杂多源数据；然后，通过基于语义和数值的混合相似性度量方法计算煤矿数据的相似度；最后通过实验验证了本文所述方法的可行性和有效性．     

HMM自适应法在应力变异语音识别系统的应用

为了使应力变异在顽健语音识别系统中能够达到较好的识别效果,研究了基于隐马尔可夫模型(HMM)的自适应技术,提出了将最大后验概率(MAP)和最大似然回归方法(MLLR)用于应力变异语音的自适应中.实验结果表明,与基本系统相比,两种方法均有效地提高系统识别率.以SD为初始模型的最大后验概率方法在150个训练样本时识别效果最好,可以达到90.4%.