搜索结果: 1-15 共查到“自动机理论 模型”相关记录18条 . 查询时间(1.07 秒)
基于DFP的二阶Volterra模型及其对Rössler混沌序列的预测
二阶Volterra模型 Davidon-Fletcher-Powell算法 DFPSOVF Rö ssler混沌序列预测
2013/1/14
为克服最小二乘法或归一化最小二乘法在二阶Volterra建模时参数选择不当引起的问题，在最小二乘法基础上，应用一种基于后验误差假设的可变收敛因子技术，构建了一种基于Davidon-Fletcher-Powell算法的二阶Volterra模型（DFPSOVF）.给出参数估计中自相关逆矩阵估计的递归更新公式，并对其正定性、有界性和τ（n）的作用进行了研究.将DFPSOVF模型应用于Rössl...
一种适于计算机自动实现的机械制造企业投入产出模型
投入产出 智能化 管理模型 机械制造
2009/11/10
该机械制造企业投入产出模型以自制产品、自制工装模具、设备加工工时为中间产品, 完整地
描述了它们之间的依赖制约关系和各自的作用。提出了与现行管理指标相一致的模型转换方法, 较好
地适应了核算、生产、计划、供应、设备等多种管理的要求。最后, 按照零件、部件、整机的加工层次讨论
了该模型的简化方法。模型很好地体现了机械制造企业生产管理的特点, 它是一种适于计算机自动实
现的投入产出模型。
一个细化的元胞自动机模型中的加速度和随机慢化效应及其与同步流可能的联系
元胞自动机模型 加速度 随机慢化效应 同步流
2009/10/19
The effect of acceleration a andrandomization Dinare fined NagelSchreckenberg traffic flow model is investigated.It is found that when a≥D,there is no qualitative change of the fundamental diagram an...
有无信号灯控制的T形交叉口元胞自动机模型比较
交通运输工程 元胞自动机 T形交叉口
2009/10/19
利用元胞自动机方法建立了一个具有三个进车道的信号灯控制的T形交叉口模型。在以前的无信号灯控制的模型中，一些进车道的车辆在交叉口只有一个行驶方向，而在本文模型中采用更为实际的两个行驶方向，并采用具有固定周期的三相信号灯来控制交叉口的车辆冲突。通过数值模拟给出了本文模型的相图和系统的总流量，并与无信号灯模型结果进行了比较。
基于PageRank算法改进的元胞自动机模型
元胞自动机 PageRank算法 Web数据挖掘
2009/8/19
针对在线零售业务系统中用户要进入许多无关页面才能找到所需商品的问题，站点应能根据群体用户购买兴趣动态调整网页分配，即站点自适应。借用PageRank算法对元胞自动机模型进行改进，实现站点的自适应调整。与原模型相比，改进模型的演化规则简单、时间复杂度低、性能更优越。
基于空间信息多级网格的CA模型研究
空间信息多级网格 元胞自动机 土地利用/覆被变化
2009/6/25
具备时空计算特征的元胞自动机(CA)模型与GIS 集成极大促进了GIS 对地理过程的模拟能力。本文简要介绍了空间信息多级网格(SIMG)－一种既能适合网格计算环境又充分考虑到地球空间的自然特征和社会属性的差异性及经济发展不平衡的特点的空间信息表示新方法。充分研究了SIMG与CA之间的联系，分别讨论了在SIMG上CA元胞及状态的确定、元胞空间的确定、规则的定义、时间粒度确定等，提出了空间信息多级网格...
基于二维概率元胞自动机的HBV动力学模型
元胞自动机 HBV 动力学模型
2009/6/25
为描述免疫系统中细胞微粒的多样性以及微粒运动和相互作用的随机性，在传统元胞自动机基础上，借用粗粒化思想，将多个状态变量引入元胞之中，并提出了“次级元胞”的概念，以表示不同类型的细胞粒子；应用该模型模拟乙型肝炎病毒（HBV）在无药物治疗情况下的自然感染和抗HBV药物药效比较，以及考察肝细胞感染率的影响因素，获得了较好的效果。
多速率混合系统的模型检查
混合系统 多速率自动机 区间时序逻辑
2009/5/25
研究了初始化的多速率混合系统的模型检查问题，即检验初始化的多速率自动机是否满足某个混合区间时序逻辑公式描述的性质．首先定义了一套转换规则把混合区间时序逻辑公式转化为区间时序逻辑公式．接着定义了初始化的多速率自动机状态空间上的等价关系及其对应的域自动机，并且通过构造域自动机对应的标注有限状态自动机，把初始化的多速率混合系统的模型检查问题等价地转换成了可解的区间时序逻辑的模型检查问题．利用区间时序逻辑...
区间时序逻辑的模型检查
模型检查 时序逻辑 自动机
2009/5/25
为了检验标注有限状态自动机描述的系统是否满足某个区间时序逻辑公式刻画的性质，定义了一套转换规则．利用这些规则，可以构造一个chop-自动机，该自动机接受的语言恰是所有满足这个区间时序逻辑公式的模型的集合．同时，定义了一套转换规则把一个chop-自动机转换为一个标注有限状态自动机，使得它们接受相同的原子命题序列集．这样，区间时序逻辑的模型检查问题就等价地转换成了很容易解决的两个标注有限状态自动机的语...
基于WAP的移动搜索模型
移动搜索 无线应用协议 网页分割
2009/4/21
针对在Internet环境下进行移动搜索的特点，提出一种基于无线应用协议(WAP)的移动搜索模型。该模型利用现有的搜索引擎实现对Web信息的检索，并充分利用Web页各分割块的特征抽取出与查询请求最为相关的主题区域代替原始网页，以WAP协议的标记语言格式输出给用户，方便移动用户快速准确地获取Web信息。
基于XML的无人机任务链模型
无人机 任务规划 任务链
2009/4/17
对无人机系统地面任务控制站与飞行器通信协议中的任务链进行了研究。根据功能将任务链分为航路计划、传感器计划、通信计划和控制权限交接计划4个部分，建立了能够支持复杂任务的任务链模型。采用XML语言对任务链进行表达，增强了任务链的标准性和通用性。最后实现了任务控制站通过任务链控制多架无人机协同执行任务的仿真。
基于元胞自动机的模糊控制换道模型
元胞自动机 模糊控制 换道
2009/3/6
根据元胞自动机理论建立改进的交通流模型，给出每辆车的演化规则。在此基础上依据实际车辆行为建立换道规则，利用模糊推理来模拟人在换道过程中的主观判断过程，建立换道模型。仿真表明该方法能较好的模拟车辆的实际行为。
基于遗传算法的黑箱测试用例自动生成模型
黑箱测试 遗传算法 测试例
2009/3/2
介绍基于遗传算法的测试用例自动生成技术，研究了利用动态调试技术和静态反汇编技术计算遗传算法中适应度函数的方法，设计了基于遗传算法的黑箱测试用例自动生成模型。该模型可直接对可执行文件自动生成测试用例，避免对程序进行源代码插装，降低对程序源代码的要求，扩展了基于遗传算法的测试用例自动生成技术的应用范围。
多速率混合系统的模型检查
模型检查 混合系统 多速率自动机
2009/1/30
研究了初始化的多速率混合系统的模型检查问题，即检验初始化的多速率自动机是否满足某个混合区间时序逻辑公式描述的性质．首先定义了一套转换规则把混合区间时序逻辑公式转化为区间时序逻辑公式．接着定义了初始化的多速率自动机状态空间上的等价关系及其对应的域自动机，并且通过构造域自动机对应的标注有限状态自动机，把初始化的多速率混合系统的模型检查问题等价地转换成了可解的区间时序逻辑的模型检查问题．利用区间时序逻辑...