Co—Ag／Ag颗粒型多层膜中的巨磁电阻效应

研究了Co－Ag（1．8nm）／Ag多层膜的巨磁电阻效应，发现随Ag层厚度的增加，ΔR／R先增加后减小；而且当Co的含量增加时，ΔR／R的峰值向Ag层较厚的方向移动.磁电阻的上述行为是由于相邻磁层中近邻的Co颗粒之间的反铁磁耦合引起的．对于Ag层厚度固定的Co－Ag／Ag多层膜，当Co的含量较低时，ΔR／R随着磁性层厚的增加而单调增加；当Co的含量较高时，ΔR／R在磁性层厚度为2.2nm处有一极大值，这表明在Co－Ag／Ag多层膜中分流效应有重要作用．     

分布式关系型数据库管理系统C-POREL的代码生成机制设计

分布式数据库管理系统(DDBMS)中,代码生成模块是实现系统的分布透明性(分割透明性和分配透明性)的重要模块,其设计得好坏对整个系统有极大的影响。本文以分布式关系型数据库管理系统C-POREL的代码生成机制为例,讨论DDBMS中的代码生成层的设计方法。文中给出C-POREL系统的代码生成模块的设计方案,并提出了其中所必须的一些算法,最后给出了具体的例子。     

浅析发展大学生闲暇体育运动的作用及方法

通过对现在在校学生的体育运动情况的简单分析,论证闲暇体育对学生身体运动机能提高的重要性,以及在日常教学活动中如何引导、组织闲暇体育活动,弥补学生正常体育教学活动中的不足,达到体育锻炼的效果.     

《微机接口》实验教学方法的探讨与实践

本文在传统的实验教学方法上进行了探讨与实践。以典型的“交通灯控制实验”为实践内容,通过实验教学培养学生的程序设计和动手操作能力,使学生加深了对微机原理和接口技术理论知识的理解,使实验教学方法有所创新。     

一阶偏微分方程的Mathematica和Matlab解法比较

通过比较一阶偏微分方程的Mathematica和Matlab解法，得到在要求计算精度时Mathematica比Maflab可获得更精确结果。     

一种结合CCgscore算法的SMT求解技术

提出了对SMT问题的另一种方法.首先,编译SMT公式并转换为CNF公式.然后充分借鉴求解SAT问题中所用的方法,把它和SMT理论相结合,借鉴在2014SAT竞赛中的CCgscore算法,得到一个满足CNF公式的解.最后把得到的当前解与T-solver进行交互并且检查其在特定理论背景下的可满足性.由于在SMT求解的过程中结合了先进的CCgscore算法,所以在求解某些SMT问题时效果比较好.     

杭州市菜地蔬菜重金属含量特征研究

为了解杭州市菜地蔬菜重金属含量状况,就杭州市30个主要菜地中5类共55种蔬菜进行了重金属Cu、Zn、Pb、Cr、Cd和As的测定与分析.结果表明,叶菜类蔬菜中Cu和Cr含量超标现象明显;茄果类和根茎类蔬菜中Pb超标现象较为严重;少数葱蒜类蔬菜样本存在Cr或Cd含量超标现象;而瓜菜及豆类蔬菜中重金属含量普遍偏低;各类蔬菜中均未发现As含量超标现象.因此,杭州市蔬菜基地的叶菜中Cu、Cr含量及茄果类、根茎类蔬菜中Pb含量的超标问题应予以重点关注.