分区操作系统内核中隔离性质的研究

为了达到经过形式化验证分区操作系统内核隔离性质的目标,采取形式化方法描述系统的顶层规范设计中描述隔离性质需求,通过将航空电子应用软件标准接口ARINC653与GWV定理相结合,实现了对分区操作系统需要满足的隔离性质的抽象描述,并通过使用类Z/Z++作为形式化描述语言。     

论商铺转让费的性质与实践问题——以《合同法》为视角

随着市场经济的发展,转让费越来越成为商铺转让中的普遍现象。实践中转让费的性质较为复杂且在法律中没有明确规定。发生有关转让费的纠纷后,也没有明确的法律依据,存在较大风险。本文从合同法的角度,结合市场经济发展状况,对转让费的性质作一分析,并对实践中应注意的问题作出提示。     

SiO2纳米粒子制备及自组装光学性能

运用溶胶一凝胶法制备了不同粒径单分散SiO2纳米微球,垂直沉积法制备了SiO2三维光子晶体薄膜．通过SEM研究了SiO2光子晶体的微观结构,探讨了薄膜内裂痕形成原因与克服办法．通过分光光度计测定了光子晶体的带隙位置,与理论计算相吻合．光子晶体带隙随着SiO2微球粒径增加带隙红移．     

单值延拓性质的摄动及其应用

根据一致Fredholm指标算子定义出一种新的谱集,利用该谱集及变化的本质逼近点谱,研究了单值延拓性质的紧摄动;并给出了广义(ω)性质摄动的等价刻画.     

碳纤维/ZnO复合材料的制备和性能研究

通过对碳纤维表面进行修饰,利用低温液相沉淀法制备了碳纤维/ZnO复合材料并对其结构、形貌和发光性能进行了研究.结果显示,样品的紫外-可见吸收峰约为376nm,相应的带隙宽度约为3.30eV.由样品的荧光光谱得出,样品除了具有位于384nm的微弱的近带边紫外发光峰之外,还有位于597nm的强的绿光发光带.样品经过退火之后,绿光峰降低.这可能归于ZnO中氧空位的减少.通过对原始样品和经过退火处理样品的荧光光谱的研究得出,样品的绿光发射归于氧空位.     

聚合物包裹双相分散兼具磁学和光学特性NiFeAu纳米粒子的合成与表征

本文采用微乳液法,以PEO-PPO-PEO为表面活性剂,1,2-十六烷二醇为还原剂,以乙酰丙酮镍(Ⅱ)、乙酰丙酮铁(Ⅱ)和醋酸金(Ⅲ)为前驱体,成功制备了多功能NiFeAu纳米粒子.通过傅立叶变换红外光谱仪(FT-IR)、X射线粉末衍射仪(XRD)、透射电子显微镜(TEM)、振动样品磁强计(VSM)、超导量子干涉仪(SQUID)和紫外可见近红外分光光度计(UV-Vis)对其形貌、结构和性能进行了分析和研究,在正己烷和水中快速、高效和可逆的分散收集过程形象地展示了该纳米粒子良好的磁学性能和双相分散性.XRD和TEM分析证实了该纳米粒子的结构,SQUID、VSM和UV-Vis测试显示了它在室温条件下具有良好的磁学和光学性能.该NiFeAu纳米粒子有望在磁学、光学和生物医药等领域发挥作用.     

广梧高速公路块状煤系土的物理力学特性

采用室内试验方法,对广东省云浮地区块状煤系土的物理力学性质进行研究,重点论述了块状煤系土抗剪强度的变化规律,建立了具有实用价值的经验性公式.研究结果表明含水率与强度关系密切,粘聚力受含水率影响较大,内摩擦角受含水率影响较小.通过室内试验和理论分析,为工程中合理利用煤系土提供借鉴依据.     

可兴奋神经元的非线性动力学性质

以H-H模型为研究对象,通过改变方程中表征神经元可兴奋性的参数,用数值分析的方法考察可兴奋神经元的动力学性质.结果表明,可兴奋性控制参数越高的神经元,动作电位发生的阈值越大,所能承受的刺激范围也越大.每种神经元都有一个特定的参数域,当参数在其中变化时,神经元对于恒定刺激的反应是混沌的.     

企业创新产品项目征集

正经请示国家科技部,科技部《中国新技术新产品》杂志决定:自即日起面向中国内资企业征集创新产品项目,在建立《全国企业创新产品目录》数据库的同时,由专家评审从中遴选一批创新性强、市场需求大、信誉好的优秀创新产品,列入《全国重点推广新产品》。相关事宜如下:一、征集对象及要求:1、产品研发的企业法人必须有主体资格、有自主创新能力;2、产品没有知识产权争议;     

科技成果权属如何明晰?促进科技成果转化政策概览(一)

正科技成果转化历来是促进生产力水平的重要手段,因而也受到各类企业重视。继本期开始,本栏目将陆续推出有关科技成果转化政策的相应内容,力求对成果转化政策做一个完整而又实用的梳理,以飨读者。科技成果转化概念及方式根据《促进科技成果转化法》的规定,科技成果转化有五层含义:一是转化目的是提高生产力水平;二是转化基础是科学研究与技术开发所产生的具有实用价值的科技