带相变的铸坯热弹塑性应力分析基本方程

本文讨论了温度、相变、应力间的耦合关系，给出了铸坯在考虑相变时的热弹塑性蠕变的本构关系，以及计算铸坯内应力的有限元迭代公式。     

凸规划的极大熵函数序列及其收敛性

为了消除凸规划问题中极大熵方法所导致的数值病态，该文应用Lagrange乘子法及赋范原理，给出一类凸规划问题的极大熵函数序列，并证明该序列一致收敛于凸规划的最优解。     

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

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

催化动力学测定痕量砷(Ⅲ)

在醋酸介质中,发现痕量砷(Ⅲ)能灵敏地催化高碘酸钾氧化靛红la褪色的指示反应,研究了该催化反应的最佳条件与动力学参数,建立了一种新的测定痕量砷(Ⅲ)的方法。该法的线性范围0.0-40μg/LAs(Ⅲ),检测限为1.92×10-6g/L,用于环境水样中砷(Ⅲ)的测定,获得了满意的结果。     

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

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

用多个开关控制一盏灯

同学们从课本上学习了用2个开关控制一盏灯的电路，这种电路具有一定的实用性，如在楼上楼下、室内室外都可以实现对某一盏灯的开关控制。     

2003年全国各地高考数学模拟试题选析——数列

1　高考回顾数列是高中代数的重要内容之一 ,由于它既具有函数特征 ,又能构成独特的递推关系 ,使得它既与中学数学其他部分知识如 :函数、方程、不等式、解析几何、二项式定理等有较紧密的联系 ,又有自己鲜明的特征 ,因此它是历年高考考查的重点、热点和难点 ,在高考中占有极其重要的地位 ,试题往往综合性强、难度大 ,承载着考察学生数学思维能力和分析、建模、解决问题的能力以及函数与方程的思想 ,转化与化归的思想、分类讨论的思想 .从近几年试题来看 ,数列部分内容的分值约占总分的 12 %左右 ,大多为一道选择题或填空题 ,一道解答题 .而…     

饮食中微量元素砷的分布规律与人体健康关系

采用催化动力学光度法测定了六大类(共三十种)样品中的总砷含量，探讨了砷在食品中的分布规律，建立了砷在人体中的安全系效和积累系效的效学评价公式，用于评价砷与人体健康的关系，这对人们选择食物有一定的指导意义。     

激光微加工技术在ICF中的应用

建立以二极管泵浦的Nd：YAG连续固体激光器为基础的微结构加工平台。激光器谐振腔输出基横模，输出波长1064nm，采用调Q技术压缩脉宽，激光器输出峰值功率大于10w，可选择连续及脉冲工作方式。