检索结果-南通市图书馆

协同虚拟环境下基于时间包围盒的状态一致性维护

在线全文

学校读者我要写书评

暂无评论

计算机应用研究 2006年第7期23卷 186-187,190页

作者：胡小梅翟正军蔡小斌西北工业大学计算机学院陕西西安710068 中航一集团科技委北京100022

首先分析了DR算法应用到协同虚拟环境下可能会引起状态不一致的两个因素———网络延时和用户交互,然后提出了基于时间包围盒的补偿方法。实验结果证明,该方法能有效地维护系统运行过程中实体运动状态的一致性。

关键词：协同虚拟环境时间包围盒状态一致性

云环境面向虚拟域的安全状态一致性保障机制研究

在线全文

学校读者我要写书评

暂无评论

网络与信息安全学报 2016年第10期2卷 48-57页

作者：代炜琦邹德清金海夏妍华中科技大学计算机科学与技术学院湖北武汉430074

由于云环境虚拟化特性及高动态性(回滚、迁移等操作)给虚拟域带来了时间、空间状态不一致,从而造成了严重的安全威胁。针对该问题,提出了云环境虚拟域安全基础架构、时间安全状态一致性机制、空间安全状态一致性机制,有效地保障了云虚... 详细信息

由于云环境虚拟化特性及高动态性(回滚、迁移等操作)给虚拟域带来了时间、空间状态不一致,从而造成了严重的安全威胁。针对该问题,提出了云环境虚拟域安全基础架构、时间安全状态一致性机制、空间安全状态一致性机制,有效地保障了云虚拟域安全状态的一致性,有助于提高公共服务效率和信息安全可控性。

关键词：云计算可信计算虚拟域虚拟机回滚状态一致性

基于分布式模型预测控制的城轨列车协同控制方法研究

在线全文

学校读者我要写书评

暂无评论

铁道通信信号 2024年

作者：丁颖吕家慧刘彩霞高金金吕继东北京和利时系统工程有限公司北京交通大学电子信息工程学院国能铁路装备有限责任公司北京交通大学

围绕城市轨道交通列车高密度追踪控制问题，研究了基于分布式模型预测控制（DMPC）的列车协同控制方法。首先，对列车进行受力分析并建立列车运行的状态空间模型，在此基础上提出系统控制目标并设计控制策略；其次，在保证行车安全的前... 详细信息

围绕城市轨道交通列车高密度追踪控制问题，研究了基于分布式模型预测控制（DMPC）的列车协同控制方法。首先，对列车进行受力分析并建立列车运行的状态空间模型，在此基础上提出系统控制目标并设计控制策略；其次，在保证行车安全的前提下，基于DMPC设计考虑位置、速度和加速度等前车动态行为的列车一致性协同控制方法，并应用Lyapunov（李雅普诺夫）稳定性定理对该系统的稳定性进行分析和验证；最后，结合北京地铁11号线西段线路，对提出的列车协同控制方法进行仿真验证。实验结果表明，提出的列车协同控制方法能够在保障列车安全运行的前提下，使列车间的状态达到一致性，且具有良好的同步性。将本文的设计的列车协同控制方法与跟随控制方法进行对比分析，结果表明，采用协同控制方法能够使列车间隔和速度差更小，满足城轨列车高密度追踪控制要求。

关键词：城市轨道交通分布式模型预测控制协同控制跟随控制高密度追踪状态一致性

有向通信拓扑丢包情况下的多智能体系统一致性

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

北京工业大学学报 2022年第1期48卷 24-31页

作者：陈冰陈阳舟詹璟原北京工业大学信息学部北京100124 教育部数字社区工程中心北京100124

针对具有有向通信拓扑的采样数据丢失情况下的多智能体系统一致性问题进行研究,其中数据丢包采用二值Bernoulli随机过程描述.首先,采用提出的基于通信拓扑有向生成树关联矩阵构造的线性变换,将多智能体系统的状态一致性问题等价转化为... 详细信息

针对具有有向通信拓扑的采样数据丢失情况下的多智能体系统一致性问题进行研究,其中数据丢包采用二值Bernoulli随机过程描述.首先,采用提出的基于通信拓扑有向生成树关联矩阵构造的线性变换,将多智能体系统的状态一致性问题等价转化为一个降阶系统的渐近稳定性问题.其次,对降阶系统利用Lyapunov方法和线性矩阵不等式(linear matrix inequality,LMI)得出多智能体系统状态达到渐近均方一致的充分条件,给出基于镇定控制的一致性控制增益设计,并分析采样周期的允许边界、随机丢包概率和控制增益矩阵之间的相互影响关系.最后,数值仿真实例验证了所提理论方法的正确性.

关键词：多智能体系统有向通信拓扑采样数据控制随机数据丢包状态一致性渐近稳定性

Petri网层次结构建模中的状态一致性问题

在线全文

学校读者我要写书评

暂无评论

Petri网层次结构建模中的状态一致性问题

作者：林雷蕾云南大学

学位级别：硕士

使用Petri网对复杂系统进行建模时,常常会出现结点数过多的情况,而结点数的增多会导致组合状态数呈指数函数增长,这就是所谓的状态空间问题。究其原因,客观世界本身是具有层次性的,而Petri网不具有层次结构,因而无法通过分层建模来减少... 详细信息

使用Petri网对复杂系统进行建模时,常常会出现结点数过多的情况,而结点数的增多会导致组合状态数呈指数函数增长,这就是所谓的状态空间问题。究其原因,客观世界本身是具有层次性的,而Petri网不具有层次结构,因而无法通过分层建模来减少系统的复杂性。解决Petri网的状态空间爆炸问题,目前主要做法有两种：采用高级Petri网建模与采用层次结构建模。但是,使用高级Petri网建模复杂系统,在减少结点数量的同时,增加了对模型理解的复杂度。主流的做法是建立Petri网的层次结构,但是现有的研究工作要求用于细化操作的子网具有某些特定的结构,进而导致了Petri网的建模能力受到一定程度的限制。此外,现有工作的研究重点都集中于层次结构Petri网的结构性质,而忽略的对层次结构Petri网的最基本要求,即是否保持细化前后Petri网的状态一致性。本文工作主要从变迁细化的角度,提出了具有复杂结构的WS-TT型子网,用于支持变迁细化操作,并保证变迁细化前后Petri网的状态一致性,主要内容如下： (1)为了解决状态空间爆炸问题,从子网细化变迁的角度出发建立了层次结构Petri网。同时,探讨了Petri网层次结构中必须满足的基本性质,给出了状态一致性的定义及检测算法。 (2)为确保所建立Petri的层次结构能够保持状态一致性,提出了具有良好结构的WS-TT型子网,用于对变迁进行细化,并证明证明了该类子网在细化变迁过程中满足状态一致性。同时,给出算法,以判断子网是否是WS-TT型子网。 (3)在应用和实现方面,将WS-TT型子网细化变迁的操作应用到软件演化过程建模领域,弥补了以往使用基本块细化变迁所带来的建模能力不足。此外,在开源工具PIPE上进行了WS-TT型子网判断算法的实现,为Petri网建模中状态一致性的验证提供有力支持。

关键词： Petri网状态一致性软件过程细化操作层次模型

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

不确定通信拓扑下多智能体系统鲁棒一致性

控制理论与应用 2020年第8期37卷 1709-1716页

作者：陈阳舟黄小龙詹璟原北京工业大学人工智能与自动化学院北京100124

本文研究一类具有通信不确定的多智能体系统鲁棒一致性问题.本文提出基于标称通信拓扑有向生成树的线性变换方法,将线性多智能体系统的状态一致性问题转化为相应线性系统的鲁棒部分变元渐近稳定性问题.首先采用基于有向生成树关联矩阵... 详细信息

本文研究一类具有通信不确定的多智能体系统鲁棒一致性问题.本文提出基于标称通信拓扑有向生成树的线性变换方法,将线性多智能体系统的状态一致性问题转化为相应线性系统的鲁棒部分变元渐近稳定性问题.首先采用基于有向生成树关联矩阵的线性变换,将多智能体系统网络的全局状态方程转化为一个降阶子系统;其次,将拉普拉斯矩阵的摄动部分进行分解,利用降阶系统设计鲁棒二次镇定控制器,推导出所有智能体状态达到渐近一致的充分条件.在此基础上将控制协议的参数设计转化为求解线性矩阵不等式的可行解.最后,通过数值仿真验证了所提出的一致性协议分析与设计方法的可行性和有效性.

关键词：多智能体系统通信不确定性状态一致性部分变元稳定性分布式一致性协议

在线全文

学校读者我要写书评

暂无评论

基于IBS算法预测亲缘关系准确性研究

生物化学与生物物理进展 2022年第3期49卷 591-599页

作者：管珊珊张文杰魏以梁李鹰翔赵雯婷范虹刘京陕西师范大学计算机科学学院西安710119 公安部物证鉴定中心北京100038 江苏师范大学徐州221116 安澜智能(深圳)有限公司深圳510630 中国政法大学证据科学教育部重点实验室北京100088

目的评估基于状态一致性(identity-by-state,IBS)算法预测个体间亲缘关系的准确性。方法采用Illumina GSA芯片对253份样本进行全基因组检测,基于高密度单核苷酸多态性(single nucleotide polymorphism,SNP)数据计算两两个体间IBS共享统... 详细信息

目的评估基于状态一致性(identity-by-state,IBS)算法预测个体间亲缘关系的准确性。方法采用Illumina GSA芯片对253份样本进行全基因组检测,基于高密度单核苷酸多态性(single nucleotide polymorphism,SNP)数据计算两两个体间IBS共享统计量预测亲缘关系。通过不同条件参数筛选SNP,评估位点数对算法预测准确性的影响。结果1~4级亲缘关系预测准确率高达99%,预测误差在1级以内且无假阳性。SNP数量减少对预测准确率无显著影响,即使在较低密度的SNP标记中,该算法也能获得较高的准确率。结论IBS算法是法医系谱推断的有效方法,且对于微量降解的法医现场检材具有很好的应用价值。

关键词： IBS算法单核苷酸多态性状态一致性亲缘关系等级法医遗传学法医系谱推断

在线全文

学校读者我要写书评

暂无评论

法医学亲缘关系鉴定方法和研究热点

法医学杂志 2023年第3期39卷 231-239页

作者：李燃孙宏钰中山大学中山医学院法医学系广东广州510089 嘉应学院医学院广东梅州514015

亲缘关系鉴定在司法鉴定实践中有广泛的应用需求。本文梳理了亲缘关系相关的概念,综述了状态一致性法、似然比法、矩量法和血缘一致性片段法等亲缘关系分析方法的基本原理、优缺点和应用范围,并对疑难生物检材的亲缘关系鉴定、复杂亲缘... 详细信息

亲缘关系鉴定在司法鉴定实践中有广泛的应用需求。本文梳理了亲缘关系相关的概念,综述了状态一致性法、似然比法、矩量法和血缘一致性片段法等亲缘关系分析方法的基本原理、优缺点和应用范围,并对疑难生物检材的亲缘关系鉴定、复杂亲缘关系鉴定、法医学系谱分析、非人源生物检材等研究热点进行了讨论。

关键词：法医遗传学亲缘关系血缘一致性状态一致性似然比矩量法疑难生物检材系谱分析综述

在线全文

学校读者我要写书评

暂无评论

同胞关系法医学鉴定1例

法医学杂志 2023年第1期39卷 110-114页

作者：蒋欢畅蒋庆连梁瑛琦任苹林琳焦漫丽吴淑珍温州医科大学第一临床医学院浙江温州325000 温州天正司法鉴定所浙江温州325000 温州医科大学司法鉴定中心浙江温州325000

1案例1.1简要案情因出国公证需要,古甲、古乙和古丙(均为化名)三姐妹要求对两两之间的同胞关系进行鉴定。1.2检验方法采集古甲、古乙和古丙3人的血样,用Chelex法提取检材DNA。采用AGCU Expressmarker 22荧光检测试剂盒、AGCU 21+1 STR... 详细信息

1案例1.1简要案情因出国公证需要,古甲、古乙和古丙(均为化名)三姐妹要求对两两之间的同胞关系进行鉴定。1.2检验方法采集古甲、古乙和古丙3人的血样,用Chelex法提取检材DNA。采用AGCU Expressmarker 22荧光检测试剂盒、AGCU 21+1 STR荧光检测试剂盒和AGCU X19 STR荧光检测试剂盒(无锡中德美联生物技术有限公司)对检材DNA进行PCR复合扩增。

关键词：法医遗传学同胞关系半同胞关系 ITO法状态一致性家系重建法