扩展有限递归进程的研究

扩展了有限递归进程（ＦＲＰ）模型，用更一般的形式给出ＦＲＰ的定义，增加了条件转移算子和对数据变量的操作，通过计算机通信网络协议的描述说明了扩展后的ＦＲＰ具有更强的描述能力。     

基于SPN的CTCS无线通信形式化建模与分析

CTCS-4列车运行控制系统是基于无线通信传输信息的系统,其无线通信系统是一个动态、复杂的分布式系统,正确的形式化验证对于其性质和最终实现具有重要意义。本文主要考虑高速列车在移动闭塞区间条件下CTCS无线通信的形式化建模和可靠性分析,建立随机Petri网(SPN)表示的CTCS无线通信机制模型和列车与无线闭塞中心通信的GSM-R故障恢复模型,给出对通信故障定位的表示方法,并采用TimeNET仿真工具对GSM-R通信系统的可靠性进行分析得出相应结论。分析结果表明,列车在500 km/h的速度下,越区切换成功概率为99.45%,连接丢失概率为10-2/h。最后,本文将分析结果与GSM-R的技术标准进行比较,说明其可靠性满足规范要求。     

一种基于生化反应速率的新型膜计算方法研究与应用

作为自然计算的新分支,膜计算是当前计算机科学、数学、生物学和人工智能等多学科交叉的研究热点。本文结合基本膜计算方法论提出一种新型带有生化反应速率的膜计算方法。该方法对膜系统中的不同膜赋予不同的生化反应速率,用以描述生物膜系统中不同反应条件下所需要的不同生化反应时间,克服了基本膜计算方法盲目无约束并发的缺点,使膜计算方法得以实际应用。最后应用该方法分析欧洲列车控制系统(ETCS)在移动闭塞区间条件下无线通信系统的可靠性,以验证该方法的可行性。     

随机访问CDMA性能研究

建立了综合业务模型，分析出单小区系统多径Rayleigh(Nakagami）的特例衰落、噪声信道下的RAMC－CD－MA的话音及其它实时业务的分组丢失率与用户数关系、数据业务时延与用户数关系，频谱利用率等性能。     

神经网络求解MTSP的应用研究

对多路施行商问题（ＭＴＳＰ）根据出发城市的不同和返回情况分成了四个子问题，建立了各问题的神经网络计算能量函数和迭代公式，提出了智能化的优化方法，并用中国３１个直辖市、省会和自治区首府为例对ＭＴＳＰ进行了计算机模拟，说明了神经网络用于求解组合优化问题是十分有效的。