检索结果-南通市图书馆

计算机研究与发展 2023年第2期60卷 227-247页

作者：陈立前范广生尹帮虎王戟国防科技大学计算机学院长沙410073 国防科技大学系统工程学院长沙410073 高性能计算国家重点实验室国防科技大学长沙410073

抽象解释是一种对用于形式描述复杂系统行为的数学结构进行抽象和近似并推导或验证其性质的理论.抽象解释自20世纪70年代提出以来,在语义模型、程序分析验证、混成系统验证、程序转换、系统生物学模型分析等领域取得了广泛应用.近年来,... 详细信息

抽象解释是一种对用于形式描述复杂系统行为的数学结构进行抽象和近似并推导或验证其性质的理论.抽象解释自20世纪70年代提出以来,在语义模型、程序分析验证、混成系统验证、程序转换、系统生物学模型分析等领域取得了广泛应用.近年来,抽象解释在程序分析、神经网络验证、完备性推理、抽象域改进等方面取得较大进展.基于此,系统综述了抽象解释及其应用的研究进展.首先概述了抽象解释理论的基本概念,介绍了抽象解释理论、抽象域的研究进展;然后概述了基于抽象解释的程序分析方面的研究进展;之后概述了基于抽象解释的神经网络模型验证、神经网络模型鲁棒训练、深度学习程序的分析等方面的研究进展;又对抽象解释在智能合约可信保证、信息安全保证、量子计算可信保证等方面的应用进展进行了介绍;最后指明了抽象解释未来可能的研究方向.

关键词：抽象解释程序语义程序分析形式验证抽象域

Functional genomics of Brassica napus:Progresses,challenges,and perspectives

在线全文

学校读者我要写书评

暂无评论

Journal of Integrative Plant Biology 2024年第3期66卷 484-509页

作者： Zengdong Tan Xu Han Cheng Dai Shaoping Lu Hanzi He Xuan Yao Peng Chen Chao Yang Lun Zhao Qing-Yong Yang Jun Zou Jing Wen Dengfeng Hong Chao Liu Xianhong Ge Chuchuan fan Bing Yi Chunyu Zhang Chaozhi Ma Kede Liu Jinxiong Shen Jinxing Tu guangsheng Yang Tingdong Fu Liang Guo Hu Zhao National Key Laboratory of Crop Genetic Improvement Hubei Hongshan LaboratoryHuazhong Agricultural UniversityWuhan 430070China Yazhouwan National Laboratory Sanya 572025China

Brassica napus,commonly known as rapeseed or canola,is a major oil crop contributing over 13%to the stable supply of edible vegetable oil worldwide.Identification and understanding the gene functions in the B.napus genome is crucial for genomic breeding.A group of genes controlling agronomic traits have been successfully cloned through functional genomics studies in B.napus.In this review,we present an overview of the progress made in the functional genomics of B.napus,including the availability of germplasm resources,omics databases and cloned functional genes.Based on the current progress,we also highlight the main challenges and perspectives in this field.The advances in the functional genomics of B.napus contribute to a better understanding of the genetic basis underlying the complex agronomic traits in B.napus and will expedite the breeding of high quality,high resistance and high yield in B.napus varieties.

关键词： accelerate breeding Brassica napus functional genomics high resistance high yield

在线全文

学校读者我要写书评

暂无评论

早期妊娠流产后避孕

中国计划生育学杂志 2011年第6期19卷 382-384页

作者：范光升北京协和医院妇产科 100730

早期妊娠流产包括自然流产和人工流产。人工流产包括手术流产和药物流产，是避孕失败和终止非意愿妊娠的补救措施。我国平均每年有850万人次人工流产，每年平均流产率达2．93％。人工流产对象涉及青少年、未婚女青年（流动人口）、哺乳... 详细信息

早期妊娠流产包括自然流产和人工流产。人工流产包括手术流产和药物流产，是避孕失败和终止非意愿妊娠的补救措施。我国平均每年有850万人次人工流产，每年平均流产率达2．93％。人工流产对象涉及青少年、未婚女青年（流动人口）、哺乳期妇女等15—49岁的女性。2002年，我国人工流产的青少年总人数约40万，约占全国人工流产总数的1／4。流产人群中未婚女青年（流动人口）的人工流产率高，而且重复流产率也高。

关键词：早期妊娠流产产后避孕人工流产率未婚女青年流动人口非意愿妊娠哺乳期妇女自然流产

在线全文

学校读者我要写书评

暂无评论

卵巢过度刺激综合征(OHSS)

中国计划生育学杂志 2007年第8期15卷 505-506页

作者：范光升北京协和医院妇产科 100730

在体外受精-胚胎移植(IVF)过程中,控制性超排卵(COH)是一个必要的步骤.但是,控制性超排卵常导致卵巢过度刺激综合征(OHSS)的发生,是绝经期促性腺激素(hMG)应用中最严重和常见的并发症.重度OHSS的发生率为0.3%～5%,可危及患者生命.然而O... 详细信息

在体外受精-胚胎移植(IVF)过程中,控制性超排卵(COH)是一个必要的步骤.但是,控制性超排卵常导致卵巢过度刺激综合征(OHSS)的发生,是绝经期促性腺激素(hMG)应用中最严重和常见的并发症.重度OHSS的发生率为0.3%～5%,可危及患者生命.然而OHSS的发病机理目前尚不清楚,为临床上防治OHSS带来困难.

关键词：卵巢过度刺激综合征体外受精-胚胎移植绝经期促性腺激素控制性超排卵 OHSS 发病机理并发症发生率

在线全文

学校读者我要写书评

暂无评论

无痛人工流产

中国计划生育学杂志 2005年第9期13卷 575-576页

作者：范光升中国医学科学院中国协和医科大学北京协和医院100730

近年来临床上开展了无痛人工流产,无痛人工流产实际上是在应用某些药物甚至是使用麻醉药物使受术者在无疼痛、无焦虑、无恐惧的情况下施行人工流产术.

关键词：无痛人工流产麻醉药物人工流产术无疼痛受术者

在线全文

学校读者我要写书评

暂无评论

妇科腹腔镜手术并发症

中国计划生育学杂志 2011年第1期19卷 58-61页

作者：范光升李琳中国医学科学院北京协和医院卫生部中日友好医院

1概述[1～3]腹腔镜手术是借助摄像系统、光源及器械进行操作的手术方式。20世纪60年代诊断性腹腔镜手术及腹腔镜下电凝绝育术在临床应用逐渐增加。70年代随着腹腔镜新器械的出现,应用绝育夹及绝育环进行输卵管绝育术，及体外受精（IVF... 详细信息

1概述[1～3]腹腔镜手术是借助摄像系统、光源及器械进行操作的手术方式。20世纪60年代诊断性腹腔镜手术及腹腔镜下电凝绝育术在临床应用逐渐增加。70年代随着腹腔镜新器械的出现,应用绝育夹及绝育环进行输卵管绝育术，及体外受精（IVF）取卵。

关键词：妇科腹腔镜手术并发症电凝绝育术腹腔镜手术输卵管绝育术临床应用摄像系统手术方式

交直流混合微电网母线接口参数自适应VSG控制策略

在线全文

学校读者我要写书评

暂无评论

电力系统保护与控制 2021年第14期49卷 45-54页

作者：张良范广胜黄南天吕玲蔡国伟王雪松现代电力系统仿真控制与绿色电能新技术教育部重点实验室(东北电力大学) 吉林吉林132012

针对交直流混合微电网的母线接口变换器采用传统VSG控制策略时存在母线频率的超调量与暂态过程时间矛盾,以及传输功率的暂态过程长期处于超调状态问题,提出一种交直流混合微电网母线接口参数自适应VSG控制策略。该控制策略可以使接口变... 详细信息

针对交直流混合微电网的母线接口变换器采用传统VSG控制策略时存在母线频率的超调量与暂态过程时间矛盾,以及传输功率的暂态过程长期处于超调状态问题,提出一种交直流混合微电网母线接口参数自适应VSG控制策略。该控制策略可以使接口变换器的传输功率、母线频率的超调量减小;可以优化系统的动态调节能力,进而缩短暂态过程。建立了符合母线接口变换器VSG的数学模型,在VSG数学模型的基础上引出了参数自适应VSG控制策略。通过仿真,对比参数自适应VSG控制策略与传统VSG控制策略的控制效果,验证了所提出的控制策略的有效性和可行性。

关键词： VSG 超调量传输功率混合微电网参数自适应