在基于UMLsec模型开发的安全关键系统中,为了验证UMLsec模型描述的安全需求是否满足,提出一种支持自动分析验证UMLsec模型工具框架,研究设计了自动分析验证的验证插件。利用该验证插件分析验证了一个加密协议实例,从而说明了该工具能自动分析验证UMLsec模型描述的安全需求。
纳入患者40例，其中上颌侧切牙缺失的正畸患者20例，根据缺牙部位以及拔牙模式不同分3组；将需要常规拔牙的患者20例设为第四组，均采用直丝弓矫治技术，第一、二、三组在矫治后期将尖
针对非线性系统状态模型未知的情形,提出一种基于高阶容积卡尔曼滤波和神经网络的状态估计算法,解决了未知非线性系统模型的状态估计问题。在算法的实现过程中,首先利用神经网络对非线性系统建立状态空间模型,然后把神经网络的权重和系统的状态变量组合在一起作为新的状态变量,并采用高阶容积卡尔曼滤波对新的状态进行实时更新,从而达到神经网络对非线性系统模型的真实逼近以及对状态值的精确估计。最后的目标跟踪仿真表明,该
2019年报与2020年一季报披露已经完成.目前涉及磷概念共有15家上市公司,包括:云天化、兴发集团、云图控股、金诚信、川金诺、澄星股份、川恒股份、三泰控股、芭田股份、宏达
提出双向插值模式的插值处理算法,详细介绍该种优化算法的流程,对其进行验证。分别用只对敏度进行双向插值、同时对刚度和敏度进行双向插值、各向材料惩罚密度法模式算法对基本结构进行拓扑优化分析。结果表明第一种模式算法拓扑结构简单,更具全局收敛性。
寻根小说作为八十年代文学创作的重要组成部分,学界的评论自上世纪八十年代以来就从未间断,其涉及的范围广泛且成果丰硕。在寻根小说中,寓言不仅是一种文学的传统,一种创作手法,也成为寻根作家们重要的话语资源,影响着作家的审美观念和艺术表达,具有鲜明的叙事学意义和现实价值。文章在引言部分简要引介了选题的原因和学界研究现状,在阐明选题研究价值的基础上,归纳了寻根小说的研究现状与研究定位,对寓言和寓言化的相关概