检索结果-南通市图书馆

考虑碳排放需求响应及碳交易的电力系统双层优化调度

在线全文

学校读者我要写书评

暂无评论

电力建设 2024年第5期45卷 94-104页

作者：张妍冷媛尚楠梁梓杨石昊罗钢南方电网能源发展研究院有限责任公司广州市510663 北京清能互联科技有限公司北京市100084

发展低碳发电技术及有效参与碳配额市场交易是促进电力低碳转型的关键,借助储能和需求响应等灵活资源,产消者在电能生产和消费上具有更强的平衡能力。基于碳排放流理论提出了一种考虑碳排放需求响应及碳交易的电力系统双层优化调度模型... 详细信息

发展低碳发电技术及有效参与碳配额市场交易是促进电力低碳转型的关键,借助储能和需求响应等灵活资源,产消者在电能生产和消费上具有更强的平衡能力。基于碳排放流理论提出了一种考虑碳排放需求响应及碳交易的电力系统双层优化调度模型。以配电网的节点碳势作为产消者需求响应的价格因素之一,通过上层配电网与下层产消者之间供/用能信息及电价、碳价信息的交互传递实现配电网优化运行。下层的产消者之间基于运行计划进行碳配额交易,并通过纳什议价方式完成收益确定。算例分析验证了所提模型在控制系统碳排放、促进需求响应积极性等方面的有效性。

关键词：碳排放需求响应碳交易产消者双层优化

逐束团三维信息提取软件HOTCAP的实时性能优化

在线全文

学校读者我要写书评

暂无评论

核技术 2024年第2期47卷 23-30页

作者：杨星冷用斌周逸媚中国科学院上海应用物理研究所上海201800 中国科学技术大学合肥230026 中国科学院大学北京100049 中国科学院上海高等研究院上海201204

为了研究高能电子加速器储存环中的注入瞬态过程及束流不稳定性问题,上海光源束测组开发了可实现逐束团三维位置和电荷量的精确测量的宽带示波器信号处理软件包HOTCAP。但该软件包未特别针对数据处理速度进行算法和代码执行效率的优化,... 详细信息

为了研究高能电子加速器储存环中的注入瞬态过程及束流不稳定性问题,上海光源束测组开发了可实现逐束团三维位置和电荷量的精确测量的宽带示波器信号处理软件包HOTCAP。但该软件包未特别针对数据处理速度进行算法和代码执行效率的优化,完成单次测量数据的处理分析所需时间达到数十分钟量级,不能完全满足实时测量的需要。为解决这一问题,对HOTCAP软件包各功能模块进行了运行效率测试及算法优化,优化后单次测量数据处理时间缩短10倍以上,可满足高能电子储存环状态的实时监控与数据在线发布需求。

关键词：逐束团测量 HOTCAP 数据分析高速示波器

基于MK的实数公理系统相容性和范畴性的Coq形式化

在线全文

学校读者我要写书评

暂无评论

控制理论与应用 2024年第7期41卷 1274-1285页

作者：郭达凯冷姝锟窦国威陈思郁文生北京邮电大学电子工程学院天地互联与融合北京市重点实验室北京100876

数学定理机器证明是人工智能基础理论的深刻体现.实数理论是数学分析的基础,实数公理系统是建立实数理论的重要方法.Morse-Kelley公理化集合论(MK)作为现代数学的基础,也为实数构建提供了严谨的数学框架和工具.本文使用定理证明器Coq,基... 详细信息

数学定理机器证明是人工智能基础理论的深刻体现.实数理论是数学分析的基础,实数公理系统是建立实数理论的重要方法.Morse-Kelley公理化集合论(MK)作为现代数学的基础,也为实数构建提供了严谨的数学框架和工具.本文使用定理证明器Coq,基于MK对实数公理系统进行了深入探索.在优化了MK形式化代码的基础上,形式化构建了完整的实数公理系统,并通过形式化Landau《分析基础》中的实数模型,证明其相对于MK相容,此外,还形式化证明了实数公理系统所有模型在同构意义下是唯一的,验证了实数公理系统的范畴性.本文全部定理无例外地给出Coq的机器证明代码,所有形式化过程已被Coq验证,并在计算机上运行通过,充分体现了基于Coq的数学定理机器证明具有可读性、交互性和智能性的特点,其证明过程规范、严谨、可靠.该系统可方便地应用于拓扑学和代数学理论的形式化构建.谨以此文庆祝我国著名控制系统专家秦化淑研究员九十华诞!

关键词： Morse-Kelley公理化集合论实数公理系统相容性范畴性 Coq 形式化机器证明人工智能

THE ANATOMICAL DISTRIBUTION OF PELVIC ENDOMETRIOSIS AND THE RELATIONSHIP WITH THE PAIN SYMPTOM IN DEEP INFILTRATING ENDOMETRIOSIS

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

在线全文

学校读者我要写书评

暂无评论

THE ANATOMICAL DISTRIBUTION OF PELVIC ENDOMETRIOSIS AND THE ...

机械粉磨对岩土固化用无熟料胶凝材料性能的影响

ISGE 10th Regional Meeting

作者： Yi Dai Jinhua leng Jinhe Lang Department of OB&Gyn Peking Union Medical College Hospital China academy of Medical sciences beijing China

＜正＞Objectives:Deeply invasive endometriosis （DIE） is recognized as a special entity responsible for pain symptoms. The anatomical distribution of locations and their relationship has not been previously *** aim of the study is to investigate the relationship between the anatomical distribution of DIE lesions and pain symptoms.

关键词：

来源： cnki会议评论

在线全文

cnki会议

学校读者我要写书评

暂无评论

土木与环境工程学报（中英文） 2024年第5期46卷 160-167页

作者：周永祥刘倩王祖琦郝彤冷发光北京工业大学城市建设学部北京100124 中国建筑科学研究院有限公司北京100013 郑州大学土木工程学院郑州450001

利用稻壳灰、CFB脱硫灰、钢渣协同制备一种无熟料水硬性无机胶凝材料,可替代水泥用于岩土固化。为提高这种胶凝材料的活性及其他性能,研究经机械粉磨后胶凝材料的性能变化及其机理。结果表明:随着粉磨时间增加,胶凝材料的粒度分布曲线... 详细信息

利用稻壳灰、CFB脱硫灰、钢渣协同制备一种无熟料水硬性无机胶凝材料,可替代水泥用于岩土固化。为提高这种胶凝材料的活性及其他性能,研究经机械粉磨后胶凝材料的性能变化及其机理。结果表明:随着粉磨时间增加,胶凝材料的粒度分布曲线由多峰分布转变为单峰分布,标准稠度用水量减少,凝结时间缩短;水化诱导期的结束时间和第2放热峰出现时间明显提前,累积放热量增加;砂浆试件的早期抗压强度和自收缩显著增加;采用无熟料胶凝材料制备流态固化土,其初始流动扩展度随粉磨时间增加而增加,经时损失加快;机械粉磨对固化土的早期强度影响不显著,后期强度则呈现先增加后降低的趋势。采用该无熟料胶凝材料制备流态固化土,能满足一般回填工程的强度要求。

关键词：无熟料胶凝材料机械粉磨粒度分布水化热抗压强度固化土

维普期刊数据库博看期刊

Mathematical method in optical molecular imaging

在线全文

学校读者我要写书评

暂无评论

Science China(Information sciences) 2015年第3期58卷 4-16页

作者： leng ChengCai TIAN Jie School of Mathematics and Information sciences Nanchang Hangkong University Key Laboratory of Molecular Imaging Institute of Automation Chinese Academy of Sciences

Optical molecular imaging is an important technique of studies at molecular level and provides promising tools to non-invasively delineate in vivo physiological and pathological activities at cellular and molecular levels,and it has been widely used for diagnosing,managing diseases,metastasis detection and drug *** a mathematical perspective,this paper mainly focuses on the forward problem and inverse problem in biological tissues based on the radiative transfer equation(RTE).The forward problem is accustomed to describing photon propagation in biological tissues and the inverse problem is used to reconstruct internal source distribution from the signal detected on the external *** also introduce the detailed derivation of the RTE and Robin boundary condition and discretization of the forward problem,along with the reconstruction methods and iterative solution algorithms summarized for the inverse ***,the current and future challenges of optical molecular imaging are *** survey aims to construct a mathematical method,a state-of-the-art framework for optical molecular imaging,from which future research may benefit.

关键词： radiative transfer equation(RTE) regularization method source reconstruction optical molecular imaging mathematical method

原发性骨质疏松症中医证候分布频率的Meta分析

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

中国实验方剂学杂志 2024年第5期30卷 111-117页

作者：吴海龙常天瀛卢焱罗宗键冷向阳廖星长春中医药大学长春130117 长春中医药大学循证医学中心长春130117 长春中医药大学附属医院长春130021 中国中医科学院中医临床基础医学研究所北京100700

目的:运用循证医学方法,系统评价我国原发性骨质疏松症(POP)中医证候分布情况,了解其证候分布规律。方法:检索中国知识基础设施工程(CNKI)、维普中文科技期刊数据库(VIP)、万方数据知识服务平台(WanFang)及中国生物医学文献数据库(CBM)... 详细信息

目的:运用循证医学方法,系统评价我国原发性骨质疏松症(POP)中医证候分布情况,了解其证候分布规律。方法:检索中国知识基础设施工程(CNKI)、维普中文科技期刊数据库(VIP)、万方数据知识服务平台(WanFang)及中国生物医学文献数据库(CBM),获得代表性文献,各个数据库检索时间均为1994年世界卫生组织定义骨质疏松症诊断标准至2023年5月1日。由2位研究者根据筛选标准独立筛选文献、提取资料并交叉核对,采用R 4.1.3软件进行Meta分析并进行亚组分析。结果:共纳入56篇中文文献,涉及14415例患者。证候标准化分类后排除11篇文献,最终纳入的45篇中文文献的Meta分析结果显示,12723例患者肝肾阴虚证、脾肾阳虚证、肾虚血瘀证的证候分布频率分别为27%[95%置信区间(CI)0.24~0.31]、32%(95%CI 0.29~0.36)、36%(95%CI 0.30~0.42)。亚组分析结果显示,上述3种中医证候在南北方分布差异具有统计学意义(P<0.05)。此外,不同类型POP中医证候骨折发生率分别为肝肾阴虚证15%(95%CI 0.09~0.24)、脾肾阳虚证20%(95%CI 0.12~0.30)、肾虚血瘀证31%(95%CI 0.25~0.39)。结论:POP患者的证候分布以肾虚为主,兼见肝脾功能失调。肝肾阴虚证、脾肾阳虚证、肾虚血瘀证均是POP及骨质疏松性骨折发生的主要证候,且肾虚血瘀证与骨质疏松性骨折的发病关系最为密切。纳入研究间证候判定参考标准不一致,未来要重点围绕其判定标准,获得共识性研究结果;同时,开展大样本的证候调研,获得具有代表性的研究结果,为临床实践和研究提供依据。

关键词：原发性骨质疏松症(POP) 中医证候系统综述 Meta分析横断面研究循证医学方法骨折

在线全文

学校读者我要写书评

暂无评论

基于多维特征的涉诈网站检测与分类技术研究

四川大学学报（自然科学版） 2024年第4期61卷 27-36页

作者：游畅黄诚田璇燕玮冷涛四川大学网络空间安全学院成都610065 中国电子信息产业集团有限公司第六研究所北京102209 四川警察学院智能警务四川省重点实验室泸州646099 中国科学院信息工程研究所北京100864

随着互联网的发展与普及,涉诈团伙诈骗手法与反检测技术愈发先进,涉诈网站的检测与分类对于网络空间安全重要性更加显著,而传统的检测技术已无法应对现在的新型诈骗网站,并且针对涉诈网站分类的研究很少.针对此热点难题,本文分析了当今... 详细信息

随着互联网的发展与普及,涉诈团伙诈骗手法与反检测技术愈发先进,涉诈网站的检测与分类对于网络空间安全重要性更加显著,而传统的检测技术已无法应对现在的新型诈骗网站,并且针对涉诈网站分类的研究很少.针对此热点难题,本文分析了当今新型涉诈网站的多个典型特征并提出了一种基于多维特征的涉诈网站检测与分类系统.该系统共构建11种涉诈网站特征与3600个网页关键词来表示一个涉诈网站.系统首先利用爬虫获取待检测域名的网页截图、WHOIS信息与源码并交给特征抽取模块构建多维特征集.检测模块提取网站域名、代码结构以及网站WHOIS信息作为特征,构建随机森林模型实现检测任务.然后基于检测结果,网页分类模块利用双向GRU提取网页的文本特征,在置信度小于0.7的情况下使用BERT模型从而保证系统准确度与效率,并使用残差神经网络提取网页截图特征,同时计算网页内部图片与网站Logo相似度,创建随机森林模型进行分类,并设计了对比实验进一步分析模型的准确性.实验证明,本文提出的模型拥有很高的准确性,模型平均F1-score达到97.28%.实验结果表明,本文提出的多维特征模型能很好地区分涉诈网站与正常网站,克服了传统方法应对新型涉诈网站的识别问题,并适用于全球新增域名的涉诈网站快速检测与分类.

关键词：涉诈网站检测网站分类随机森林深度学习

紫丁香SoF3′H对花瓣中花青苷合成的功能解析

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

在线全文

学校读者我要写书评

暂无评论

园艺学报 2024年第8期51卷 1833-1843页

作者：马波李雷胡增辉冷平生汪进萱冷卓杨艺慧贾黎明吴静北京农学院园林学院国家林业草原古树健康与古树文化工程技术研究中心林木分子设计育种高精尖创新中心北京102206 北京林业大学林学院林木分子设计育种高精尖创新中心林木资源高效生产全国重点实验室省部共建森林培育与保护教育部重点实验室北京100083

作为花青苷合成通路中的关键酶,类黄酮3′–羟化酶(flavonoid-3′-hydroxylase,F3′H)对植物花的呈色非常重要。为探究SoF3′H在紫丁香(Syringaoblata)花青苷合成中的作用,克隆SoF3'H基因,并进行蛋白同源序列比对和进化树分析,通过qRT-... 详细信息

作为花青苷合成通路中的关键酶,类黄酮3′–羟化酶(flavonoid-3′-hydroxylase,F3′H)对植物花的呈色非常重要。为探究SoF3′H在紫丁香(Syringaoblata)花青苷合成中的作用,克隆SoF3'H基因,并进行蛋白同源序列比对和进化树分析,通过qRT-PCR分析该基因在不同花发育时期与器官中的表达模式,在紫丁香花瓣中瞬时沉默和过表达SoF3'H进行功能验证,并对其启动子进行克隆与分析,利用酵母单杂交试验验证SoAN2与SoF3′H的结合关系,对SoAN2的表达模式进行初步探索。结果显示,SoF3′H的CDS序列长1587 bp,推测编码528个氨基酸;SoF3′H具有保守的p450 superfamily结构域,属于细胞色素P450家族,与油橄榄(Oleaeuropaea)相似性最高(82.46%)。随着花发育,紫丁香花瓣褪色,SoF3′H的表达水平逐渐降低;SoF3′H在盛花期花冠裂片中表达最高,在同时期根、雄蕊和茎中相对较低。沉默SoF3′H后花瓣显著褪色,花青苷含量显著降低;过表达SoF3′H的花瓣着色明显,花青苷含量显著升高。克隆得到2000 bp的SoF3′H启动子序列具有MYB识别位点,并发现MYB家族成员SoAN2可以与该启动子直接结合,且So AN2在紫丁香花不同发育阶段的表达呈降低趋势,与SoF3′H在不同开花时期的表达趋势基本一致,表明SoAN2可能促进SoF3′H的表达,从而调控花青苷含量变化,影响花瓣着色。

关键词：紫丁香花青苷类黄酮3′–羟化酶(F3′H) SoAN2 功能解析