期刊文献+
共找到8篇文章
< 1 >
每页显示 20 50 100
优化OBDD性能的变量量化调度算法研究
1
作者 彭浩 王雅琳 刘树锟 《计算机应用与软件》 CSCD 2010年第3期120-123,共4页
在目前VLSI设计流程中,采用模型检测技术来实现形式化验证对可靠的硬件设计具有重要的意义。在以有序二值决策图(OBDD)为基础的符号综合和验证过程中,需要对有限状态机各传输关系合取运算的先后顺序进行量化调度,从而降低求解过程中各临... 在目前VLSI设计流程中,采用模型检测技术来实现形式化验证对可靠的硬件设计具有重要的意义。在以有序二值决策图(OBDD)为基础的符号综合和验证过程中,需要对有限状态机各传输关系合取运算的先后顺序进行量化调度,从而降低求解过程中各临时OBDD所消耗的内存资源,也就降低了对某些验证的状态空间爆炸的风险。调度策略通过对各传输关系与量化变量构成的关联矩阵的分析,以不断降低变量的平均生存量化跨度为目标,提出了能减少变量参与合取运算次数的MSTA(Minimum Subsist-ence Traversal Algorithm)过程、关联矩阵的连接子图分解策略和考虑关联矩阵中前后行关联程度的串接过程。实验表明了此合取量化调度过程的有效性和鲁棒性。 展开更多
关键词 关联矩阵 量化调度 最小生存量化跨度 映像计算
下载PDF
带宽受限的CAN总线对数量化调度策略 被引量:2
2
作者 匡付华 胥布工 刘贵云 《控制理论与应用》 EI CAS CSCD 北大核心 2011年第9期1183-1188,共6页
研究了使用量化技术解决控制器局域网络(CAN)总线网络控制系统的带宽受限问题.首先,建立了多控制回路的网络控制系统模型,该模型综合考虑了采用对数量化器对采样信号进行量化和Bernoulli随机网络丢包过程.并针对量化误差和数据丢包,设... 研究了使用量化技术解决控制器局域网络(CAN)总线网络控制系统的带宽受限问题.首先,建立了多控制回路的网络控制系统模型,该模型综合考虑了采用对数量化器对采样信号进行量化和Bernoulli随机网络丢包过程.并针对量化误差和数据丢包,设计了控制器和观测器使得闭环系统指数均方稳定.然后根据控制性能最优化要求,设计了在带宽受限情况下的反馈网络调度器,提出了量化反馈调度策略.最后通过对3个独立控制回路组成的CAN总线系统进行仿真实验,验证了此调度策略的有效性和可行性. 展开更多
关键词 CAN现场总线 对数量化 数据丢包 量化反馈调度
下载PDF
基于均匀量化的CAN总线的资源调度研究 被引量:1
3
作者 匡付华 胥布工 程朋胜 《计算机测量与控制》 北大核心 2013年第5期1285-1287,共3页
在网络控制系统设计中,最主要目的之一是既要有效地使用资源受限的总线,又要保持良好的闭环系统性能;针对CAN总线的带宽受限问题,提出了使用均匀量化技术的解决方案;首先,建立了具有量化和丢包的多控制回路的网络控制系统模型,分析了闭... 在网络控制系统设计中,最主要目的之一是既要有效地使用资源受限的总线,又要保持良好的闭环系统性能;针对CAN总线的带宽受限问题,提出了使用均匀量化技术的解决方案;首先,建立了具有量化和丢包的多控制回路的网络控制系统模型,分析了闭环系统指数均方稳定;然后根据控制性能最优化要求,讨论了固定优先级的自适应周期量化调度策略;最后通过对3个独立控制回路组成的CAN总线系统对此调度策略进行仿真验证,仿真结果表明,此量化调度策略可有效地管理网络资源。 展开更多
关键词 CAN现场总线 均匀量化 传输丢包 量化调度
下载PDF
基于可调度性排序的时间触发调度表生成方法 被引量:9
4
作者 宋梓旭 李峭 +1 位作者 汪晶晶 熊华钢 《北京航空航天大学学报》 EI CAS CSCD 北大核心 2018年第11期2388-2395,共8页
时间触发以太网(TTE)静态调度表的生成依据可满足性模理论(SMT);如果时间触发(TT)流量集合的规模较大,需要分批选取流量子集进行增量化调度求解,选取的次序对于计算耗时具有显著的影响。采用严格周期利用率因子(SPU)量化各条流量的可调... 时间触发以太网(TTE)静态调度表的生成依据可满足性模理论(SMT);如果时间触发(TT)流量集合的规模较大,需要分批选取流量子集进行增量化调度求解,选取的次序对于计算耗时具有显著的影响。采用严格周期利用率因子(SPU)量化各条流量的可调度性,按照调度难度降序分批选取流量组成流量子集,并依次对流量子集进行SMT求解,同时采用可调度性检查和约束缩减措施,提出并形成了一种基于可调度性排序的增量化时间触发调度表生成方法。在求解过程中,如果出现局部不可调度的情况,则进行回溯操作;同时引入干涉时间作为已调度集合对于未调度集合的联合约束条件,大规模缩减了这两种集合之间的约束数量,进一步提高了求解效率。案例研究表明,与随机排序、周期升序和可调度难度升序的增量化调度方法相比,该方法的回溯次数随系统规模增长的速度显著降低。 展开更多
关键词 时间触发以太网(TTE) 时间触发(TT)流量 量化调度 调度 流量排序 约束缩减
下载PDF
宏基站和微基站群之间的预测性信道调度算法 被引量:5
5
作者 谢映海 姚若河 吴斌 《通信学报》 EI CSCD 北大核心 2019年第11期19-29,共11页
针对5G超蜂窝网络的宏基站和微基站群之间的非实时业务传输,提出了一种新型预测性信道调度算法。首先,利用静止通信体之间无线信道的随机平稳过程特征,从古典概率论的角度为调度过程建立了一个离散信道状态概率空间并对其进行事件域分割... 针对5G超蜂窝网络的宏基站和微基站群之间的非实时业务传输,提出了一种新型预测性信道调度算法。首先,利用静止通信体之间无线信道的随机平稳过程特征,从古典概率论的角度为调度过程建立了一个离散信道状态概率空间并对其进行事件域分割;然后,通过各事件域的概率数值计算实现对多用户多非实时业务的高效调度。理论分析和仿真结果表明,所提算法计算复杂度低,和其他一些经典调度算法相比,所提算法可在更长时间维度上进行业务优化传输,在吞吐量性能上逼近最大信噪比算法,重负荷情况下系统吞吐量提升了约14%;同时通过精确量化计算实现了业务期望速率和实际调度速率的自适应匹配。 展开更多
关键词 超蜂窝网络 平稳随机过程 离散信道状态概率空间 预测性信道调度 量化调度
下载PDF
STUDY ON OPTIMAL CONTROL OF MUNICIPAL WATER DISTRIBUTION NETWORK 被引量:1
6
作者 张宏伟 杨芳 庄健 《Transactions of Tianjin University》 EI CAS 2001年第3期167-171,共5页
A systematic investigation is made on the problems which are related to the optimal control of the municipal water distribution network.A mathematical model of forecasting the water short term demand is proposed using... A systematic investigation is made on the problems which are related to the optimal control of the municipal water distribution network.A mathematical model of forecasting the water short term demand is proposed using the time series trigonometric function analysis method;the service discharge based macroscopic model of network performance is established using the network structuring method;a relatively satisfactory mathematical model for the optimal control of water distribution network is put forward in view of security and economy,and solved by the constrained mixed discrete variable complex arithmetic.The model is applied in many examples and the results are satisfactory. 展开更多
关键词 water distribution network water demand forecast macroscopic model optimal control
下载PDF
A Discrete Artificial Bee Colony Algorithm for Minimizing the Total Flow Time in the Blocking Flow Shop Scheduling 被引量:10
7
作者 邓冠龙 徐震浩 顾幸生 《Chinese Journal of Chemical Engineering》 SCIE EI CAS CSCD 2012年第6期1067-1073,共7页
A discrete artificial bee colony algorithm is proposed for solving the blocking flow shop scheduling problem with total flow time criterion. Firstly, the solution in the algorithm is represented as job permutation. Se... A discrete artificial bee colony algorithm is proposed for solving the blocking flow shop scheduling problem with total flow time criterion. Firstly, the solution in the algorithm is represented as job permutation. Secondly, an initialization scheme based on a variant of the NEH (Nawaz-Enscore-Ham) heuristic and a local search is designed to construct the initial population with both quality and diversity. Thirdly, based on the idea of iterated greedy algorithm, some newly designed schemes for employed bee, onlooker bee and scout bee are presented. The performance of the proposed algorithm is tested on the well-known Taillard benchmark set, and the computational results demonstrate the effectiveness of the discrete artificial bee colony algorithm. In addition, the best known solutions of the benchmark set are provided for the blocking flow shop scheduling problem with total flow time criterion. 展开更多
关键词 blocking flow shop scheduling artificial bee colony algorithm total flow time
下载PDF
Optimized vehicle scheduling and filling model based on effective space and integrated solving algorithm
8
作者 赵鹏 《Journal of Chongqing University》 CAS 2007年第3期172-176,共5页
We established an integrated and optimized model of vehicle scheduling problem and vehicle filling problem for solving an extremely complex delivery mode-multi-type vehicles, non-full loads, pickup and delivery in log... We established an integrated and optimized model of vehicle scheduling problem and vehicle filling problem for solving an extremely complex delivery mode-multi-type vehicles, non-full loads, pickup and delivery in logistics and delivery system. The integrated and optimized model is based on our previous research result-effective space method. An integrated algorithm suitable for the integrated and optimized model was proposed and corresponding computer programs were designed to solve practical problems. The results indicates the programs can work out optimized delivery routes and concrete loading projects. The model and algorithm have many virtues and are valuable in practice. 展开更多
关键词 vehicle scheduling vehicle filling integration and optimization solving algorithm
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部