期刊文献+
共找到177篇文章
< 1 2 9 >
每页显示 20 50 100
An Approach to Collaborative Design Based on Distributed Constraint-Net
1
作者 He De-lin Wang Geng-yun Li Zhi-gang 《Wuhan University Journal of Natural Sciences》 EI CAS 2002年第1期82-86,共5页
We focuse on design process in concurrent engineering and propose an, approach to collaborative design based on distributed constraint-net. The approach adopts agent technology to express kinds of distributed constrai... We focuse on design process in concurrent engineering and propose an, approach to collaborative design based on distributed constraint-net. The approach adopts agent technology to express kinds of distributed constraints. And through the cooperation among agents, the consistency of constraint is maintained and the constraint conflict is detected and eliminated. The constraints are satisfied concurrently and distributively. Based on the proposed approach, the collaborative design process in concurrent engineering can be well supported. 展开更多
关键词 design process collaborative design distributed constraint-net AGENT concurrent engineering
在线阅读 下载PDF
图正则化弹性网子空间聚类
2
作者 郭书剑 余节约 尹学松 《计算机应用》 北大核心 2025年第5期1464-1471,共8页
基于图的子空间聚类(SC)已成为有效处理高维数据的流行技术。然而,现有方法存在以下问题:构建的图忽略了与聚类建立关联以及无法捕捉数据的内在相关结构。为了解决上述问题,提出一个新的SC方法——图正则化弹性网子空间聚类(GENSC)。GE... 基于图的子空间聚类(SC)已成为有效处理高维数据的流行技术。然而,现有方法存在以下问题:构建的图忽略了与聚类建立关联以及无法捕捉数据的内在相关结构。为了解决上述问题,提出一个新的SC方法——图正则化弹性网子空间聚类(GENSC)。GENSC使用L_(2)范数正则化强化具有相关结构的样本之间的连通性,并使用L_(1)范数正则化摒弃不同子空间的样本之间的连通性;同时,构建表征的最近邻图捕捉样本之间的内在局部结构,并增加秩约束以鼓励所学习的图具有清晰的聚类结构。GENSC将L_(2)范数、L_(1)范数和秩约束刻画到一个一般的框架中,并提出一个迭代的优化算法来求解该框架。在9个真实数据集上与现有方法进行比较的实验结果表明,在ChinaCXRSet上,GENSC的精确度(Accuracy)和归一化互信息(NMI)值分别超出次优方法9.03和7.61个百分点,聚类纯度(Purity)达到最好;在UMIST上,GENSC的精确度、NMI和Purity值分别超出次优方法4.15、3.17和5.21个百分点,验证了GENSC的有效性。 展开更多
关键词 机器学习 子空间聚类 图正则化 弹性网 秩约束
在线阅读 下载PDF
弹性网约束下重磁及其梯度张量数据的模糊聚类联合反演
3
作者 刘升 王文军 +4 位作者 惠保丹 李殿衡 娄全 唐一举 卢方超 《河南城建学院学报》 2025年第4期92-100,共9页
重磁反演存在多解性,通过融合正则化约束、先验信息和多数据模糊聚类(FCM)联合反演,可以有效提升反演精度。初始物性模型及初始聚类中心的选择对重磁FCM联合反演具有重要影响。提出了一种针对重磁及其梯度张量数据的弹性网正则化与FCM... 重磁反演存在多解性,通过融合正则化约束、先验信息和多数据模糊聚类(FCM)联合反演,可以有效提升反演精度。初始物性模型及初始聚类中心的选择对重磁FCM联合反演具有重要影响。提出了一种针对重磁及其梯度张量数据的弹性网正则化与FCM的耦合策略,既能避免光滑约束导致反演模型区域过大,又能改善聚焦约束引发的反演模型过度聚焦,为FCM联合反演提供更优的初始化条件。此外,将反演维度拓展至参数域空间,显著提升了反演精度。理论模型数值实验表明,所提方法在模型刻画精细度和物性参数反演准确性方面均优于传统单独数据反演。 展开更多
关键词 重磁梯度张量 模糊聚类 联合反演 弹性网约束
在线阅读 下载PDF
三人成虎岂能安之若素:媒体负面报道对外商撤资的影响
4
作者 余官胜 刘敏 《广东财经大学学报》 北大核心 2025年第5期21-34,共14页
在逆全球化背景下,我国外商撤资规模的增加引发广泛关注。基于上市公司微观数据库,实证检验媒体负面报道对外商撤资的影响。研究发现,一是媒体负面报道显著增加了外商撤资概率,网络媒体在负面报道影响外商撤资的过程中存在“放大效应”... 在逆全球化背景下,我国外商撤资规模的增加引发广泛关注。基于上市公司微观数据库,实证检验媒体负面报道对外商撤资的影响。研究发现,一是媒体负面报道显著增加了外商撤资概率,网络媒体在负面报道影响外商撤资的过程中存在“放大效应”,该结论经内生性与稳健性检验后依然成立;二是这种影响在非国有企业、劳动密集型企业及高竞争行业中更为显著;三是负面报道通过降低销售净利率、加剧融资约束、推高股市波动率三条路径作用于外商撤资;四是在不同维度的网络负面报道中,公司高管负面报道的影响占主导;五是企业ESG表现、数字化转型以及政府政务效率提升、税收优惠可缓解上述压力。本研究系统揭示媒体负面报道对外商撤资的作用机制,明确高管负面报道的主导性,为“稳外资”提供企业与政府协同应对的新视角。 展开更多
关键词 媒体负面报道 外商撤资 销售净利率 融资约束 股票波动率
在线阅读 下载PDF
高速铁路线网热备动车组配置优化模型
5
作者 曲云腾 杨世瑞 +2 位作者 杨军 赵东升 赵鹏 《北京交通大学学报》 北大核心 2025年第4期1-8,共8页
高速铁路热备动车组配置直接影响应急救援效率与运营成本,针对现有配置方法存在的粗放式管理和风险覆盖不足等问题,提出一种基于路网事故风险全覆盖的优化方法.首先,综合考虑应急响应时效性与经济性,以最小化热备动车组应急响应时间和... 高速铁路热备动车组配置直接影响应急救援效率与运营成本,针对现有配置方法存在的粗放式管理和风险覆盖不足等问题,提出一种基于路网事故风险全覆盖的优化方法.首先,综合考虑应急响应时效性与经济性,以最小化热备动车组应急响应时间和配置成本为双目标,构建多目标规划模型,融合点覆盖与弧段覆盖方法,精确描述接续任务和区间救援场景需求,结合应急救援点需求、响应时间限制及风险点全覆盖约束,有效适应复杂路网和突发事件不确定性;然后,采用ε约束法求解模型,避免传统权重系数法中量纲统一和参数设定的局限,生成多组Pareto最优解,为决策提供灵活选择;最后,以某铁路局管辖的高速铁路网为对象进行案例分析.研究结果表明:模型能根据不同优化目标生成合理配置方案;随热备动车组数量增加,应急响应时间最大降幅达29.3%,且配置成本可有效控制;模型对不同响应时间约束条件和风险点分布特征有较强适应性.本模型可以为热备动车组科学配置提供理论依据和实践指导,助力高铁应急管理体系地完善. 展开更多
关键词 交通运输规划与管理 热备动车组 高速铁路线网 多目标优化 ε约束法
在线阅读 下载PDF
基于改进Petri网模型的变电站二次设备故障快速定位 被引量:1
6
作者 方勇 李东璐 +2 位作者 侯梦龙 刘冠杰 刘欣 《自动化技术与应用》 2025年第4期107-110,115,共5页
快速、可靠地定位变电站二次设备故障是确保变电站稳定、安全运行的基础。但是由于变电站二次设备故障信号具有较强的不确定性和随机波动,因此,提出一种基于改进Petri网模型的变电站二次设备故障快速定位方法。引入设备故障时间约束特... 快速、可靠地定位变电站二次设备故障是确保变电站稳定、安全运行的基础。但是由于变电站二次设备故障信号具有较强的不确定性和随机波动,因此,提出一种基于改进Petri网模型的变电站二次设备故障快速定位方法。引入设备故障时间约束特性以及虚拟有向弧,构建改进模糊Petri网模型。通过确定变迁发射规则和优化变迁参数,结合电流、电压判据,可以判断二次设备故障发生的位置。测试结果表明,该方法的设备故障定位误差低于0.025%,所需时间均在1.2 s以内,能精准地获取故障位置。 展开更多
关键词 改进Petri网模型 变电站 二次设备 故障快速定位 时间约束特性 推理规则
在线阅读 下载PDF
基于Golomb Ruler的QC-LDPC码构造方法 被引量:2
7
作者 袁建国 刘雯漪 +1 位作者 宋万闯 伏博文 《半导体光电》 CAS 北大核心 2024年第4期675-680,共6页
针对准循环低密度奇偶校验(QC-LDPC)码中短环结构会影响其纠错性能的问题,基于Golomb Ruler提出了一种新颖的围长为8的QC-LDPC码构造方法。该方法先根据码长码率的需求,从Golomb Ruler中选择部分元素构造一个集合,结合指数矩阵中元素所... 针对准循环低密度奇偶校验(QC-LDPC)码中短环结构会影响其纠错性能的问题,基于Golomb Ruler提出了一种新颖的围长为8的QC-LDPC码构造方法。该方法先根据码长码率的需求,从Golomb Ruler中选择部分元素构造一个集合,结合指数矩阵中元素所在位置的四六环特性,通过搜索算法,依次找出符合无四六环条件的元素得到另一个集合,然后构造相应的指数矩阵,最后得到其奇偶校验矩阵。仿真结果表明:在误码率为10^(-6)时,所构造的GR-QC-LDPC码与同码率码长的其他4种QC-LDPC码的码型相比,其净编码增益均有一定的提高,且无明显错误平层现象。 展开更多
关键词 准循环低密度奇偶校验码 Golomb Ruler 围长约束 净编码增益
原文传递
投保人高损失区间存在净损失约束的最优保险设计 被引量:1
8
作者 马本江 蒋学海 《运筹与管理》 CSSCI CSCD 北大核心 2024年第3期15-21,共7页
在不完全保险情形下,投保人通常期望出险后能够获得保险公司足够的赔偿而将自己的实际损失控制在一定的范围内。为了满足这类投保人的需求,本文引入了投保人的净损失约束,研究在该约束下投保人的最优保险问题。研究表明:如果Arrow模型... 在不完全保险情形下,投保人通常期望出险后能够获得保险公司足够的赔偿而将自己的实际损失控制在一定的范围内。为了满足这类投保人的需求,本文引入了投保人的净损失约束,研究在该约束下投保人的最优保险问题。研究表明:如果Arrow模型的解满足该约束,本模型的解与Arrow模型解一致,最优保单是有且仅有一个免赔额的部分保险契约,否则最优保单将存在两个免赔额。投保人效用最优时,本模型在应对高损时所提供的赔付水平始终不低于Arrow模型,而本模型在应对低损时对于IARA(DARA/CARA)型投保人所提供的赔付水平依次要低于(高于/等于)Arrow模型。此外,投保人的期望效用将随着其净损失上限的提高而逐渐增大,直到Arrow模型的解满足该约束时其效用达到最大。 展开更多
关键词 最优保险问题 净损失约束 Arrow模型 期望效用
在线阅读 下载PDF
晶圆驻留时间约束下双组合设备协同调度
9
作者 潘春荣 周浩 +2 位作者 熊文清 崔煜 罗继亮 《信息与控制》 CSCD 北大核心 2024年第6期804-816,共13页
在半导体晶圆制造中,违反驻留时间约束会导致晶圆损坏,同时,双组合设备涉及两个设备间的资源协调配合,使得调度更加复杂。本文考虑晶圆驻留时间约束,研究了配置全并行加工模块的双组合设备的稳态协同调度问题。首先,构建面向资源的Petr... 在半导体晶圆制造中,违反驻留时间约束会导致晶圆损坏,同时,双组合设备涉及两个设备间的资源协调配合,使得调度更加复杂。本文考虑晶圆驻留时间约束,研究了配置全并行加工模块的双组合设备的稳态协同调度问题。首先,构建面向资源的Petri网模型,描述了具有驻留时间约束和全并行加工模块的双组合设备的稳态加工过程,提出控制策略防止系统发生死锁;其次,通过分析加工模块的负载和机械手的任务过程,得到了机械手无任务冲突的条件;针对任务冲突的情况,推导出系统的可调度条件,并开发了两个算法求解系统的稳态周期时间和可行的机械手调度方案;最后,通过实例来验证算法的可行性与有效性。 展开更多
关键词 晶圆制造 双组合设备 全并行加工 PETRI网 时间约束
原文传递
基于照度与场景纹理注意力图的低光图像增强 被引量:10
10
作者 赵明华 汶怡春 +3 位作者 都双丽 胡静 石程 李鹏 《中国图象图形学报》 CSCD 北大核心 2024年第4期862-874,共13页
目的 现有的低照度图像增强算法常存在局部区域欠增强、过增强及色彩偏差等情况,且对于极低照度图像增强,伴随着噪声放大及细节信息丢失等问题。对此,提出了一种基于照度与场景纹理注意力图的低光图像增强算法。方法 首先,为了降低色彩... 目的 现有的低照度图像增强算法常存在局部区域欠增强、过增强及色彩偏差等情况,且对于极低照度图像增强,伴随着噪声放大及细节信息丢失等问题。对此,提出了一种基于照度与场景纹理注意力图的低光图像增强算法。方法 首先,为了降低色彩偏差对注意力图估计模块的影响,对低光照图像进行了色彩均衡处理;其次,试图利用低照度图像最小通道约束图对正常曝光图像的照度和纹理进行注意力图估计,为后续增强模块提供信息引导;然后,设计全局与局部相结合的增强模块,用获取的照度和场景纹理注意力估计图引导图像亮度提升和噪声抑制,并将得到的全局增强结果划分成图像块进行局部优化,提升增强性能,有效避免了局部欠增强和过增强的问题。结果 将本文算法与2种传统方法和4种深度学习算法比较,主观视觉和客观指标均表明本文增强结果在亮度、对比度以及噪声抑制等方面取得了优异的性能。在VV(Vasileios Vonikakis)数据集上,本文方法的BTMQI(blind tone-mapped quality index)和NIQMC(no-reference image quality metric for contrast distortion)指标均达到最优值;在178幅普通低照度图像上本文算法的BTMQI和NIQMC均取得次优值,但纹理突出和噪声抑制优势显著。结论 大量定性及定量的实验结果表明,本文方法能有效提升图像亮度和对比度,且在突出暗区纹理时,能有效抑制噪声。本文方法用于极低照度图像时,在色彩还原、细节纹理恢复和噪声抑制方面均具有明显优势。代码已共享在Github上:https://github.com/shuanglidu/LLIE_CEIST.git。 展开更多
关键词 低照度图像增强 注意力机制 U-Net网络 照度估计 最小通道约束图
原文传递
TOC理论和Witness仿真在汽车产业链整合价值的应用
11
作者 梁素梅 《价值工程》 2024年第27期12-15,共4页
以某汽车产业链整合企业作为研究对象,以约束理论(TOC)为基础,运用约束理论五步骤法对汽车产业链整合企业进行Witness仿真优化,明显提高了此汽车产业链整合企业的利润收入,达到增加企业价值的目标。
关键词 约束理论 汽车产业链整合 仿真 价值 净利
在线阅读 下载PDF
考虑通信约束的星群分布式应急调度方法研究 被引量:1
12
作者 李明铭 郭帅 +1 位作者 杨迪 梁彦刚 《宇航学报》 EI CAS CSCD 北大核心 2024年第9期1364-1375,共12页
为应对地球观测卫星(EOS)任务过程中面临的应急任务处置、卫星失效等突发情况,考虑通信约束,提出了一种针对卫星观测敏感器的预调度与重调度相结合的分布式调度方法。首先,提出一种多点交叉变异的分布式遗传算法(MDGA),产生高鲁棒性的... 为应对地球观测卫星(EOS)任务过程中面临的应急任务处置、卫星失效等突发情况,考虑通信约束,提出了一种针对卫星观测敏感器的预调度与重调度相结合的分布式调度方法。首先,提出一种多点交叉变异的分布式遗传算法(MDGA),产生高鲁棒性的初始对地观测方案,完成观测资源预调度。然后,面对应急任务处置需求和卫星失效事件,设计一种基于星间通信约束的合同网协议算法(ICCNP),使观测方案可动态调整,实现观测资源重调度。仿真结果表明,所提方法在预调度阶段相比集中式遗传算法、贪婪算法等算法显著提高了调度收益;在重调度阶段,所提方法能局部调整任务方案,以对任务方案扰动最小的方式,合理安排应急任务并重新分配失效卫星未完成的任务。 展开更多
关键词 分布式遗传算法 合同网协议 通信约束 星群应急调度
在线阅读 下载PDF
多参数的风电输出净功率波动性概率分布研究 被引量:1
13
作者 张永伟 《自动化仪表》 CAS 2024年第6期121-126,共6页
风电场在输出风电净功率时,风速、湍流强度以及风剪切等因素会导致并网输出功率的波动性增加,进而增加配电网的电压。为保障配电网安全运行,研究多参数的风电输出净功率波动性概率分布。根据影响风电功率波动的风速、湍流强度以及风剪... 风电场在输出风电净功率时,风速、湍流强度以及风剪切等因素会导致并网输出功率的波动性增加,进而增加配电网的电压。为保障配电网安全运行,研究多参数的风电输出净功率波动性概率分布。根据影响风电功率波动的风速、湍流强度以及风剪切系数的分析结果,使用复数据经验模态分解方法提取风机输出功率波动量。将风速、风剪切系数以及湍流强度等参数作为约束条件,建立并校准风电输出净功率波动性概率分布模型,以实现对风电输出净功率波动性概率分布特性的精准获取。试验结果表明,所提模型的概率分布误差在0.01%以内,精度较高。该模型的波动概率值与风电场功率波动性概率分布的波动概率值相似。该模型效果较好。 展开更多
关键词 风力发电 参数约束 输出净功率 波动性概率分布 经验模态分解
在线阅读 下载PDF
约束条件下项目进度关键路径的Petri网建模方法 被引量:1
14
作者 李鸿 倪枫 +3 位作者 刘文诚 刘姜 陈年年 周兴郡 《软件工程》 2024年第4期54-59,共6页
针对软件开发项目因存在约束条件而不能有效使用关键路径法的问题,利用Petri网并行性和异步性的动态特性,设计时延着色Petri网(TCPN)进度模型,通过将双代号网络图映射成Petri网,构建约束条件下的项目执行模型,用模型仿真得到约束条件下... 针对软件开发项目因存在约束条件而不能有效使用关键路径法的问题,利用Petri网并行性和异步性的动态特性,设计时延着色Petri网(TCPN)进度模型,通过将双代号网络图映射成Petri网,构建约束条件下的项目执行模型,用模型仿真得到约束条件下项目运行可能出现的情况,再运用关键路径法进行分析。案例结果表明:TCPN进度模型可使用关键路径法预测软件开发项目的完工时间,获得项目关键路径信息和其他潜在的关键路径发生概率,并且完工时间预测准确率为92.41%,具有一定的实用价值。 展开更多
关键词 PETRI网 项目管理 资源约束 关键路径 进度管理
在线阅读 下载PDF
低质图像去模糊反卷积数学建模仿真
15
作者 程岩 柴玉珍 《计算机仿真》 2024年第6期578-582,共5页
图像采集设备受温度偏移、光学偏移、成像时的相对运动、失焦等因素影响,可能导致图像质量下降的情况,为了提升图像视觉效果,提出基于正则化约束的低质图像去模糊数学建模方法。基于网函数插值原理和扩散理论构建迭代网函数插值算法用... 图像采集设备受温度偏移、光学偏移、成像时的相对运动、失焦等因素影响,可能导致图像质量下降的情况,为了提升图像视觉效果,提出基于正则化约束的低质图像去模糊数学建模方法。基于网函数插值原理和扩散理论构建迭代网函数插值算法用于椒盐噪声去除,同时联合Tetrolrt变换和主动随机场模型去除高斯噪声,提升图像质量。依据图像模糊核稀疏性和梯度稀疏性,采用混合正则化约束构建两者的估计数学模型,通过交替方向乘子法求解数学模型,并利用L1范数和全变分法反卷积低质图像,实现图像去模糊。实验结果表明,所提方法去模糊后图像峰值信噪比、结构相似性、平均梯度和视觉保真度更高,图像细节更清晰。 展开更多
关键词 正则化约束 低质图像 去模糊 网函数插值
在线阅读 下载PDF
基于EBPN模型的电子商务结构化安全验证方法
16
作者 宋浩天 刘伟 《计算机技术与发展》 2024年第10期100-109,共10页
电子商务借助互联网中app等形式作为媒介,打破传统的面对面交易体系,使系统变得更复杂,以至易产生更多恶意行为,这些恶意行为可能来自用户,商家或第三方平台等。第三方支付平台的加入使程序逻辑设计更复杂,更多结构化问题产生。为此,首... 电子商务借助互联网中app等形式作为媒介,打破传统的面对面交易体系,使系统变得更复杂,以至易产生更多恶意行为,这些恶意行为可能来自用户,商家或第三方平台等。第三方支付平台的加入使程序逻辑设计更复杂,更多结构化问题产生。为此,首先,根据基于Petri网的电子商务业务流程网模型,对电子商务系统进行建模推演,提出了电子商务业务流程关键网模型。其次,根据基于角色访问控制策略中的基数约束和职责分离进行改进,提出了电子商务模型中的行为分离和变迁约束。通过对序列发生的充分性进行补充,完善在Petri网模型中变迁序列发射的充分必要条件,为构建线性不等式提供了条件。最后通过构造线性规划的方法对网模型系统中的变迁约束和行为分离进行求解,进而验证系统的结构化安全性。 展开更多
关键词 电子商务 PETRI网 基数约束 整数线性规划 结构化安全
在线阅读 下载PDF
基于随机颜色Petri网的食物网能量流动建模与分析
17
作者 管梦真 刘伟 李清 《计算机应用与软件》 北大核心 2024年第2期25-32,共8页
为更好地描述能量流动问题,对生物变化做出及时的预测。以食物网中能量流动为例,提出一种随机颜色Petri网模型及可达性分析方法。在颜色Petri网的基础之上针对token引入随机函数和约束函数等属性用来描述token的传递特性;基于随机颜色Pe... 为更好地描述能量流动问题,对生物变化做出及时的预测。以食物网中能量流动为例,提出一种随机颜色Petri网模型及可达性分析方法。在颜色Petri网的基础之上针对token引入随机函数和约束函数等属性用来描述token的传递特性;基于随机颜色Petri网提出可达图构造算法和随机概率矩阵;将随机颜色Petri网应用到食物网的能量流动过程中,对能量流动过程进行分析并对传递的物质进行分类,验证该模型的有效性。 展开更多
关键词 随机颜色Petri网 随机函数 能量流动 约束函数 可达图
在线阅读 下载PDF
基于分布式约束网络的协同设计研究 被引量:11
18
作者 何德林 王耕耘 李志刚 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2002年第4期329-333,347,共6页
针对并行工程环境下的设计过程 ,提出基于分布式约束网络的协同设计方法 .该方法利用Agent分布式地表达设计中的各种约束关系 ,通过Agent之间的动态协作实现约束网络的一致性维护、实时监测和协商消解设计冲突 ,使得设计约束得以分布、... 针对并行工程环境下的设计过程 ,提出基于分布式约束网络的协同设计方法 .该方法利用Agent分布式地表达设计中的各种约束关系 ,通过Agent之间的动态协作实现约束网络的一致性维护、实时监测和协商消解设计冲突 ,使得设计约束得以分布、并发地满足 。 展开更多
关键词 协同设计 分布式约束网络 并行工程 AGENT
在线阅读 下载PDF
通信约束下异构多无人机任务分配方法 被引量:33
19
作者 陈璞 严飞 +1 位作者 刘钊 成果达 《航空学报》 EI CAS CSCD 北大核心 2021年第8期306-319,共14页
针对异构多无人机协同执行侦察和打击任务中,存在通信距离、时间延迟等约束条件下的局部任务分配问题,提出了一种基于合同网的分布式多无人机任务分配方法。首先建立了异构集群发现新目标时的局部任务分配问题模型,设计了局部无人机通... 针对异构多无人机协同执行侦察和打击任务中,存在通信距离、时间延迟等约束条件下的局部任务分配问题,提出了一种基于合同网的分布式多无人机任务分配方法。首先建立了异构集群发现新目标时的局部任务分配问题模型,设计了局部无人机通信网络中的信息一致性算法,实现了任务分配过程中任务发布阶段各无人机的冲突消解。设计了任务分配过程中的联盟构建和无人机资源管理方法,使联盟中各无人机能够以更加平衡的方式消耗资源。仿真结果表明,该方法能够解决通信约束下,异构多无人机执行察打任务时,所触发的针对目标打击任务的任务分配问题,且能够获得最大的系统效能。 展开更多
关键词 多无人机 异构无人机 任务分配 通信约束 合同网
原文传递
时间约束Petri网及其可调度性分析与验证 被引量:21
20
作者 宋巍 窦万春 刘茜萍 《软件学报》 EI CSCD 北大核心 2007年第1期11-21,共11页
时间约束Petri网(timingconstraintPetrinets,简称TCPN)是一类重要的时间Petri网系统.对相关定义重新界定,丰富并完善了TCPN理论.针对变迁可调度原始定义的不足,首先给出了变迁的弱/强可调度的新定义及强可调度判定定理;然后对变迁的强... 时间约束Petri网(timingconstraintPetrinets,简称TCPN)是一类重要的时间Petri网系统.对相关定义重新界定,丰富并完善了TCPN理论.针对变迁可调度原始定义的不足,首先给出了变迁的弱/强可调度的新定义及强可调度判定定理;然后对变迁的强可调度进行了拓展,提出了TCPN时间可调度的概念,并结合Petri网结构给出了TCPN时间可调度判定定理;最后对TCPN的相关特性进行了研究.TCPN对时间Petri网的研究工作将起到启发作用,并对实时系统的描述和建模工作具有一定的参考价值. 展开更多
关键词 时间相关Petd网 TCPN 弱可调度 强可调度 可调度性分析
在线阅读 下载PDF
上一页 1 2 9 下一页 到第
使用帮助 返回顶部