期刊文献+
共找到193篇文章
< 1 2 10 >
每页显示 20 50 100
Ionia:基于Coq的带类型学习框架及代码生成工具
1
作者 张晓丽 陈钢 +1 位作者 麻莹莹 胡萍 《计算机研究与发展》 北大核心 2025年第10期2635-2650,共16页
随着人工智能(artificial intelligence,AI)规模的快速增长,深度学习应用程序中出现的错误也日益增多.现有主流深度学习框架大都建立在动态类型语言Python之上,缺乏类型检查机制,导致许多错误无法在编译阶段通过类型检查加以排除.为此,... 随着人工智能(artificial intelligence,AI)规模的快速增长,深度学习应用程序中出现的错误也日益增多.现有主流深度学习框架大都建立在动态类型语言Python之上,缺乏类型检查机制,导致许多错误无法在编译阶段通过类型检查加以排除.为此,提出了一种基于定理证明器Coq的强类型函数式编程风格的深度学习框架.该框架具有带类型的张量结构和强大的静态类型检查能力.实验结果表明,该框架能够自动有效检测到深度学习模型中的形状不匹配错误,相较于其他检查工具,在检测能力和速度方面具有更大优势.进一步地,设计并实现了一套从函数式编程模型到C代码的重写转换规则,实现了从函数式神经网络算子表达式到多核并行OpenMP C代码的转换.多组实验结果表明,该方法生成的算子C代码与手工编写的代码质量相当,且加入多核并行优化后生成的神经网络算子OpenMP C代码相较于顺序执行的算子C代码,速度提升了4~10倍.此外,利用该方法生成的C算子具有高安全性,能够有效避免人工编写代码时常见的下标越界和存储分配错误等问题. 展开更多
关键词 深度学习框架 静态分析 类型系统 形状错误检测 coq 多核并行代码生成
在线阅读 下载PDF
CoQ_(10)生物合成限速酶及其编码基因对布莱凯特黑牛品种培育的实践意义 被引量:2
2
作者 牛召珊 董雅娟 +2 位作者 赵仕全 杨莉 柏学进 《安徽农业科学》 CAS 2013年第1期154-156,共3页
辅酶Q10(CoQ10)作为人体线粒体呼吸链中的递氢体具有较高的学术研究及应用价值。由ubiA/coq2基因编码的对羟苯甲酸聚异戊二烯焦磷酸转移酶是原核和真核生物CoQ生物合成途径的限速步骤,因此对该酶及其编码基因的研究显得尤为重要。对该... 辅酶Q10(CoQ10)作为人体线粒体呼吸链中的递氢体具有较高的学术研究及应用价值。由ubiA/coq2基因编码的对羟苯甲酸聚异戊二烯焦磷酸转移酶是原核和真核生物CoQ生物合成途径的限速步骤,因此对该酶及其编码基因的研究显得尤为重要。对该酶及其编码基因的研究成果和现状进行综述和展望,旨在为布莱凯特黑牛品种培育的实践研究提供理论指导意义。 展开更多
关键词 coq10 对羟基苯甲酸聚异戊二烯焦磷酸转移酶 ubiA coq2 布莱凯特黑牛
在线阅读 下载PDF
几种营养物质对烟草细胞生长和CoQ_(10)含量的影响 被引量:4
3
作者 高向阳 叶国洪 +1 位作者 穆虹 徐凤彩 《生物工程学报》 CAS CSCD 北大核心 2000年第1期78-81,共4页
研究了蔗糖、KH2PO4、NH+4/NO3比对烟草细胞生长和CoQ10含量的影响,结果表明,当蔗糖浓度为30g/L时,CoQ10总量最高,此时细胞产量、CoQ10含量和总量分别为198g/L、4147μg/g(dwt)、8212μg/L。在上述蔗糖浓度下,当KH2PO4起始浓度为340mg/L... 研究了蔗糖、KH2PO4、NH+4/NO3比对烟草细胞生长和CoQ10含量的影响,结果表明,当蔗糖浓度为30g/L时,CoQ10总量最高,此时细胞产量、CoQ10含量和总量分别为198g/L、4147μg/g(dwt)、8212μg/L。在上述蔗糖浓度下,当KH2PO4起始浓度为340mg/L、NH+4/NO-3为12时,细胞产量、CoQ10含量和总量分别最高,高于此比例时有利于CoQ10形成,但不利于细胞生长。 展开更多
关键词 coq10 烟草细胞 悬浮培养 细胞生长 营养物质
在线阅读 下载PDF
烟草细胞悬浮培养生产CoQ_(10)的条件研究 被引量:6
4
作者 吴玉荷 胡章立 +1 位作者 陈敏 徐昶 《深圳大学学报(理工版)》 EI CAS 北大核心 2005年第1期76-79,共4页
采用细胞悬浮培养的方法,以烟草(NicotianatobacumL)细胞为材料,研究了不同温度、不同pH值、愈伤组织不同接种年龄和接种量对烟草细胞生长和CoQ10形成的影响.结果表明,在16~32℃间细胞能生长形成CoQ10,但在16~28℃范围内,细胞生物量... 采用细胞悬浮培养的方法,以烟草(NicotianatobacumL)细胞为材料,研究了不同温度、不同pH值、愈伤组织不同接种年龄和接种量对烟草细胞生长和CoQ10形成的影响.结果表明,在16~32℃间细胞能生长形成CoQ10,但在16~28℃范围内,细胞生物量随温度升高递增;在24~32℃范围内,CoQ10含量随温度上升而下降.在pH值为5~7 5条件下细胞能生长和形成CoQ10,当pH值为5 8时细胞干重和CoQ10含量最大.悬浮培养接种的"种子"年龄为7d左右时细胞干重及CoQ10含量均最大;接种量与培养基的质量分数比为1∶7 5时,较适合细胞生长和CoQ10的合成. 展开更多
关键词 烟草细胞 悬浮培养 细胞干质量 coq10含量
在线阅读 下载PDF
运动性疲劳的线粒体膜分子机理研究V:线粒体CoQ和质子循环共同参与ROS循环——运动模型中的证据 被引量:4
5
作者 聂金雷 张勇 +2 位作者 蒋春笋 时庆德 刘树森 《中国运动医学杂志》 CAS CSCD 北大核心 2003年第5期437-442,共6页
目的 :以运动、外源性补充辅酶Q (coenzymeQ ,CoQ)以及运动合并补充CoQ作为干预手段 ,观察线粒体CoQ结合含量、质子跨膜势能与活性氧产生之间的相互关系 ,进一步探讨运动性内源活性氧生成和代谢的线粒体膜分子机制。方法 :雄性SD大鼠 36... 目的 :以运动、外源性补充辅酶Q (coenzymeQ ,CoQ)以及运动合并补充CoQ作为干预手段 ,观察线粒体CoQ结合含量、质子跨膜势能与活性氧产生之间的相互关系 ,进一步探讨运动性内源活性氧生成和代谢的线粒体膜分子机制。方法 :雄性SD大鼠 36只 ,随机分为 :(1)安静对照组 (R ,n =6 ) ;(2 )运动中对照组 (Em ,n =6 ) ;(3)力竭对照组 (Ei,n =6 ) ;(4 )安静补药组 (QR ,n=6 ) ;(5 )运动中补药组 (Qm ,n =6 ) ;(6 )力竭补药组 (Qi ,n =6 )。采用三级递增负荷力竭运动模型 ,测定心肌线粒体CoQ9及CoQ10 结合含量、ROS产生速率以及线粒体膜质子泵出与电子传递比值(H+/ 2e)。结果 :(1)Em和Qm组心肌线粒体ROS产生、H+/ 2e和CoQ结合含量分别比R和QR组显著增高 ,并且 ,Qm组三项指标显著高于Em组。 (2 )相关分析表明 ,CoQ结合含量分别与H+/ 2e和ROS产生速率呈线性正相关。结论 :以外源性补充CoQ10 和 /或运动应激作为干预手段时 ,心肌线粒体CoQ含量升高导致建立高质子跨膜势能 ,并进而增加活性氧生成 ,进一步支持“活性氧循环” 展开更多
关键词 运动性疲劳 线粒体膜分子机理 研究 V:线粒体 coq 质子循环 ROS循环 运动模型
原文传递
基于Coq的Paxos形式化建模与验证 被引量:6
6
作者 李亚男 邓玉欣 刘静 《软件学报》 EI CSCD 北大核心 2020年第8期2362-2374,共13页
Paxos是一个在不可靠的分布式处理器网络中解决共识问题的算法族.共识问题是指分布式系统中一组参与者就一个结果达成一致的过程.随着Paxos在大型分布式系统中的广泛运用,比如区块链系统以及谷歌文件系统等,其安全性证明越来越重要.在... Paxos是一个在不可靠的分布式处理器网络中解决共识问题的算法族.共识问题是指分布式系统中一组参与者就一个结果达成一致的过程.随着Paxos在大型分布式系统中的广泛运用,比如区块链系统以及谷歌文件系统等,其安全性证明越来越重要.在定理证明工具Coq中,形式化描述和定义了Lamport的Basic Paxos算法,并且证明了其满足共识性. 展开更多
关键词 分布式系统 Basic Paxos 定理证明工具 coq 验证
在线阅读 下载PDF
培养条件对烟草细胞生长和CoQ_(10)含量的影响 被引量:6
7
作者 叶国洪 穆虹 徐凤彩 《华南农业大学学报》 CAS CSCD 北大核心 2000年第2期42-45,53,共5页
以红花大金元品种的烟草为材料 ,采用细胞悬浮培养方法 ,对影响烟草生长和CoQ10 含量的细胞培养条件 :pH、温度、接种量、摇床转速及装液量等进行了研究 结果表明 :烟草细胞在培养基原始pH 4 0~ 8 0下均能生长 ,但在pH 6 0时细胞... 以红花大金元品种的烟草为材料 ,采用细胞悬浮培养方法 ,对影响烟草生长和CoQ10 含量的细胞培养条件 :pH、温度、接种量、摇床转速及装液量等进行了研究 结果表明 :烟草细胞在培养基原始pH 4 0~ 8 0下均能生长 ,但在pH 6 0时细胞生长最好 ,CoQ10 含量最高 ;接种量仅能影响细胞培养周期 ,而不影响CoQ10 含量 ,接种量增加可缩短细胞生长的迟滞期 ;在 1 6~ 32℃间 ,温度升高有利于CoQ10 的形成 ,但超过 2 8℃则不利于烟草细胞的生长 ,CoQ10总量并不增加 ;摇床转速和装液量对细胞生长和CoQ10 形成的影响主要是其造成的剪切力和溶氧量的变化 ,摇床转速在 1 0 0~ 1 5 0r/min范围内有利于烟草细胞生长和CoQ10 形成 在 1 0 0r/min转速下 ,细胞干质量和CoQ10 含量最高 ,此时 (装液量为 1 0 0mL瓶的 1 /4 )的Kd 值为 1 74pmol(mL·min·Pa) 展开更多
关键词 辅酶coq10 烟草 细胞悬浮培养 产量 温度 PH值
在线阅读 下载PDF
基于Coq的软件安全性验证 被引量:2
8
作者 谯婷婷 王乐 +1 位作者 王芳 葛艳 《计算机应用》 CSCD 北大核心 2012年第A02期96-100,共5页
针对数组越界、空指针应用和缓冲区溢出三类威胁软件安全的不规范操作,提出了一种基于Coq验证上述三类操作的形式化方法。首先编写三类安全问题的程序实例,并采用形式化方法进行标注;其次运用Frama-C和Why工具对标注程序进行解析,生成... 针对数组越界、空指针应用和缓冲区溢出三类威胁软件安全的不规范操作,提出了一种基于Coq验证上述三类操作的形式化方法。首先编写三类安全问题的程序实例,并采用形式化方法进行标注;其次运用Frama-C和Why工具对标注程序进行解析,生成需要证明的定理;最后基于Coq集成开发环境证明定理,实现安全问题的验证。结果表明,该方法有效验证了软件安全中的三类问题,为形式化方法在软件安全性验证方面的应用奠定了基础。 展开更多
关键词 软件安全性 形式化方法 coq 数组越界 空指针应用 缓冲区溢出
在线阅读 下载PDF
COQ10B在食管鳞癌中的表达及其调控Snail表达促进食管鳞癌细胞增殖与侵袭 被引量:3
9
作者 魏瑜 曹雷雨 +3 位作者 高艳 渠成程 马晓丽 张莉 《现代肿瘤医学》 CAS 2024年第12期2146-2154,共9页
目的:探讨COQ10B对食管鳞癌细胞增殖、侵袭能力的影响及可能的分子机制。方法:通过TIMER2.0数据库分析COQ10B基因在各种肿瘤和相邻正常组织之间的表达水平。免疫组织化学检测COQ10B在食管鳞癌组织中的表达水平并进行临床病理特征分析及... 目的:探讨COQ10B对食管鳞癌细胞增殖、侵袭能力的影响及可能的分子机制。方法:通过TIMER2.0数据库分析COQ10B基因在各种肿瘤和相邻正常组织之间的表达水平。免疫组织化学检测COQ10B在食管鳞癌组织中的表达水平并进行临床病理特征分析及生存分析;利用慢病毒构建COQ10B敲减稳转株及Snail过表达稳转株,qRT-PCR和Western blot方法检测转染效率。MTT法、Celigo细胞计数及Transwell侵袭小室检测COQ10B对KYSE150细胞系增殖和侵袭能力的影响。通过GEPIA2数据库分析COQ10B表达水平与Snail的相关性;Western blot检测敲减COQ10B对Snail蛋白表达的影响。通过拯救实验分析COQ10B是否通过正调控Snail促进KYSE150细胞系增殖和侵袭能力。结果:COQ10B在ESCC组织及细胞系中均为高表达水平,且表达水平与临床病理特征病理分级相关。COQ10B与ESCC患者预后相关,高表达COQ10B的ESCC患者预后明显较差,且发现性别、肿瘤TNM分期是影响ESCC预后的独立危险因素。敲减COQ10B可降低ESCC细胞增殖及侵袭能力。COQ10B表达水平与Snail呈正相关,并通过正调控Snail促进KYSE150细胞系增殖和侵袭能力。结论:COQ10B通过正向调控Snail基因表达促进食管鳞癌增殖与侵袭。 展开更多
关键词 食管鳞状细胞癌 coq10B SNAIL 增殖 侵袭
暂未订购
一株产CoQ_(10)的红假单胞菌的研究 被引量:4
10
作者 张加春 杨爱明 刘刚 《云南师范大学学报(自然科学版)》 2003年第1期48-50,共3页
从滇池分离到一株革兰氏阴性杆菌 ,于光照厌氧及黑暗好氧条件下生长良好 ,活细胞在 870、80 3 nm处有吸收峰 ,具平行片层状的光合内膜系统 ,可归属于红假单胞菌属 (Rhodopseudomonas) ;该菌体中提取分离得到的黄色结晶品 ,经 Craven试... 从滇池分离到一株革兰氏阴性杆菌 ,于光照厌氧及黑暗好氧条件下生长良好 ,活细胞在 870、80 3 nm处有吸收峰 ,具平行片层状的光合内膜系统 ,可归属于红假单胞菌属 (Rhodopseudomonas) ;该菌体中提取分离得到的黄色结晶品 ,经 Craven试验、高效薄层层析、高效液相色谱、紫外光谱、红外光谱、核磁共振及质谱证实 ,为 Co Q1 展开更多
关键词 红假单胞菌 coq10 光合内膜系统 光合细菌 辅酶 菌种鉴定 革兰氏阴性杆菌
在线阅读 下载PDF
微生物CoQ合成途径及CoQ_(10)生产菌株的分子生物学改造 被引量:4
11
作者 蒋世云 余龙江 《中国生物工程杂志》 CAS CSCD 北大核心 2007年第10期103-112,共10页
CoQ10具有呼吸链电子传递者、抗氧化性、调控基因表达等多种生理生化功能,目前不仅用作药物也用作食品添加剂。微生物发酵法是目前生产CoQ10最有效的方法。就有关微生物CoQ合成途径及基于CoQ合成途径的CoQ10生产菌株分子生物学改造的策... CoQ10具有呼吸链电子传递者、抗氧化性、调控基因表达等多种生理生化功能,目前不仅用作药物也用作食品添加剂。微生物发酵法是目前生产CoQ10最有效的方法。就有关微生物CoQ合成途径及基于CoQ合成途径的CoQ10生产菌株分子生物学改造的策略与研究进展进行了综述和展望。 展开更多
关键词 coq10 分子生物学 遗传改造 生物合成途径 微生物
在线阅读 下载PDF
CoQ10软胶囊在Beagle犬体内的相对生物利用度评价 被引量:1
12
作者 王庆伟 李小强 +6 位作者 刘雪英 刘莉 曹葳 冯娟 金艳 李宇华 梅其炳 《药物分析杂志》 CAS CSCD 北大核心 2005年第12期1504-1506,共3页
目的:比较在 Beagle 犬体内3种辅酶 Q_(10)(CoQ_(10))制剂的相对生物利用度。方法:采用三制剂三周期(3×3拉丁方)自身对照交叉多剂量口服给药方式,周期间清洗1周。用高效液相色谱法测定6条健康 Beagle 犬口服 CoQ_(10)软胶囊(受试制... 目的:比较在 Beagle 犬体内3种辅酶 Q_(10)(CoQ_(10))制剂的相对生物利用度。方法:采用三制剂三周期(3×3拉丁方)自身对照交叉多剂量口服给药方式,周期间清洗1周。用高效液相色谱法测定6条健康 Beagle 犬口服 CoQ_(10)软胶囊(受试制剂A)、CoQ_(10)普通胶囊(参比制剂 B)和进口 CoQ_(10)软胶囊(参比制剂 C)后不同时间点血浆中 CoQ_(10)的浓度,扣除内源性 CoQ_(10)本底,绘制血药浓度-时间曲线,计算相对生物利用度。结果:受试犬口服 CoQ_(10)60mg 的受试制剂(A)和参比制剂(B,C)后,血浆中 CoQ_(10)AUC_(0-t)(μg·h·mL^(-1))分别为69.31±40.49,62.38±59.05,104.90±64.32。与参比制剂 B 与 C 相比,受试制剂中的相对生物利用度平均为(144.07±79.48)%和(78.60±54.28)%。结论:CoQ_(10)受试制剂 A 生物利用度高于参比制剂 B 而低于参比制剂 C。 展开更多
关键词 辅酶Q10 高效液相色谱法 相对生物利用度 coq10 软胶囊
暂未订购
磁胁迫对烟草细胞生长和CoQ_(10)含量的影响 被引量:1
13
作者 吴玉荷 胡章立 张永夏 《植物生理学通讯》 CAS CSCD 北大核心 2005年第4期482-484,共3页
用0.4 T恒定磁场处理烟草细胞0.5~1.5 h后,细胞活力和存活率可受到一定的影响,但处理间差异不显著.处理0.5~1.0h的细胞分裂指数和细胞生物量显著提高,分别提高15.4%和49.6%,细胞干重分别提高18.4%和42.3%,但CoQ10的生物合成和积累受抑... 用0.4 T恒定磁场处理烟草细胞0.5~1.5 h后,细胞活力和存活率可受到一定的影响,但处理间差异不显著.处理0.5~1.0h的细胞分裂指数和细胞生物量显著提高,分别提高15.4%和49.6%,细胞干重分别提高18.4%和42.3%,但CoQ10的生物合成和积累受抑.处理1.5 h的细胞分裂和细胞生长受抑,但CoQ10的生物合成和积累得到促进,CoQ10含量提高25.2%. 展开更多
关键词 悬浮培养 细胞分裂指数 coq10 细胞活力 细胞生长 烟草细胞 含量 胁迫 细胞分裂 生物合成
在线阅读 下载PDF
基于Coq的逆矩阵运算的形式化 被引量:2
14
作者 沈楠 陈钢 《计算机科学》 CSCD 北大核心 2023年第S01期848-854,共7页
矩阵是一种在计算机科学中应用广泛的数据结构,其运算正确性具有重要意义。矩阵求逆在矩阵形式化工作当中缺乏合理且实用的形式化工作。其原因在于,工程中现有的两种常见求逆方法的形式化均存在难点。第一种是基于伴随矩阵求解方法,难... 矩阵是一种在计算机科学中应用广泛的数据结构,其运算正确性具有重要意义。矩阵求逆在矩阵形式化工作当中缺乏合理且实用的形式化工作。其原因在于,工程中现有的两种常见求逆方法的形式化均存在难点。第一种是基于伴随矩阵求解方法,难点在于无法形式化地表示n*n矩阵的子矩阵,导致构建余子式组成的矩阵十分困难,因此难以实现伴随矩阵求解逆矩阵形式化;第二种称作高斯约旦初等变换求解法,难点在于构造初等矩阵及其操作函数。若使用Coq归纳结构设计操作函数,即采用行优先填充二维表的思想,将舍弃列维度对二维表的描述信息,使得操作函数分支过多,需要设计复杂的归纳结构,导致后续形式化验证无法进行。文中提出了基于记录的矩阵函数构建法,使用行列两种维度同时描述矩阵,使得构造并证明初等矩阵成为可能,在此基础上实现了在Coq系统中基于高斯约旦消元法的矩阵求逆的形式化工作。以一种代价更小且时间复杂度更低的方式,实现了首个形式化验证下的软件逆矩阵函数库。 展开更多
关键词 形式化验证 形式化工程数学 逆矩阵形式化 coq 软件安全
在线阅读 下载PDF
Effects of the Amino Acids of Aspartate Family on the Biosynthesis of CoQ_(10) in Rhodopseudomonas palustris J001 被引量:1
15
作者 蒋世云 余龙江 《Agricultural Science & Technology》 CAS 2008年第4期1-3,13,共4页
[Objective]The study aimed to investigate the effects of the amino acids of aspartate family on the biosynthesis of CoQ10 in Rhodpseudomonas palustris J001.[Method]The impacts of amino acids of this family on the bios... [Objective]The study aimed to investigate the effects of the amino acids of aspartate family on the biosynthesis of CoQ10 in Rhodpseudomonas palustris J001.[Method]The impacts of amino acids of this family on the biosynthesis of CoQ10 in Rhodopseudomnas palustris J001 were investigated by feeding these amino acids at the end of the logarithmic phase during incubation,which aim was for the optimization of the fermentation medium and genetic improvement of the strain for CoQ10 production.[Result]The results showed that feeding proper amount of methione(125 mg/L)could increase CoQ10 production by 20.2%,but feeding of lysine(above 500 mg/L),threonine(above 400 mg/L)and/or isoleucine(above 400 mg/L)repressed the biosynthesis of CoQ10.The results indicated that the aspartate kinase is subject to feedback inhibition or repression by lysine,threonine and isoleucine in the strain,which was unfavorable to the formation of methioine and then caused the decrease of CoQ10 production.[Conclusion]Lysine,threonine and isoleucine auxotrophic mutants with resistance to analogues of lysine,threonine and isoleucine could increase the production of CoQ10. 展开更多
关键词 coq10 Amino acids of aspartate family Feedback inhibition Rhodopseudomnas palustris
在线阅读 下载PDF
CoQ_(10)对醋氨酚肝毒性的保护作用探讨
16
作者 黎煌久 陈焕昭 +2 位作者 吴惜贞 卢启明 刘幸平 《中国药理学通报》 CAS CSCD 北大核心 1995年第3期260-261,共2页
*P<0.001从表3可见,CoQ10高低剂量组肝匀浆CytP450含量与nS对照组比较没有明显差异(P>0.05),而苯巴比妥钠组小鼠肝匀浆CytP450含量较NS对照组及高低剂量组显著升高,有非常显著性差异(P<... *P<0.001从表3可见,CoQ10高低剂量组肝匀浆CytP450含量与nS对照组比较没有明显差异(P>0.05),而苯巴比妥钠组小鼠肝匀浆CytP450含量较NS对照组及高低剂量组显著升高,有非常显著性差异(P<0.001)。本巴比妥钠为肝药酶诱导剂,其阳性结果证明此实验方法可靠,也证明CoQ10对肝细胞CytP450含量没有影响。3讨论本实验结果表明:小鼠用CoQ10作预处理,确能保护超量AAP对肝脏的损伤作用;同时能使AAP血清浓度明显升高,而对肝细胞CytP450含量则无影响。据文献报道,超tAAP进入肝细胞微粒体后,通过肝药酶代谢产出大量毒性中间产物,因而引起肝损害甚至肝坏死[7]。CoQ10能防止这一毒性效应,通过稳定肝细胞微粒体膜或抑制肝药酶活住,均可达此目的.上述实验结果.均提示CoQ10的作用途径可能是稳定肝细胞微粒体膜,使AAP进入微粒体数量减少,因而毒性中间代射产物生成减少,使肝细胞损伤减轻。 展开更多
关键词 辅酶Q10 coq10 醋氨酚 肝毒性 保护作用
暂未订购
大肠杆菌menA敲除对CoQ积累的影响研究
17
作者 刘永青 任琳 张子锋 《生物技术通报》 CAS CSCD 北大核心 2015年第12期207-213,共7页
通过同源重组敲除大肠杆菌的men A基因,增加菌体Co Q合成量,用于构建Co Q高产菌株。以p KD4质粒为模板,PCR扩增kanr片段;在p KD46的辅助下,kanr片段转化大肠杆菌,利用抗生素筛选和PCR验证重组子;以紫外诱变菌为对照,发酵men A基因敲除菌... 通过同源重组敲除大肠杆菌的men A基因,增加菌体Co Q合成量,用于构建Co Q高产菌株。以p KD4质粒为模板,PCR扩增kanr片段;在p KD46的辅助下,kanr片段转化大肠杆菌,利用抗生素筛选和PCR验证重组子;以紫外诱变菌为对照,发酵men A基因敲除菌株,分析Co Q种类和产量变化。成功获得men A基因敲除菌株,Co Q种类不变,产量增加约为38%。首次敲除men A基因,改良株Co Q产量得到提高,达到预期目标。 展开更多
关键词 大肠杆菌 基因敲除 menA基因 coq 同源重组
在线阅读 下载PDF
粟酒裂殖酵母转化底物茄尼醇合成CoQ_(10)的研究
18
作者 赵晓燕 刘萍 +1 位作者 唐涤清 孙君社 《食品与发酵工业》 CAS CSCD 北大核心 2006年第6期16-18,共3页
研究了水/有机反应体系中,以茄尼醇为底物时,粟酒裂殖酵母(Schizosaccharomyces promb)2.1794转化合成CoQ10产量情况,并对其转化工艺进行了初步的探讨。确定了适宜于粟酒裂殖酵母转化茄尼醇生成CoQ10的条件为:异丙醇和pH 5.0、0.1 mol/... 研究了水/有机反应体系中,以茄尼醇为底物时,粟酒裂殖酵母(Schizosaccharomyces promb)2.1794转化合成CoQ10产量情况,并对其转化工艺进行了初步的探讨。确定了适宜于粟酒裂殖酵母转化茄尼醇生成CoQ10的条件为:异丙醇和pH 5.0、0.1 mol/L的磷酸缓冲液按2∶8的体积比形成转化体系,菌体添加量的质量浓度为0.5%,底物添加质量浓度为500 mg/L,30℃下220 r/min转化8 h,CoQ10产量为91.037 mg/L(发酵液),单位细胞内CoQ10产量为3.726 mg/g(湿细胞),与空白相比提高了203.45%,与在水相转化体系中相比提高了81.24%。 展开更多
关键词 coq10 茄尼醇 粟酒裂殖酵母 水/有机反应体系 微生物转化
在线阅读 下载PDF
对沼泽红假单胞菌生产CoQ_(10)添加前体物的优化(英文)
19
作者 蒋世云 余龙江 +2 位作者 熊欣 申晓林 简艳 《现代生物医学进展》 CAS 2008年第5期845-850,共6页
CoQ_(10)因其具有多种生理生化功能而不仅用于药物也用作食品添加剂。本研究采用全因析中心复合设计及响应面法对茄尼醇、对羟基苯甲酸及甲硫氨酸三种CoQ_(10)前体物的添加量进行了优化,以达到沼泽红假单胞菌J001最大量地生产CoQ_(10)... CoQ_(10)因其具有多种生理生化功能而不仅用于药物也用作食品添加剂。本研究采用全因析中心复合设计及响应面法对茄尼醇、对羟基苯甲酸及甲硫氨酸三种CoQ_(10)前体物的添加量进行了优化,以达到沼泽红假单胞菌J001最大量地生产CoQ_(10)的目的。结果表明:经过对所得模型进行响应曲面法分析,当茄尼醇、对羟基苯甲酸及甲硫氨酸最佳添加量分别为124.8 mg l^(-1),267.7 mg l^(-1),130.2mg l^(-1)时,得最大CoQ_(10)产量预测值40.6[(mg CoQ_(10))(g干细胞)^(-1)]。对上述最佳组合进行试验验证得40.5±0.2[(mg CoQ_(10))(g干细胞)^(-1)],很接近预测值,比对照(未加三种CoQ10前体物)CoQ_(10)产量提高了109.8%。 展开更多
关键词 coq10响应面法 沼泽红假单胞菌 甲硫氨酸 4-羟基苯甲酸 茄尼醇
在线阅读 下载PDF
元模型层次的UML动态子图到Coq形式规范的转换
20
作者 窦亮 尹敏 +1 位作者 李超 杨宗源 《计算机应用与软件》 CSCD 2016年第8期7-11,66,共6页
UML动态子图主要包括序列图和状态图等,它们在描述系统的行为方面应用广泛,但是半形式化的语义使它们不能直接进行形式化验证。Coq是目前主流的交互式定理证明器,用形式化的Coq规范来描述UML动态子图模型,可以在此基础上进行对模型的属... UML动态子图主要包括序列图和状态图等,它们在描述系统的行为方面应用广泛,但是半形式化的语义使它们不能直接进行形式化验证。Coq是目前主流的交互式定理证明器,用形式化的Coq规范来描述UML动态子图模型,可以在此基础上进行对模型的属性进行验证等工作。基于现有工作,提出将UML动态子图模型转换为Coq形式规范的框架,在元模型层次给出状态图和序列图的转换规则,介绍算法和原型工具实现。这种元模型层次的转换方法,保证了转换前后的语法正确性,为进一步分析验证提供了基础。 展开更多
关键词 UML动态子图 模型转换 元模型 coqKemieta
在线阅读 下载PDF
上一页 1 2 10 下一页 到第
使用帮助 返回顶部