基于双延迟深度确定性策略梯度的综合能源微网运行优化

为了满足综合能源微网运行优化及能量管理的需求,提出基于双延迟深度确定性策略梯度算法的综合能源微网运行优化方法;基于标准化矩阵建模理论,构建一个含冷、热、电供应的综合能源微网数学模型;考虑到综合能源微网中天然气、主电网供电等相关约束和电力价格的变化,提出以运行成本最小化为目标的双延迟深度确定性策略梯度算法,对各种能源设备的出力情况作出决策,形成合理的能源分配管理方案。仿真结果表明,所提出方法的性能优于非线性算法、深度Q网络算法和深度确定性策略梯度算法,在确保运行成本最小化的同时计算耗时较短。     

一种新的RLC互连解析延时模型的建立

提出了用来评估深亚微米VLSI电路中RLC互连延时的一种新的解析延时模型．该模型的驱动器由输出电阻和电容组成,负载为容性负载．先对分布式均匀传输线的转换函数展开式进行二阶近似,然后根据不同的极点情况,计算出时域下的阶跃响应及相应的解析延时．该模型还被应用到具体的RLC互连树中评估源节点到漏节点的延时．实验结果表明,该模型比前人的延时模型精确,延时评估误差减少了10%;而由输出电阻和电容组成的驱动器能够很好地改善RLC互连树的延时分析．     

FIDER： A Force-Balance-Based Interconnect Delay Driven Re-Synthesis Algorithm for Data-Path Optimization After Floorplan

As the feature size of integrated circuits is reduced to the deep sub-micron level or the nanometer level, the interconnect delay is becoming more and more important in determining the total delay of a circuit. Re-synthesis after floorplan is expected to be very helpful for reducing the interconnect delay of a circuit. In this paper, a force-balance-based re-synthesis algorithm for interconnect delay optimization after floorplan is proposed. The algorithm optimizes the interconnect delay by changing the operation scheduling and the functional unit allocation and binding. With this method the number and positions of all functional units are not changed, but some operations are allocated or bound to different units. Preliminary experimental results show that the interconnect wire delays are reduced efficiently without destroying the floorplan performance.     

A detection method for logic functions suitable for dual-logic synthesis

Logic functions can be implemented in either AND/OR/NOT-based traditional Boolean (TB) logic or AND/XOR-based Reed–Muller (RM) logic. To the majority of logic functions, it will be beneficial to be partially implemented in both TB logic and RM logic, called dual-logic. In this paper, a detection condition favoring dual-logic synthesis is proposed. A corresponding detection algorithm is developed and implemented in C. The algorithm is applied to test a set of MCNC91 benchmarks for verifying the algorithm. The results show that the proposed algorithm is more efficient than published ones.     

基于等分节点法的时延驱动布局算法

提出了一个新的基于等分节点法的时延驱动布局算法．该算法基于对电路时延图的拓扑结构分析,将优化关键路径时延的问题转换成优化关键路径上单元位置的问题,通过建立优化位置单元的队列链表,采用一种新的等分节点法有效地寻找路径上单元的目标位置,从而优化路径上的线网长度,最终达到优化最长路径时延的目的．另外,启发式迭代优化方法很好地统一了以线长优化和路径时延优化为目标的布局算法．对MCNC标准单元测试电路中组合和时序电路的实验结果显示,电路经过时延驱动优化布局后的最大路径时延最多减少了31%．     

互连线负载的有效电容计算模型

在大量仿真数据以及当前集成电路设计工艺的基础上,提出了一种简单互连线负载的有效电容计算模型.该模型基于精确的互连线π模型,考虑了互连线电阻对负载互连线的屏蔽作用,并能与目前常用的器件时延公式兼容.实验结果表明,该模型与电路模拟软件SPICE仿真结果相比较误差小于1.2%.     

Crosstalk model and estimation formula for VLSI interconnect wires

We develop an interconnect crosstalk estimation model on the assumption of linearity for CMOS device. First, we analyze the terminal response of RC model on the worst condition from the S field to the time domain. The exact 3 order coefficients in S field are obtained due to the interconnect tree model. Based on this, a crosstalk peak estimation formula is presented. Unlike other crosstalk equations in the literature, this formula is only used coupled capacitance and grand capacitance as parameter. Experimental results show that, compared with the SPICE results, the estimation formulae are simple and accurate. So the model is expected to be used in such fields as layout-driven logic and high level synthesis, performance-driven floorplanning and interconnect planning.     

Boolean方阵的注记

一个 n阶 Boolean方阵 A =[aij] n× n 等价于顶点集是 1 ,2 ,… ,n的有向图 D(A) ,所以 Boolean方阵有很大实用价值 .目前它已经成为工程技术和信息处理中不可缺少的数学工具 ,并逐渐渗透到其他领域 .Kim[1 ] 曾论述了 Boolean向量和 Boolean方阵的性质 ,但对 Boolean方阵的某些性质未做深入研究 .Boolean方阵与 Hadamard矩阵有许多相似之处 ,文献 [2 ]作者利用 Boolean向量巧妙地证明了不存在4K(K >1 )阶完全循环的 Hadamard矩阵的猜想 .文献 [3]较系统地讨论了 Boolean方阵的幂序列 ,使人们对 Boolean方阵的性质的认识日渐深化 ,…     

一种合成环己酮的绿色方法

报道了在偏钒酸铵和十六烷基三甲基溴化铵存在下,用过氧化氢氧化环己醇制备环己酮的绿色方法,讨论了偏钒酸铵和十六烷基三甲基溴化铵的催化机理,确定了最佳的反应条件,收率达68%.     

关于道义逻辑系统的一种布尔值模型

本文是为冯·赖特的一元和二元道义逻辑系统DT和DSR以及他1964年对DSR改造后的系统建立布尔值模型.因此,模态词O和P分别表示应当和允许.为此,本文首先定义了模态公式Oα的布尔值‖ Oα‖和二元公式P(p/q)(或O(p/q))的布尔值‖ P(p/q)‖(或O(p/q)‖);其次证明在该定义下,道义逻辑系统DT和DSR等的所有公理的布尔值为1;最后证明集合论的ZFC公理系统的布尔值模型VB(B是一个完全的布尔代数)也是道义逻辑系统DT和DSR等的布尔值模型.     

芳香异氰酸酯的制备方法

采用 Curtius重排反应合成芳香异氰酸酯 ,污染少 ,产率较高。