简介：讨论了一类广义Liénard型系统(x)=p(y)k(x),(y)=-f(x,y)p(y)q(y)-g(x)h(y)非零周期解的存在性和不存在性,给出了非零周期解的存在和不存在的一类充分条件.

简介：会计电算化信息系统,将手工条件下的会计核算工作集中在电子计算机中由会计核实软件来完成,由于会计信息处理方式的改变,给内部控制带来了一些新问题。本文围绕内部会计控制目标,结合会计电算化内部控制的特点,选择新的更多的控制对象,采取更好的控制方式,完善会计电算化信息系统内部控制,加强对会计电算化信息系统的开发和研制进行探讨与研究。

简介：容错技术已成为提高计算机系统可靠性的必要手段。通过对冗余模式及级别进行选择，本文提出了一种面向任务的双机并联体系结构，运用双机数据比较实现容错。文中给出了此系统的功能、结构及原理，并给出了部分实现方案

简介：利用Liapunov函数方法，研究了一类一般的非线性系统周期解的存在唯一性与渐近稳定性,得到了存在唯一渐近稳定周期解的充分条件。

简介：给出了中心对称三次系统存在一类双纽线分界线环的充要条件，并举出此系统至少还存在四个扳限环的(2．2)分布的例子。还举出了中心对称三次系统至少存在六个极限环作(3．3)分布以及五个极限环，其中一个极限环包围作(2．2)分布的四个极限环的例子。

简介：在三轴整体式速率偏频激光陀螺无法进行输出轴冗余配置的情况下,为实现陀螺的元件级故障检测与隔离,提出了由三轴整体式速率偏频激光陀螺和挠性陀螺组构成的双惯性系统的故障检测与隔离方案,给出了双惯性系统的量测方程,并以此为基础推导了用于进行故障检测与隔离的奇偶方程.提出一种基于奇偶方程的双惯性系统故障检测与隔离方法,并针对一类无法用奇偶方程进行隔离的故障,给出一种搜索无故障陀螺输出轴的故障检测与隔离新方法.

简介：本文研究批量到达带启动时间的单重休假的M/G/1排队系统,给出稳态队长的母函数和等待时间分布的LST及其它们的随机分解结果,推导出忙期、闲期和线期母函数和均值.

简介：讨论了一类与年龄相关的时变种群扩散系统最优生育率控制的非线性问题,证明了最优生育率控制的存在性,并给出了控制为最优的必要条件及其由偏微分方程组和变分不等式组成的最优性组.这些结果可为时变种群扩散系统最优控制问题的实际研究提供理论基础.

简介：研究了一类平面齐五次系统{dx/dt=a50x^t＋a41x^4y＋a32x^3y^2＋a23x^2y^3＋a14xy^4＋a05y^5,；dy/dt=b50x^5＋b41x^4y＋b32x^3y^2＋b23x^2y^3＋b14xy^4＋b05y^5当其只有唯一的有限远奇点且具有三对特殊方向时的全局拓扑结构及系数条件．假设系统只有唯一的有限远奇点（O，O），不妨设bs。一0，其特殊方向由示性方程G（口）一0给出，引进poincare变换研究无穷远奇点，再根据定理中的系数条件，列出系统所有可能的无穷远奇点和特殊方向，并判断其类型，由此画出系统具有三对特殊方向时的全局相图．

简介：讨论了具有热储备和两个独立相同部件的平行系统在由常规错误引起失效下的渐进稳定性.首先,利用Banach空间的Volttera算子方程得到了非负动态解的存在唯一性;然后,利用强连续线性算子半群理论证明了系统正的动态解的存在唯一性,而由于初始值不在定义域内,故得到的是mild解.但在t＞0时系统古典解存在唯一,所以此时mild解即为古典解.最后,利用线性算子半群稳定性的结果,证明了该动态解在范数意义下收敛到稳态解,进而得到了系统的渐进稳定性.

简介：蛤出三次系统{dx/dt=-y(ax^2+bx+1)+δx-lx^2dy/dt=x(ax^2+bx+1)极限环的不存在性，存在性及唯一性的一些充分条件．

简介：采用共孔径发射和接收技术可使激光信标系统结构紧凑、控制简单。在激光的共孔径发射和接收中使用偏振耦合分光方法有分光效率高、简单可靠等优点。但是，组成地平式折轴望远镜的反射镜对s光和p光的相位延迟有差异，望远镜旋转造成的激光偏振态变化更严重地影响了偏振分光的接收效率。要保持较高的接收效率，就需要对激光相位进行动态补偿。

简介：得到εdx/dt=A(t)x的扰动系统具有指数型二分性一个充分条件，作为应用得到其扰动系统概周期解及有界解的存在性，推广了文[1,2,3]的结果。

简介：采用激光二极管双侧泵浦横向流连续液体系统，具有很明显的优点：泵浦源与介质吸收谱的耦合效率高、激光介质的循环流动可以避免热量累积、液体介质不会像晶体一样存在热致双折射和断裂特性等。首先建立激光振荡的物理模型，分析系统参数对激光输出功率的影响；模拟系统的转换效率与参数之间的关系，检验该系统输出高功率的可能性。