激光散斑的强度和相位一阶概率密度函数

散斑场的相位起伏和强度起伏在散斑的形成和散射表面粗糙度测定等研究中占有十分重要的位置,为此已有大量研究报道。由于激光在表面起伏大于光波波长的界面反射后,散斑场不一定满足圆高斯过程,所以应该用椭圆高斯过程描述激光散斑场。设散斑场的复振幅为     

一阶和二阶偏差变元微分方程的解的振动性质

考虑具有偏差变元的一阶和二阶微分方程 X′(t) a(t)x(t) p(t)x[g(t)]=0,(1) x″(t) q(t)x[g(t)]=0 (2)的解的振动性。这里,a(t),p(t),q(t),g(t)均为[0, ∞)上的连续函数,g(t):[0, ∞)→R,当t→ ∞时,g(t)→ ∞。方程的一个解如果有任意大     

一阶中立型方程的振动性

考虑一阶中立型微分方程其中c为实参数,τ≥0,pi>0,σi>0,1≤i≤n均为实数。在本文中,我们给出了方程(1)的所有非平凡解为振动的显式充分条     

一阶格值逻辑系统FM的语法问题

文献[1～3]建立了以丰富剩余格为真值域的命题逻辑系统,得到了一些结果.为研究更一般的格值逻辑系统,文献[4]提出了格蕴涵代数的概念,文献[5]讨论了以格蕴涵代数为真值域的命题逻辑,文献[6」建立了以格蕴涵代数为真值域的—阶逻辑系统FM,本文讨论FM的语法问题,得到了FM的可靠性定理、演绎定理及协调性定理.设L是一格蕴涵代数,F是系统FM的公式集合.定理1~[6]对于任意公式p,q,r及正整数m,n,下列公式都是有效公式:     

基于FPGA的NAND FLASH控制器的设计

文章主要介绍了基于FPGA实现NAND FLASH控制器的一种方法。通过系统分析,对该控制器的功能进行了模块划分,分为FLASH控制模块、FLASH读模块、FLASH写模块、FLASH擦除模块以及坏块处理模块,并用VHDL硬件描述语言进行编程,从而实现了该功能。本设计使用开发环境为Xilinx公司提供的ISE以及与其相应的开发工具。     

基于FPGA的NAND FLASH控制器的设计

文章主要介绍了基于FPGA实现NAND FLASH控制器的一种方法.通过系统分析,对该控制器的功能进行了模块划分,分为FLASH控制模块、FLASH读模块、FLASH写模块、FLASH擦除模块以及坏块处理模块,并用VHDL硬件描述语言进行编程,从而实现了该功能.本设计使用开发环境为Xilinx公司提供的ISE以及与其相应的开发工具.     

一阶非线性椭圆组的非线性Haseman边值问题

设D~ 为平面上有界N 1连通域,其边界Γ是N 1条约当闭曲线,Γ∈C_β~1(0<β<1),不妨设z=0∈D~ ,z=1∈Γ。记D~-=E\(?),E为全平面。又E_R为|z|≤R(R是足够大的正数),且记     

一阶中立型时滞微分方程的振动性

考虑一阶变系数中立型方程其中P,Q∈C([t_0,∞),R),τ>0,δ>0。 本文主要结果: 定理1 假设P(t)≤-1,且还满足     

一类一阶时滞微分方程振动性的充要条件

本文研究时滞微分方程 x'(t)+Px(t-r)-qx(t-σ)=0,(1)其中P、q、r、σ均为正数。主要结果(定理1)解决了文献[1]提出的问题10(见文献[1]p.78),即建立了方程(1)的一切解振动的充     

一阶非线性时滞微分方程的线性化振动性

张炳根指出:条件(6)对u趋于零时,f(u)的变化有限制,并提出这个条件是否可改进?本文获得如下结果:定理 在条件(3),(4)下,方程(1)和其相应的线性方程(2)在振动性上等价,其中     

二维流形上的一阶结构稳定系统

命X~r为定义在二维闭的微分流形M~2上的所有至少是类C~r(r≥3)的向量场的空间(具有通常的C~r拓扑)。∑~r记所有结构稳定向量场的集合。余集X_1~r=X~r-∑~r叫做分歧集合。为了研究X_1~r,在文献[1]中首先引进下面的定义1,并研究了平面圆盘B~2上一次非粗的动力系统的性质。随后,文献[2]把某些结果推广到可定向的曲面上,他们用的是     

临界状态一阶时滞微分方程振动性的比较定理

首先在临界状态ｌｉｍｉｎｆｔ→∞ｐ（ｔ）＝１／τｅ下建立了一阶时滞微分方程 ｘ‘（ｔ）＋ｐ（ｔ）ｘ（ｔ－τ）＝０,ｔ≥ｔ０和二阶常微分方程ｙ″ｔ）＋３ｅ／τ（ｐ（ｔ）－１／τｅ）ｙ（ｔ）＝０,ｔ≥ｔ０振动性等价,其中ｐ（ｔ）∈Ｃ（「ｔ０,∞）,Ｒ＾＋）,τ〉０。然后给了出了保证方程（＊）所有解振动或存在最终正解的几个“ｓｈａｒｐ”条件。     

构造一阶Lagrange系统Hamilton函数的新方法

变分原理和规范变换出发, 得到构造一阶Lagrange系统Hamilton函数的条件和方法, 并举例说明结果的应用.     

基于FPGA的IDE硬盘接口控制器的设计

硬盘广泛应用于大容量数据采集系统,实现数据的存储。为了实现CPU对硬盘的控制,本文利用FPGA(现场可编程门阵列)设计了IDE(集成驱动电子设备)硬盘接口控制器,利用此控制器,CPU可以直接访问硬盘,实现PIO模式和Ultra DMA模式下数据的传输。设计采用VHDL(超高速硬件描述语言)实现,在FPGA开发板上验证。     

基于FPGA的IDE硬盘接口控制器的设计

硬盘广泛应用于大容量数据采集系统,实现数据的存储.为了实现CPU对硬盘的控制,本文利用FPGA(现场可编程门阵列)设计了IDE(集成驱动电子设备)硬盘接口控制器,利用此控制器,CPU可以直接访问硬盘,实现PIO模式和Ultra DMA模式下数据的传输.设计采用VHDL(超高速硬件描述语言)实现,在FPGA开发板上验证.     

一阶中立型泛函微分方程组振动的比较定理

关于泛函微分方程振动性的研究,过去只考虑非中立型的时滞和时超方程,近几年来,中立型方程振动性的研究越来越受到人们的注意。对中立型方程振动性的研究,过去大多数集中在纯量方程的情形,而对方程     

一阶中立型微分差分方程解的振动性

一阶中立型微分方程x'(t)—cx'(t—r) px(t—r)=0,(r>0,p>0,c≠0), (1)x'(t)—cx'(t—r) p(t)x(t—r)=0,(r>0,p(t)>0,c≠0), (2)振动性的充分性判据迄今为止结果很少。我们得到了如下的结果。     

一阶泛函微分方程振动性的一些结果

从而定理1证明了Hunt和Yorke(J.Diff.Equ.,53(1984),139—145)对于超前型方程的猜想。 定理2 若(R_1)g(t,ζ)≤t,ζ∈[a,b],R~*=[t_0,+∞)g(t,ζ) 是从 R~*×[a,b]到R~+的连续函数,关于ζ不减     

一阶中立型时滞微分方程解的振动性

则方程(1)的一切解振动。 定理5 设σ>τ,对充分大的t,有P(t)≥0和P′(t)≤0;又设Q(t)>0是τ-周期函数。若(4)式成立,则方程(1)的一切解振动。     

分子水平的达尔文选择——相互作用蛋白质间协同进化的规律

根据Kimuro于1968年提出的分子进化中性理论(Neutral theory of molecular evolution),“分子水平上的大部分进化变异不是由于达尔文选择所致,而是选择上中性或接近中性的突变随机漂移(random drift)的结果”。越来越多的证据表明,蛋白质间的相互作用(interacting)在其功能、调控中发挥重要作用。其中,配基-受体、酶-抑制剂、亚基-亚基等方式的蛋白质相互作用的功能已得到较深入