共归纳数据类型上的共递归操作及其计算定律

范畴论框架下的共归纳数据类型可以看成是某个共代数函子下的终结共代数中的载体,针对该特点,结合范畴论给出程序语言中共归纳数据类型的共代数描述,并根据终结共代数的终结性给出相应的共递归操作的定义及其共代数计算定律;同时,利用双函子及类型函子对参数化共归纳数据类型进行抽象描述,并结合自然转换给出类型函子上的单元和融合等计算定...     

高应力岩石局部化变形与隧道围岩灾变破坏过程

为了研究深埋隧道围岩变形局部化与渐进破坏现象,运用FLAC3D三维显式有限差分法分析软件,基于摩尔-库仑剪破坏与拉破坏复合的应变软化模型,采用大变形的计算方法,研究了岩石试件在单轴压缩状态下局部化现象启动、发展直至试件最终破坏的全过程,进一步结合隧道物理模型试验,探讨了高应力条件下隧道围岩变形局部化与渐进破坏的关系,发现岩石材料表现出的软化性状与剪切带形成的结构软化有着密切的联系,从围岩屈服区和软化带的分布规律找到高地应力隧道围岩渐进破坏的突破口,并指出岩体单元的弹性变形和单元屈服后岩体的塑性挤出是隧道开挖后收敛变形的主要原因.     

拟南芥AtJ70的组织特异性表达及亚细胞定位

以野生型和PAtJ70∶GUS转基因拟南芥为材料,以定量PCR和GUS染色方法研究了拟南芥J-蛋白AtJ70的组织特异性表达.结果显示AtJ70基因在根、茎、叶、花和果实中都有表达,花和叶中表达最高,长角果和根中次之,茎中最低.此外,以AtJ70-mGFP4转基因拟南芥为材料,使用激光共聚焦显微镜研究了AtJ70的亚细胞定位.结果显示,AtJ70主要定位于细胞核中.     

成年态南丰蜜橘离体再生芽培养及芽维持的蛋白谱特征

以成年态南丰蜜橘茎段为材料,在不同激素配比的MS培养基中进行再生芽的诱导和继代增殖培养,确定了最佳的诱导培养基改良MS+6-BA0.5 mg/L+KT0.5 mg/L+NAA0.1 mg/L,把诱导培养基中的蔗糖浓度由3%提高到6%可以很好地解决再生芽的叶片发黄、脱落问题;再生芽增殖的最佳培养基为改良MS+6-BA0.4 mg/L+ZT0.1 mg/L+NAA0.05 mg/L,增殖系数达5.40.SDS-PAGE电泳结果表明33.4 kD相对分子质量的蛋白谱带出现于再生芽正常分化生长时期,可能是维持再生芽生长发育的特异蛋白组分.     

计算机化自适应诊断测验新的选题策略

提出了一种既能满足属性平衡又能有效处理相似属性模式的新方法——改进的极大化整体判别认知诊断模型信息量指标法(MGCDI).对无结构型的属性,讨论定长CD-CAT的选题策略.研究结果表明,使用相同选题策略选题时,先选择可达矩阵的所有列对应的项目比不使用这些项目的诊断准确率高.     

不同热解温度生物炭改良铅和镉污染土壤的研究

 为了探究热解温度对生物炭修复重金属污染土壤的影响,将300℃、500℃和700℃下制备的生物炭加入铅（Pb）和镉（Cd）污染土壤进行培养,检测重金属形态的变化。结果表明,加入生物炭培养60d后,Pb和Cd污染土壤pH值较对照上升0.35—0.86单位值,土壤中重金属的酸可提取态含量下降,残渣态含量上升,对目标重金属生物有效性降低的改良效果700℃>500℃>300℃;在生物炭添加量相同的情况下,复合污染土壤中Pb的残渣态含量比对应单一污染高50.60%—72.79%,而复合污染土壤中Cd的酸可提取态含量较对应单一污染高7.53%—12.99%;热解温度影响生物炭的表面特征和吸附重金属机制,进而影响生物炭改良土壤中目标重金属形态分布。     

C4．5算法在高校学生心理教育方面的应用研究

研究了数据挖掘技术的概念、过程、方法和技术等内容,详细地介绍了决策树技术在学生心理问题数据挖掘中的全过程,采用C4．5算法生成了学生心理问题的决策树模型,并由此产生了分类规则,为高校心理咨询工作提供了一些有用的参考依据。实验’结果表明,该方法对高校构建预防型大学生心理健康教育模式具有一定的实用价值。     

柘林水电站扩建工程直流系统的计算与选型

以柘林水电站扩建工程为例,对直流系统进行详细的计算并选型,为直流系统的计算和选型提供了参考.     

基于Y型多针孔干涉仪的三维绝对坐标测量

提出一种利用Y型多针孔干涉仪测量三维绝对位置坐标的新方法.这种方法是通过提取多针孔板上各测量孔的相位信息进而计算出待测点绝对位置坐标的.文章详细介绍了该方法的测量原理,并通过理论分析给出了测量公式.通过计算机模拟实验的方法验证了该方法的可行性.与现有的点衍射干涉测量法相比,该方法不需要任何相移装置,对测量环境的要求低,...     

氧化还原因子-1的原核表达纯化及其活性鉴定

为建立氧化还原因子-1(Ref-1)的原核表达系统,将经过酶切后的人源Ref-1编码片段定向克隆到pGEX-4T-3载体上,构建了pGEX-4T-3/Ref-1原核表达载体,重组质粒转化至BL21(DE3)工程菌,异丙基-β-D-硫代吡喃半乳糖苷(IPTG)诱导重组工程菌表达可溶性融合蛋白,谷胱甘肽琼脂糖凝胶4B(Glutathione Sepha-rose 4B)亲和纯化重组蛋白,透析后用聚乙二醇8000(PEG8000)浓缩,获得纯度达92%的融合蛋白,产率为3.7 mg/L,融合蛋白占菌体总蛋白的6.8%.蛋白质印迹(Western blot)显示该蛋白可以被抗体特异性识别,证实其为GST-Ref-1融合蛋白.GST-Ref-1蛋白体外增强了激活蛋白-1(AP-1)的DNA结合能力,并能拮抗H2O2造成的AP-1氧化损伤.