搜索结果: 1-15 共查到“自动机理论 系统”相关记录17条 . 查询时间(1.619 秒)
中国科学院上海微系统所等在斑马鱼大脑空间信息表达机制研究方面取得重要进展（图）
空间 信息 机理
2024/10/11
动物是如何表达外部环境和自身位置并利用这些信息完成空间探索，是脑科学的重要研究领域之一。然而，鱼类是如何表达外部环境地图并进行空间定位的机理尚不清楚。中国科学院上海微系统与信息技术研究所研究员李孟与德国马克斯-普朗克学会生物控制论研究所的科研人员合作，使用国际领先的跟踪显微镜技术，在斑马鱼大脑中发现了与其他物种相似的空间表达与计算机理。相关研究成果以《幼年斑马鱼端脑中空间表征的群体编码》（A po...
中国科学院软件所在实时系统不透明性的可判定问题取得理论进展（图）
系统 理论 观测 自动机
2024/9/20
2024年7月24日，中国科学院软件研究所天基综合信息系统全国重点实验室安杰副研究员（第一作者）的论文The Opacity of Timed Automata被形式化方法领域顶级国际学术会议International Symposium on Formal Methods （FM 2024）接收。论文关注实时系统的不透明性（Opacity）这一信息安全性质，针对广泛使用的实时系统形式模型时间自动...
海洋所系统解释全球海洋中尺度涡海表热力信号变化特征及机理（图）
系统解释 海表热力信号 机理
2024/4/27
2024年4月17日，中国科学院海洋研究所李晓峰研究团队基于多源遥感和实测数据，系统揭示了全球海洋中尺度涡在运动过程中的海表热力信号变化特征，并阐明其产生机理。成果以封面文章形式发表于国际学术期刊《深海研究I》（Deep Sea Research Part I）。
为解决晃动基座下杆臂效应对捷联惯导系统对准的不利影响问题，以捷联惯导系统解算速度与杆臂速度之间的差值作为量测量，扩充杆臂长度误差为系统状态量，分别推导建立导航系和机体系下的量测方程，构成两种对准模型。分析两种对准模型的特点，指出导航系下对准模型仅适用于能够获得一定精度杆臂长度的情形。在此基础上，提出滤波参数反馈修正的滤波方法，以提高对准模型的适应性和对准精度。仿真实验验证了两种对准模型的正确性和滤...
基于元胞自动机理论的快速公交系统能耗研究
元胞自动机 快速公交 交通流 能耗
2012/3/15
交通运输能源消耗已经成为决策管理者高度关注的信息。采用元胞自动机（CA）理论研究了快速公交系统能耗问题,以元胞自动机NaSch交通流模型为基础,通过结合动能定理,建立了快速公交系统的元胞自动机能耗动力学仿真模型。并以目前建设的兰州市快速公交系统为例,仿真研究了周期性边界条件下,不同行车密度、不同停靠站时间以及驾驶员行为差异下随机慢化对快速公交车系统能耗的影响,得到了相应的定量分析结论。仿真结果表明...
为了解决流媒体直播在Internet中传输带宽不足、用户接入多样性等问题，本文探讨了流媒体在IP网络中一般的传输控制技术，提出了一种基于联播的流媒体实时传输控制策略以适应网络带宽的动态变化。首先通过组播方式以及RTP/RTCP协议实现流媒体的实时传输；之后对自适应传输的算法进行了详细的分析和设计，并采用多线程技术实现了网络状况监测和实时码流切换控制；最后通过研究及实验数据分析对比，证明该方案可提高...
为验证嵌入式实时系统开发过程中任务集的可调度性，设计并实现一种嵌入式系统调度分析工具。提出通用任务模型，建立任务与事件到达自动机和任务状态自动机的状态关系映射，利用基于模型检测的时间自动机可达性方法判定系统的可调度性。仿真实例结果表明，该工具的分析准确性较高。
针对汽车物联网的需要和传统TPMS技术的不足，轮胎检测自控调压系统采用了基于32位ARM微处理器的硬件实现和基于μ COS-II与状态机的软件设计。通过无线信号，该系统可以自动识别和存储轮胎ID，解决了换胎识别重定位问题，增加了汽车行进中自动调节胎压及轮胎温度的功能，可以根据路面、载荷变化设置不同参数等。该系统改善了行车安全，使汽车随时运行在最佳状态。
构件式系统的建模与验证
构件消息自动机 可控性 验证
2009/11/4
构件的组合与安全性是构件式系统开发的一个挑战性问题。提出了一种新的描述构件交互行为的模型－构件消息自动机，其特点是保留了构件的所有交互特性以便进一步进行构件的验证。给出了使用同步积操作将多个构件组合成单个复杂的组合构件的方法。基于监控理论的可控性概念，设计了一个验证构件系统安全性质的算法。为了说明论文建议的方法，详细讨论了一个简单的、贯穿整个论文的示例系统。
离散事件系统N步稳定性分析
自动机/形式语言 N步稳定性 多项式复杂度
2009/7/1
讨论基于自动机/形式语言模型的离散事件系统(DES)稳定性问题,引入了确定性离散事件系统N步稳定性定义并得到了稳定性的判据定理，推导了具体的算法实现。该算法具有多项式复杂度。
离散事件系统的可测性
自动机/形式语言 可测性 状态估计
2009/7/1
讨论基于自动机/形式语言模型的离散事件系统（DES）的可测性问题。可测性即为根据系统的可观事件和状态输出的信息估计系统的当前状态。定义了四种可测性：强可测性，弱可测性，强周期可测性，弱周期可测性。给出了这些可测性的充要条件，这些充要条件可通过构建观测器进行有效的判定。
基于P2P和XML内容的发布订阅系统
发布/订阅 树自动机 P2P
2009/6/24
介绍了一种面向大规模分布式应用的发布订阅中间件系统,系统采用一种结合了下推树和自下而上树自动机的XPath订阅快速匹配算法,支持XPath多谓词和分支特性。系统事件代理P2P网络节点之间的事件或订阅消息路由采用了扩展的Chord路由协议和订阅聚合、覆盖等多种优化措施。实验结果表明,系统具有较好的效率和性能,能满足面向大规模分布式应用的要求。
交通网中,最大化车流量和最小化平均等待时间是每一个路口调度的目标.交通调度中,各路口与其它路口发生博弈关系.博弈过程中,相邻路口之间为使其自身利益最大化而存在一种策略间相互协调的约束.针对复杂的交通调度控制问题,基于多智能体多阶段博弈论对交通系统进行建模.考虑动态博弈交通环境的实际特征,进一步基于博弈的增强学习算法,提出一种以惩机制为约束条件的交通系统博弈策略的学习方法,最终使参与交通博弈的多个路...
多速率混合系统的模型检查
混合系统 多速率自动机 区间时序逻辑
2009/5/25
研究了初始化的多速率混合系统的模型检查问题，即检验初始化的多速率自动机是否满足某个混合区间时序逻辑公式描述的性质．首先定义了一套转换规则把混合区间时序逻辑公式转化为区间时序逻辑公式．接着定义了初始化的多速率自动机状态空间上的等价关系及其对应的域自动机，并且通过构造域自动机对应的标注有限状态自动机，把初始化的多速率混合系统的模型检查问题等价地转换成了可解的区间时序逻辑的模型检查问题．利用区间时序逻辑...