一阶最优性条件研究

本对由Botsko的关于多变量函数取极值的一阶导数检验条件定理^[1]进行了分析研究，给出了更实用而简捷的差别条件。最后，举出若干例子予以说明。     

用Java实现网上结构图实验仿真

基于线性系统仿真的连接矩阵方法，用Java语言开发面向结构图的实验仿真程序，以Applet小应用程序的形式插入网页中运行，实现了信号与系统网上实验教学中的结构图实验仿真。经试用，程序在浏览器中运行正常，可以完成一般线性系统仿真，与以MATLAB，LABView等程序开发的实验仿真程序相比，该程序运行环境简单，几乎所有常用的Web浏览器都支持Java运行，不需另行安装相应组件。对于线性系统结构图，实现了所见即所得的图形化编程环境，具有较好的人机交互性。     

Lens 空间 L~n(p)的■_∧-群■_∧(L~n(p))

设η为 Lens 空间 L~n(p)上的典则复线丛,σ=η-1∈(?)(L~n(p))本文完全求出了元素 σ~i∈(?)(L~n(p))及(rσ)~i∈(?)(L~n(p))的阶.然后,我们把 k 理论中的 r~i 运算应用到 Lens 空间到欧氏空间的浸入和嵌入问题上,得出了新的结果.     

一维光学格子孤子的传输特性及控制研究

利用解析和数值方法研究了在具有横向折射率周期性调制的克尔型非线性介质中光学格子孤子的传输，得到了孤子参数的演化方程以及格子孤子的形成和稳定传输的条件.结果表明：当光束的入射角小于某临界角度时，光束可被类似波导形式的路径俘获而稳定传输，该临界角随折射率调制周期、调制深度的增加而增大，且光束越窄临界值越大.此外，线性空间啁啾虽然对光束传输的中心位置没有任何影响，但会导致光束发散从而破坏格子孤子的形成和稳定传输，对此提出了采用特定功率取值来补偿啁啾作用从而形成格子孤子的方案. 关键词： 光孤子 光学格子 光传输 矩方法     

一阶形式系统K~*及其完备性

模糊命题演算的形式系统L＊已经在模糊逻辑与模糊推理的结合研究中得到了成功的应用.本文考虑与系统L＊相应的一阶逻辑理论,建立了一阶形式系统K＊,并证明了这个系统的完备性.     

矩阵法拟定化学反应机理软件

本软件是根据Happel和Sellers提出的矩阵法编制的。用户只需输入基元反应方程式及其系数矩阵,即可得出全部动力学上有意义的反应路线。本软件不但可用于单一总反应的物系,也可用于多个总反应的物系,既适于均相反应,也适于非均相反应。它是拟定化学反应机理的有力工具。本软件用BASIC语言编写,由DOS3.3以上版本支持,可在APPLE-Ⅱ及其兼容机上运行,使用十分方便。     

四阶非线性边值问题解的存在性与上下解方法

该文讨论四阶常微分方程边值问题u^(4)(t)=f(t,u,u″), t∈［0,1］,u(0)=u(1)=u″(0)=u″(1)=0解的存在性, 其中f(t,u,v):［0,1］×R×R→R为Carathéodory函数. 在不限制f关于u,v的增长阶, 不假定f关于u,v的单调性的一般情形下, 用上下解方法获得了解的存在性结果,并讨论了单调迭代求解的有效性.     

修正的Shepard型算子的Lp-逼近

摘要:本文在L_[0.1]~p空间给出了 Durrmeyer型修正的shepard算子D_n(f,x),对 f∈L_[0.1]~p,(p≥1),得到了下列的Jackson型估计:││D)n(f)-f││_p≤ C_(pλω)(f,n~(-1))p,λ≥2, Cω(f,n~(-1)logn)p,λ=2, C_(pλω)(f,n~(-1))p,1<λ<2,