课程文献中心 更多>>

关键词： 软件测试   静态分析工具   自动控制软件   评估   召回率  

摘要： 软件是否可靠运行将直接影响系统的可靠运行,急需有手段保障软件质量;静态分析因具有全自动运行、能更早实施、不需要执行程序等特点,在软件测试领域得到了广泛的使用,已成为保障软件质量的重要手段;测试工具可以极大地提高软件测试的效率;目前面向静态分析的软件测试工具数量众多,不同的工具具有不同的特点和缺陷检测能力,且都存在不低的误报率和漏报率,如何评估和选择测试工具成为软件静态分析时亟待解决的问题;基于CWE缺陷类型的基准测试集和精确度、召回率、F_(1)值、CWE覆盖率以及Overall-Score的评估指标,详细阐述了面向静态分析的软件测试工具评估流程,结合CppCheck、TscanCode和Flawfinder三个开源软件静态分析工具开展了案例应用,为软件静态分析工具的评估与选择提供指导和参考。

关键词： 电网   需求预测   区间估计   可靠性  

摘要： 在电网工程物资管理中,需求预测的有效性十分重要。有效的需求预测可以防止采购过剩和供应不足。统计分析是常用的需求预测方法,其中尤以回归分析应用较为成熟。简单回归分析仅给出一个结果数值,而不反映预测的可靠性。对于电网物资供应链决策而言,由于资金和库容条件限制,物资采购总量只能维持在安全区间。管理者在面临需求不确定性时,需要明确当前采购量的可靠性。本文基于区间估计建立回归预测模型,并给出一些应用案例。预测模型同时返回需求区间和可靠性,这样需求不确定性被量化为风险概率,为供应链管理提供二元决策模型。二元决策模型的优点在于管理者可以根据可靠性目标分配电网物资。基于显著性检验方法,二元决策模型也可以衡量某一段时间内协议库存满足率。The effectiveness of demand forecasting is crucial for power grid material (PGM) management. It contributes to both surplus purchase and short supply prevention. Statistical analysis is the most common method for demand forecasting. Especially, regression is rather apply proven. Simple regression analysis only returns amount as a result which does not reflect reliability of demand forecasting. In terms of PGM supply chain decision, due to the limitation of budget and capacity the purchase amount must remain on the safe side. The managers need clarify the reliability of current amount when they face the uncertainty of demand. This paper establishes a regression forecasting model based on interval estimate and gives a few application cases. Forecasting model simultaneously returns the interval and reliability about demand forecasting. So that the uncertainty of demand being measured as risk probability affords binary model for supply chain management. The advantage of binary model is that managers could distribute PGM according to the reliability target. Binary model also could measure the probability of agreed stock fulfillment.

关键词： 电子自动化控制   汽车   发展历程   应用   发展  

摘要： 随着我国经济的快速发展,汽车已成为生产生活中不可缺少的交通工具。传统汽车制造技术存在安全性和生产复杂性等缺陷,无法满足当前汽车生产需求。在这种需要不断自我提升的社会背景下,必须重视现代汽车生产工艺,特别是自动化新技术的应用,提高汽车生产的整体质量。然而,目前对汽车电子自动化控制技术原理缺乏了解,制约了整体设计技术的发展。

关键词： 碳排放强度   供给侧因素   动态QCA  

摘要： 供给侧结构性改革是实现“双碳”目标的重要抓手,优化供给侧要素配置对制定碳排放与减排政策具有重要意义。本文以2014-2022年中国30个省份面板数据为样本,通过动态QCA方法探索时间纵轴上供给侧因素对碳排放强度的组态效应,刻画组态覆盖度的空间分布差异。研究表明,供给侧因素在降低碳排放强度方面呈现三种组合模型:“单要素”模型、“要素-制度”模型和“多要素”模型,分别与东部、中部、西部、东北部区域的实施效果相匹配;能源强度在降低东部和东北部区域碳排放强度方面发挥主导作用;不同的碳排放强度驱动效果会带来差异化的供给侧因素组合。

关键词： 内地   台湾地区   投入产出技术   溢出效应  

摘要： 本文利用2000年、2010年与2020年亚洲开发银行的《多区域投入产出表》,通过三区域投入产出模型,对比分析这三个不同年份内地、台湾地区、第三区域的乘数、溢出与反馈三大效应及其变化特征。对比中国内地与台湾地区对彼此的溢出效应系数,发现内地小于台湾地区,但是引入区域规模效应之后,由于内地具有更高的最终产出规模,内地对台湾地区的实际溢出效应比台湾地区对内地的实际溢出效应更高。细分产业层面分析显示,内地与台湾地区彼此溢出效应最高的产业为机械和电子通讯设备、电气及光学设备、运输设备这些先进制造业,其对两岸经济发展的带动作用较强。为促进两岸经济融合,内地应在产业政策方面重点支持这类产业的发展。

关键词： 结构色   液晶弹性体   胆甾相液晶   蓝相液晶  

摘要： 结构色液晶弹性体(Structural-colored Liquid Crystal Elastomer, SLCE)是一类结合了光学结构色和类橡胶弹性特性的交联聚合物网络。结构色液晶弹性体器件通过其内部周期性亚微米结构的Bragg反射作用产生鲜艳且耐久的颜色。近年来,结构设计及操控技术的发展使结构色液晶弹性体的多功能性和可调性得到了显著提升,推动了其在材料学和光学领域的发展。本文首先简要介绍了胆甾相液晶弹性体和蓝相液晶弹性体的基本性质,随后重点综述了它们在环境感知、显示加密、仿生学和智能织物等领域的研究进展。最后,针对结构色液晶弹性体在实际应用中面临的挑战和应用前景做了进一步总结及展望。

关键词： 多轮驱动   能源供应体系   解放思想   能源供给   能源安全   华北油田公司   转变观念   大庆精神铁人精神  

摘要： 华北油田公司坚决贯彻习近平总书记关于“四个革命、一个合作”能源安全新战略重要论述,大力弘扬石油精神和大庆精神铁人精神,以解放思想、转变观念积极打造多轮驱动能源供应体系,努力在端稳端牢能源饭碗实践中主动作为,不断推动新时代老油田高质量发展。

关键词： 城市更新   商业建筑   业态功能转型   中庭加改施工   构件拆除   垂直运输   模板排架转换  

摘要： 随着经济的发展和人们生活物质水平、精神追求的提高,对既有商业建筑提出了重新调整业态、升级商业定位和空间品质、进行功能改造的需求。中庭部位作为突出性的商业空间表现形式,是当前改造的一项重要内容。依托上海华联项目、长沙北辰项目,考虑“如何加造”和“如何改造”两大问题,通过在中庭加造和改造关键施工技术展开研究,全面分析、对比2个项目的构件拆除、垂直运输、模板排架转换等各环节所采用的施工方法与措施,为城市更新的深入提供技术支撑。

关键词： 多形式延续护理模式   脑梗死   轻度认知功能障碍   康复  

摘要： 探究多形式延续护理满足脑梗死认知功能障碍神经功能和自理能力长期康复需求的价值。方法 2022年1月-2024年1月脑梗死轻度认知功能障碍患者100例单盲随机划分,对照组常规护理,观察组多形式延续护理,对比护理效果。结果 护理后组间认知功能各维度评分观察组高(P<0.05),护理后NIHSS评分观察组低(P<0.05),Barthel指数、HPLP-Ⅱ中文版评分均观察组高(P<0.05)。结论 多形式延续护理能够根据其概念以及原则和护理内容上的优势来展开脑梗死轻度认知损伤患者的长期康复监测和指导,从而为神经功能恢复提供专业环境以及时间条件,帮助患者改善认知,保持良好的健康行为,可促进康复。

关键词： “四阶段”法   模型   高速铁路货运   快递   需求预测  

摘要： 为合理预测高速铁路货运需求,科学指导高速铁路货运网络规划布局,构建科学的高速铁路货运需求预测模型势在必行。本文结合高速铁路货运需求特点,从高速铁路货运目标市场出发,针对快递运输需求构建了“四阶段”高速铁路货运需求预测模型理论框架,并对模型参数标定方法进行了全面阐述,最后基于全国高速铁路货运需求预测对构建的预测模型可操作性进行了验证。