公共文化服务平台

共 9 条记录，以下是 1-9

全选清除导出

排序方式：

ABC转运器的π-演算模型及其验证: 2008年; 将描述并行、分布式和可移动系统的进程代数应用于系统生物学的形式化描述和行为模拟,给出了SBP依赖式ABC转运器的π-演算模型,分析了其基于状态迁移规则的动态行为演变和构象变化过程,并用自动验证π-演算、通信系统演算CCS的移动工作台MWB对该模型进行了状态跟踪和性能验证.π-演算能够在统一的框架之下捕获分子生物系统的两个关键属性:模块化组织和动态行为,对其既能进行质的又能进行量的推理,证明了π-演算用于分子生物过程抽象描述的可行性.; 张红刘磊; 关键词：进程代数 Π-演算系统生物学

棒束花状α-Fe2O3的制备及其气敏特性被引量：3: 2016年; 以FeCl_3·6H_2O为前驱体,聚乙烯基吡咯烷酮(PVP,分子量为8 000)为表面活性剂,先通过水热反应,再经高温煅烧制备具有棒束花状多级结构的α-Fe_2O_3,并用场发射扫描电子显微镜(FESEM)和透射电子显微镜(TEM)表征样品结构.结果表明:样品结构由棒束以自组装的方式形成,每个棒束由多个单晶纳米棒构成;由该结构制成的传感器件在200℃对丙酮具有良好的选择性及较高的灵敏度.; 马健寇雪莹丁梦迪张红孙彦峰; 关键词：水热法半导体气体传感器

Combinator演算族的π演算语义: 2006年; 以SKI演算作为Combinator演算族的代表,通过形式化的手段给出了SKI演算的π演算语义;通过一个实例验证了所论方法的正确性.所给出的转换方法证明了π演算的表达能力:π演算为图灵完备的.由于高阶函数式语言与Combinator演算族之间存在着自然的转换,所给的转换思想不仅为在π演算的理论框架下研究Combinator演算族提供了基础,也为探讨高阶函数式语言的表示和实现问题提供了新途径.; 张红刘磊; 关键词：Π演算语义

ABC转运器的π-演算模型及其验证: 将描述并行、分布式和可移动系统的进程代数应用于系统生物学的形式化描述和行为模拟,给出了SBP依赖式ABC转运器的π-演算模型,分析了其基于状态迁移规则的动态行为演变和构象变化过程,并用自动验证π-演算、通信系统演算CCS...; 张红刘磊; 关键词：进程代数系统生物学形式化描述; 文献传递

分等级纳米结构的WO3的合成及其气敏特性的研究: 报告分等级结构花状WO3的制备,并对其气敏特性进行了研究.利用XRD、SEM和TEM等对所制备的材料进行了结构和形貌的表征,并对其生长机理进行了初步探讨.结果表明,所制备片花状结构的WO3对NO2的检测下限可达到2ppb...; 王冲李鑫张红冯昌浩孙彦峰卢革宇; 关键词：三氧化钨合成工艺气敏特性大气监测

Ca掺杂对CuCrO_2薄膜形成和电学特性的影响被引量：3: 2014年; 采用溶胶凝胶法制备CuCrCaO2薄膜,研究不同气氛、退火温度下,Ca掺杂量对薄膜的形成和电学特性的影响.在N2环境中1 100℃退火,制得CuCr1-xCaxO2(x=0、0.01、0.03、0.05、0.07)薄膜.测量CuCrCaO2薄膜的X射线衍射,在低浓度Ca掺杂时,薄膜结晶良好,晶格常数a、c和平均晶粒尺寸n随掺杂浓度上升而上升;高浓度Ca掺杂时,有杂相生成,a、c、n重新变小,和X射线衍射分析结果相吻合.另将3%Ca掺杂量,分层旋涂后的薄膜分别在空气和N2中以不同温度快速退火,X射线衍射表明在N2条件下,分层次的掺杂使CuCrCaO2结晶取向趋于单一,并且退火温度越高,择优取向越明显.用霍尔仪测量不同Ca掺杂量薄膜的电学特性,x=0.03时薄膜有最佳电导率1.22×10-1S/cm,比未掺杂的薄膜提高了三个数量级,说明适量Ca掺杂有助于提高薄膜电导率,对应的薄膜载流子迁移率为1.77×1018cm-3,正的霍尔系数表明该材料是P型结构.; 胡冰揣雅惠付洋李雅丹沈宏志张红杨悦王一丁; 关键词：溶胶-凝胶旋涂薄膜生长退火晶相

BP数字识别自动监控系统被引量：5: 2009年; 设计并实现了磁控溅射仪自动监控系统,对实验过程进行自动监控并记录实验数据,由服务器主控程序监控实验,存储并识别数字数据,识别过程是调用Matlab语言编写的识别系统生成的动态链接库,用BP神经网络训练神经元来进行识别,可以由客户端主控程序调用并查看实验数据曲线,实现实时的远程监控,解决了磁控溅射仪没有数据输出接口不方便记录实验数据的困难及实验过程中高辐射对人体危害的问题.整个系统识别效率高,速度快,准确性高,自动监控实验过程,具有很高的实用价值和应用前景.; 张红刘磊孙彦峰; 关键词：神经网络自动监控系统

基于控制流的Mobile Safe Ambients演算的静态分析策略: 2008年; 在Mobile Safe Ambients演算进程的拓扑结构抽象表示基础上,通过识别可被激活的移动原语和通讯原语,计算系统运行的所有动态进程拓扑结构,并在文法规则中显示地标识约束名字和变量,使分析结果在α变换下保持不变.该策略可被应用于静态分析和验证基于Mobile Safe Ambients演算描述的并行与分布式系统的动态行为及属性.; 张红刘磊; 关键词：MOBILE SAFE 控制流分析

基于小波变换的全局能量图像融合算法被引量：5: 2009年; 提出了一种基于小波变换的全局能量图像融合算法。对小波分解系数采用基于全局匹配度来选择和加权的融合规则。全局匹配度以区域能量作为测度,包含了小波分解的高频3个方向的匹配度。使得选择策略下融合图像的高频3个方向的小波系数均来自同一源图像,保证了小波重构时融合的一致性。实验结果表明,全局能量法的融合图像具有更好的融合特性。; 刘磊张红王莎; 关键词：图像融合小波分解匹配度

全选清除导出

共1页<1>

张红