课程文献中心 更多>>

关键词： 软件功能安全   形式化方法   模型转化   SCXML状态图   B方法  

摘要： 形式化方法精确且严格,较多应用于安全苛求系统开发,但目前仍存在学习成本高、使用复杂、重用性低等问题。常用的非形式化状态图模型虽易于使用却缺乏严格验证。针对这些问题,提出一种将状态图SCXML模型转译为形式化B模型的模型转化方法,从而结合状态图的易用性降低在安全苛求软件系统开发过程中使用形式化方法的复杂度。该转译方法分为映射规则、同步语义和程序实现3个部分,以保证自动转译后的模型自身含义与基础语义不变。在平交道口控制系统开发案例分析中,该方法根据图元模型自动生成了对应形式化模型,通过对形式化模型的分析改进系统在功能安全、数据安全、隐藏分支3个方面的非安全因素,并保证从需求至模型的一致性,证明了该方法可降低形式化方法建模难度,提高软件系统的正确性、可靠性与安全性。

关键词： 得分率   奇函数   模拟训练   备考   函数不等式   研究与反思   班级  

摘要： 今年1月,笔者带高一两个班级的学生进行期末备考.在一次模拟训练中,有一道题目得分率很低,笔者对该题行了研究与反思,现整理成文,与同仁交流。一、试题呈现设f(x)是定义在R上的奇函数,且当x≥0时,f(x)=x^(2).

关键词： 超声心动图   心电图   高血压心脏病   诊断价值  

摘要： 探讨超声心动图在高血压引起的心脏疾病诊断中所具有的临床意义。方法 在2023年1月至2023年12月期间,我们医院对116名可能患有高血压性心脏病的患者进行了诊断。所有患者均接受了超声心动图和心电图检查。我们比较了这两种不同检查方法的诊断效果、病变检出率以及对心脏异常的识别能力,并将临床表现、病史和冠状动脉造影作为参考标准。结果 (1) 在116例可能患有高血压性心脏病的患者中,通过综合诊断临床表现、病史和冠状动脉造影结果,确定了96例,占总数的82.76%。剩余20例检测结果为阴性,占17.24%。超声心动图在敏感性、特异性、准确性、阳性预测值和阴性预测值方面均表现较好(P<0.05),与心电图相比。(2) 超声心动图对左心房肥大、左心室肥大、主动脉扩张、心肌缺血和弥漫性室间隔肥厚的检出率显著提高(P<0.05),与心电图相比。(3) 超声心动图对E/A<1的检出率明显高于心电图;但在检测心律失常和ST-T变化方面,超声心动图效果不如心电图,在这些方面存在显著差异(P<0.05)。结论 相较于心电图检查,超声心动图诊断高血压心脏病的临床价值更高,可有效检出心脏病变,明确患者病情严重程度,从而为临床治疗方案的制定提供有效依据。

关键词： 三次函数   内接正方形   逻辑推理   数学运算  

摘要： 对2024年北京大学物理学科卓越人才计划测试第3题进行探究,从多个视角尝试求解,对相近试题予以溯源回顾.将试题提炼推广,探讨了三次函数图象内接正方形的存在性与几何度量问题,获得了一般性的结论.

关键词： 复习巩固   学思并重   可视化工具   思维导图   翻转课堂   知识结构   批判性思维   拓宽知识  

摘要： 思维导图作为一种可视化工具,能够以图形的方式展示知识结构,帮助学生理解概念之间的联系,激发他们的创造力和批判性思维。在翻转课堂中,我们可以通过创设思维导图来指导学生在课前和课后进行自学、交流和复习巩固,以深化和拓宽知识的视野,促进思维发展,形成英语的综合能力。

关键词： 自然数   数字   从小到大   找出  

摘要： 在100以内的自然数中,有30个数字具有独特的属性,约翰(John)在下图中按照从小到大的顺序列出了它们。但是约翰犯了一个小错误。在他列出的30个数字里,有一个数字写错了。请问:约翰写错了哪个数字?正确的数字该是什么呢?

关键词： 数智化   全要素生产率   数据要素   先进制造业   新质生产力  

摘要： 数智化是中国制造业发展新质生产力的重要途径。当前我国制造业的数智化仍以硬件为主,软件数智化程度较低,数智化水平较高的行业主要集中在先进制造业领域。以数智技术时代的新型生产函数构造为视角,发现数智化对于制造行业生产率提升存在成本节约、产出增值和技术进步三大效应。实证研究发现,综合数智化、硬件数智化和软件数智化显著促进了制造行业全要素生产率提升,且效应依次递减;数智化的生产率效应在规上企业中表现尤为突出;异质性研究表明,数智化的生产率效应在先进制造行业以及我国西南、华北、东北、京津冀和成渝地区表现显著,在传统制造行业以及我国的其他地区尚未显现;机制研究表明,中国制造业数智化的生产率效应主要通过产出增值与技术进步两大途径发挥作用,成本节约途径尚未进入效用发挥阶段。研究结论对深度推进中国制造业的数智化进程以加速其新质生产力提升具有重要的参考价值。

关键词： 药物难治性癫痫   术后康复治疗   射频热凝毁损   立体脑电图   脑沟   局灶性皮质发育不良   神经外科   囊变  

摘要： 立体脑电图(SEEG)引导射频热凝毁损(RF-TC)是治疗局灶性皮质发育不良(FCD)所致癫痫的有效方法。2022年2月解放军联勤保障部队第九八八医院全军神经外科中心采用SEEG引导RF-TC治疗1例右侧额盖脑沟沟底FCD所致药物难治性癫痫患者。术后出现毁损灶内积气、坏死液化并形成包裹,周围出现广泛顽固性脑水肿,导致左上肢远端肌力下降,左手灵活度下降,手指僵硬。RF-TC术后4周开切除囊变毁损灶,二次手术后康复治疗5个月,患者脑水肿逐渐消退,左上肢及左手功能恢复。

关键词： 二元关系   《赤壁赋》   宇宙意识   儒、释、道  

摘要： 《赤壁赋》中存在“主”与“客”“达”与“悲”“变”与“不变”、“取”与“不取”四组对立统一的二元关系,在主客二元的形式依托中实现由“悲”到“达”的情感转变,在变与不变、取与不取的辩证思考中融汇着天人合一、物我浑融的宇宙意识,渗透着儒、释、道的思想精髓,成为苏实现精神突围的思想根源。在教学过程中,教师可以从二元关系对立统一、相互转化的特点着手,重点关注主客情感转变的铺垫与伏笔,以及变与不变、取与不取中蕴含的广博内涵。

关键词： 社区检测   图Transformer   模体   图编码  

摘要： 针对已有社区检测方法存在忽略高阶结构信息,且在信息引入过程中极易产生碎片的问题,提出了一种融合模体感知和图Transformer编码的社区检测方法。首先,将原图中的极大完全子图视为模体,并以模体为顶点对原图进行重构,捕获模体邻接矩阵。同时,使用混阶外切边编码获取原图的残留边信息,解决碎片问题,利用位置编码和内权边编码捕获重构图上的位置信息和边信息。其次,使用图Transformer提取原图携带的初始特征,再对编码所得的位置信息和边信息及初始特征进行融合,获得模体嵌入矩阵,实现社区检测。最后,在几个不同数据集上的实验结果表明,所提方法可以有效提高社区检测的性能,而且,对重叠社区检测和多社区公共顶点检测也是有效的。