期刊文献+
共找到15篇文章
< 1 >
每页显示 20 50 100
一种基于时间自动机网络的实时系统形式化验证方法 被引量:7
1
作者 刘传会 张广泉 《苏州大学学报(自然科学版)》 CAS 2008年第1期35-40,共6页
介绍了时间自动机形式模型,在此基础上给出了时间自动机网络的形式语法和语义,然后给出一种基于时间自动机网络的实时系统形式化验证方法,并采用基于时间自动机网络的模型检测工具UPPAAL对一个经典的实时系统实例进行了验证.
关键词 实时系统 模型检测 时间自动机网络 UPPAAL
下载PDF
自动机网络和交通的模拟研究 被引量:6
2
作者 顾国庆 许伯铭 《自然杂志》 1997年第A10期91-98,共8页
自动机网络是空间变量、时间变量和状态变量皆为离散集的动力系统,由于计算机科学的发展,自动机网络已经在基础和工程应用中的显示出它的广泛适用性和重要性,本文介绍自动机网络和元胞自动要的理论和应用,元胞自动机交通模型以及对... 自动机网络是空间变量、时间变量和状态变量皆为离散集的动力系统,由于计算机科学的发展,自动机网络已经在基础和工程应用中的显示出它的广泛适用性和重要性,本文介绍自动机网络和元胞自动要的理论和应用,元胞自动机交通模型以及对多种交通因素进行的模拟研究。 展开更多
关键词 自动机网络 元胞自动机 动力系统 交通模型
全文增补中
一种基于Agent的自适应自动机网络模型及其应用 被引量:1
3
作者 迟妍 谭跃进 《系统工程理论方法应用》 2003年第4期307-311,共5页
将自动机网络模型与基于Agent的建模仿真方法相结合,提出了一种基于Agent的自适应自动机网络模型。通过一个实例——"夺旗战斗模型",阐述了建模过程,并对模型的仿真实验结果进行了分析。
关键词 自适应自动机网络模型 整体涌现性 计算机仿真 复杂适应系统 CAS
原文传递
基于模糊元胞自动机的网络舆情演化模型 被引量:10
4
作者 陈涛 林杰 《情报学报》 CSSCI 北大核心 2013年第9期920-928,共9页
本文利用模糊元胞自动机模型研究网络舆情的演化行为,包括当前元胞的情感倾向、自信度和周边元胞的影响度以及周边元胞的情感倾向等四个主要要素,利用模糊理论建立起了当前元胞情感倾向被周边元胞影响规则。借鉴心理学方面专家的支持... 本文利用模糊元胞自动机模型研究网络舆情的演化行为,包括当前元胞的情感倾向、自信度和周边元胞的影响度以及周边元胞的情感倾向等四个主要要素,利用模糊理论建立起了当前元胞情感倾向被周边元胞影响规则。借鉴心理学方面专家的支持,一共建立了70条不同权重的模糊规则。同时,对元胞自动机的领域半径R以及有向小世界网络随机重连概率P等因素对网络舆情演化结果的影响进行了讨论。网络舆情演化的模拟结果表明,网络舆情呈现集中化、极性化特点,比较符合网络舆情演化的真实情境。 展开更多
关键词 有向小世界网络 网络舆情模糊元胞自动机 演化
下载PDF
模糊自动机在电磁波识别中的应用
5
作者 吴青娥 舒兰 《电子科技大学学报》 EI CAS CSCD 北大核心 2005年第6期798-801,共4页
研制了一个模糊处理和神经网络相结合的自动机,使用模糊技术从未处理的电磁信号波纹图像中处理模糊几何特征属性,进行波纹分类与识别。当使用模糊自动机(FA)进行识别紊乱波纹时,这些模糊几何特征是最好的。而对这些模糊几何特征的辨识,... 研制了一个模糊处理和神经网络相结合的自动机,使用模糊技术从未处理的电磁信号波纹图像中处理模糊几何特征属性,进行波纹分类与识别。当使用模糊自动机(FA)进行识别紊乱波纹时,这些模糊几何特征是最好的。而对这些模糊几何特征的辨识,使用FA是很好的。 展开更多
关键词 模糊神经网络自动机 重叠信号波纹 模式识别 模糊几何特征
下载PDF
模型自动转换与一致性验证方法 被引量:3
6
作者 张建 吴俊 方景龙 《计算机工程与设计》 北大核心 2017年第9期2407-2413,共7页
为降低软件测试成本,基于模型驱动的测试领域研究得到了极大发展。测试的准确性以模型的正确性为前提,在进行测试前必须对模型正确性进行验证。基于此,提出一种方法进行正确性验证。将测试系统UML模型集转换为时间自动机网络模型,利用... 为降低软件测试成本,基于模型驱动的测试领域研究得到了极大发展。测试的准确性以模型的正确性为前提,在进行测试前必须对模型正确性进行验证。基于此,提出一种方法进行正确性验证。将测试系统UML模型集转换为时间自动机网络模型,利用现有的模型验证工具进行验证,在过程中根据实际项目需求定义验证规则,实现模型验证过程。 展开更多
关键词 软件测试 模型驱动 测试模型集 时间自动机网络模型 验证规则
下载PDF
演化电力市场的古诺调节分析 被引量:2
7
作者 游义刚 周晓阳 《电力系统及其自动化学报》 CSCD 北大核心 2011年第1期127-131,共5页
根据复杂适应系统的自动机网络建模方法,对电力市场稳定性问题进行整体性研究。建立了实验电力市场自动机网络模型一般框架:以发电商和ISO作为底层单元、以市场竞价规则作为演化机制。对优化定价模型进行博弈分析,并设计了渐进式古诺调... 根据复杂适应系统的自动机网络建模方法,对电力市场稳定性问题进行整体性研究。建立了实验电力市场自动机网络模型一般框架:以发电商和ISO作为底层单元、以市场竞价规则作为演化机制。对优化定价模型进行博弈分析,并设计了渐进式古诺调节模式。针对典型案例,观察到渐进式古诺调节过程的特征,归纳推理出市场力在一系列负荷临界值可能具有爆发性释放的特点,这导致市场价格在这些临界点呈跳跃状增加。通过案例实验追踪演化历程,揭示导致电力市场失稳的可能成因。 展开更多
关键词 电力市场 自动机网络建模 演化博弈 古诺调节 市场力
下载PDF
安全通信协议规范分层模型检验方法
8
作者 张岩 杨磊 +2 位作者 曾湘毅 孙文桥 刘启钢 《中国铁道科学》 EI CAS CSCD 北大核心 2021年第6期162-170,共9页
为合理控制复杂安全通信协议规范模型状态空间的体积,清晰完备地发现协议规范的死锁、活锁和属性缺陷,提出1种根据协议固有层次逐层建模和检验的方法。使用接口自动机网络(IAN)对目标层的上下层进行深入提取,抽象出协议规范的3层模型。... 为合理控制复杂安全通信协议规范模型状态空间的体积,清晰完备地发现协议规范的死锁、活锁和属性缺陷,提出1种根据协议固有层次逐层建模和检验的方法。使用接口自动机网络(IAN)对目标层的上下层进行深入提取,抽象出协议规范的3层模型。依据由IAN模型至着色Petri网(CPN)模型的转化规则,将建立的IAN模型转换为CPN模型;提出利用模型检验工具CPN Tools检验扩展语言ASK-CTL描述的具有存在一致性和前向强制一致性2类属性的方法。选择列车运行控制系统安全通信协议的安全功能模块规范进行实例研究。结果表明:提出的分层模型检验方法,可将模型状态空间的体积控制在要求的规模以内;安全通信协议的安全功能模块规范不存在死锁和活锁,说明安全功能模块流程设计合理;但存在安全功能模块连接建立过程不成功、高优先级数据无法传输和车地间通信连接断开的情况,因此列车控制系统应用层应具备连接功能失效的响应处理流程,以及故障导向安全的防护功能。 展开更多
关键词 安全通信协议 协议规范验证 模型检验 接口自动机网络 列车控制系统 着色PETRI网
下载PDF
漯河市构筑空间与绿度空间耦合分析及仿真模拟优化 被引量:3
9
作者 王鑫宇 段彦博 +1 位作者 龚漫 田国行 《浙江农林大学学报》 CAS CSCD 北大核心 2022年第1期95-104,共10页
【目的】优化城市规划布局,探究城市构筑空间与绿度空间耦合路径,优化城市用地空间布局,实现协调可持续发展。【方法】基于分形、人工神经网络元胞自动机(ANN-CA)与空间句法等模型,进行多时相的漯河市土地利用/覆盖变化(LUCC)分析和预... 【目的】优化城市规划布局,探究城市构筑空间与绿度空间耦合路径,优化城市用地空间布局,实现协调可持续发展。【方法】基于分形、人工神经网络元胞自动机(ANN-CA)与空间句法等模型,进行多时相的漯河市土地利用/覆盖变化(LUCC)分析和预测仿真。【结果】①形态分维数由2003年的1.64增长到2013年的1.70,2018年达1.75;②聚集维存在数据突变点,空间集聚状态在不同圈层存在差异;③2003—2018年城市绿度空间可达性显著降低;④构建ANN-CA-GM(1,1)城市增长模型模拟“底线、约束和理想”3种未来情景,对构筑空间和绿度空间的耦合发展过程进行预测:2025年城市建设用地将持续增至156.71 km^(2),其中理想情景下的构筑空间集聚范围回落至市政府周边5500 m,与绿度空间面积比为1.00∶1.48。【结论】①2013年城市形态接近最优,随后由于城市高密度发展,2018年城市建设用地布局过密,与绿度空间耦合交流受阻;②在2018年市政府周边14圈层(7000 m)范围内建设用地高度聚集,此区域内发展生态用地有助于引导精明增长,构建韧性城市;③绿度空间面积大且可达性程度高的区域集中在建设用地高度聚集范围以外,而聚集区内的沿河绿地空间利用程度低;④理想情景空间耦合布局为国土空间规划及“三线划定”提供定量化数据支撑与空间布局参考,通过绿地布局实现城市生态服务的有效供给。图7表4参33。 展开更多
关键词 土地利用/覆盖变化(LUCC) 人工神经网络元胞自动机(ANN-CA) 分形理论 复杂巨系统理论
下载PDF
An Adaptive Scheme for Neighbor Discovery in Mobile Ad Hoc Networks 被引量:5
10
作者 沈耀 蔡云泽 许晓鸣 《Journal of Shanghai Jiaotong university(Science)》 EI 2007年第5期602-609,617,共9页
The neighbor knowledge in mobile ad hoc networks is important information. However, the accuracy of neighbor knowledge is paid in terms of energy consumption. In traditional schemes for neighbor discovery, a mobile no... The neighbor knowledge in mobile ad hoc networks is important information. However, the accuracy of neighbor knowledge is paid in terms of energy consumption. In traditional schemes for neighbor discovery, a mobile node uses fixed period to send HELLO messages to notify its existence. An adaptive scheme was proposed. The objective is that when mobile nodes are distributed sparsely or move slowly, fewer HELLO messages are needed to achieve reasonable accuracy, while in a mutable network where nodes are dense or move quickly, they can adaptively send more HELLO messages to ensure the accuracy. Simulation results show that the adaptive scheme achieves the objective and performs effectively. 展开更多
关键词 ad hoc network neighbor discovery energy efficiency
下载PDF
Research on Behavior of Governing Gene/Epigene Networks as a Problem of Cellular Automata Identification
11
作者 Rustem Tchuraev 《Journal of Life Sciences》 2012年第1期110-113,共4页
The aim of this work is to investigate the general functional properties of the intracellular governing gene/epigene networks. A body of mathematics used in automata and graphs theories is adequate for revealing the g... The aim of this work is to investigate the general functional properties of the intracellular governing gene/epigene networks. A body of mathematics used in automata and graphs theories is adequate for revealing the general dynamic properties of governing gene and epigene networks and provides a methodic basis for efficient analytical algorithms. The obtained results permit to reveal the properties of the characteristic function (transitions and outputs) of the cellular automata as models for the intracellular governing gene/epigene networks. 展开更多
关键词 Governing gene networks cellular automata and cell ensembles metastability.
下载PDF
Network Traffic Signature Generation Mechanism Using Principal Component Analysis
12
作者 牟澄 黄小红 +1 位作者 吴军 马严 《China Communications》 SCIE CSCD 2013年第11期95-106,共12页
The Deep Packet Inspection(DPI)method is a popular method that can accurately identify the flow data and its corresponding application.Currently,the DPI method is widely used in common network management systems.Howev... The Deep Packet Inspection(DPI)method is a popular method that can accurately identify the flow data and its corresponding application.Currently,the DPI method is widely used in common network management systems.However,the major limitation of DPI systems is that their signature library is mainly extracted manually,which makes it hard to efficiently obtain the signature of new applications.Hence,in this paper,we propose an automatic signature extraction mechanism using Principal Component Analysis(PCA)technology,which is able to extract the signature automatically.In the proposed method,the signatures are expressed in the form of serial consistent sequences constructed by principal components instead of normally separated substrings in the original data extracted from the traditional methods.Extensive experiments based on numerous sets of data have been carried out to evaluate the performance of the proposed scheme,and the results prove that the newly proposed method can achieve good performance in terms of accuracy and efficiency. 展开更多
关键词 network traffic classification aut-omatic signature generation deep packet in-spection principal component analysis
下载PDF
Application of Fuzzy Automata Theory and Knowledge Based Neural Networks for Development of Basic Learning Model
13
作者 Manuj Darbari Hasan Ahmed Vivek Kr. Singh 《Computer Technology and Application》 2011年第1期58-61,共4页
The paper focuses on amalgamation of automata theory and fuzzy language. It uses adaptive knowledge based abstract framework which uses dynamic neural network framework along with fuzzy automata as Models of Learning,... The paper focuses on amalgamation of automata theory and fuzzy language. It uses adaptive knowledge based abstract framework which uses dynamic neural network framework along with fuzzy automata as Models of Learning, combining the two methodologies the authors develop a new framework termed as Fuzzy Automata based Neural Network (FANN). It highlights conversion of knowledge rule to fuzzy automata thereby generating a framework FANN. FANN consists of composite fuzzy automation divided into "Performance Evaluator" and "Feature Extraction" which takes the help of previously stored samples of similar situations. The authors have extended FANN for Urban Traffic Modeling. 展开更多
关键词 Fuzzy logic automata theory urban traffic systems.
下载PDF
Traffic Flow Model Based on Power Flow
14
作者 Tianjiao Meng 《International Journal of Technology Management》 2014年第2期32-33,共2页
The article is research on the traffic situations of freeways. Different rules make different traffic situations. It is meaningful to research on traffic situations under different conditions. The author analyzes fac... The article is research on the traffic situations of freeways. Different rules make different traffic situations. It is meaningful to research on traffic situations under different conditions. The author analyzes factors like traffic flow and safety, peflbrmance respectively, and proposes the theor3, basis for making more reasonable rules. The author first establishes evaluation system of traffic safety. Then, we compare the freeway network to power network to find a solution. and establish a traffic flow model based on power flow (TFPF). It calculates power flow. So it applies the formula mode back to the traffic network, chalking up the perforumnce of the traffic condition. We utilize cellular automata (CA) method to simulate traffic circulation, and verify the accuracy of above model with the obtained data. 展开更多
关键词 Evaluation System of Traffic Conditions TFPF CA
下载PDF
国家公园类型划分与空间识别——以云南省为例
15
作者 冯子欣 孙欣彤 +1 位作者 薛领 张天骄 《应用生态学报》 CAS CSCD 北大核心 2023年第1期187-195,共9页
国家公园是我国推进生态文明建设的重大制度创新,如何科学地对国家公园进行类型划分及空间识别,是国家公园布局和建设中的基础性工作,既有必要性也有紧迫性。本研究以中国国情为基础,参考国际经验,将国家公园划分为荒野导向型、生态优... 国家公园是我国推进生态文明建设的重大制度创新,如何科学地对国家公园进行类型划分及空间识别,是国家公园布局和建设中的基础性工作,既有必要性也有紧迫性。本研究以中国国情为基础,参考国际经验,将国家公园划分为荒野导向型、生态优先型、游憩导向型与遗产导向型,构建了一个比较完整的国家公园分类体系。并以自然和人文多样化程度较高的云南为案例,以“双评价”为基础建立了一套指标体系和区划规则,利用人工神经网络建立土地利用演化学习算法,利用融入自适应惯性机制的元胞自动机展开时空模拟,对云南全域进行高分辨率不同类型国家公园的空间辨识,并通过收缩-膨胀原理对识别区域进行比较、修正和优化,进而提出未来云南国家公园布局的综合方案。结果表明:云南省国家公园主要集中在三江地区与横断山区、滇西以及西南部地区,这3类地区可作为未来国家公园区划与分类保护的重点。本研究所建立的国家公园类型划分和空间识别的一般性可推广的研究范式和工作流程可作为全国应用的参考。 展开更多
关键词 国家公园 类型划分 空间识别 人工神经网络-元胞自动机 云南省
原文传递
上一页 1 下一页 到第
使用帮助 返回顶部