优化时延和可布性的标准单元布局算法

分析了时延和可布性的关系, 提出了一个多步的布局算法来优化这两个目标. 首先, 时延驱动的布局算法找到一个全局最优解. 在第二步中, 本算法在保证不破坏时延特性的基础上提高芯片的可布性. 这个算法已经实现, 并且对若干实际电路进行了测试. 结果表明应用本布局算法最大时延值能够下降30%, 并且第二步中在保证时延值不变的情况下, 最大拥挤度下降10%.     

时延细胞神经网络的指数稳定性和周期解

通过构造适当的Lyapunov泛函 ,巧妙引入参数q ij,r ij,qij,rij∈R和wi>0(i,j=1 ,2 ,… ,n) ,并结合不等式 2ab≤a2 b2 分析技巧 ,讨论了一类时延细胞神经网络 (DCNNs)的全局指数稳定性和周期解的存在性 ,给出了一系列充分准则 .最后 ,给出了说明这一理论的两个实例     

切换耗散Hamilton系统的稳定性研究

研究切换耗散Hamilton系统在任意切换路径下的稳定问题. 在一合理的假设下, 证明了： 切换耗散Hamilton系统所有子模型的Hamilton函数可用作多重Lyapunov函数. 在此基础上, 根据耗散Hamilton系统的结构特性, 进一步证明了： 切换耗散Hamilton系统的状态P范数随时间增大而趋于零, 并给出了在任意切换路径下的切换耗散Hamilton系统渐近稳定的两个充分条件. 然后, 将得到的新结果运用到一般自治非线性切换系统中, 得到了系统渐近稳定的两个有用推论. 最后, 应用得到的新结果研究了两个例子并给出了数值仿真, 仿真结果验证了该结果的正确性和实用性.     

多方公平交换协议的形式化分析和设计

通过分析协议中消息项的起源和交易方之间的信道组成、事件及事件间的各种关系, 提出了一个简洁、紧凑、精确的一般公平交换协议层次化模型, 规范了能够更严格地反映公平交换协议内在要求的多种安全需求, 并对它们进行了细粒度的分解. 基于这一工作, 可高效细致地对多方公平交换协议进行分析、检测和设计.     

SOI光波导器件和集成光开关矩阵的研究进展

SOI(Silicon-on-insulator, 绝缘衬底上的硅)是一种折射率差大、波导传输损耗小的新型材料, SOI基光电子器件具有与微电子工艺兼容、能够实现OEIC单片集成等优点, 近年来受到越来越多的重视. 文中重点研究了SOI波导器件的新进展, 采用高效数值模拟方法研究得出了精确的SOI矩形和梯形大截面脊形波导的单模条件, 设计和制作了单模脊形光波导、多模干涉耦合器(MMI)、可变光衰减器(VOA)、马赫-曾德尔干涉型2×2热光波导光开关, 在此基础上首次研制出4×4和8×8 SOI平面集成波导光开关矩阵.     

一种基于加工匹配度的车间作业调度方法研究

单件小批量生产形式下的作业车间调度是生产调度中的重要问题.在综合考虑订单优先级、加工时间等诸多因素的基础上,提出了加工匹配度的概念来研究作业调度问题,建立了相应的调度模型,设计了一种启发式作业调度算法.在某制动阀生产企业数控车间的实际应用结果表明,该方法能够较好的辅助车间调度人员进行车间作业调度.     

三门峡水库水沙调度过程的数值模拟研究

针对大部分水库调度模型中水沙输移计算大幅简化且与库水位计算过程间只有单向耦合的问题,本研究构建了基于激波捕捉式有限体积法与河网算法的库区水沙调度模型.该模型采用河段连接单元内水沙质量与动量守恒方程的准二维求解算法,河网算法可以反映干支流交汇角的影响,并且使用OpenMP技术实现了并行求解.该模型的水库调度模块将调度方案表示为5个触发条件和4个调度指令参数构成的调度规则表,由水沙动力学模型向调度模块提供入库监测断面的水沙条件与实时更新的水位库容关系,水库调度模块为水沙动力学模型提供库区下游边界条件,从而实现两者双向耦合.采用2020年三门峡库区实测水沙数据进行了模型验证,库区三个河段的水位、流量和含沙量计算结果与实测值相符,在坝前水位最快下降速度达到2.3 m/h的敞泄排沙时段,数值计算过程稳定且成功预测了出库沙峰.针对近年黄河来沙量减少而潼关高程下降趋势并不稳定的问题,应用模型开展了三门峡水库水沙调度过程的数值模拟研究,通过对不同的汛期和非汛期调度方案的模拟分析,初步确定了坝前控制水位对于年内库区冲淤量和潼关高程影响显著的时期,研究结果可以为三门峡水库调度方案进一步优化提供思路.     

直接甲醇燃料电池质子交换膜内两相逆流的研究

从液态进料直接甲醇燃料电池水管理的角度, 对PEM中水的相变过程的发生和发展作了定性的分析, 阐明了PEM干涸的机理. 建立了PEM中两相区内的一维、稳态、含内热源多孔介质相变传热传质模型. 该模型考虑了毛细力、电渗力和相变的影响. 推导出了PEM中两相区的无量纲理论长度δ _t的计算公式和PEM临界干涸准则数[-ω/γ] _cr的表达式. 利用该模型对两相区内液相水饱和度、各相的压力以及温度分布进行了数值模拟. 模拟结果能够从机理上解释Ohm极化区电池性能变化规律, 并能为阴极催化层催化剂含量和PEM最佳厚度的选取提供理论依据.     

带翠凤蝶翅面结构光变色机理的试验研究

动物体表彩色是在长期生物进化过程中为了逃避天敌、捕捉猎物或展示自身艳丽而自然形成的, 研究其结构光机理是仿生学的一个重要方面. 根据用酒精溶液填充到绿带翠凤蝶翅面蓝色鳞片区域的瞬时改变颜色成绿色, 最后又还原成蓝色这一现象, 应用体视显微镜、扫描电镜、透射电镜和紫外可见分光光度计, 通过分析翅面鳞片的微观结构和光学特性与变色效应关系, 发现中国东北地区的绿带翠凤蝶蓝色鳞片可以变色, 其原因在于可见光经过鳞片的凹坑状多层薄膜反射结构与填充介质时, 由于介质的折射率不同, 引起了一定波长的光波发生干涉, 形成相应波长的颜色, 这对于视频隐身材料的仿生设计具有重要的学术参考价值.     

NiFe/非磁金属隔离层/FeMn薄膜中的微结构及其对交换耦合的影响

采用磁控溅射方法制备了Ta/NiFe/非磁金属隔离层/FeMn多层膜, 研究了交换耦合场H_ex相对于非磁金属隔离层厚度的变化关系. 实验结果表明: 随非磁金属隔离层厚度的增加, 以Bi和Ag为隔离层的H_ex薄膜急剧下降, 以Cu为隔离层的薄膜的H_ex下降较缓慢. 对Cu而言, 它的晶体结构与NiFe层晶体结构相同且晶格常数相近, Cu层以及FeMn层都可以相继外延生长, FeMn层的(111)织构不会受到破坏, 因此, H_ex随Cu沉积厚度增加缓慢下降. 对Ag而言, 虽然它的晶体结构与NiFe层晶体结构相同, 但晶格常数相差较大, Ag层以及FeMn层都不可能外延生长, FeMn层的织构将会受到破坏, H_ex随Ag沉积厚度增加迅速下降. 对Bi而言, 不仅它的晶体结构与NiFe层的不同, 而且晶格常数相差也较大, 同样, Bi层以及FeMn层也不可能外延生长, FeMn层的织构也会受到破坏, 因此, H_ex也随Bi沉积厚度增加迅速下降. 但是, X射线光电子能谱研究表明: 极少量的表面活化原子Bi沉积在NiFe/FeMn界面时, 会上浮到FeMn层表面, 因而H_ex下降很少.     

基于辅助相机的多目视觉线结构光测量系统全局标定方法研究

为解决现有的多目视觉线结构光测量系统在大视场测量时,相机之间无公共视场,导致标定工具要求高、全局标定过程复杂等问题,本文提出了一种基于辅助相机的多目视觉线结构光测量系统全局标定方法.首先,将辅助相机作为中介,它与线结构光传感器的相机有1/2左右的视场重叠,构成了双目子系统,通过拍摄标定板不同姿态的图像来建立辅助相机和相邻两个线结构光传感器的空间几何关系.然后基于此通过坐标转换求解出相邻两个无公共视场线结构光传感器的位置关系,最后再逐步换算求解出局部坐标系向全局坐标系统一的变换矩阵,完成全局标定过程.此方法对标定工具要求低,不需要借助高精度测量设备及复杂靶标,只需简易的棋盘格靶标即可完成多目视觉线结构光测量系统的全局标定,标定过程简单,并且可达到较高的标定精度.测量试验表明,该方法的全局标定误差是0.067 mm,有效提高了测量精度,为后续大构件的机器人“测量-加工”一体化作业提供精度保障.     

百叶窗式翅片散热器的数值模拟和实验研究

先对百叶窗式翅片散热器进行了理论计算;然后对其物理模型进行合理的简化处理,利用ANSYS软件,采用SIMPLE算法和标准k-ε湍流模型,通过求解三维N-S方程和能量方程模拟了散热器的散热过程;最后进行了试验研究。试验测试和理论计算、数值模拟三者数据基本吻合,说明数值模拟方法能真实反映百叶窗式翅片散热器的传热特性,为散热器的设计和改进提供理论依据。     

多孔硅反射镜基有机微腔器件的微结构和光电特性研究

从微结构和光电特性方面研究了一种新型硅基微腔的有机发光器件(SBM-OLEDs): 硅基多孔硅分布Bragg反射镜(PS-DBR)/SiO₂/ITO/有机多层膜/LiF/Al(1 nm)/Ag. 微腔器件的重要组成部分PS-DBR由低成本、高效率的电化学腐蚀方法制备. 场发射扫描电子显微图清晰显示: SBM-OLEDs具有纳米级层次结构和平整的界面. PS-DBR反射谱的阻止带宽160 nm, 且反射率达99%. SBM-OLEDs的反射谱中出现了标志此结构为微腔的共振腔膜. 在绿光和红光波段, 从SBM-OLEDs中都得到了改进的电致发光(EL)谱: 绿光(红光)EL谱的半高宽可由无微腔的83 nm (70 nm)窄化为有微腔时的8 nm (12 nm), 且为单峰发射, 微腔器件EL谱的色纯性有较大提高. 与非微腔器件相比, 发绿光和发红光的微腔在谐振波长处EL的强度分别增强了6倍和4倍. 对微腔器件的电流-亮度-电压(I-B-V)特性和影响器件寿命的因素也进行了讨论.     

非合作Internet用户行为特征和约束机制的研究

基于一次博弈模型的流速与拥塞控制方法虽然能解释用户的非合作行为,但是由于最终的均衡解的效率不高,影响了其应用价值.文中在讨论了一次博弈模型和流速均衡的解析解的基础上,对基于无限重复博弈模型的流速与拥塞控制行为进行了深入研究.提出了重复和无限重复流速与拥塞控制博弈模型,论证了重复博弈NEP的存在性和最优性,并讨论了重复博弈中贴现因子的意义.接着研究了N个用户的无限重复流速控制博弈中用户不合理行为的惩罚威胁策略,设计了无限和有限博弈中用户行为的惩罚约束方法.最后利用重复博弈模型中的结论,提出了一种基于重复博弈模型的流速率控制算法FCAR.仿真实验表明,FCAR算法能够较为有效地规范和约束用户不合理行为,促使理性的非合作用户达成合作,以实现整个流速与拥塞控制系统效用的最优.     

高压耦合静电场下导电颗粒和非导电颗粒的动力学研究

采用高压静电学理论和数值分析方法,对电晕极、高压静电极与接地电极耦合产生的电场下导电颗粒和非导电颗粒的动力学行为进行了研究.分析了导电颗粒在电晕极与接地电极之间存在着的摆动现象,并推导出摆动最大振幅公式.发现在高压静电极与接地电极耦合电场中,导电颗粒存在一定的起浮电压.提出了“临界荷电转速”、“非金属颗粒脱辊转速”以及“电压与电极距比”等概念,并建立相应判据.采用计算机模拟出导体颗粒在电晕极、高压静电极与接地电极三者耦合的电场下的运动轨迹,其模拟结果与实验结果相吻合.     

一类3带非分离二元小波和滤波器的完全参数化研究

获得了一类3带非分离正交FIR滤波器的完全参数表达式, 给出了产生连续小波基的充分条件, 构造了非分离紧支正交连续的小波参数化函数库.     

非规则LDPC码随机性结构的分布规律研究和在短环消除算法中的应用

对随机构造的非规则低密度校验（LDPC）码的随机性结构的分布规律进行了研究，结合PEG（progressive edge-growth）算法提出了一种能够保持非规则LDPC码这种分布规律的消除短环算法，实验说明在构造非规则LDPC码中，该算法比单纯只抑制短环的PEG算法的性能要好。