基于SAT的电路错误定位方法研究进展

随着VLSI芯片复杂度不断增加,功能验证与调试已占到整个芯片设计周期的60%以上。而错误的定位往往消耗大量的时间与精力,因此迫切需要一种高效的方法诊断与定位电路中的错误。针对近年来出现的许多电路错误定位方法,介绍了电路错误诊断方法的分类与工作流程,深入分析了基于SAT的错误定位方法的基本原理;对各种算法进行了概述评论,并简要介绍了在不可满足子式求解方面所做的一些研究工作,而不可满足子式能够显著提高错误定位效率与精度;讨论了电路错误定位技术所面临的主要挑战,并对今后的研究方向进行了展望。     

防抱制动系统基于最佳滑移率的滑模变结构控制方法

建立了防抱制动系统的非线性、时变数学模型,实现了滑模变结构控制方法在防抱制动系统中的应用,提出了两种由递推最小二乘算法来计算最佳滑移率的估计方法:一种基于附着系数—滑移率曲线的数学模型,一种基于该曲线的形状。仿真结果表明了基于最佳滑移率的滑模变结构控制方案在车辆防抱制动系统中的可行性和有效性。     

基于任务和角色的分布式工作流安全模型

针对现有基于角色访问控制的缺陷和分布式工作流管理系统的特性,在传统的基于角色的访问控制模型中引入任务集(Tasks)、任务实例集(TaskInstances)和任务上下文(TaskContext)的概念,将传统的user role permission权限赋予结构修改为user role task permission权限赋予结构,建立了基于任务和角色的访问控制模型,给出了其形式化定义。该模型解决了传统的基于角色访问控制中的动态适应性差和最小权限约束假象的问题,用于分布式工作流管理系统,提高了安全性、实用性。     

基于图形分析的舰空导弹射击效能评估方法

在分析现有舰空导弹武器系统射击效能评估方法的基础上,提出一种基于图形分析的舰空导弹射击效能评估方法。这种方法简单、直观,不仅适用于舰空导弹武器系统,而且可以推广应用于其它类型的防空导弹武器系统。     

火灾条件下钢结构材料的力掌性能研究

通过万能材料试验机 ,对建筑中常用的Q2 35钢在火灾条件下的力学性能进行了研究 ,获得了Q2 35钢的屈服强度、极限强度、弹性模量、极限应变等力学性能指标随火灾温度变化的规律 ,并对影响Q2 35钢力学性能指标的因素进行了分析     

Sr2FeNbO6的晶体结构

系统地研究了Sr2FeNbO6的晶体结构,并利用步进扫描的X光数据成功地确定了Sr2FeNbO6的晶体结构,利用Rietveld方法精修出Sr2FeNbO6是空间群为Pnma(62)的正交结构,其中,晶胞参数分别为a=5.616 1A,b=7.971 7A,c=5.613 0A.     

铁路区间信号系统测试评估平台——信号设备与列车运行仿真研究

铁路区间信号系统测试评估平台是对铁路区间列车运行安全控制和防护系统进行可靠性、安全性测试及评估的平台.区间信号设备与列车运行仿真子系统是平台的一个子系统,它为平台提供了一个虚拟的现场环境.采用面向对象技术和离散事件仿真技术对仿真子系统进行了研究.详细地阐述了信号设备及列车的仿真模型、设计和仿真算法,并给出仿真实例,满足平台对仿真子系统地要求.     

战场态势的定量分析模型

在防空作战中,战场态势的分析非常重要,它是辅助决策的基础.针对战场态势的问题,以集对分析的同异反联系度和距离测度为基础,构造了战场态势的分析模型,进行了深入探讨.最后,通过实例计算表明了分析模型对于评估战场态势的可行性和有效性.     

九年一贯制学校综合实践活动课程实施现状分析及价值挖掘

综合实践活动课程作为现代教育的重要内容,是国家新一轮课改的亮点和难点。调研发现,九年一贯制学校开设综合实践活动课程推动了学校重构教育教学层级与体系,能有效提升学生核心素养,促进教师职业成长与转型,帮助学校竖立校本特色与教育品牌影响力。九年一贯制学校开设综合实践活动是人才强国背景下的学生需求与文化适应的统一,是教师的使命和责任的体现,是传统教育与新型教育的融合与创新。     

一种基于熵值的装备维修性评价模型

本文提出了一种基于熵值的装备维修性综合评价模型,该模型包括评价指标的熵值度量模型、装备维修信息结构图和行为控制图以及基于熵值的评价指标聚合模型等3个方面。本研究首先在分析装备维修一般过程和维修性评价内容的基础上,构建了定性指标和定量指标相结合的装备维修性评价指标体系,分析了维修任务复杂度、维修保障复杂度和基于熵值的维修效果的涵义;其次,给出了定性指标的熵值、定量指标的熵值以及基于权值的装备维修性熵值等计算方法;最后,给出一个装备维修性熵值评价的算例。算例结果表明,所提方法能够结合综合维修任务、维修保障和维修效果等多种影响因素进行装备维修性评价,不仅可以根据熵值大小对装备维修性水平进行高低排序,还可以分析影响装备维修性水平的瓶颈因素。