关于电偶极跃迁的普用选择定则的讨论

推导出电偶极跃迁的普用选择定则，以单电子（或单价）原子和多电子原子能级间跃迁为例，阐明了这些规律的实质。     

二维氢原子能级的精细结构

对于二维氢原子，其狄拉克方程中不出现ｘ３，对于因ｘ３隐退而简化了的狄拉克代数可取二维表示，于是严格求得能级的精加结构：Ｅ＝μ／，１＋Ｚ２ａ２／（ｖ＋ｎｐ）２将二维和三维氢原子的能级作比较，可见维度降低导致相应能级降低而能级间隔增大．     

铺层顺序邓叠层圆柱微曲板稳定问题的影响

用动态松驰法研究了铺层顺序邓受均匀单轴压力的不对称十字叠层圆柱微曲板稳定问题的影响。数据结果表明，压弯耦合刚度系数的符号对该类叠层微曲板的稳定性性的影响是显著的。     

关于MTU396柴油机的顺序增压控制及其故障分析

MTU396柴油机采用A.B两台增压器组成的单级顺流增压系统.并通过顺序增压控制系统来接通和切断增压器B,优化增压器在柴油机部分负荷运作时运行性能,以增加进气压力和减少油耗,及其常见故障分析。     

UML 顺序图的一种形式化描述方法

统一建模语言UML是一种通用的图形化建模语言,在面向对象系统的分析和设计中,它已成为了事实上的工业标准。但UML不是形式化的建模语言,缺乏精确的、形式化的语义,因此阻碍了它的进一步发展。线性时序逻辑是并发或反应式程序动态语义的一种形式化描述语言,它适合用来精确地表示模型的动态语义。本文定义了顺序图的形式化语法,采用线性时序逻辑给出了顺序图的语义描述,并通过实例分析,对模型的某条性质进行了证明,为模型做进一步分析和验证提供了基础。     

UML 2.0的形式化语义研究

由于UML 2.0动态视图缺乏精确的语义,难以对它所表示的系统进行分析和验证.基于此,在描述UML 2.0顺序图和状态图语法和语法约束的基础上,采用可执行的线性时序逻辑语言XYZ/E定义其形式化语义,这样不仅便于UML 2.0顺序图和状态图之间的模型转换,也为使用UML和形式化方法相结合描述软件体系结构的交互行为奠定了基础.     

多颗小行星探测顺序确定及轨迹优化

小行星探测日渐成为深空探测领域的一个研究热点。考虑小行星Kepler轨道以及小推力航天器的特点,从能量和相位的角度推导出多颗小行星探测顺序的确定准则,并利用优化算法对航天器的飞行轨迹进行了全局优化设计。算法在满足约束条件的前提下,使得航天器剩余质量与飞行时间的比值达到最大,并通过数值仿真算例验证了算法的可行性。结果表明:该算法综合利用遗传算法和局部优化算法具有精度高、计算简单的特点,可用于小行星探测的轨迹优化设计问题。     

未知数量稀疏源的盲分离方法

提出了一种新的用于未知数量稀疏源的盲分离的统一方法.为了改善聚类分离的精度,首先选取混合空间中半径给定、中心位于原点的超球面以外的数据点,并将这些数据点映射到中心位于原点的单位超球面上.由此,原来的超平面线性聚类变为致密聚类,各聚类互相重叠的现象消失.然后,通过对这些映射到单位超球面上的数据点进行聚类分离来估计混合矩阵,再利用混合矩阵估计源,其中最佳不相似阈值和相应的聚类数量是自动生成的.仿真实验验证了该方法对实际音频信号包括语音信号的有效性.仿真结果表明该方法精确、简便,稳定性好,且计算量较小.     

基于网络考试系统的UML建模

通过统一建模语言(UML)对网络考试系统进行了分析和建模,建立了系统用例图,并结合主要用例-学生考试模块,建立了类图、顺序图、活动图.描述了系统的功能需求、功能流程、类的结构与关系、对象之间的交互.最终采用面向对象语言实现在线考试系统.使用这种方法对系统进行建模,优化了开发过程,并有利于提高系统的稳定性、可维护性和可重用性.     

Bis（L-asparaginato）zinc（II）掺Cu^2＋的能级

推算出了3d9离子在立方对称下的能级计算公式，并用此公式计算出了Bis（L-asparaginato）zinc（II）晶体掺Cu^2＋从基态2A1（ε）到激发态2A1（θ），2B1（ζ），2B2（η），2B3（ξ）的能级，它们分别为10938cm^-1，14288cm^-1，19184cm^-1，37397cm^-1，计算结果跟实验结果吻合的很好．