一类带有非奇异主部系数矩阵的2×2强耦合偏微分方程组的卡勒曼估计及其在反源问题中的应用

该文研究了一类带有非奇异系数矩阵的2×2强耦合偏微分方程组的卡勒曼估计.文献[7]和[15]利用对角化的技巧将方程组解耦,证明了一个2×2强耦合双曲方程组的卡勒曼估计.不同于此,该文考虑将微分方程组的两个方程作为整体来建立逐点的卡勒曼,然后进一步得到了这类强耦合方程组的全局卡勒曼估计.最后,作为卡勒曼估计的应用,该文建立了一个反源问题的Hlder稳定性.     

判定离散Hopfield神经网络稳定性的新方法

寻求判断离散Hofield神经网络稳定性的新判据。具体考虑神经元的权值矩阵元素和阀值之间的关系，依此判断能量函数的收敛性，得到了一个与阀值无关、不需权值矩阵对称的新判据；在新判据的基础上作出数学变形和分析，并用线性方程的解去刻划稳定点的存在性，得到了稳定点存在的一个充要条件。最后将离散Hopfield神经网络的稳定点存在问题转化为在有限区域内连续函数的零点解的问题。     

金属基复合材料原位反应相场模型

原位反应法制备金属基复合材料具有增强体与基体间无杂质、无污染、颗粒分布均匀等优点,已成为制备金属基复合材料的一种重要方法,揭示其动力学机制及规律具有重要的理论及工业价值.然而,原位反应过程具有反应时间短、随机发生、温度高等特点,目前采用原位实验观测其反应过程仍存在较大困难.本文采用相场法模拟金属熔体内的原位反应过程,首先建立了能够描述双束金属熔体界面反应形核的相场模型,并采用该模型模拟了不同参数下相界反应形核过程.结果表明,形核率随着曲率半径及噪声强度的增大而增大,小曲率半径及强噪声条件下新相颗粒尺寸分布更加均匀,形核率随着过冷度的增大而先增大后减小.     

分圆域中的线性分组码

为实现面向多维信号有限域上的编码,本文从素元出发,利用素元生成的理想为素理想,研究对任意正整数n,分圆域Q(e2πi/n)的代数整数环模素理想所得的剩余域.当错误取值于有限域乘群的一个循环子群时,这种方法得到的有限域上面向ψ(n)维信号的线性分组码可以纠单个错,从而为码调制提供了一种代数渐进方法,推广了文[3-5]中的结果.     

蛋白质-蛋白质相互作用界面统计分析

以作者开发的从蛋白质结合部位推导出其界面所具有的疏水性质和氢键性质的计算程序PP_SITE为基础,利用蛋白质结构数据库(PDB),对蛋白质-蛋白质相互作用界面进行了统计分析.从PDB中挑出非冗余的链间相互作用对,计算出这个数据集中所有链间界面的疏水和氢键相互作用特征.对得到的界面特征进行统计分析,寻找能够明显聚类的界面特征.结果表明，界面大小、氢键和疏水相互作用在界面所占比例以及疏水相互作用的集中程度可以作为分类的依据.     

表面活性剂双水相的性质及其应用 Ⅱ: 表面活性剂双水相在生物活性物质中的应用

测定了胰蛋白酶在表面活性剂双水相中的分配比,检测了分配在双水相中酶的活力及构象变化,并与阴离子表面活性剂十二烷基硫酸钠(SDS)、阳离子表面活性剂溴化十二烷基三乙铵(C_(12)NE)对酶活性及构象的影响进行了对照,结果表明,SDS对蛋白质的变性明显强于C_(12)NE.阳离子表面活性剂过量的双水相体系,简称阳离子双水相,其中的SDS与C_(12)NE由于库仑引力和疏水相互作用力,使得SDS较难被胰蛋白酶吸附,胰蛋白酶在阳离子双水相中的活性没有丧失.其构象亦未发生显著变化.     

对偶单调张成方案的有效构造

由线性码和线性秘密分享体制的对应关系,利用线性码的对偶码,分别从单秘密分享和多秘密分享两个方面给出对偶单调张成方案的有效构造.作为一个应用,可以得到线性多秘密分享的乘性构造.     

160kHz超声协同臭氧蔬果药残降解仪的设计与乙酰甲胺磷降解实验*

针对现有超声协同臭氧降解农药的研究多集中在20kHz至50kHz的频段内,而效果一直不够理想,以及目前民用的超声协同臭氧蔬果药残降解装置较少的问题,设计了一种160kHz超声协同臭氧蔬果药残降解仪。超声波发生器采用SG3525芯片驱动半桥式功率放大电路,并运用小范围扫频技术。臭氧发生器使用市场上量产的小型臭氧机。本文利用该降解仪进行了乙酰甲胺磷农药降解实验,对160kHz超声波协同臭氧的农药降解效果进行了初步研究,结果表明仪器对降解乙酰甲胺磷有效。     

基于结构设计合成新型喹啉类分泌型PLA2抑制剂

磷脂酶A2(PLA2)在很多人类疾病的病理研究中起重要作用,是药物化学研究所的热点之一。因此,发展新型的PLA2抑制剂对生物有机研究和临床应用均有重要意义。我们设计合成分泌型PLA2的非底物类似物以寻找新型PLA2抑制剂。本文基于结构设计并合成了喹啉－4－乙酰胺作为PLA2抑制剂,目标化合物结构经1^HNMR,IR,MS和元素分析确认,初步活性检测显示该类化合物具有较好体外活性及动物活性。     

BILINEAR FORMS AND LINEAR CODES

Abraham Lempel et al^[1] made a connection between linear codes and systems of bilinear forms over finite fields. In this correspondence, a new simple proof of a theorem in [1] is presented; in addition, the encoding process and the decoding procedure of RS codes are simplified via circulant matrices. Finally, the results show that the correspondence between bilinear forms and linear codes is not unique.