检索结果-维普期刊中文期刊服务平台

优化OBDD性能的变量量化调度算法研究: 1; 作者彭浩王雅琳刘树锟《计算机应用与软件》 CSCD 2010年第3期120-123,共4页; 在目前VLSI设计流程中,采用模型检测技术来实现形式化验证对可靠的硬件设计具有重要的意义。在以有序二值决策图(OBDD)为基础的符号综合和验证过程中,需要对有限状态机各传输关系合取运算的先后顺序进行量化调度,从而降低求解过程中各临... 展开更多; 关键词关联矩阵量化调度最小生存量化跨度映像计算; 在线阅读下载PDF 职称材料

带宽受限的CAN总线对数量化调度策略被引量：2: 2; 作者匡付华胥布工刘贵云《控制理论与应用》 EI CAS CSCD 北大核心 2011年第9期1183-1188,共6页; 研究了使用量化技术解决控制器局域网络(CAN)总线网络控制系统的带宽受限问题.首先,建立了多控制回路的网络控制系统模型,该模型综合考虑了采用对数量化器对采样信号进行量化和Bernoulli随机网络丢包过程.并针对量化误差和数据丢包,设... 展开更多; 关键词 CAN现场总线对数量化器数据丢包量化反馈调度; 在线阅读下载PDF 职称材料

基于可调度性排序的时间触发调度表生成方法被引量：9: 3; 作者宋梓旭李峭 +1 位作者汪晶晶熊华钢《北京航空航天大学学报》 EI CAS CSCD 北大核心 2018年第11期2388-2395,共8页; 时间触发以太网(TTE)静态调度表的生成依据可满足性模理论(SMT);如果时间触发(TT)流量集合的规模较大,需要分批选取流量子集进行增量化调度求解,选取的次序对于计算耗时具有显著的影响。采用严格周期利用率因子(SPU)量化各条流量的可调... 展开更多; 关键词时间触发以太网(TTE) 时间触发(TT)流量增量化调度可调度性流量排序约束缩减; 在线阅读下载PDF 职称材料

宏基站和微基站群之间的预测性信道调度算法被引量：5: 4; 作者谢映海姚若河吴斌《通信学报》 EI CSCD 北大核心 2019年第11期19-29,共11页; 针对5G超蜂窝网络的宏基站和微基站群之间的非实时业务传输,提出了一种新型预测性信道调度算法。首先,利用静止通信体之间无线信道的随机平稳过程特征,从古典概率论的角度为调度过程建立了一个离散信道状态概率空间并对其进行事件域分割... 展开更多; 关键词超蜂窝网络平稳随机过程离散信道状态概率空间预测性信道调度量化调度; 在线阅读下载PDF 职称材料

题名优化OBDD性能的变量量化调度算法研究: 1; 作者彭浩王雅琳刘树锟; 机构湖南涉外经济学院计算机科学与技术学部中南大学信息科学与工程学院; 出处《计算机应用与软件》 CSCD 2010年第3期120-123,共4页; 基金湖南省自然科学基金(06FD026) 湖南省教育厅基金资助项目(09C597); 文摘在目前VLSI设计流程中,采用模型检测技术来实现形式化验证对可靠的硬件设计具有重要的意义。在以有序二值决策图(OBDD)为基础的符号综合和验证过程中,需要对有限状态机各传输关系合取运算的先后顺序进行量化调度,从而降低求解过程中各临时OBDD所消耗的内存资源,也就降低了对某些验证的状态空间爆炸的风险。调度策略通过对各传输关系与量化变量构成的关联矩阵的分析,以不断降低变量的平均生存量化跨度为目标,提出了能减少变量参与合取运算次数的MSTA(Minimum Subsist-ence Traversal Algorithm)过程、关联矩阵的连接子图分解策略和考虑关联矩阵中前后行关联程度的串接过程。实验表明了此合取量化调度过程的有效性和鲁棒性。; 关键词关联矩阵量化调度最小生存量化跨度映像计算; Keywords Dependent matrix Quantification scheduling Minimum subsistence quantification traversal Image computation; 分类号 TP301.6 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名带宽受限的CAN总线对数量化调度策略被引量：2: 2; 作者匡付华胥布工刘贵云; 机构华南理工大学自动化科学与工程学院; 出处《控制理论与应用》 EI CAS CSCD 北大核心 2011年第9期1183-1188,共6页; 基金 NSFC-广东联合基金重点资助项目(U0735003) 国家自然科学基金资助项目(61174070); 文摘研究了使用量化技术解决控制器局域网络(CAN)总线网络控制系统的带宽受限问题.首先,建立了多控制回路的网络控制系统模型,该模型综合考虑了采用对数量化器对采样信号进行量化和Bernoulli随机网络丢包过程.并针对量化误差和数据丢包,设计了控制器和观测器使得闭环系统指数均方稳定.然后根据控制性能最优化要求,设计了在带宽受限情况下的反馈网络调度器,提出了量化反馈调度策略.最后通过对3个独立控制回路组成的CAN总线系统进行仿真实验,验证了此调度策略的有效性和可行性.; 关键词 CAN现场总线对数量化器数据丢包量化反馈调度; Keywords CAN bus logarithmic quantization packet loss quantization feedback scheduling; 分类号 TP273 [自动化与计算机技术—检测技术与自动化装置]; 在线阅读下载PDF 职称材料

题名基于可调度性排序的时间触发调度表生成方法被引量：9: 3; 作者宋梓旭李峭汪晶晶熊华钢; 机构北京航空航天大学电子信息工程学院; 出处《北京航空航天大学学报》 EI CAS CSCD 北大核心 2018年第11期2388-2395,共8页; 基金国家自然科学基金(61301086) 中央高校基本科研业务费专项资金(YWF-14-DZXY-018)~~; 文摘时间触发以太网(TTE)静态调度表的生成依据可满足性模理论(SMT);如果时间触发(TT)流量集合的规模较大,需要分批选取流量子集进行增量化调度求解,选取的次序对于计算耗时具有显著的影响。采用严格周期利用率因子(SPU)量化各条流量的可调度性,按照调度难度降序分批选取流量组成流量子集,并依次对流量子集进行SMT求解,同时采用可调度性检查和约束缩减措施,提出并形成了一种基于可调度性排序的增量化时间触发调度表生成方法。在求解过程中,如果出现局部不可调度的情况,则进行回溯操作;同时引入干涉时间作为已调度集合对于未调度集合的联合约束条件,大规模缩减了这两种集合之间的约束数量,进一步提高了求解效率。案例研究表明,与随机排序、周期升序和可调度难度升序的增量化调度方法相比,该方法的回溯次数随系统规模增长的速度显著降低。; 关键词时间触发以太网(TTE) 时间触发(TT)流量增量化调度可调度性流量排序约束缩减; Keywords time-triggered Ethernet (TTE) time-triggered (TT)traffic incremental schedule schedu- lability traffic ranking constraint reduction; 分类号 V247 [航空宇航科学与技术—飞行器设计] TP393 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

题名宏基站和微基站群之间的预测性信道调度算法被引量：5: 4; 作者谢映海姚若河吴斌; 机构珠海中慧微电子博士后工作站华南理工大学电子与信息学院; 出处《通信学报》 EI CSCD 北大核心 2019年第11期19-29,共11页; 基金广东省科技计划基金资助项目(No.2016B010123004); 文摘针对5G超蜂窝网络的宏基站和微基站群之间的非实时业务传输,提出了一种新型预测性信道调度算法。首先,利用静止通信体之间无线信道的随机平稳过程特征,从古典概率论的角度为调度过程建立了一个离散信道状态概率空间并对其进行事件域分割;然后,通过各事件域的概率数值计算实现对多用户多非实时业务的高效调度。理论分析和仿真结果表明,所提算法计算复杂度低,和其他一些经典调度算法相比,所提算法可在更长时间维度上进行业务优化传输,在吞吐量性能上逼近最大信噪比算法,重负荷情况下系统吞吐量提升了约14%;同时通过精确量化计算实现了业务期望速率和实际调度速率的自适应匹配。; 关键词超蜂窝网络平稳随机过程离散信道状态概率空间预测性信道调度量化调度; Keywords super cellular network stationary stochastic process discrete channel state probability space predictive channel scheduling quantitative scheduling; 分类号 TP393 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	优化OBDD性能的变量量化调度算法研究	彭浩王雅琳刘树锟	《计算机应用与软件》 CSCD	2010	0	在线阅读下载PDF 职称材料
2	带宽受限的CAN总线对数量化调度策略	匡付华胥布工刘贵云	《控制理论与应用》 EI CAS CSCD 北大核心	2011	2	在线阅读下载PDF 职称材料
3	基于可调度性排序的时间触发调度表生成方法	宋梓旭李峭汪晶晶熊华钢	《北京航空航天大学学报》 EI CAS CSCD 北大核心	2018	9	在线阅读下载PDF 职称材料
4	宏基站和微基站群之间的预测性信道调度算法	谢映海姚若河吴斌	《通信学报》 EI CSCD 北大核心	2019	5	在线阅读下载PDF 职称材料