环焦副面散射的复射线分析

以复源点所产生的高斯波束场来模拟高效率馈源ＨＥ＾－１１口径的辐射，馈源辐射近区内环焦副反射面的散射场可由复射线追踪法求得。作者在该文中给出馈泊位置及馈电方向沁定量通用的费马原理表达式及散射场表达式，通过数值计算给出散射场分布结果。这一方法可用于环焦天线的分析与优化设计。     

色燥声驱动的布朗粒子在周期势场中的运动

本文用计算机模拟方法研究了在高斯色燥声驱动下的布郎粒子在一维Co-sne势场中的运动，得到了一组在不同噪声强度、相关时间、阻尼系数和外力作用下速度和坐标空间中的概率密度分布的数据，同时也研究了均方位移和时间的关系以及平均速度和外力的关系。     

高阶模高斯光束入射时透镜光轴上的光场分布

应用惠更斯－菲涅耳原理和薄透镜的傅里叶变换性质，对柱对称高阶模高斯光束入射时透镜光轴上的光场分布进行了分析，得到了光场复振幅分布的一般表达式，给出了数值计算结果     

关联噪声驱动多维系统的随机动力学

应用随机方法，将关联高斯白噪声驱动系统的随机动力学由一维随机变量的情况推广到了多维的情况，推导了该情况下的一般福克－普朗克方程．应用以上得到的一般福克－普朗克方程，推得了双模激光系统的福克－普朗克方程．发现关联噪声情况下，双模激光系统的福克－普朗克方程变得更为复杂     

一类带脉冲接种和脉冲剔除的SIR传染病模型的稳定性态

文章研究了一类具有脉冲接种和脉冲剔除的SIR传染病模型的动力学性态．应用Floquet定理研究了无病周期解的局部稳定性，通过脉冲微分不等式证明了其全局渐近稳定性．     

逆高斯分布参数的估计

在给出逆高斯分布参数μ及β的极大似然估计和矩估计的基础上,验证了参数μ的样本均值的无偏性及相合性。     

A QUANTIFIER-ELIMINATION BASED HEURISTIC FOR AUTOMATICALLY GENERATING INDUCTIVE ASSERTIONS FOR PROGRAMS

A method using quantifier-elimination is proposed for automatically generating programinvariants/inductive assertions.Given a program,inductive assertions,hypothesized as parameterizedformulas in a theory,are associated with program locations.Parameters in inductive assertions arediscovered by generating constraints on parameters by ensuring that an inductive assertion is indeedpreserved by all execution paths leading to the associated location of the program.The method can beused to discover loop invariants-properties of variables that remain invariant at the entry of a loop.Theparameterized formula can be successively refined by considering execution paths one by one;heuristicscan be developed for determining the order in which the paths are considered.Initialization of programvariables as well as the precondition and postcondition,if available,can also be used to further refinethe hypothesized invariant.The method does not depend on the availability of the precondition andpostcondition of a program.Constraints on parameters generated in this way are solved for possiblevalues of parameters.If no solution is possible,this means that an invariant of the hypothesizedform is not likely to exist for the loop under the assumptions/approximations made to generate theassociated verification condition.Otherwise,if the parametric constraints are solvable,then undercertain conditions on methods for generating these constraints,the strongest possible invariant of thehypothesized form can be generated from most general solutions of the parametric constraints.Theapproach is illustrated using the logical languages of conjunction of polynomial equations as well asPresburger arithmetic for expressing assertions.     

厄米-高斯光束通过硬边光阑光学系统变换的近解析传输公式

将硬边光阑门数函展开成复高斯函数,利用高斯光阑的ABCD矩阵形式,应用于厄米-高斯(H-G)光束,推导出了H-G光束通过内含硬边光阑的近轴ABCD光学系统的场分布的近解析传输公式,并与Collins公式计算结果比较,说明所得的解析结果的应用和优点.     

BP神经网络算法探讨

BP神经网络算法是在BP神经网络现有算法的基础上提出的,是通过任意选定一组权值,将给定的目标输出直接作为线性方程的代数和来建立线性方程组,解得待求权,不存在传统方法的局部极小及收敛速度慢的问题,且更易理解。     

土霉素残留在鲫鱼体内的消除规律

在(10±1)℃水温条件下,用50mg/kg剂量对鲫鱼口灌土霉素3d,每天2次.用紫外分光光度计测定鲫鱼 血液和组织中土霉素的残留量.结果表明:在土霉素消除期间,肾脏中土霉素残留量最高,肌肉中最低,血液和肌 肉中土霉素的含量与时间的动态变化趋势很相似;给药后的第32h,土霉素的量在血液和组织中达到最高含量;土 霉素在达到最高含量之后的一段时间内,肾脏中土霉素含量随着时间的推移急剧下降,而在肌肉中,土霉素含量随 着时间的推移缓慢下降;第288h时,土霉素在肝脏、肌肉和血液中已经下降到较低水平,其含量分别为0.53, 0.12,0.39mg/kg,肾脏中药物含量仍然很高,为2.75mg/kg.由此得知:在所有的组织中,肌内中土霉素的残留 量是最低的;最后一次给药后的第12d后,人食用鱼肉是安全的.