一种改进的实时系统可达性分析算法

首先简介了时间自动机、时钟区域、区域等价、时钟带的概念.利用时钟带,可以将时间自动机的无穷状态空间转化为有穷.实时系统的绝大多数安全性和部分活性可以通过可达性分析算法来验证.然而,当系统时钟个数较多时,用DBM存储时钟带,会造成内存空间的很大耗费.该文提出了用邻接表存储时钟带,给出了改进的算法,并对算法的空间复杂度作了分析.实验表明,当时钟个数大于5时能节约很大的内存空间,从而在一定程度上缓解了状态爆炸.     

一种总体最小二乘算法及在Volterra滤波器中的应用

针对输入输出观测数据均含有噪声的滤波问题，提出了一种鲁棒的总体最小二乘自适应算法．该算法利用滤波器的增广权向量的瑞利商为损失函数，导出了其自适应迭代公式，并利用随机离散学习规律对权向量模的分析进行算法梯度修正，提高了算法的噪声鲁棒性，而且使得算法简单，稳定性好，收敛精度高．将该算法应用于Volterra滤波器，可使滤波器在非线性系统中的信噪比达到10dB，在学习因子为0．01时，算法仍然能够保持良好的收敛性．仿真结果表明，即使在高噪声环境或使用较大学习因子的情况下，该算法的鲁棒抗噪性能和稳态收敛精度均明显高于其他总体最小二乘方法．     

基于GIS与Geo-CA模型的半干旱区土壤盐碱化动态模拟研究

土壤盐碱化是半干旱地区土壤退化的重要表现形式之一,其发生发展是一个复杂的非线性动力学过程.利用地理元胞自动机对复杂系统时空动态演化过程具有较强的计算与模拟能力的特点,以吉林省西部盐碱化土地为研究区,在GIS的支持下系统分析了土壤盐碱化的特征及其影响因子,建立了基于Geo-CA的土壤盐碱化动态模型,模拟了吉林省西部土地盐碱化发生发展的时空动态规律.     

基于个体行为的人员疏散微观离散模型

紧急情况下的人员疏散研究可为减少人员受到的伤害提供必要的指导.提出了一个基于元胞自动机理论的人员行为微观离散模型, 该模型可以充分考虑人员个体行为特征, 认为人员在选择逃生路线时将受到一系列因素的制约, 包括人员对建筑物结构的熟悉程度、对紧急情况发展的了解程度以及周围人员之间的引力和斥力作用等. 该模型的着重点在于研究影响人员疏散效率各因素的单独及综合作用, 是从人员行为的角度出发考虑疏散问题. 针对火灾情况下的模拟研究表明, 可比较准确地预测紧急情况下的人员疏散现象.     

神经网络TSP问题仿真分析

描述了Hopfield神经网络和自组织特征映射神经网络解决TSP问题时的求解过程和仿真算法.通过对两种算法的仿真比较,得出以下结论:对于较大规模的TSP问题,SOFM模型的寻优结果要优于HNN模型寻优结果;HNN对网络模型参数和初始条件具有很强的依赖性且调整参数组合非常困难,而SOFM的参数设置和调整相对要简单得多;SOFM算法对待解决问题的拓扑分布不敏感,而HNN算法的收敛性对待求解问题的自身分布有很强的依赖性;当待求解问题的数目增大时,SOFM算法的运算时间增加缓慢,而HNN算法的运算时间增加较快.因此,在解决TSP问题时,自组织特征映射神经网络比Hopfield神经网络的效率高,随着问题规模的增大,其优势更为明显.     

三车道元胞自动机交通流模型研究

在Nagel-Schrekenberg（NS）元胞自动机交通流模型的基础上，提出了一种高速公路三车道元胞自动机交通流模型．该模型中所有的车辆均遵循相同的演化规则，并允许车辆以一定概率换道．根据计算机数值模拟．研究了车辆减速概率、换道概率对车流量、车道利用率影响关系，结果表明，在相同情况下，此模型所得到的基本图显示出交通流量比单车道NS模型大，并且发现减少不必要的车辆换道行为可以使驾驶更安全．这些研究为管理三车道的道路系统提供了一定的参考依据．     

机枪系统虚拟样机建模及仿真分析

以某大口径机枪系统为物理样机模型，对联合CAD建模软件Pro／E和动力学仿真软件ADAMS对其进行动力学仿真时的模型传递方法进行了研究，并以此在仿真环境中建立了机枪系统的虚拟样机模型。然后对机枪的自动机动力学和供输弹机构的运动进行了仿真分析，将仿真结果与试验数据进行了比较，并对工作弹簧进行了参数化设计。这证实了将虚拟样机技术引入自动武器研制领域的可行性，并为进一步的仿真工作奠定了基础。     

解旅行商问题的混沌蚁群算法

利用混沌运动的遍历性、随机性和规律性等特点,提出了一种求解旅行商问题的混沌蚁群(CACO)算法.该算法的思想是采用混沌初始化进行改善个体质量和利用混沌扰动避免搜索过程陷入局部极值.与模拟退火算法、标准遗传算法进行比较,仿真结果表明该方法是一种简单有效的算法.     

基于协议分析状态机的入侵检测系统

协议分析状态机是提高协议分析正确性的重要保证，将其应用于入侵检测系统是一个新的研究应 用方向，协议的形式化描述工具有穷状态自动机。通信有限状态自动机。在此基础上重点讨论了使用协议 状态机分析入侵事件的相关算法及流程.设计了基于协议分析状态机的入侵检测系统的总体框架，提出了 该状态机的面向对象的模型，使该系统具有良好的可扩展性和通用性，测试结果验证了这一思想的正确性 和有效性。     

四则运算学习指南

一、知识梳理1.加、减、乘、除法的意义和各部分关系。(1)加法。意义:把两个数合并成一个数的运算。各部分关系:和=加数+加数,加数=和-另一个加数。(2)减法。意义:已知两个加数的和与其中一个加数,求另一个加数的运算。各部分关系:差=被减数-减数,减数=被减数-差,被减数=减数+差。(3)乘法。意义:求几个相同加数的和的简便运算。各部分关系:积=因数×因数,因数=积÷另一个因数。