期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到7篇文章
< 1 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
行人穿越马路对交通流的影响 被引量：9
1
作者 李兴莉 张健 邝华 《中北大学学报（自然科学版）》 CAS 北大核心 2010年第4期414-418,共5页
结合交通心理学理论,在科学分析人为因素特征(如习惯性、随机性、从众心理等)的基础上,建立了行人乱穿马路行为的元胞自动机模型,数值模拟探讨了行人在一个位置和多个位置穿马路时交通运行状态与人为因素大小的参数之间的关系,重点研究... 结合交通心理学理论,在科学分析人为因素特征(如习惯性、随机性、从众心理等)的基础上,建立了行人乱穿马路行为的元胞自动机模型,数值模拟探讨了行人在一个位置和多个位置穿马路时交通运行状态与人为因素大小的参数之间的关系,重点研究了过街频率、过街位置分布、过街位置数目对交通流的影响.结果表明:基本图上存在饱和流量平台,其饱和流量值主要取决于行人过马路的时间和过街频率.在总穿越时间和总等待时间一定的情况下,穿越频率的提高扩大了饱和流量对应的密度范围,特别在高密度区,单次过马路时间的延长将显著降低道路的实际通行能力;过街位置是否均匀分布对交通几乎没影响;一般而言,相同条件下,让行人分散几处过马路要优于行人集中一处花费长时间过马路. 展开更多
关键词 人为因素 交通心理学 交通流 元胞自动机
在线阅读 下载PDF
幺半群-矩阵型自动机的商自动机
2
作者 徐慧 田径 《南京师大学报（自然科学版）》 CAS CSCD 北大核心 2017年第2期39-42,共4页
本文从两个幺半群之间的同态出发,构造(n,S)-自动机之间的满同态,得到自动机的同余关系,进一步,在状态集的商集上,重新构造新的自动机(即所谓商自动机),并阐述了所构造的自动机与满同态所对应的自动机是同构的.在此基础上,引入(n,S)-自... 本文从两个幺半群之间的同态出发,构造(n,S)-自动机之间的满同态,得到自动机的同余关系,进一步,在状态集的商集上,重新构造新的自动机(即所谓商自动机),并阐述了所构造的自动机与满同态所对应的自动机是同构的.在此基础上,引入(n,S)-自动机上的所谓的■和■关系,证明了这两个关系是可交换的. 展开更多
关键词 幺半群-矩阵型自动机 同态 同余 商自动机
在线阅读 下载PDF
有限自动机定义函数的线性本原圈积分解
3
作者 覃中平 张焕国 曹兴芹 《计算机学报》 EI CSCD 北大核心 1999年第1期11-15,共5页
本文讨论有限自动机显表出定义函数ｆ的线性本原圈积分解问题．在该圈积分解之下，函数ｆ被表成线性外函数因子ｆＬ与线性本原内函数因子ｆＮ的圈积，这里函数ｆＬ定义了一个线性弱可逆有限自动机ＭｆＬ，而函数ｆＮ定义了一个非线性有... 本文讨论有限自动机显表出定义函数ｆ的线性本原圈积分解问题．在该圈积分解之下，函数ｆ被表成线性外函数因子ｆＬ与线性本原内函数因子ｆＮ的圈积，这里函数ｆＬ定义了一个线性弱可逆有限自动机ＭｆＬ，而函数ｆＮ定义了一个非线性有限自动机ＭｆＮ且其不能再分解成一非平凡的线性外函数与一非线性内函数的圈积．本文证明了一函数ｆ的任两线性本原内因子互为对方的线性本原内因子，从而证明了函数ｆ的线性本原圈积分解的唯一性．本文所给出的函数ｆ的线性本原圈积分解比此前已有的ｆ的相对（ｔ０，Ｔ）圈积分解能进一步降低求ｆ定义的有限自动机Ｍｆ的弱逆Ｍ＊ｆ的复杂性，其可应用于有限自动机公钥密码体制的密码分析中． 展开更多
关键词 函数 圈积分解 线性本原因子 有限自动机
在线阅读 下载PDF
广义标准自动机及其商自动机
4
作者 徐慧 田径 金英姬 《西北大学学报（自然科学版）》 CAS CSCD 北大核心 2018年第2期168-171,共4页
文中给出了广义正规自动机上L关系的定义。由此出发刻画了广义标准自动机,即L是等价关系的广义正规自动机。证明了L是广义标准自动机上的同余关系,并给出了商自动机A/L是循环自动机的刻画。
关键词 极小生成元集 广义标准自动机 循环自动机 商自动机
在线阅读 下载PDF
线性时序逻辑约束下的滚动时域控制路径规划 被引量：3
5
作者 焦梦甜 宋运忠 《智能系统学报》 CSCD 北大核心 2020年第2期281-288,共8页
针对有限确定性系统中的路径规划问题,本文提出了一种线性时序逻辑约束下的在线实时求解滚动时域控制的新方法。该方法将滚动时域控制方法和满足线性时序逻辑公式的策略相结合,控制目标是在满足高级别任务规范的同时,使收集的累积回报... 针对有限确定性系统中的路径规划问题,本文提出了一种线性时序逻辑约束下的在线实时求解滚动时域控制的新方法。该方法将滚动时域控制方法和满足线性时序逻辑公式的策略相结合,控制目标是在满足高级别任务规范的同时,使收集的累积回报值最大化。其中,在有限时域内的每个时间步长上局部优化回报值,并应用当前时刻计算获得的最优控制序列。通过执行适当的约束,保证控制器产生的无限轨迹满足期望的时序逻辑公式。而且,由于地势影响因子的引入,所建议的方案更接近于真实情况。仿真实验结果验证了文中提出方法的可行性和有效性。 展开更多
关键词 线性时序逻辑 滚动时域控制 路径规划 最优控制 有限确定性系统 BÜCHI自动机 Product自动机 地势影响因子
在线阅读 下载PDF
基于改进元胞自动机的室内火灾疏散模型 被引量：5
6
作者 黄旺星 何对燕 《消防科学与技术》 CAS 北大核心 2016年第11期1562-1565,共4页
基于元胞自动机理论,量化确定了吸引力、摩擦力和排斥力的运算规则,且将疏散人员的心理因素和火灾的影响纳入考虑范围,提出了一种新的室内建筑火灾人员疏散模型,并编制了相应的数值仿真计算程序。模拟结果表明,该模型能够较好地模拟发... 基于元胞自动机理论,量化确定了吸引力、摩擦力和排斥力的运算规则,且将疏散人员的心理因素和火灾的影响纳入考虑范围,提出了一种新的室内建筑火灾人员疏散模型,并编制了相应的数值仿真计算程序。模拟结果表明,该模型能够较好地模拟发生火灾时的人员疏散现象,并可以找到不利于人员疏散的瓶颈位置。 展开更多
关键词 火灾 元胞自动机模型 社会力 人员疏散模型 心理因素
在线阅读 下载PDF
一种有效的模糊关联规则挖掘的形式化方法
7
作者 唐伟 《计算机工程与应用》 CSCD 北大核心 2015年第18期114-119,174,共7页
模糊关联规则用于处理数据库中的不精确信息,并提供一个知识发现的良好表示。利用约束级别表示理论将GUHA模型泛化用于模糊关联规则,通过约束级别管理模糊规则,并给出一个扩展的验证度量过程。使用形式化方法的挖掘算法,在不同的约束级... 模糊关联规则用于处理数据库中的不精确信息,并提供一个知识发现的良好表示。利用约束级别表示理论将GUHA模型泛化用于模糊关联规则,通过约束级别管理模糊规则,并给出一个扩展的验证度量过程。使用形式化方法的挖掘算法,在不同的约束级别上并行化挖掘过程,总结得到的结果。算法的复杂度分析以及实验结果表明该形式化方法是有效可行的,从而确立了模糊关联规则表示和评价的逻辑基础。 展开更多
关键词 模糊关联规则 形式化方法 约束级别(RL) 一般一元假设自动机(GUHA)模型 支持度 置信度 确定性因子
在线阅读 下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 下一页 到第 页
使用帮助 返回顶部