检索结果-南通市图书馆

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

再生稻螟虫的发生、测报与防治研究

病虫测报 1990年第1期19卷 31-33页

作者：曹德建四川荣县再生稻螟虫研究组

近几年我县再生稻发展很快,而搞好再生稻的病虫防治,是生产上急待解决的问题。根据我们的调查,前季稻发生的病虫,一般也会在再生稻上发生,但以螟虫最为突出,轻害田可减产10～20%,重害田可减产50%以上,甚至颗粒无收。为此,我们进行了螟... 详细信息

近几年我县再生稻发展很快,而搞好再生稻的病虫防治,是生产上急待解决的问题。根据我们的调查,前季稻发生的病虫,一般也会在再生稻上发生,但以螟虫最为突出,轻害田可减产10～20%,重害田可减产50%以上,甚至颗粒无收。为此,我们进行了螟虫的发生和防治研究。一、再生稻螟虫发生调查1.再生稻螟虫发生种类:根据龙潭测报点的1976～1985年20瓦黑光灯诱蛾记录表明。

关键词：稻螟虫灯诱田可颗粒无收稻桩枯孕穗杀虫双水剂发生趋势发蛾适期

基于故障扩展SysML活动图的软件安全性分析方法研究

在线全文

学校读者我要写书评

暂无评论

小型微型计算机系统 2015年第9期36卷 2067-2074页

作者：曹德建黄志球阚双龙黄传林南京航空航天大学计算机科学与技术学院南京210016

随着嵌入式系统在能源、交通等安全关键领域的广泛应用,针对软件模型的安全性分析与验证方法一直是学术界和工业界的研究热点之一.功能模型和安全需求分析模型是分析嵌入式安全关键系统的两个重要方面,但两种模型一般都被分开使用.提出... 详细信息

随着嵌入式系统在能源、交通等安全关键领域的广泛应用,针对软件模型的安全性分析与验证方法一直是学术界和工业界的研究热点之一.功能模型和安全需求分析模型是分析嵌入式安全关键系统的两个重要方面,但两种模型一般都被分开使用.提出了一种将故障树分析扩展到Sys ML活动图模型的方法和故障扩展Sys ML活动图的概念,统一了系统的功能模型与安全需求分析模型.在保留故障树和Sys ML活动图两种模型的语义描述的基础上,给出了故障树逻辑门的转换规则和故障树模型到Sys ML活动图模型的转换步骤.最后,运用文中提出的方法,通过对一个小型燃气灶控制系统进行案例分析,证明了文中方法的可行性和有效性.

关键词：嵌入式系统安全性分析 SysML活动图故障树分析故障扩展Sys ML活动图

基于八边形抽象域的襟缝翼控制系统安全性分析

在线全文

学校读者我要写书评

暂无评论

小型微型计算机系统 2016年第5期37卷 902-907页

作者：陆陈黄志球阚双龙曹德建黄传林南京航空航天大学计算机科学与技术学院南京210016

嵌入式软件在安全关键领域的广泛运用使得保障软件安全性成为工业界和学术界关注的重要课题.抽象解释作为一种形式化方法为程序变量的数值分析提供了一种通用框架,八边形抽象域是抽象解释的一种关系型数值抽象域,可以表示两个变量间的... 详细信息

嵌入式软件在安全关键领域的广泛运用使得保障软件安全性成为工业界和学术界关注的重要课题.抽象解释作为一种形式化方法为程序变量的数值分析提供了一种通用框架,八边形抽象域是抽象解释的一种关系型数值抽象域,可以表示两个变量间的数值关系.基于八边形抽象域设计了一个对程序变量进行数值分析的原型工具,并利用此工具对襟缝翼控制系统的安全性展开研究,包括:利用抽象解释框架对襟縫翼系统的中断驱动进行建模;通过迭代计算程序中各个节点的数值不变式,检测程序中与数值相关的错误;根据分析结果对产生错误的代码进行定位.本文将抽象解释理论应用到航空控制软件的安全分析中,并提供了一种对程序中数值变量进行自动化分析的途径.

关键词：抽象解释八边形抽象域数值分析航空控制软件

将故障信息扩展到功能模型的安全性分析方法研究

在线全文

学校读者我要写书评

暂无评论

小型微型计算机系统 2016年第1期37卷 24-32页

作者：曹德建黄志球陆陈陈光颖仵志鹏南京航空航天大学计算机科学与技术学院南京210016

随着嵌入式系统在能源、交通等安全关键领域的广泛应用,针对软件模型的安全性分析与验证方法一直是学术界和工业界的研究热点之一.功能模型和安全需求分析模型是分析嵌入式安全关键系统的两个重要方面,但两种模型一般都被分开使用.提出一种将故障信息扩展到状态图模型的方法和故障扩展状态图的概念,同时构建了故障信息和状态图元素之间的语义映射表,给出了故障树逻辑门的转换规则,设计了一个基于故障扩展状态图的模型转换与验证框架,并给出了利用映射表自动构建故障扩展状态图的算法.最后,运用文中提出的方法,通过对一个小型燃气灶控制系统进行案例分析,证明了文中方法的可行性和有效性.

关键词：嵌入式系统安全性分析状态图故障树分析故障扩展状态图

一种基于故障扩展SysML活动图的安全性验证框架研究

在线全文

学校读者我要写书评

暂无评论

计算机科学 2015年第7期42卷 222-228页

作者：仵志鹏黄志球王珊珊曹德建南京航空航天大学计算机科学与技术学院南京210016

随着嵌入式系统在能源、交通等安全关键领域的广泛应用,针对嵌入式软件的安全性分析与验证方法一直是学术界和工业界的研究热点之一。使用扩展了故障树语义信息的SysML活动图来统一系统的功能模型与安全需求分析模型,并在保留故障树和Sy... 详细信息

随着嵌入式系统在能源、交通等安全关键领域的广泛应用,针对嵌入式软件的安全性分析与验证方法一直是学术界和工业界的研究热点之一。使用扩展了故障树语义信息的SysML活动图来统一系统的功能模型与安全需求分析模型,并在保留故障树和SysML活动图两种模型语义描述的基础上,提出了一种基于故障扩展SysML活动图的安全性验证框架,包括:首先利用故障树最小割集提取故障信息并给出故障树逻辑门的转换规则;然后给出故障扩展SysML活动图的构建步骤;最后使用Promela对故障扩展SysML活动图进行建模,并使用模型检测工具SPIN对其进行分析验证。通过一个燃气灶控制系统验证了此方法的有效性。

关键词：安全性验证故障树语义 SysML活动图 Promela

在线全文

学校读者我要写书评

暂无评论

再生稻螟害的初步观察

应用昆虫学报 1990年第6期 385-385页

作者：曹德建四川省荣县植保站

荣县位于四川盆地中部西南边缘,年均温17.8℃,水稻安全生长期约200天,种双季稻热量不足,后季产量不高、不稳,种一季稻,约有60天时间不能利用。为了充分利用温、光条件增产

关键词：再生稻三化螟稻荪子水稻水稻害虫螟害发苗

黑龙江省哈尔滨市呼兰区:坚持“党建+”推动区域经济高质量发展

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

党建 2024年第8期 60-61页

作者：曹德友中共哈尔滨市呼兰区委

为深入贯彻落实习近平总书记在主持召开新时代推动东北全面振兴座谈会和考察黑龙江时的重要讲话重要指示精神,哈尔滨市呼兰区层层压实管党治党责任,团结带领广大党员干部群众锚定“七彩呼兰”强区目标,积极打造“党建+”模式,健全完善... 详细信息

为深入贯彻落实习近平总书记在主持召开新时代推动东北全面振兴座谈会和考察黑龙江时的重要讲话重要指示精神,哈尔滨市呼兰区层层压实管党治党责任,团结带领广大党员干部群众锚定“七彩呼兰”强区目标,积极打造“党建+”模式,健全完善大党建工作体制机制,谋划实施了一批补短板、攒后劲、提士气、增信心的实事大事,为推动全区高质量发展步入快车道提供了坚强组织保障。

关键词：工作体制机制呼兰区管党治党大党建补短板哈尔滨市

NtDUF868-E5基因调控烟草抗旱性的功能研究

同方期刊数据库博看期刊评论

在线全文

学校读者我要写书评

暂无评论

NtDUF868-E5基因调控烟草抗旱性的功能研究

作者：曹德俊河南农业大学

学位级别：硕士

本研究发现一个在干旱胁迫下高表达的基因NtDUF868-E5,它属于未知功能结构域（Domian of unknown function,DUF）868蛋白家族成员。烟草中的DUF868基因家族尚未被分析。因此,首先从中国烟草基因组数据库中搜索并下载普通烟草栽培品种‘... 详细信息

本研究发现一个在干旱胁迫下高表达的基因NtDUF868-E5,它属于未知功能结构域（Domian of unknown function,DUF）868蛋白家族成员。烟草中的DUF868基因家族尚未被分析。因此,首先从中国烟草基因组数据库中搜索并下载普通烟草栽培品种‘红花大金元’、林烟草和绒毛状烟草DUF868家族成员序列,对DUF868家族的系统发育关系、基因结构、保守结构域、染色体定位、基因重复性、启动子顺式作用元件、mi RNA靶基因、蛋白质三维结构、时空表达模式及生物与非生物胁迫下的表达模式进行了详细分析。发现NtDUF868-E5在干旱及其他生物和非生物胁迫中均被强烈诱导。在此基础上,构建了NtDUF868-E5基因的过表达和基因编辑载体,通过叶盘法转化烟草,成功获得了转基因阳性植株,并对阳性植株的表型、色素含量、角质层和叶片厚度以及抗旱性进行了深入分析,结合多组学,包括转录组、代谢组和蜡质组联合分析,明确了NtDUF868-E5基因在调控耐旱性方面的功能及其调控网络。主要研究结果如下:1.烟草DUF868家族基因的鉴定与分析:分别从普通烟草栽培品种‘红花大金元’、林烟草和绒毛状烟草基因组中鉴定出25、12和11个DUF868家族成员。基于系统发育关系,将DUF868家族成员分为五个组（A-E）,并根据分组名称对该家族成员命名。基因结构分析发现,除3个DUF868基因外,其余45个（93.75%）烟草DUF868基因均不含内含子。motif分析表明,相同分组的DUF868蛋白具有类似的motif基序,motif 1和motif 7在所有分组中都存在,而有些motif仅在特定分组中存在,这表明功能的重要性。染色体定位结果表明,‘红花大金元’的1号、3号和8号染色体上含2个NtDUF868基因,2、7、9、10、11、12、14、21和24号染色体上仅定位到1个NtDUF868基因,其余10个在scaffolds上;基因重复分析结果显示,烟草NtDUF868家族基因有2个串联重复基因对,24个片段重复基因对,在进化过程中片段重复是烟草DUF868家族扩张的主要原因;NtDUF868家族基因的启动子中含有多种与光反应、激素和非生物胁迫响应以及植物生长发育相关的顺式作用元件;进一步采用芯片数据、RNA-seq以及实时荧光定量PCR分析表明,NtDUF868家族基因在不同生育时期和部位具有组织和时空表达特异性,并对激素（ABA、IAA、Me JA和GA）、非生物胁迫（干旱、盐、高温和冷）和生物胁迫（黑胫病和青枯病）处理以及不同光照强度(50、100和200μmol m-2 s-1)有不同的响应。***868-E5基因的过表达与敲除的创制及生理生化指标分析:采用in-fusion和CRISPR/Cas9基因编辑方法分别构建了NtDUF868-E5基因的过表达和基因编辑载体,通过农杆菌介导法转化烟草,经抗性筛选、PCR阳性鉴定以及对敲除株系进行测序鉴定,成功获得了过表达（OE）和敲除（CAS）NtDUF868-E5基因的转基因阳性植株。与野生型和敲除株系相比,过表达NtDUF868-E5基因的烟草长势较好,叶片角质层相对较厚,色素含量等显著升高。***868-E5基因的抗旱功能验证:为了验证NtDUF868-E5基因的抗旱功能,首先将NtDUF868-E5在酵母中异源表达,发现该基因提高了酵母在干旱条件下的存活力。随后,对生长至6片真叶的野生型烟草品种、过表达和敲除NtDUF868-E5基因的烟草植株进行了自然干旱处理2周。结果显示,干旱处理后,过表达NtDUF868-E5基因的株系萎蔫程度较低、叶片相对含水量降低较少,根系发育相对较好;叶片光合能力较强,叶绿素含量、净光合速率、抗氧化酶活性和游离脯氨酸显著高于野生型和敲除株系;而相对电导率、丙二醛（MDA）、H2O2和O2·-的含量显著低于野生型和敲除株系。过表达NtDUF868-E5基因的烟草植株通过降低叶面温度、气孔导度、蒸腾速率、气孔开放率和气孔孔径,降低了叶片的失水能力;这些结果表明,过表达NtDUF868-E5基因可以提高烟草植株对干旱胁迫的抵抗能力,而敲除该基因烟草抗旱性降低。4.干旱处理后的烟草叶片多组学分析:转录组分析结果表明,在OE vs CAS、CAS vs WT和OE vs WT比较组分别有4583个、2632个和3128个差异表达基因（DEGs）,与Ca2+和ABA信号途径相关DEGs,例如钙依赖性蛋白激酶（CDPK）、钙调蛋白B样蛋白（CBL）、钙结合蛋白（CBP）、CBL相互作用蛋白激酶（CIPK）、类钙调蛋白（CML）、谷氨酸受体（GLR）和呼吸爆发氧化酶同源蛋白（Rboh）等在不同株系中呈现差异表达。与光合作用相关的

关键词：烟草 NtDUF868-E5 生物信息学基因表达模式抗旱性蜡质

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

基于信息熵的船舶航行与区域监控方法

雷达与对抗 2020年第1期40卷 38-42页

作者：崔威威刘硕张秉致曹德建中国船舶集团有限公司第八研究院南京211153

针对内河与沿海日益复杂及巨量的船舶目标活动带来的监管挑战,开展了船舶AIS信息应用研究。通过数据清洗、目标编批实现AIS船舶目标的初步整编和区域划分,并基于信息熵方法评估船舶目标航行状态,进而提供区域目标密度、区域航行风险评... 详细信息

针对内河与沿海日益复杂及巨量的船舶目标活动带来的监管挑战,开展了船舶AIS信息应用研究。通过数据清洗、目标编批实现AIS船舶目标的初步整编和区域划分,并基于信息熵方法评估船舶目标航行状态,进而提供区域目标密度、区域航行风险评估。研究成果有助于提高目标与区域精细管理能力,降低水面交通风险。

关键词：水路运输船舶行为评估区域监控