一种实用的互联网络拓扑结构RP(k)及路由算法

提出了一种基于Petersen图的互联网络RP(k), 研究了该互联网络的性质, 它具有良好的连接度、短的直径和简单的拓扑结构. 在节点小于300的情况下, RP(k)的直径低于Torus的直径, 其最优分组的距离小于Torus最优分组的距离, 特别是当分组节点数m满足6≤m≤100时,RP(k)最优分组的距离近似等于Torus最优分组距离的一半. 基于Petersen 图结构, 设计了点点通信、置换路由、广播路由和多对多路由算法, 它们的通信效率分别为[ k /2]+2,k+5,[k/2]+2和k+5.     

形式系统L*的扩张L*n及其完备性

将Pavelka语义与语构有机结合的方法运用于命题演算形式系统L^*的研究, 在公式集中引入部分常值, 从语义和语构两个途径将公式程度化, 同时将推理过程也程度化, 提出了系统<L^*的一个扩张L^*_n, 证明了L^*_n的完备性.     

材料杨氏模量的纳米压入识别

通过对非理想Berkovich 压头压入弹塑性固体的加、卸载曲线所进行的近似解析分析和数值分析表明, 在材料杨氏模量与压入参数间存在新的近似函数关系, 该关系把名义硬度和综合杨氏模量的比值与卸载功和压入总功的比值联系起来. 其中名义硬度H_n被定义为最大压入载荷P_m除以压头对应于最大压入深度h_m时的横截面积A(h_m), 即H_n = P_m/A(h_m). 结果材料杨氏模量的识别可以通过仅仅测定压头的最大压入载荷、最大压入深度以及压入功来实现, 而不必利用初始卸载斜率和投影接触面积. 因此将该方法称为“纯能量方法”. 经5种材料杨氏模量的纳米压入识别实验证明, “纯能量方法”较现有方法具有较高的识别精度.     

命题演算系统L*与谓词演算系统K*中统一的近似推理理论

引入了度量R₀-代数和R₀型Hilbert方体的概念. 从语义和语构两个方面建立了同时适用于命题逻辑系统L^*与一阶逻辑系统K^*的近似推理理论,并得到了统一的完备性定理.     

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

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

确定周期为2npm二元序列线性复杂度的快速算法

提出和证明了确定周期为2ⁿp^m的二元序列的线性复杂度和极小多项式的一个快速算法, 这里2是模p²的本原根. 算法既推广了确定周期为2ⁿ的二元周期序列的线性复杂度的一个快速算法, 也推广了确定周期为pⁿ的二元周期序列的线性复杂度的一个快速算法.     

广义L系统

由Lindenmayer创立的L系统既是一个描述生物生长的数学模型, 又是一种并发的形式语言. 它的研究历来为人所重视. 但是, L 系统及其种种变形刻画的都是同步的并发系统. 实际上, 在自然界中存在着许多异步的并发现象. 因此, 对传统的L系统作了推广, 提出了广义L系统的概念, 证明了广义L系统不能被传统的L系统所覆盖. 还划分了广义L系统的子类, 证明了各子类等价的充分必要条件, 并得到一个基本定 理: 两个GPD0L系统(一种确定型广义L系统)L[m₁, m₂,…,m_j]和L[n₁, n₁, ,…, n_k]等价, 当且仅当k = j并且存在诸m_i的公因子g和诸n_i的公因子h, 使得 "_i : m_i/g=n_i/h.     

均匀三角多项式B样条曲线

在空间Ω =span(sint, cost, t^k-3,t^k-4,...t, 1) k≥3)上定义了一类均匀样条曲线——k阶三角多项式B样条曲线, 它具有许多与均匀B样条相类似的性质. 给出了三角多项式B样条曲线的离散公式. 由于这类曲线无需有理形式, 既可表示多项式曲线又可表示三角函数曲线, 因此可应用于CAD/CAM领域作为几何造型的一种新的有效模型. 关键词 C-曲线 均匀B样条 C-B样条 三角多项式B样条     

C2连续的四次样条曲面插值

讨论了构造C²连续的四次样条插值曲面问题. 把四次样条函数降为C²连续可提供额外的自由度, 用于提高曲面的插值精度和控制曲面的形状. 给出了一个确定自由度的方法和C²连续的四次样条曲线需满足的连续性方程, 提出了构造C²连续的四次样条插值曲面的新方法. 新方法的特点是曲面需满足的连续性方程是三对角占优势的, 曲面的不连续点在给定的数据点处. 所构造的曲面具有四次多项式插值精度. 最后以实例对新方法和现有三、四次样条函数方法的插值精度做了比较.     

修正的Kleene系统中的广义重言式理论

将王国俊修正的Kleene系统中引入的广义重言式理论进行扩充和推广,引入了可达a⁺-重言式等概念. 主要结果是: (1)分别在系统 W 和W_k中得到了公式集F(S)关于同余的分划;(2)在系统W_k中,对任一公式最多进行(k+1)/2 次升级算法即可得到重言式;(3)在W(W)中,重言式不可能由对非重言式进行有限次升级算法得到; (4)在系统W(W) 中,{[(1/2)²]-MP} 规则成立.     

P2P网络中常量度数常量拥塞的DHT方法研究

资源和数据的有效定位是大规模Peer-to-Peer系统中面临的挑战性难题, 分布hash表(DHT)方法是解决这一难题的重要技术途径. 文中首次基于Kautz图提出了一种有效的DHT方法——FissionE. FissionE是第一个常量度数、O(logN)网络直径且(1+o(1))拥塞的DHT方法, FissionE的提出表明对于常量度数、常量拥塞的DHT方法, 其网络直径可以是O(logN)的, 优于当前研究中猜想的W(N^1/d). FissionE方法的平均结点度数为4, 网络直径小于2*log₂N, 平均路由路径长度log₂N, 在结点规模较大时, 性能优于现有的常量度数DHT方法CAN和Koorde.     

深亚微米纤锌矿相AlGaN/GaN MODFET输出特性的微分负阻效应

用全带组合Monte Carlo方法模拟了Al_0.15Ga_0.85N/GaN MODFET 的直流特性. 模拟器件的栅极长度L_g为0.2 μm, 沟道长度LDS为0.4 mm. 在模拟得到的I_DS-V_DS输出特性曲线中, 发现了微分负阻效应, 即V_GS为固定值时, 当V_DS逐渐增加, 并达到某一阈值时, I_DS会随着VDS的增大而减小. 对GaN体材料的速度-电场特性和对器件的二维电子气沟道内的电场和速度分布的分析表明, 沟道内电子平均漂移速度的负阻效应导致了输出特性的微分负阻效应, 二维电子气沟道内的瞬态输运对微分负阻特性也有一定影响. 这种效应只有在超短沟道MODFET中才能发生.     

Aln (n = 3, 4, 6, 13, 19)团簇的结构稳定性与形态演化

采用第一原理赝势平面波方法, 计算了不同结构形态Al_n (n = 3, 4, 6, 13, 19)团簇的几何与电子结构, 通过结合能与HOMO-LUMO能隙表征和分析了其结构稳定性, 采用线性同步转变 (LST)方法考察了其不同结构形态间的演化与转 变. 结果表明: Al₃, Al₄, Al₆, Al₁₃和Al₁₉团簇的稳定结构形态分别为三角形、 菱形、八面体、二十面体、双二十面体. Al₃, Al₄与Al₁₃团簇不存在亚稳结构. Al6与Al19团簇存在亚稳结构, 其结构形态分别为平行四边形与八面体. Al₆团簇亚稳结构与稳定结构的能级差大、转变能垒低, 结构转变容易, 亚稳结构稳定性差. 而Al₁₉团簇亚稳结构与稳定结构的能级差小、转变能垒高, 结构演化不易, 因而实验和理论模拟中能观察到其亚稳结构形态——正八面体的存在.     

ZnTe/ZnTe:Cu复合背接触层对CdTe太阳电池器件性能的影响

将真空共蒸发技术沉积的ZnTe/ZnTe:Cu复合薄膜应用于CdS/CdTe太阳电池, 作为碲化镉与金属背电极间的过渡层. 比较了有无ZnTe复合背接触层的两种CdTe电池的光、暗电流-电压(I-V)曲线和电容-电压(C-V)特性, 并研究了本征ZnTe薄膜厚度和背接触层的退火温度对电池性能的影响. 结果表明, 有复合背接触层的CdTe光伏器件, 能够消除暗I-V曲线饱和与光、暗I-V曲线交叉现象, 且填充因子在没有高阻透明薄膜的情况下达到了73%. 结合CdTe电池的能带图讨论了其中的原因.     

模式伴随化的基本规则及其代价分析

从程序语法结构而不是从具体问题本身出发, 提出了基于最小程序行为分解的模式伴随化方法. 此方法无论在算法设计上还是在软件实现上均更具普遍性, 并具有许多独特的优点. 它保留了断点存储技术在减少浮点计算量和降低存储开销方面的优点, 同时克服了其仅仅适用于计算过程均匀可分假设的局限性. 首先给出了模式伴随化实现的基本规则, 详细介绍了基于最小程序行为分解的模式伴随化方法. 然后, 基于自动微分(AD)基本假设定义了可分程序空间和微分代价函数, 得到了两个反映计算微分代价的基本常数s和m. 在计算过程均匀可分性假设下, 讨论了断点存储在浮点计算量和空间存储开销上的最优实现, 证明了深度划分在这两个方面同时具有对数复杂性的结论. 最后, 详细论证了基于最小程序行为分解的模式伴随化方法在浮点计算量和空间存储开销两个方面同时具有过程引用和划分深度依赖性.     

[CoPt/Ag]n纳米多层膜的结构和磁性能

用磁控溅射法分两种顺序制备了系列厚度的[CoPt/Ag]_n纳米多层膜, 600℃真空退火后, 进行了磁性测量和微结构分析. 研究表明, 退火后两种顺序制备的[CoPt/Ag]_n多层膜有着不同的微结构和磁性能, 且膜厚越小差别越显著. 先沉积Ag层的[Ag/CoPt]_n多层膜, 退火后更易于形成高有序化度的L10-CoPt相, 并具有较高的矫顽力. Ag作底层影响了CoPt无序立方向有序四方的转化是引起这种差别的可能原因. 剩磁曲线分析表明, Ag的掺杂有利于降低CoPt晶粒间的磁交换耦合作用.     

金属微滴快速凝固的过冷度研究

建立了金属微滴快速凝固过冷度的数学模型, 分析了金属微滴快速凝固过冷度的影响因素, 并定义参数ζ = σ,_SL³/(T_LΔH²)为微滴凝固过冷度变化的影响因子. 研究结果表明, 金属微滴快速凝固的过冷度大小随着凝固条件不同而变 化, 并主要是由于影响因子随条件不同发生改变所致, 影响因子越大, 可获得的相对过冷度也就越大. 快速凝固微滴的固液界面能、结晶潜热等参数会随微滴凝固条件的变化而发生改变.     

植物光谱应用于白菜铜胁迫响应研究

在实验室土培条件下, 应用白菜(Brassica Campestris L)叶片红边位、可见区光谱、近红外区光谱三种特征光谱探析了白菜生长重金属Cu污染的胁迫响应. 随土壤中Cu含量增加, 白菜叶片对金属Cu富集程度逐渐增大, 白菜叶片的叶绿素含量降低; 随白菜叶片Cu含量增加, 白菜叶片可见光区光谱反射率(A₁)增加, 红边“蓝移”(向短波方向飘移)程度(S)逐渐增强, 而白菜叶片近红外区光谱反射率(A₂)降低; 并且A₁, A₂和S三参数都能够较好地模拟(复相关系数R²>0.95)和预测白菜叶片Cu含量.     

并行处理系统的有序调度问题及其渐近最优算法

研究一类并行处理系统的有序调度问题. 详细讨论了有序调度问题的背景及研究有序算法的意义, 给出了有序算法有别于经典算法的主要特征. 对目标为极大化处理器最小负载的并行有序调度问题, 给出了两个近似算法族, 它们是渐近最优的, 并且对固定的m, 最坏情况界与问题的上界非常接近, 从而大大改进了已有文献中的结果.     

拉伸变形应变硬化指数的实验测量及其精细分析

从应变硬化指数n的定义出发,从理论上导出了在不同的典型变形路径(恒应变速率ε ,恒十字头速度v和恒载荷p)下用实验参数p（变形载荷）,v（十字头速度）和l(试样标距长度)表达的一组n值测量公式,并根据这组公式建立了在恒ε,恒v,和恒p条件下均能测量 n-ε（恒?的应变硬化指数）,n-v(恒v的应变硬化指数）和n-p（恒p的应变硬化指数）的统一测量方法,同时从分析传统测量方法必然存在理论误差和随机误差出发,提出了精确测量方法. 还根据典型超塑性合金的实验给出在同一组恒ε,恒v或恒p变形路的曲线上对n-ε,n-v和n-p的测量结果,由此判明超塑性与塑性变形的结构敏感性.此外在不同组恒?,恒v或恒p曲线上用相同的测量公式所测得的同一个n-ε,n-v或n-p也不相同,由此加深了对n-ε,n-v和n-p的数学表达与实测结果之间关系的认识,从而实现了对参数n实验精细分析的目的.