面向传值进程的一阶模态逻辑的可判定性与模型检测

对于面向传值进程的Hennessy-Milner逻辑的一阶扩充HML(FO), 给出了基于带赋值的符号迁移图的语义解释. 证明了HML(FO)的子逻辑HML(FO²)是满足性可判定的, 并且讨论了判定的复杂性. 最后给出传值进程关于HML(FO²)的模型检测的可判定性结果.     

变换矩阵(mod n)的阶及两种推广Arnold变换矩阵

分析了矩阵(mod n)的阶的结构,然后给出有限域上的矩阵的阶与其Jordan标准形的关系.接着给出两种2维Arnold变换矩阵的n维推广:A型Arnold变换矩阵和B型Arnold变换矩阵,并在给出的关于矩阵阶的结果的基础上给出它们的阶的分析结果和其他性质.     

变换矩阵（mod n）的阶及两种推广Arnold变换矩阵水

分析了矩阵(mod n)的阶的结构，然后给出有限域上的矩阵的阶与其Jordan标准形的关系．接着给出两种2维Arnold变换矩阵的n维推广：A型Arnold变换矩阵和B型Arnold变换矩阵，并在给出的关于矩阵阶的结果的基础上给出它们的阶的分析结果和其他性质．     

极小(C_4,K_4;7)-平面图

若平面图G没有与H1同构的子图,且G没有与H2同构的子图,则G称为(H1,H2)-平面图.(H1,H2;n)-平面图表示n阶的(H1,H2)-平面图。若G是(H1,H2;n)-平面图,去掉G的任意一条边,都不再是(H1,H2;n)-平面图,则G称为极小(H1,H2;n)-平面图.本文给出了所有的极小(C4,K4;7)-平面图,有助于证明PR(C4,K8)。     

正交平衡对称的区间多小波研究

研究基于任意紧支长度??的L2(R)上2重对称/反对称正交多小波的区间多小波系统构造理论与性质.主要贡献是: (1) 系统研究了保持消失矩不降低的一般正交区间多小波的构造,得到了区间多小波的参数化表示;(2) 给出了区间多小波的分解重构公式;(3) 定义了区间多小波的平衡性概念,研究了正交平衡多小波的构造,这是以往工作所忽视的;(4) 研究了区间多小波关于给定对称性的充要条件.     

正交平衡对称的区问多小波研究

研究基于任意紧支长度γ的L2(R)上2重对称／反对称正交多小波的区间多小波系统构造理论与性质．主要贡献是：(1)系统研究了保持消失矩不降低的一般正交区间多小波的构造，得到了区间多小波的参数化表示；(2)给出了区间多小波的分解重构公式；(3)定义了区间多小波的平衡性概念，研究了正交平衡多小波的构造，这是以往工作所忽视的；(4)研究了区间多小波关于给定对称性的充要条件．     

离散多参数分数Fourier变换

分数Fourier变换是传统Fourier变换的推广,在光学、信号处理、信息安全等许多研究领域都有广泛的应用,而简明有效的离散化数值计算方法是其得以广泛应用的关键.多参数分数Fourier变换(MPFRFT)是分数Fourier变换的一种广义形式,包含已知的分数Fourier变换作为特例,可为分数Fourier变换的理论研究和应用提供便利.文中详细阐述离散多参数分数Fourier变换(DMPFRFT)的定义和离散化计算方法,并给出二维多参数分数Fourier变换(2D-MPFRFT)和二维离散多参数分数Fourier变换(2D-DMPFRFT)等概念.最后作为应用,提出一种基于2D-DMPFRFT的数据图像加密方法,数值仿真结果验证了所提出加密方法的有效性和安全性.     

确定复杂多孔材料有效导热系数的新方法

从Lattice-Boltzmann(LB)方程出发, 推导了二维LB 导热模型(D2Q5),计算了具有复杂结构的多孔材料的有效导热系数, 计算结果与其他文献中的实验结果符合较好. 分析了多孔材料有效导热系数与材料孔隙率、单位面积孔隙数、骨架形状等参数之间的关系并给出了估算公式. 给出的二维LB 导热模型能方便地计算各种小尺度上具有复杂边界或复合材料中的导热问题, 且二维模型能方便地扩充到三维.     

新型HfO2栅介质中的频散效应及参数提取方法

本文研究了原子层化学气相淀积ALCVD(atom layer chemical vapor deposition)方法淀积的HfO2/SiO2/p-SiMOS电容的电特性.高频时,积累电容出现了频率色散现象.针对双频C-V法测量超薄HfO2/SiO2堆栈栅MOS电容中制备工艺和测量设备引入的寄生效应,给出了改进的等效电路模型,消除了频率色散.研究发现,高k介质中存在的缺陷和SiO2/Si处的界面态,使高频C-V特性发生漂移.对禁带中界面态的分布进行归纳,得到C-V曲线形变的规律.研究了形变的C-V曲线与理想C-V特性的偏离,给出了界面态电荷密度的分布,得到了相对于实测C-V曲线的矫正线.通过比较理想C-V曲线和矫正线,提取了平带电压、栅氧化层电荷、SiO2/Si界面的界面态密度等典型的电学参数.     

一类基因表达式程序设计的收敛速度

利用Markov链与谱分析理论研究基于精英保留策略的基因表达式程序设计算法(ME-GEP)的收敛速度,获得了以下结果:(1)ME-GEP算法依概率收敛到全局最优解;(2)ME-GEP算法的收敛速度由算法对应的Markov链的状态转移矩阵的修正谱半径决定;(3)给出了修正谱半径的一个上界;(4)作为文中理论成果的应用,分析了多项式函数建模问题的ME-GEP算法的收敛速度,进一步证实了算法收敛速度与算法参数的依赖关系。     

一种有符号余数系统2~n缩放方法及VLSI实现

数值缩放的高效VLSI实现是余数系统(RNS)应用于数字信号处理(DSP)系统中的关键问题之一.文中首先提出了有符号余数系统数值缩放通用算法,明确给出了在负数情况时修正常量的计算方法.在此基础上给出了一种有符号余数系统2n缩放的高效实现方法,该方法利用中国剩余定理和一个较小的冗余基实现基扩展以获取RNS整数的低n比特信息,并借助所引入的冗余基用奇偶检测完成RNS整数的符号检测,同时还提出了冗余基更新方法及负数情况下冗余通道修正常量计算方法.分析结果表明所提出的RNS数值缩放方法的复杂度仅同RNS的动态范围位宽呈线性关系,并避免了使用查找表(LUT).最后,完成了此方法和基于串行方式的2n缩放算法的VLSI实现,在相同约束条件下该方法的面积和功耗均减小了35%左右,而关键路径延时则减小了12%左右,VLSI版图也表明了该方法具有更简单的芯片内联结构.     

用Loop细分曲面插值三角网格

利用Loop细分方法的极限点公式,给出了一种用Loop细分曲面插值三角网格的简单高效方法.其优点有:(1)局部性:改变一个待插值点的位置时,只影响其附近插值曲面的形状.(2)计算简单:新点直接由显式公式给出,不用解复杂的线性方程组.(3)易于实现:只改变第1步细分规则中的几何规则,其他步骤与Loop细分方法相同.(4)自由度多:有足够的自由度调节插值曲面的形状,得到使设计者满意的插值曲面.(5)易推广:几乎适用于任何逼近型细分方法,对逼近型细分方法的唯一要求是:初始顶点处对应的极限点公式由显式公式给出.     

分布式发射阵列下目标回波相关性分析

发射分集多输入多输出(MIMO)雷达利用分布式发射阵列对目标回波去相干,然后利用集中式接收阵列直接使用接收到的目标回波(不分离各发射阵元的信号)进行多目标角度估计.文中分别在Swerling I和II目标模型下,分析了目标回波之间的相关性.通过分析得到:(1)在Swerling II模型下,目标回波不相关(2)在Swerling I模型下,要使目标回波的相关性随着发射阵元数的增加而降低,发射阵元增加前后的信号归一化协方差矩阵要满足一定关系,文中给出了这个关系最后目标回波相关性和角度估计性能的计算机仿真验证了理论分析的正确性.     

基于可重构的星载数据处理系统结构研究

通过分析当前星栽计算系统(OBCS)在性能、可靠性和成本上面临的挑战,指出可重构计算技术能很好地解决OBCS海量数据处理问题.给出当前OBCS的一个总体结构,提出了一个基于LEON2处理器核的可重构星载计算系统结构.通过比较几种典型的OBCS的数据处理能力,结果表明以LEON2为协处理器的可重构星载计算系统在处理海量数据方面有着较好的性能.     

CPML截断2.5维问题中圆柱波导开放边界的应用

为了解决高功率微波(HPM)源模拟中圆柱波导开放边界的截断问题，研究了柱坐标系下卷积完全匹配层(CPML)吸收边界，给出了CPML中电磁场的差分方程和轴边界条件，并进行了数值验证．在不同频率和模式的激励源作用下，模拟了2．5维问题中CPML截断圆柱波导开放边界的性能，相对误差最大值都小于-90dB在2．5维电磁PIC软件中引入CPML方法，模拟计算了相对论返波管．结果表明，CPML在截断波导开放边界方面的性能远好于Mur型吸收边界条件。     

Gamma分布下基于年龄更换的二态混联系统综合重要度计算

在综合重要度计算方法的基础上,面向年龄更换策略,分别给出了并-串联和串-并联等典型二态混联系统组(部)件综合重要度具体计算公式。在假设部件寿命服从Gamma分布的条件下,推导出并-串联和串-并联等典型二态混联系统综合重要度的等价计算公式,同时给出了公式的物理意义。以二态混联系统为算例,依据系统中组(部)件串并联关系计算了各组(部)件的综合重要度值,分析结果验证了二态混联系统综合重要度计算方法及其物理意义的正确性和有效性。     

天然石墨利用现状及石墨制品综述

作为战略性资源,天然石墨具有热膨胀系数小(1×10~(-6)~3 0×10~(-6)K)、导热系数大(1 2 9 W m~(-1)K~(-1))、耐高温、良导电性(电阻率8×10~(-6)~1 3×10~(-6)Ωm)、超高润滑性(摩擦系数0.0 8~0.1 6)、可塑性、高的化学稳定性以及优良抗热震性等特性,是一类重要的矿物材料.其广泛应用于机械、冶金、石油化工、轻工、电子、电器、国防、军工、航天等国民经济各个领域,被誉为"万能"非金属材料之一.我国是石墨矿产资源大国,本文基于我国近年来在石墨矿产资源勘探、矿山加工工艺、生产消费及对外贸易等领域的数据,给出了天然石墨的综合利用现状分析,围绕石墨矿精纯、石墨制品深加工、石墨在国民经济及新兴产业等领域的应用展开讨论,内容涉及膨胀石墨、氟化石墨与石墨烯三类最重要的石墨制品.重点分析了我国进口石墨制品的生成加工、技术革新及与发达国家之差距等问题,系统介绍了石墨资源的综合利用进展.最后,基于石墨制品及无机非金属学科化发展趋势,给出石墨科学的未来发展方向.     

F[x]格基约化算法和多条序列综合

利用F[x]-格基约化算法给出了域F上长度为N 的 m条序列的最短线性移位寄存器(即极小多项式)的综合算法. 此算法的计算复杂度为O(N ²)次F中乘运算, 同时给出了一个极小多项式惟一的充要判别条件, 且在极小多项式不惟一时, 给出所有的极小多项式的一般形式和当F为有限域时极小多项式的个数.     

固体氧化物燃料电池金属连接体材料

本文简述了固体氧化物燃料电池(SOFC)连接体材料的发展过程,重点介绍了金属连接体材料的研发现状。目前研究和使用的合金有三种:Cr基合金、Ni基合金和铁素体不锈钢。Cr基合金的耐热温度能达到SOFC的要求,并且其表面氧化后生成的Cr2O3有很高的电导率,但是Cr元素的挥发很容易引起阴极中毒而降低电池性能;Ni基合金有很高的抗氧化性,但其热膨胀系数(TEC)比电解质(如YSZ)大很多,热膨胀系数的不匹配很容易造成电池破裂;铁素体不锈钢能满足SOFC所要求的强度,并且有合适的热膨胀系数,但是也需要在其表面制备保护层来降低氧化速率和Cr挥发。本文以有代表性的合金作为例子对三种合金的性质作了总结,并给出了本实验室所开发的几种Fe-Cr高温合金(铁素体不锈钢)的性能。最后总结了合金连接体的发展方向。     

序列递推关系与一类代数几何码的有效译码——Ⅱ.一个达到Feng Rao界的有效译码算法

对于一类代数几何码 ,在其错误向量的伴随式序列上引进了一种递推关系 .运用广义Berlekamp Massey算法 ,结合大数表决方案 ,给出了一类代数几何码的一个达到Feng Rao界的有效译码算法 ,这个算法的复杂度为O(γo1n2 ) .对于不同的代数曲线 ,可通过适当选取基函数来降低算法的复杂度