轴外物点理想成像的条件

用费马原理证明了轴外物点理想成像的条件     

ICP-AES光谱仪的研制及其分析软件的设计

目前,市场上的ICP光谱仪仍以国外仪器为主,国内仪器的开发与研制始终未能有所突破,在仪器分析软件上仍属空白,这极大限制了国内ICP光谱仪的发展.本文主要针对单道顺序扫描型ICP-AES光谱仪的硬件及分析软件的开发提供了思路.     

PLC在双动压力机控制系统中的应用

PLC应用:ROL(027)循环左移指令、ROR(028)循环右移指令完成自动与手动控制,INC(038)BCD码加1指令完成单次控制,@ROR(028)微分循环右移指令完成循环控制,DIV(033)BCD码除法指令完成安全工作报警控制.     

气相Lys分子体系捕获双电子单重激发态的特性

采用密度泛函理论（DFT）中的B3LYP方法, 在6-311+G(2df)基组水平上, 对气相赖氨酸（Lys）分子和Lys^2-的基态稳定构型进行优化, 并用含时密度泛函理论（TD DFT)方法考察气相Lys分子和带电离子体系单重激发态的特性. 结果表明： Lys分子体系捕获双电子时, 其体系能量有所增加； S1单重激发态与S0基态能量差值变小； 分子体系的荧光波长增加； S7单重激发态跃迁轨道数减少.     

遗传算法模式理论研究

给出了多种交叉方式遗传算法的模式定理及相关的证明.该定理避免了遗传算法模式理论的不足,使模式理论更加准确、严格.     

不连续二阶周期边值问题的可解性

考察了一类非线性项含有一阶导数的二阶周期边值问题的解的存在性,其中非线性项是Carathèodory函数.通过构造非线性项的高度函数并且利用Leray-Schauder不动点定理建立了两个存在定理.第一个定理表明只要高度函数的积分是适当的,这类问题至少有一个解.第二个定理表明当非线性项在无穷远处增长的极限是一个无界函数时在适当条件下这问题仍可能有一个解.     

处理优化约束条件的微分方程法

在文[1]中,作者曾提出求解一般约束优化问题的一种新方法。本文利用微分方程对约束条件做进一步的讨论,证明了从一可行点的某邻域出发的该微分方程组的解关于部分变元总收敛到问题(1.1)的可行点。     

Lipschitz条件题设的完善

本文给出了函数单侧极值点的定义,并证明了连续函数的单侧极值点所成之集与实数集等势,且利用此完善了函数满足Lipschitz 条件的题设。     

透射和反射组合系统的基点基面

本文研究了由透射和反射系统构成的组合系统的基点基面,推导出了其位置公式,结果表明这样的组合系统等效于一个反射镜,等效反射镜就是反射系统经透射系统所成的象,最后对其性质进行了讨论.