全站仪长距离测量的计算方法及精度研究

阐述了全站仪距离测量时的影响因素,推导出长距离测量时平距及高差的计算公式,并进行了精度分析,总结了全站仪长距离测量时的注意事项。     

二硅烯及其相关分子的量子化学计算研究

使用密度泛函法、MP2法和考虑组态相关作用的QCISD和CCD法,对重主族双键化合物二硅烯、二锗烯等进行了优化构型的量子化学计算.计算结果表明,H2X=XH2(X=Si,Ge,Sn,Pb)型分子均为非平面反式弯曲几何构型,亚甲基XH2的基态为单线态.利用计算的"单线态-三线态"能量差ΔEST和双键键能Eσ π分析并解释了非平面反式弯曲几何构型的形成条件和标题物中双键的相对强度.     

试析英汉动物名词语义位移产生的原因及翻译策略

由于化内涵的不同，英汉动物名词在跨化交际中，会产生语义位移的现象。本分析了产生语义位移的几个原因，并在翻译策略上作了一些探讨，以克服语义位移，消除交际障碍。     

用于模拟方向耦合器的显式差分光束传播法

探讨了用于模拟方向耦合器的显式差分光束传播法（EFD－BPM），引用了一种用于模拟的三维差分格式，使用谐波分析法证明了其稳定条件，并以此格式进行了计算模拟方向耦合器的光耦合过程。     

Maple在高等数学教学中的应用

在传统的高等数学教学中，由于缺乏现代化教学手段，图形演示和数值计算难以实现，本文利用Maple的数值与符号计算功能、图形功能，将Maple软件引入到高等数学教学中，弥补传统教学的不足。     

Java字节代码程序的部分计值

为了有效地构造一个Java部分计值器，并且形式化地描述计值规则，提出了Java字节代码程序的静态语义，在此基础上构造了一个online的Java部分计值器，为今后能够建立一个完善而且实用的计值器提供了基础。     

用遗传算法求解课程表问题

课程表问题是NP完全类问题.近些年来人们尝试着用进化算法求此问题.本文根据大学编排课表的特点设计了一种全新的编码和适应值函数,并应用遗传算法求解.试验说明了该方法的可行性和有效性.     

参数校正处理在扩展边界条件法的应用

作者对扩展边界条件法（EBCM）进行了参数校正处理，以拓宽扩展边界条件法的适用范围。通过对亚波长正统光栅进行数值计算，在光栅深宽比达1.05的情况下，获得稳定收敛的结果，并与反射透射系数阵法（RTCM）的计算结果一致。     

再论音义联觉

不满足于罗列大量的音义逻辑关系的现象，从全新的视角－音义关系的原始机理论述音义之间的逻辑关系，从理论和实践上证明音义之间存在着必然的逻辑关系。     

模式语义链元建模及其应用

大粒度的模型转换是模型驱动软件开发场景下的重要技术需求，仅通过定义通用模型转换语言不足以满足这一需求，其中一个原因是通用模型转换语言工作在特定建模语言的元模型层次而非一般设计意图层次上．文中提出一种模式语义链(PSL)元建模方法．通过重型扩展统一建模语言(UML)元模型以直接形式化描述可表达一般设计意图的模式，并应用UML动作语义和元模型继承实现模式自动生成及转换．该方法为实现一船设计意图层次上的大粒度模型转换提供了有效支持．