叔烯酰胺的分子内亲核及其串联反应 

烯胺的一个烷基被吸电子基团如酰基取代后得到叔烯酰胺,由于酰基的吸电子作用,减弱了氮原子的孤对电子与“C=C”双键的共轭,从而使其亲核性下降。关于叔烯酰胺亲核反应的研究开展地相对较晚,报道也较少。另一方面叔烯酰胺的亲核反应大都是经历亚胺正离子中间体的过程。而亚胺正离子是一类反应活性很高的物种,可以发生多种类型的反应。本论...
清华大学  博士论文  2017年 下载次数(54)| 被引次数()

蜜蜂AFP基因的差异表达及个体抗寒机制初探 

抗冻蛋白基因(Antifreeze protein,AFP)是当前昆虫抗寒性研究中的热门候选基因。该基因能够非依数性地降低昆虫血淋巴冰点而对熔点无显著影响,进而提高昆虫对低温环境的适应性以及存活率。迄今为止,关于膜翅目昆虫抗冻蛋白表达特性及蜜蜂个体抗寒机制的研究未见报道。本研究通过对不同温度处理后的中蜂工蜂个体进行转录...
山西农业大学  博士论文  2018年 下载次数(39)| 被引次数()

全杂原子桥连同杯芳烃的合成、结构与性能研究 

新型功能大环主体分子为研究各类弱相互作用,实现多种主客体识别与组装,构建高级分子组装体与分子机器提供了理想的平台,因此其设计合成是推动超分子化学研究不断发展的重要动力之一。本论文工作集中于研究全杂原子桥连同杯芳烃的设计合成、结构特征以及分子识别与组装性能。通过逐渐增加双杂原子桥连单元数目,逐步丰富桥连杂原子的种类,建立...
清华大学  博士论文  2017年 下载次数(35)| 被引次数()

基于时钟约束和信号约束的信息物理融合系统的建模、分析与验证 

信息物理融合系统(Cyber-Physical Systems, CPS)是一种通过融合计算、通信和控制与物理过程实现计算机世界与物理世界深度协作的复杂系统。相较于一般传统系统,信息物理融合系统具有以下突出特性:信息世界与物理世界的高度耦合、异构性、并发性、时间攸关性,以及要求较高的可预测性和安全性。这些特性带来了以下...
华东师范大学  博士论文  2016年 下载次数(428)| 被引次数(0)

官能团化杂杯芳烃和冠芳烃的合成、结构及性能 

超分子化学是一门研究通过分子间的非共价键相互作用聚集而成具有特定结构和功能的超分子体系的学科,而新型大环主体化合物的合成和发现已经成为推动超分子化学向前发展的重要驱动力。近些年来,在传统杯芳烃基础上发展起来的杂杯杂芳烃引起了人们的广泛关注,其在构象调控、分子识别和聚集体组装等方面都表现出了优异的性能。本博士论文探索了氮...
清华大学  博士论文  2016年 下载次数(169)| 被引次数()

面向实时嵌入式系统的中断语义理论研究 

随着计算机的发展,实时嵌入式系统被广泛应用于各个行业。相较于通用计算系统,嵌入式系统对安全性、可靠性、实时性以及稳定性都提出了更高的要求。它不仅要求系统实现逻辑正确,而且要求任务运行时可满足相应的时间限制。在实时嵌入式系统中,为了让系统可以及时地与外界环境进行交互,人们引入了“中断机制”。中断机制作为系统与外部设备连接...
华东师范大学  博士论文  2014年 下载次数(293)| 被引次数(4)

离经叛道 

亨利·米勒是一位颇有争议的美国作家,其自传体“三部曲”小说《北回归线》(1934)、《黑色的春天》(1936)、《南回归线》(1939)在法国面世30年后,经美国法院判定为非淫秽作品才得以正名,获准在美国出版。亨利·米勒随即成为家喻户晓的名字,被二十世纪六十年代反传统文化运动奉为自由和性解放的预...
上海外国语大学  博士论文  2006年 下载次数(484)| 被引次数(0)

网络服务系统日志安全分析技术研究 

网络系统日志是对系统进行实时监控和对网络中的事件进行分析的信息来源。通过分析网络系统日志发现网络中的安全事件已经成为网络安全防范的一个重要方面。研究网络服务系统日志安全分析技术对提高网络的安全管理能力具有重大的学术价值和现实意义。本文的主要贡献和创新点如下:1.提出了网络...
中国科学院研究生院(计算技术研究所)  博士论文  2006年 下载次数(966)| 被引次数(16)

线性Mu演算子集的判定过程 

时序逻辑在程序验证和人工智能的规划领域都起着至关重要的作用。作为最具代表性的时序逻辑之一,线性时序逻辑(Linear Temporal Logic,LTL)已被广泛应用于反应系统和并发系统的性质声明和验证,以及规划问题中时序延展目标的表示。虽然LTL使用方便,但是其表达能力仅为无星正则。因此,一些重要的性质无法通过LT...
西安电子科技大学  博士论文  2017年 下载次数(23)| 被引次数()

乙肝肝癌诊断和预后相关的DNA甲基化谱研究 

肝癌是世界上最常见的恶性肿瘤之一,也是第三位最常见的致死肿瘤。在亚洲,尤其是东亚,是肝癌的高发地区,肝癌的病因复杂,其中大多数是由于肝炎病毒的感染,主要是HBV病毒和HCV病毒。在中国的肝癌患者,大多由于长期的HBV病毒感染,造成慢性肝炎肝硬化后,最终发展为肝细胞肝癌。 目前,肝癌的发病机制仍然不十分清楚,对肝癌...
浙江大学  博士论文  2012年 下载次数(777)| 被引次数(1)

颈7不同方式切断对神经元影响及利多卡因对其保护的实验研究 

目的:为了进一步提高颈7神经根移位术修复臂丛神经损伤的疗效,最大限度减少颈7神经根切断对于脊髓前角运动神经元的影响,保护及促进移位术后神经的再生作用,本课题全面研究颈7神经根不同方式切断及切断后不同时间缝合对神经元逆行性退变的不同作用,并进一步探讨神经阻滞剂诸如利多卡因等对于神经元保护及防止逆行性退变发生的作用,为临床...
复旦大学  博士论文  2004年 下载次数(106)| 被引次数(0)

转录组分析BR、JA和SA在玉米褪绿斑驳病毒侵染过程中的作用 

玉米(Zea mays L.)是世界上种植最广泛的作物之一,而近年来玉米致死性坏死病(maize lethal necrosis,MLN)给玉米生产带来了毁灭性打击。玉米褪绿斑驳病毒(maize chlorotic mottle virus,MCMV)是MLN的必需病原,单独感染引起玉米叶片失绿、斑驳等症状,是威胁玉米...
中国农业科学院  博士论文  2019年 下载次数(200)| 被引次数()

框架时序逻辑程序语言MSVL的形式语义 

形式语义是对软件系统进行形式化验证和分析的重要理论基础。程序语言的语义可以帮助人们更好的理解、执行、分析软件系统。操作语义有助于语言的实现,公理语义有利于程序的验证,指称语义在强大的数学理论支持下为程序的含义提供了精确的数学描述。 时序逻辑程序设计是一种新型的程序设计范式,程序的具体执行和性质的描...
西安电子科技大学  博士论文  2009年 下载次数(276)| 被引次数(1)

Dietary Factors Affect the Determination of True Phosphorus Digestibility for Broiler Chickens 

近年来,随着消费者对禽肉需求的增加和禽肉生产成本的降低,家禽生产产业比其他肉类动物生产产业增长得更快。但目前家禽生产仍然面临诸多营养技术难题,如饲粮配方制定和营养需求的准确评定等。磷(P)是维持机体生长和骨骼发育以及实现基因组功能所必需的一种常量矿物元素。肉鸡日粮中含有大量的植物源性原料,这些原料中存在着如植酸或植酸盐...
西南科技大学  博士论文  2019年 下载次数(15)| 被引次数()

北美大豆共生根瘤菌Bradyrhizobium群体的微进化关系及动态学分析 

大豆(Glycine max)是世界上最重要的豆科作物,是油和蛋白质的主要来源。慢生根瘤菌属(Bradyrhizobium)中的B. japonicum、 B. elkanii等能与大豆有效共生固氮,从而减低作物生产过程中对氮肥的需求。由于Bradyrhizobium群体代表了非常有用的遗传资源,加上大豆的经济价值,这...
四川农业大学  博士论文  2012年 下载次数(382)| 被引次数(3)

共找到相关记录181条12345678910下一页