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

为了消除凸规划问题中极大熵方法所导致的数值病态，该文应用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，可选择连续及脉冲工作方式。     

若干具有[(PO4)2Mo5O15]簇骼的化合物的光谱研究

本文对所合成的具有 [(PO4 ) 2 Mo5O1 5]簇骼的 3种新颖的有机 磷钼酸盐簇合物(NH3CH2 CH2 NH3) 2 5[(PO4 ) (HPO4 )Mo5O1 5]·7 5H2 O (Ⅰ ) ,(H3NCH2 CH2 NH3) 3·[(PO4 ) 2 Mo5O1 5]·3H2 O (Ⅱ )和(H3NCH2 CH2 NH3) 2 ·[Cu(en) ][(PO4 ) 2 Mo5O1 5]·5H2 O (Ⅲ )用FTIR ,NIR Raman ,紫外 可见漫反射光谱 (UV VisDRS)和荧光光谱等研究手段 ,对其进行光谱研究 ,探讨其结构和性能的关系。在这些化合物中 ,化合物Ⅰ和Ⅱ具有孤立的 [(PO4 ) 2 Mo5O1 5]簇骼基元 ,而化合物Ⅲ的 [(PO4 ) 2 Mo5O1 5]簇骼基元是由 [Cuen]基团桥联成链 ;磷钼酸盐的特征振动频率和这些化合物的结构相关 ;UV VisDRS显示 ,在 2 0 0和 2 6 0nm左右有两个杂多化合物的特征吸收谱带 ;化合物的稳态荧光光谱中 ,观察到以 2 4 0nm激发 ,在大约 4 0 0nm附近出现的由金属氧簇Oμ→Mo跃迁激发所引起的较强的发射峰 ,在化合物 (Ⅲ )中 ,还观察到通过 [Cuen]的荷移跃迁的以 5 70nm激发所产生的 6 0 4nm的发射峰。