函数式语言中赋值语句（之二）

为了能够较好地处理函数式程序设计语言中的I/O问题,通过采用Monad方法将I/O加入到函数式程序设计语言中,来保持函数式程序设计语言的优点,本文探讨了在函数式I/O系统中加入赋值操作与其引用透明性的问题。     

建筑设备隔震技术在我国的研究与应用现状

将现有建筑设备隔震体系分成3类,分析了各类体系的适用范围、技术发展现状及其优缺点.对结构-设备复合体系的研究分析方法进行了归纳,介绍了各类分析方法的基本原理.分析了目前我国民用建筑内非中断性中枢运行设备隔震技术在装置开发、理论与试验研究、标准制定、应用推广方面存在的问题.提出了我国非中断性中枢运行设备隔震技术开展研究与应用中应解决的一些问题.     

脑组织特异性表达胰岛素样生长因子-1转基因小鼠制备

目的制备脑组织特异性表达胰岛素样生长因子-1(Insulin-Like Growth Factors 1,IGF-1)转基因小鼠。方法采用精子为载体法进行基因转导,出生后小鼠PCR检测,建立转基因小鼠系,用Western blot和免疫荧光法分别检测转基因小鼠海马齿状回亚粒状区(subgranular zone,SGZ)IGF-1表达量和报告基因EGFP阳性细胞数。结果获得3只阳性小鼠,2只外源基因能稳定遗传,并建立了转基因小鼠系,转基因鼠SGZ区域IGF-1表达量显著高于正常鼠,EGFP也在此区域表达。结论成功制备IGF-1转基因小鼠。     

对流边界层水平温度场特征的水槽模拟研究

利用对流水槽模拟分析了均匀下垫面自由对流边界层的水平温度场结构特征.根据几何相似、运动相似和动力相似等要求设置初始条件和边界条件实施模拟.对流水槽的尺度为1.5 m×1.5 m×0.6 m,先加入具有一定温度层结的去离子水,然后底部加热形成对流,模拟对流边界层的发生和发展.利用快速响应的温度传感器测量温度廓线和不同高度上的温度起伏;利用准直光闪烁原理获得光学湍流场.根据温度廓线和光学湍流场的结果得到对流边界层厚度和稳定度等参数.根据不同高度的水平脉动温度,利用AR谱方法分析水平温度谱峰值频率所对应的尺度,该尺度对应于对流边界层的准二维对流热泡的水平尺度.统计分析结果表明,自由对流边界层大涡的水平尺度在边界层的下部随高度的增加而增加,约在0.65倍边界层厚度处达到最大,然后随高度的增加又逐渐减小.物理模拟与数值模拟和野外观测结果符合一致.根据对流热泡的这种特征,提出了一个自由对流边界层的热泡模型.     

关于用几何方法求Jordan标准型的一点注记

给出了用几何方法求Ｊｏｒｄａｎ标准的一种简化方法。     

自旋弹道导弹模型及运动特性分析

自旋是弹道导弹的一种新的突防手段,在助推段进行滚动飞行,可以减少强激光照射的驻留时间,有效对抗激光反导。但是导弹自旋会导致控制耦合、惯性耦合和气动耦合,而且会随着滚速的增加,耦合增强,俯仰和偏航通道的相互干扰会对自旋稳定飞行产生较大的影响。开展了这方面的初步研究,建立了自旋弹道导弹模型,通过时域的仿真初步分析了弹道导弹低滚速的滚动飞行特性,得到了有益的结论。     

蜡状芽孢杆菌Bc-05菌株纤溶酶的酶学性质

对蜡状芽孢杆菌Bc-05茵株的发酵上清液经硫酸铵分级沉淀、DEAE Sepharose Fast Flow阴离子交换层析所获得的纤溶酶进行性质研究.结果表明:经纤维蛋白平板法检测该酶有直接水解纤维蛋白和激活纤溶酶原的双重作用,最适作用温度37℃,最适pH=8.0,在pH=8.0条件下25℃和37℃放置24 h酶活力仍保持77.52%和78.96%,该酶体外对兔血凝块有明显的溶解作用;Ca2+,Mn2+离子对该酶具有激活作用,而Cu2+,Fe3+完全抑制其纤溶活性,PMSF,EDTA和DTT对该酶有抑制作用,说明活性中心含有二硫键、金属离子和丝氨酸;测其N端10个氨基酸序列为NH2-Val-Thr-Pro-Thr-Asn-Ala-Val-Asn-Thr-Gly,与其他生物来源的纤溶酶相比较没有同源性.     

基于结构解释模式的服役混凝土结构损伤识别

混凝土损伤的影响因素较多,采用结构解释模式(interpretative structural model,ISM)的系统分析方法进行服役混凝土结构损伤识别研究,科学判定既有混凝土结构的损伤程度及基本影响因素。根据引起混凝土损伤的因素,确定各因素间的二元关系,并以此为基础,由要素间的关系传递性,建立基于结构解释模式(ISM)的混凝土结构损伤识别的构思模型,并提取骨架矩阵,形成递阶结构模型,经过比较反馈、修正学习,分析给出混凝土结构损伤识别的基本影响因素。研究结果表明:结构损伤多因素的二元关系是进行损伤识别的基础,综合考虑系统中引起损伤的各因素之间的关系,利用图论中关联矩阵原理分析混凝土结构损伤,给出的结构损伤影响因素更为直接有效;由损伤识别模型归结出的基本影响因素与现行结构检测规范的基本项目基本一致。     

补强方式对压力容器开孔接管区集中应力的影响

采用有限元法分析了补强方式对压力容器开孔接管区的集中应力的影响,比较了补强圈补强结构和厚壁接管补强结构的补强效果,并对其应力集中系数进行了研究.结果表明:不论使用补强圈补强,还是使用厚壁接管补强,补强后的应力集中系数都明显降低,且对于大开孔结构,厚壁接管补强优于补强圈补强.     

铁磁-反铁磁双层系统低温内能

应用线性自旋波的理论导出铁磁－反铁磁双层系统的Ｈｅｉｓｅｎｂｅｒｇ模型哈密顿量,采用矩阵格林函数运动方程技术得到自旋波的色散关系,利用数值计算的方法得到铁磁－反铁磁双层的低温内能。