本文分析了三值信号的二值表示和三值电路的二值结构特征,提出了使用二值触发器和三值触发器设计混值计数器的方案。文中基于B~2TCD混值编码提出了8421 BCD码加法计数器使用混值逻辑的新设计。
本文首先给出了放电泵浦XeCl准分子激光器X射线预电离动力学的负离子模型,解释了不同HCl浓度下的预电离过程。然后选取对XeCl激光动力学起主导作用的反应物及动力学过程,建立了放电泵浦XeCl准分子激光简化动力学模型,并用此模型计算了激光特性和最佳输入能量密度,计算结果能很好与实验符合。最后给出高比能X射线预电离XeCl准分子激光器的理论设计,根据单位体积输入能量、放电区长度、放电电流和气体压力等
将电负性差法估算的Ga_xIn_(1-x)As_(1-y)Sb_y/InP和Ga_xIn_(1-x)As_(1-y)Sb_y/InAs的固相和液相组份数据应用于液相外延生长,均获得了晶格匹配的材料,并首次获得了波长λ>3.5μm的Ga_xIn_(1-x)As_(1-y)Sb_y/InAs异质外延材料。Ga_xIn_(1-x)As_(1-y)Sb_y/InP的固体组份为0.38
本文研究表明,除了200K附近异常峰宽外,2210cm~(-1)IR峰峰宽均是由声子散射和剩余峰宽决定。对于200K附近峰宽、峰型的异常变化,提出了该峰对应缺陷中心由低温的T_d对称性向高温的D_(2d)对称性转变的机制。计算表明,空位+4H模型确实具有两种状态:低于200K的T_d稳态和D_(2d)亚稳态及高于200K的D_(2d)稳态和T_d亚稳态。对称性破缺机制所给出的结果不仅在定性上,而且
本文应用能量型的定理,建立了线性定常系统阻尼特性的分析方法。定义了阻尼能量函数D(X_0,X)=C_i integral from n=(X_0,X) x_idx_(i-1)及综合阻尼系数η=min(C_/a(n-i))。得出结论:(1)Hurwitz判别式中的△_(n-1)正比于系统振荡的阻尼效应;(2)定常系统的综合阻尼系数可以写成分段解析的有理分数形式,便于计算与分析;(3)求出了不依赖于ω
本文建立一种描述通信系统外部行为的时态逻辑。该逻辑的基本谓词为INT,PASS和CLD,记录通信通道的瞬时状态,即打算通信,或正传递消息,或通道关闭。并引入辅助变元,将通道状态汇总为系统状态。从而使各类安全性、活性和公平性均能确切表述。使用这一逻辑进行描述时,还可得益于组合式规则——子描述的逻辑合取组成系统描述。本文还提出了证明由CSP语言书写的通信协议满足其行为描述的推理规则。
本文讨论了逼近两个自变量的拟线性双曲方程组具可动边界。且边界条件为非线性的初边值问题的非穿行差分方法的收敛性。这类问题来源于求解拟线性双曲方程组的初边值问题的分离奇性法。
极大函数与平方函数的比较是欧氏空间上Hardy空间理论的基础。本文建立了正曲率完备Riemaon流形上的相应理论,即不等式(2)。
本文利用矩量法导出了同轴多模馈源的模比公式,并且先用几何绕射理论(GTD)求出距离馈源口面一个波长处无限大平面上的场,尔后再据此求出辐射场。理论与实测结果吻合良好。
本文证明了:设(x_n,F_n)是一致渐近鞅,若sup E||x_n||=∞,则存在停时τ使有E||x_τ||I_(τ<∞)=∞。若E有RNP,则每一个向量值(C)类Mil(GFT)a. s.(in pr.)强收敛。