自动机

热门搜索：fpga 51单片机 protel99se 机器人 linux 单片机 dsp arm Proteus matlab

复杂网络上病毒传播的元胞自动机模拟

针对病毒在复杂网络拓扑结构中传播行为的多样性特点，运用元胞自动机模拟病毒传播过程，并采用“易染-感染-免疫”模型和“易染-感染-易染”模型构造元胞自动机模拟方法。实验结果表明，该自动机模型能较好地模拟

/dl/203315.html

标签： 复杂网络元胞自动机

上传时间： 2021-02-01

上传用户：ytpdq
基于多维有限自动机的DFA改进算法

多个正则表达式规则编译成一个DFA(deter minister finite automata)时,会产生状态爆炸、存储急剧增加的现象。针对最严重的状态爆炸问题,从信息论的角度给出了解释,并提出多维数学模型,将冗余状态分为0维状态和1维状态,通过前者按照维度压缩,后者动态构建的方法将空间复杂度降到理论下界,并在此基础上提出多维有限自动机(MFA ...

/dl/208415.html

标签： 有限自动机 dfa 改进算法机状态爆炸

上传时间： 2021-11-14

上传用户：kongbai123
用有限自动机和拓扑排序理论提高MIS开发效率

利用有限自动机和拓扑排序理论编写的一个工具软件，能直接处理数据库分析人员利用CASE工具产生的带中文注

/dl/201890.html

标签： 有限

上传时间： 2021-01-05

上传用户：A4675510
业务流程的形式化设计与验证

针对如何保证业务流程设计模型与业务需求的一致性问题,在研究有限自动机模型的基础上,提出了一种业务流程的自动机模型构建和验证方法.采用扩展的带约束条件的确定有限自动机对业务流程设计模型进行形式化描述,使用线性时序逻辑表示业务需求,分别给出业务流程设计模型到自动机模型和自动机模型到Promela描述的转换算法,并通 ...

/dl/210767.html

标签： 业务流程形式化设计验证限自动机模型检测线性时序逻辑

上传时间： 2022-09-08

上传用户：philis
基于自动机的TCP流识别算法

为提升网络流识别性能,本文提出了一种TCP流识别算法.该算法基于传输控制协议(Transmission Control Protocol,TCP)下网络通信双方的交互过程构建双向流自动机,由该自动机根据TCP协议规则和网络流当前状态判断TCP流终止,同时以基于规则的过滤机制和超时策略为辅助措施,快速识别单包流和异常中断流.该算法内存开销、计算和内存 ...

/dl/211016.html

标签： TCP流识别算法

上传时间： 2022-09-10

上传用户：lj2100
NS模型的随机特性及其在LWR模型中的应用

本文改进了微观一维随机元胞自动机交通流模型（NS 模型）的控制规则，将NS 模型中的随机特性作为一个随机参量运用到宏观一阶连续交通流模型（LWR 模型）中，重新构建了LWR 模型的交通流基本图。在实测

/dl/201382.html

标签： 模型及其

上传时间： 2021-01-02

上传用户：hkj8808
具有模糊时态的广义可能性线性时序逻辑的模型检测

本文首先定义了具有模糊时态的广义可能性线性时序逻辑GPoFLTL(Generalized Possibilistic Fuzzy Linear Tempora Logic)的语构以及基于路径和基于语言的两种语义解释,证明了GPoFLTL在模糊时态方面对GPo LTL(Generalized Possibilistic Linear Tempora Logic)进行了扩张,并通过实例说明了GPoFLTL比GPo LTL具有更强的表达能力; ...

/dl/206413.html

标签： 时序逻辑

上传时间： 2021-06-19

上传用户：sinxsoft
信息物理融合系统控制软件的统计模型检验

信息物理融合系统常采用嵌入式实时多任务系统作为其控制软件,这类软件的并发和非确定性给验证带来了困难.提出了一种利用统计模型检验技术分析多任务系统的功能正确性的方法.该方法构造的时间自动机模型以模块化的方式描述了实时多任务系统中的主要成分,包括实时操作系统、周期性任务、偶发任务、共享资源以及物理环境,能够 ...

/dl/211234.html

标签： 信息物理融合系统控制软件统计模型检验理融合系统多任务系统

上传时间： 2022-09-12

上传用户：dgnd9999