• 形式化设计方法和过程 • 系统描述方法：基于状态和迁移 • 形式化验证 – Model Checking – 时态逻辑：LTL、CTL、RTL • 属性分析 – 正确性、性能、可靠性？

中国科学技术大学：《嵌入式系统设计方法》课程教学资源（课件讲稿，第二版）嵌入式系统形式化规范与建模（FSM，KPN，SDF）

中国科学技术大学：《嵌入式系统设计方法》课程教学资源（课件讲稿，第二版）嵌入式操作系统（uC、OSII）

中文电子病历文本包含大量嵌套实体、句子语法结构复杂、句式偏短。为有效识别其医疗实体，提出一种融合多特征嵌入与注意力机制的命名实体识别算法，在输入表示层融合字符、单词、字形三个粒度的特征，并在双向长短期记忆网络的隐含层引入注意力机制，使算法在捕获特征时更加关注于医疗实体相关的字符，最终实现对中文电子病历中疾病、身体部位、症状、药物、操作五类实体的最优标注。面向开源和自建糖尿病数据集的实验结果中所提算法的实体识别准确率、召回率和F1值都达到97%以上，表明其可以更加有效地识别中文电子病历中各类实体

采用XRD、SEM和TEM等方法研究了取向硅钢陶瓷涂层的结构特征,采用磁性测量仪分析了此结构对铁芯损耗的影响.结果表明:取向硅钢绝缘涂层包括硅酸镁底层和磷酸盐涂层两部分,硅酸镁底层与钢板基体之间主要是嵌入式机械结合,未见底层原子或原子团扩散,因此为了获得底层对基体良好的附着性,底层应形成细小而排列紧密的硅酸盐晶粒,并嵌入钢板基体的表层,但是也会对取向硅钢的铁芯损耗产生不利影响

中国科学技术大学：《嵌入式系统设计方法》课程教学资源（课件讲稿，第二版）嵌入式实时系统及设计方法概述（主讲：李曦）

• 形式化设计方法和过程 • 系统描述方法 – 基于模型的方法 – 基于语言的方法 • SystemC – PetriNet，1960 • 德国数学家Petri发明 • 形式化验证 – Model Checking • 属性分析 – 正确性、性能、可靠性？

研究了在地震作用下,地下水位、锚杆极限抗拔力、土体的内摩擦角及墙体嵌入深度对地下连续墙稳定性的影响.土压力和水压力以及墙体的惯性力利用\一般楔体地震分析法\计算.墙体的稳定性利用拟静力法,从抗倾覆安全系数和抗滑移安全系数的角度分析.实例计算结果显示:随着地震水平加速度系数的增加,其稳定性逐渐降低;非开挖侧地下水位高度、土体内摩擦角、锚杆极限抗拔力以及墙体嵌入深度对地下连续墙的稳定性也有着重要影响;此外,土体的内摩擦角对地下连续墙的抗滑移安全系数的影响比抗倾覆安全系数的影响大,而锚杆极限抗拔力对墙体抗倾覆安全系数的影响相对比较大

1 μC/OS-Ⅱ简介 2 μC/OS-Ⅱ内核结构 3 μC/OS-Ⅱ任务管理 4 C/OS-Ⅱ时间管理 5 μC/OS-Ⅱ任务通信与同步 6 μC/OS-Ⅱ内存管理 7 μC/OS-Ⅱ移植

针对热轧圆钢的批量调度问题,考虑实际生产中工艺规程和交货期对轧制单元连续加工的影响,建立了以最小化设备调整时间、拖期生产惩罚和钢种跳跃惩罚为优化目标的数学模型,并设计了一种嵌入EDD规则的变邻域搜索算法.算法首先结合模型的约束特征,采用约束满足技术生成初始解;根据实际生产需求,将最小化设备调整时间作为主要目标,设计变邻域搜索算法实现目标优化,其中,运用混合算子构造邻域结构和局部搜索,并引入模拟退火接受准则来控制迭代过程中产生的新解;同时,为了最小化拖期惩罚和钢种跳跃惩罚,在求解过程中嵌入了EDD规则以及钢种排序规则.实验结果表明,模型和算法是可行且有效的