激光穿透焊的三维数值模拟

本文对激光穿透焊进行了三维数值模拟，除考虑焊接速度影响外，还研究了Ｍａｒａｎｇｏｎｉ对流对熔池流动与传热的影响。将三维数值模拟结果与相应的二维模拟结果进行了比较，结果表明，Ｍａｒａｎｇｏｎｉ对流对熔池的形成有很大的影响，因此不可忽略。本文还给出了估计激光穿透焊中蒸气孔尺寸与焊接热效率的方法。     

枸橼酸莫沙必利的合成

分别以邻羟基对氨基苯甲醇钠，对氟苯甲醛，邻苯二甲酰亚胺为起始原料，制得3个中间体，用其中2个中间体经偶合，环化后与第3个中间体反应，再经成盐制得产品，其摩尔总收率为31．5％。     

Γ-环的Baer根、b-根与拟b-根

本文定义了Γ-环的b-理想与拟b-理想,论述了Γ-环中都有一个Baer根,一个b-根与一个拟强b-根,并且还证得了Γ-环的Baer根=b-根=拟b-根。     

系统动力学模型结构分析中表函数的改进方法

分析了非线性系统动力学(SD)模型中表函数环节的传统表示方法,指出该方法对于进行SD模型的结构分析所造成的障碍,并提出了用牛顿插值的承袭性算法来改进表函数环节的表示方法的思路.接着分别介绍了用差商和差分牛顿插值法改进表函数的过程.最后,通过一个实例说明了表函数改进的方法,并展示了以此为基础进行结构分析的思路.     

几种N-取代马来酰胺酸辅酶模型的核磁共振研究

我们对8种N-取代马来酰胺酸辅酶模型与不同类型的亲核试剂反应后生成的产物进行了¹H、¹³C NMR的研究, 测得¹H、¹³C谱化学位移,研 究探讨其规律性, 并测试了IR谱和元素分析.     

系列类立方烷型Fe4S4簇合物的XPS分析

对7种类立方烷型Fe_4S_4簇合物进行了XPS分析,得到了中心离子Fe的价态,给出了系列Fe_4S_4中骨架硫的结合能,由峰合成结果给出各种S、N的比例与按结构式计算的结果相同。     

复制受限的环境演算中模态逻辑的内涵性

环境演算(MA)的模态逻辑AL进行了研究．在考虑了复制操作和限制操作的情况下，提出了逻辑等价的协归纳操作描述，并利用协归纳关系与进程结构同余关系进行比较，证明了若对MA加上约束条件得到子集MAIF^syn，此时逻辑等价(=L)与结构同余关系是等价的，即AL在MAIF^syn中是内涵的．同时发现由于复制操作的存在，AL的内涵性受到了影响，使得AL的区分能力被削弱，但通过对复制公式的构造验证了AL的表达能力．     

多元χ演算运行时错误的不可判定性

针对多元χ演算运行时刻通信安全的判定性问题进行了研究．通过从Lazyλ项到χ项的编码，将判定一个Lazyλ项是否有范式的问题归约为进程是否有通信错误的问题．证明了在多元χ演算中，通讯错误也是不可判定的．结论说明不存在算法直接来检测进程的通信安全性，而只有通过其他间接的手段(如构造类型系统)才能部分达到预防运行时错误的目的．     

Three Types of Expression in Dark-Soliton Perturbation Theory Based on Squared Jost Solutions

Three types of expression in the dark-soliton perturbation theory based on squared Jost solutions are invesgigaged in ghis paper. It is shown that there are three formally different results about the effects of perturbagion on a dark soliton, and it is proved by means of a transformation between two integral variables that they are essentially equivalent.     

因特网防御DoS攻击技术评述Ⅰ--攻击分类与特征·包过滤·攻击检测与防御

概述了因特网上DoS攻击的相应分类及基本特征，评述了包过滤、攻击检测及防御技术的最新成果．前一部分介绍了入口过滤、基于路由的过滤网和有效源地址强制协议．后一方面主要讨论了适合于检测攻击包的技术，介绍了新近提出的频谱分析方法和泛滥检测系统．简要评述了已有的防御SYN泛滥攻击的技术措施，介绍了Cisco的TCP拦截技术，提出了改进策略．