期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到192篇文章
< 1 2 … 10 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
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
COQ10B在食管鳞癌中的表达及其调控Snail表达促进食管鳞癌细胞增殖与侵袭 被引量：2
2
作者 魏瑜 曹雷雨 +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 增殖 侵袭
暂未订购
IGF1、CoQ10、MT联合添加缓解热应激对牛IVF囊胚的影响 被引量：1
3
作者 张航 张培培 +6 位作者 杨柏高 冯肖艺 牛一凡 余洲 曹建华 万鹏程 赵学明 《畜牧兽医学报》 CAS CSCD 北大核心 2024年第6期2474-2485,共12页
旨在探明胰岛素样生长因子1(insulin-like growth factors 1,IGF1)、辅酶Q10(coenzyme Q10,CoQ10)及褪黑素(melatonin, MT)联合添加对牛卵母细胞和胚胎发育以及热应激囊胚的影响。本研究于屠宰场采集牛离体卵巢,于实验室抽取卵丘卵母细... 旨在探明胰岛素样生长因子1(insulin-like growth factors 1,IGF1)、辅酶Q10(coenzyme Q10,CoQ10)及褪黑素(melatonin, MT)联合添加对牛卵母细胞和胚胎发育以及热应激囊胚的影响。本研究于屠宰场采集牛离体卵巢,于实验室抽取卵丘卵母细胞复合体(cumulus-oocyte complexes, COCs),在牛卵母细胞体外成熟(in vitro maturation, IVM)液及牛胚胎体外培养(in vitro culture, IVC)液中添加IGF1、CoQ10及MT,检测各添加方式对牛卵母细胞发育能力、牛卵母细胞活性氧(reactive oxygen species, ROS)水平及线粒体膜电位(mitochondrial membrane potential,ΔΨm)的影响;在囊胚期施加41℃热应激,检测热应激及联合添加对牛IVF囊胚发育能力及凋亡水平的影响,并利用qRT-PCR检测囊胚中胚胎质量相关基因mRNA表达水平。各组试验均重复3次。结果表明,与未添加组(CT-0组)相比,联合添加IGF1、CoQ10及MT组(ICM组)卵母细胞成熟率((90.40±2.06)%vs.(65.41±0.63)%)、卵裂率((93.33±1.96)%vs.(59.77±2.93)%)及囊胚率((51.43±5.34)%vs.(26.92±3.24)%)均显著提高(P<0.05);ICM组牛卵母细胞ROS水平显著降低;ΔΨm显著提高(P<0.05)。与热应激组(HS组)相比,联合添加IGF1、CoQ10及MT(ICM+HS组)显著提高了囊胚扩张率((62.00±2.97)%vs.(30.77±8.66)%,P<0.05),抑制了热应激囊胚细胞凋亡,并提高了IGFBP3、ATP1A1、DSC2及IFNT2的mRNA表达水平(P<0.05)。综上表明,联合添加IGF1、CoQ10及MT有效提高牛卵母细胞发育能力,降低ROS水平,提高ΔΨm。热应激降低牛囊胚扩张率,促进牛囊胚细胞凋亡,影响囊胚质量,而联合添加IGF1、CoQ10及MT缓解了热应激损伤。 展开更多
关键词 IGF1 coq10 褪黑素 热应激 奶牛 胚胎
在线阅读 下载PDF
滩羊FGF5、COQ9基因多态性及其与生长性状的关联分析 被引量：2
4
作者 马丽娜 田进阳 +2 位作者 王锦 赵正伟 马青 《浙江农业学报》 CSCD 北大核心 2024年第5期1015-1023,共9页
为探索滩羊成纤维细胞生长因子5(fibroblast growth factor, FGF5)和辅酶Q9(coenzyme Q9,COQ9)基因的多态性及其与生长性状的关联性,运用分子标记辅助育种方法,为提高滩羊的生长性状提供理论依据。针对前期研究中筛选出的位点采用SNP分... 为探索滩羊成纤维细胞生长因子5(fibroblast growth factor, FGF5)和辅酶Q9(coenzyme Q9,COQ9)基因的多态性及其与生长性状的关联性,运用分子标记辅助育种方法,为提高滩羊的生长性状提供理论依据。针对前期研究中筛选出的位点采用SNP分型技术对107只滩羊进行FGF5和COQ9基因多态性检测,并与初生重、二毛期(35日龄)、6月龄和12月龄体重进行关联分析。结果表明,通过与绵羊参考基因组(GCF_000298735.2_Oar_v4.0)比对,在滩羊FGF5基因上筛选出2个SNPs位点,分别为g.94540629T>G和g.94540642T>C,其中g.94540629T>G位点产生TT、GT和GG共3种基因型,g.94540642T>C位点产生TT、TC和CC共3种基因型;在COQ9基因上筛选出3个SNP位点,分别为g.94503480A>G、g.24807700A>G和g.24812228T>C,其中g.94503480A>G位点产生AA、AG、GG共3种基因型,g.24807700A>G位点产生AA、AG、GG共3种基因型,g.24812228T>C位点产生TT、TC和CC共3种基因型。基因多态性分析表明,5个SNPs位点属于高度多态,且在滩羊群体处于Hardy-Weinberg平衡状态(P>0.05);关联分析结果显示,FGF5基因g.94540642T>C位点C/T基因型12月体重显著大于其他基因型(P<0.05),COQ9基因g.24807700A>G位点GG基因型12月体重显著大于其他基因型(P<0.05),g.24812228T>C位点C/C基因型12月体重显著大于其他基因型(P<0.05),由此可知,3个SNP位点对滩羊12月龄体重有显著影响;COQ9基因g.24812228T>C和g.24807700A>G位点在滩羊群体处于强连锁不平衡,FGF5基因g.94540629T>G和g.94540642T>C位点在滩羊群体处于强连锁不平衡,COQ9基因g.94503480A>G、g.24807700A>G和g.24812228T>C位点和基因型组合A/GA/AT/T与A/GA/GT/C在出生重、6月体重和12月体重显著高于其他组合基因型(P<0.05)。FGF5和COQ9基因多态性与滩羊生长性状显著相关,FGF5和COQ9基因可作为滩羊生长性状选育的候选基因,可作为滩羊体重性状的分子标记,通过常规育种结合分子标记辅助选择来提高滩羊的选育效率。 展开更多
关键词 滩羊 FGF5 coq9 基因多态性 生长性状 关联分析
在线阅读 下载PDF
COQ8A基因突变所致原发性辅酶Q10缺乏症1例
5
作者 朱姝 余凯 邹显巍 《中国神经精神疾病杂志》 CAS CSCD 北大核心 2024年第10期605-607,共3页
原发性辅酶Q10缺乏症属于常染色体隐性遗传病,由辅酶Q10生物合成过程中关键酶的编码基因发生突变导致。本文首次报道辅酶Q8A(coenzyme Q8A,COQ8A)基因一种新的杂合变异导致的原发性辅酶Q10缺乏症。患者为26岁男性,以缓慢起病的共济失调... 原发性辅酶Q10缺乏症属于常染色体隐性遗传病,由辅酶Q10生物合成过程中关键酶的编码基因发生突变导致。本文首次报道辅酶Q8A(coenzyme Q8A,COQ8A)基因一种新的杂合变异导致的原发性辅酶Q10缺乏症。患者为26岁男性,以缓慢起病的共济失调、运动不耐受、震颤以及癫痫发作为主要表现,诊断原发性辅酶Q10缺乏症,全外显子基因测序结果示COQ8A基因复合杂合突变[NM_020247.5:exon8:c.1009G>A(p.A337T)和NM_020247.5:exon8:c.1078delC(p.Q360Sfs*20)],予以补充辅酶Q10后症状有所改善。该病例提示当患者出现共济失调、运动障碍,尤其伴癫痫或认知功能障碍时,应排查可治性的原发性辅酶Q10缺乏症。 展开更多
关键词 coq8A 基因突变 原发性辅酶 Q10缺乏症 共济失调 癫痫发作 常染色体隐形遗传病
暂未订购
COQ8A基因复合杂合突变致肌张力障碍二例并文献复习
6
作者 方筱静 李想 +3 位作者 王迪 李悦 刘芳 王丽 《中国研究型医院》 2024年第5期73-76,共4页
2例以躯干肌肉阵发性抽动伴不自主抖动的男性患者分别于2021年6月和2023年10月于我院就诊。查体均可见脊柱侧弯、腹部及躯干部肌肉不自主抖动,1例患者有小脑共济失调体征。脊柱X线检查提示2例患者均存在脊柱侧弯,头颅MRI提示1例存在小... 2例以躯干肌肉阵发性抽动伴不自主抖动的男性患者分别于2021年6月和2023年10月于我院就诊。查体均可见脊柱侧弯、腹部及躯干部肌肉不自主抖动,1例患者有小脑共济失调体征。脊柱X线检查提示2例患者均存在脊柱侧弯,头颅MRI提示1例存在小脑萎缩。外显子测序2例均发现COQ8A基因复合杂合突变,结合临床表现、全外显子测序及家系验证,确诊为原发性辅酶Q_(10)(CoQ_(10))缺乏症4型。给予大剂量CoQ_(10)治疗后,症状均有明显改善。COQ8A突变引起的原发性CoQ_(10)缺乏症4型患者临床罕见,但对CoQ_(10)治疗反应良好,及早诊断及治疗有助于改善患者的预后。因此,对2例患者的临床诊治过程结合相关文献进行报道,旨在提高临床医师对该病的认识。 展开更多
关键词 张力障碍 小脑共济失调 突变 coq8A基因 辅酶Q10缺乏症
暂未订购
基于MK的实数公理系统相容性和范畴性的Coq形式化
7
作者 郭达凯 冷姝锟 +2 位作者 窦国威 陈思 郁文生 《控制理论与应用》 EI CAS CSCD 北大核心 2024年第7期1274-1285,共12页
数学定理机器证明是人工智能基础理论的深刻体现.实数理论是数学分析的基础,实数公理系统是建立实数理论的重要方法.Morse-Kelley公理化集合论(MK)作为现代数学的基础,也为实数构建提供了严谨的数学框架和工具.本文使用定理证明器Coq,基... 数学定理机器证明是人工智能基础理论的深刻体现.实数理论是数学分析的基础,实数公理系统是建立实数理论的重要方法.Morse-Kelley公理化集合论(MK)作为现代数学的基础,也为实数构建提供了严谨的数学框架和工具.本文使用定理证明器Coq,基于MK对实数公理系统进行了深入探索.在优化了MK形式化代码的基础上,形式化构建了完整的实数公理系统,并通过形式化Landau《分析基础》中的实数模型,证明其相对于MK相容,此外,还形式化证明了实数公理系统所有模型在同构意义下是唯一的,验证了实数公理系统的范畴性.本文全部定理无例外地给出Coq的机器证明代码,所有形式化过程已被Coq验证,并在计算机上运行通过,充分体现了基于Coq的数学定理机器证明具有可读性、交互性和智能性的特点,其证明过程规范、严谨、可靠.该系统可方便地应用于拓扑学和代数学理论的形式化构建.谨以此文庆祝我国著名控制系统专家秦化淑研究员九十华诞! 展开更多
关键词 Morse-Kelley公理化集合论 实数公理系统 相容性 范畴性 coq 形式化 机器证明 人工智能
在线阅读 下载PDF
基于Coq的RVWMO加载值公理形式化描述与推论证明
8
作者 梁少杰 徐学政 +1 位作者 杨德亨 黄安文 《智能安全》 2024年第1期1-9,共9页
RISC-V内存一致性模型(RVWMO)规定了RISC-V多核系统的访存序约束,是RISC-V软硬件设计者共同遵守的重要规范,旨在为硬件设计提供灵活性的同时保证软件的易开发性。RISC-V指令集规范使用全局访存序、保留程序序以及三条公理(加载值公理、... RISC-V内存一致性模型(RVWMO)规定了RISC-V多核系统的访存序约束,是RISC-V软硬件设计者共同遵守的重要规范,旨在为硬件设计提供灵活性的同时保证软件的易开发性。RISC-V指令集规范使用全局访存序、保留程序序以及三条公理(加载值公理、原子公理与进度保证公理)描述RVWMO。通过运用RVWMO的规则,可对多线程程序的访存序合法性进行判定,进而指导芯片设计、验证与软件开发。其中,加载值公理是最为复杂和难以运用的规则之一,是多个典型案例合法性判定的重要基础。然而,规范对于该公理的描述及案例讲解主要基于自然语言,缺乏清晰严格的形式化描述和推理过程,不利于读者理解和运用该公理。本文基于交互式定理辅助证明工具Coq,给出了RVWMO加载值公理的形式化描述以及相关引理、定理和推论的证明,对于理解运用RVWMO加载值公理和判定访存序的合法性具有重要意义。 展开更多
关键词 coq 定理证明 RISC-V 内存一致性
在线阅读 下载PDF
CoQ_(10)生物合成限速酶及其编码基因对布莱凯特黑牛品种培育的实践意义 被引量：2
9
作者 牛召珊 董雅娟 +2 位作者 赵仕全 杨莉 柏学进 《安徽农业科学》 CAS 2013年第1期154-156,共3页
辅酶Q10(CoQ10)作为人体线粒体呼吸链中的递氢体具有较高的学术研究及应用价值。由ubiA/coq2基因编码的对羟苯甲酸聚异戊二烯焦磷酸转移酶是原核和真核生物CoQ生物合成途径的限速步骤,因此对该酶及其编码基因的研究显得尤为重要。对该... 辅酶Q10(CoQ10)作为人体线粒体呼吸链中的递氢体具有较高的学术研究及应用价值。由ubiA/coq2基因编码的对羟苯甲酸聚异戊二烯焦磷酸转移酶是原核和真核生物CoQ生物合成途径的限速步骤,因此对该酶及其编码基因的研究显得尤为重要。对该酶及其编码基因的研究成果和现状进行综述和展望,旨在为布莱凯特黑牛品种培育的实践研究提供理论指导意义。 展开更多
关键词 coq10 对羟基苯甲酸聚异戊二烯焦磷酸转移酶 ubiA coq2 布莱凯特黑牛
在线阅读 下载PDF
几种营养物质对烟草细胞生长和CoQ_(10)含量的影响 被引量：4
10
作者 高向阳 叶国洪 +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
11
作者 吴玉荷 胡章立 +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
12
作者 聂金雷 张勇 +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
13
作者 李亚男 邓玉欣 刘静 《软件学报》 EI CSCD 北大核心 2020年第8期2362-2374,共13页
Paxos是一个在不可靠的分布式处理器网络中解决共识问题的算法族.共识问题是指分布式系统中一组参与者就一个结果达成一致的过程.随着Paxos在大型分布式系统中的广泛运用,比如区块链系统以及谷歌文件系统等,其安全性证明越来越重要.在... Paxos是一个在不可靠的分布式处理器网络中解决共识问题的算法族.共识问题是指分布式系统中一组参与者就一个结果达成一致的过程.随着Paxos在大型分布式系统中的广泛运用,比如区块链系统以及谷歌文件系统等,其安全性证明越来越重要.在定理证明工具Coq中,形式化描述和定义了Lamport的Basic Paxos算法,并且证明了其满足共识性. 展开更多
关键词 分布式系统 Basic Paxos 定理证明工具 coq 验证
在线阅读 下载PDF
培养条件对烟草细胞生长和CoQ_(10)含量的影响 被引量：6
14
作者 叶国洪 穆虹 徐凤彩 《华南农业大学学报》 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
15
作者 谯婷婷 王乐 +1 位作者 王芳 葛艳 《计算机应用》 CSCD 北大核心 2012年第A02期96-100,共5页
针对数组越界、空指针应用和缓冲区溢出三类威胁软件安全的不规范操作,提出了一种基于Coq验证上述三类操作的形式化方法。首先编写三类安全问题的程序实例,并采用形式化方法进行标注;其次运用Frama-C和Why工具对标注程序进行解析,生成... 针对数组越界、空指针应用和缓冲区溢出三类威胁软件安全的不规范操作,提出了一种基于Coq验证上述三类操作的形式化方法。首先编写三类安全问题的程序实例,并采用形式化方法进行标注;其次运用Frama-C和Why工具对标注程序进行解析,生成需要证明的定理;最后基于Coq集成开发环境证明定理,实现安全问题的验证。结果表明,该方法有效验证了软件安全中的三类问题,为形式化方法在软件安全性验证方面的应用奠定了基础。 展开更多
关键词 软件安全性 形式化方法 coq 数组越界 空指针应用 缓冲区溢出
在线阅读 下载PDF
一株产CoQ_(10)的红假单胞菌的研究 被引量：4
16
作者 张加春 杨爱明 刘刚 《云南师范大学学报（自然科学版）》 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
17
作者 蒋世云 余龙江 《中国生物工程杂志》 CAS CSCD 北大核心 2007年第10期103-112,共10页
CoQ10具有呼吸链电子传递者、抗氧化性、调控基因表达等多种生理生化功能,目前不仅用作药物也用作食品添加剂。微生物发酵法是目前生产CoQ10最有效的方法。就有关微生物CoQ合成途径及基于CoQ合成途径的CoQ10生产菌株分子生物学改造的策... CoQ10具有呼吸链电子传递者、抗氧化性、调控基因表达等多种生理生化功能,目前不仅用作药物也用作食品添加剂。微生物发酵法是目前生产CoQ10最有效的方法。就有关微生物CoQ合成途径及基于CoQ合成途径的CoQ10生产菌株分子生物学改造的策略与研究进展进行了综述和展望。 展开更多
关键词 coq10 分子生物学 遗传改造 生物合成途径 微生物
在线阅读 下载PDF
CoQ10软胶囊在Beagle犬体内的相对生物利用度评价 被引量：1
18
作者 王庆伟 李小强 +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
19
作者 吴玉荷 胡章立 张永夏 《植物生理学通讯》 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
20
作者 沈楠 陈钢 《计算机科学》 CSCD 北大核心 2023年第S01期848-854,共7页
矩阵是一种在计算机科学中应用广泛的数据结构,其运算正确性具有重要意义。矩阵求逆在矩阵形式化工作当中缺乏合理且实用的形式化工作。其原因在于,工程中现有的两种常见求逆方法的形式化均存在难点。第一种是基于伴随矩阵求解方法,难... 矩阵是一种在计算机科学中应用广泛的数据结构,其运算正确性具有重要意义。矩阵求逆在矩阵形式化工作当中缺乏合理且实用的形式化工作。其原因在于,工程中现有的两种常见求逆方法的形式化均存在难点。第一种是基于伴随矩阵求解方法,难点在于无法形式化地表示n*n矩阵的子矩阵,导致构建余子式组成的矩阵十分困难,因此难以实现伴随矩阵求解逆矩阵形式化;第二种称作高斯约旦初等变换求解法,难点在于构造初等矩阵及其操作函数。若使用Coq归纳结构设计操作函数,即采用行优先填充二维表的思想,将舍弃列维度对二维表的描述信息,使得操作函数分支过多,需要设计复杂的归纳结构,导致后续形式化验证无法进行。文中提出了基于记录的矩阵函数构建法,使用行列两种维度同时描述矩阵,使得构造并证明初等矩阵成为可能,在此基础上实现了在Coq系统中基于高斯约旦消元法的矩阵求逆的形式化工作。以一种代价更小且时间复杂度更低的方式,实现了首个形式化验证下的软件逆矩阵函数库。 展开更多
关键词 形式化验证 形式化工程数学 逆矩阵形式化 coq 软件安全
在线阅读 下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 2 … 10 下一页 到第 页
使用帮助 返回顶部