RTL可观测性语句覆盖评估方法

针对目前已有的可观测性覆盖评估方法计算复杂度高、时间开销大的问题,建立了一种可观测性信息模型,并在此基础上提出一种可观测性语句覆盖评估算法．该算法采用变量的赋值与引用作为分析基础,计算效率大大提高,同时可以很容易地与其他考虑可控制性的覆盖准则相结合．实验结果表明,可观测性语句覆盖准则增强了语句覆盖准则的评估能力,同时与已有的可观测性语句覆盖评估方法相比,文中算法时间开销大大降低．     

基于可观测性无关项的快速逻辑优化实现策略

在对可观测性无关项相关问题进行研究的基础上，通过计算逻辑网络中门的可观测无关项，得到最大允许函数集，依此来消除网络中冗余门，进行逻辑设计优化。同时对已有算法做了一定改进，给出了SANDTNT算法，以适用大输入和输出变量逻辑网络的优化。     

基于可观测性分析的SINS/CNS降维设计

针对长航时无人机的长航时和组合导航系统固有的非线性特性,建立了SINS/CNS组合导航系统的非线性模型,该模型能够更加趋近于真实模型。模型建立之后对其进行可观测性分析,并根据可观测性分析的结果进行降维设计,只对可观测性好的状态进行状态反馈。并选择了精度更高的SCKF算法进行滤波,仿真结果表明,选择的滤波算法精度更高,降维设计之后组合导航系统即能够保证导航精度又能够大大提高实时性。     

针对可观测性语句覆盖准则的RTL激励生成

传统的语句覆盖准则只考虑语句的可控制性,忽略其可观测性,这可能导致表面上很高的覆盖率数据所蕴含的可信度不高.鉴于此,可观测性覆盖评估准则被提了出来.随着设计规模不断加大,该准则变得越来越重要.首先提出一种可观测性信息的表征方式以及可观测性判定规则,在此基础上,提出一种针对可观测性语句覆盖准则的RTL激励生成方法.这是一种基于模拟的方法,它以所有未观测语句的分布作为启发式信息,指导激励生成.实验结果显示,提出的方法是高效的.     

惯性导航系统可观测性分析与可观测状态确定的图方法

本文研究平台式惯性导航系统在静基座与动基座下的可观测性与可观测状态确定问题.主要利用组合图论中的二分图与线性结构化系统中的动态图.这种基于图论的方法,不仅能够分析平台式惯性导航系统的可观测性,而且可以用来确定具体的可观测状态.针对静基座的情形,利用二分图的匹配理论来分析可观测状态,得到的可观测状态与已有的利用代数分析方法得到的相同.对于动基座的情形,通过建立分段定常系统分析方法与动态图的Menger-type linking分析方法之间的联系,从图论的角度得出系统在机动运动下仍是不可观测的.由于Mengertype linking分析可观测状态相对困难,进一步引入广义二分图来分析动基座时不同运动状态下系统的可观测状态.最后,分别针对静基座和动基座时的惯性导航系统给出其可观测性与可观测状态的分析结果,实例结果表明本文图论分析方法的简洁性和正确性.     

被动式跟踪可观测性分析的非线性系统方法

目标的可观测性是被动式目标跟踪研究的基本问题，Ｆｏｇｅｌ－Ｇａｖｉｓｈ方法给出了Ｎ阶运动目标可观测性的充要条件，但Ｆ－Ｇ方法对目标运动仅适于写成多项式形式，采用非线性系统可观测性分析理论，可以给出形式完整的被动式跟踪可观测性充要条件，并可直接由运动目标的任意运动方程给出了可观测性判据，对一二阶运动目标本文给出了分析和判据，讨论了高阶系统的推广，研究还表明，尽管就大多数判据而言被动式目标跟踪的可观测     

基于可观测性无关项的快速逻辑优化实现策略

在对可观测性无关项相关问题进行研究的基础上,通过计算逻辑网络中门的可观测无关项,得到最大允许函数集,依此来消除网络中冗余门,进行逻辑设计优化.同时对已有算法做了一定改进,给出了SANDTNT算法,以适用大输入和输出变量逻辑网络的优化.     

验证平台的可重用性分析

传统的验证方法学已经不能满足SoC验证的需求,现在通常使用验证平台来提高验证的质量.SoC的设计实际上是IP的集成设计,因此需要建立两个验证平台IP单独验证平台和SoC系统验证平台.为了减少验证时间,提高验证质量,最有效的办法是使这两个验证平台统一,即IP单独验证平台的部分元件甚至全部元件可以直接被SoC系统验证平台重用.本文对验证平台的元件,如激励、驱动、监视器、脚本等的可重用性进行了分析,并提出了达到最大可重用的验证平台的设计方法,按该方法设计的验证平台的可重用率至少可达到60%.     

基于服务本体的可观测协同模型*

为得到在通用抽象级别上的可观测协同模型,采用描述逻辑对构件服务予以概念化而构成服务本体并将其作为构件可观测的基准,在软件体系结构的抽象级别上利用服务本体扩展了软件体系结构连接件。基于上述方法,设计了协同介质的基本结构并规范了基于脚本语言的协同规则,提出了一种通用的可观测协同模型。研究结果表明,该协同模型具有与应用无关的通用性。     

离散纯方位系统的可观测性判据

传统的纯方位测量系统可观测性判据复杂且依赖目标运动参数. 通过线性化测量方程, 推导了可观测性判据Gram矩阵行列式的解析表达式, 得到了纯方位测量系统可观测性的充分必要条件, 即存在4个方位测量使得由它们构成的可观测性判别式不等于0, 其特点为判据仅依赖方位测量, 无需进行求导运算以及求解微分方程．     

基于网格的远程考试系统模型的设计与研究

分析了目前考试系统面临的主要问题，介绍了网格的概念及其特性，提出了基于网格的远程考试系统模型（GTM）．讨论了GTM的设计思想、结构、功能及实现方法，阐述了GTM存在的问题度发展趋势。     

基于网格的远程考试系统模型的设计与研究

分析了目前考试系统面临的主要问题,介绍了网格的概念及其特性,提出了基于网格的远程考试系统模型(GTM),讨论了GTM的设计思想、结构、功能及实现方法,阐述了GTM存在的问题及发展趋势。     

约束逻辑程序设计的变量压缩事件分析

该文涉及的约束逻辑程序设计(CLP)是一在二叉树上进行搜索的过程,提高搜索效率是CLP的主要研究方向之一。在CLP中约束推理机是核心,由变量组、约束过滤器、临时容器、推理引擎组成。在介绍了约束推理机激活过滤器,对变量进行区间压缩后,提出引入变量事件,总结为三种类型:SINGLE、BOUND和DOMCHG,用于减少过滤器的激发次数。实验结果表明,变量事件能够促进约束推理机的搜索效率,缩短二叉树搜索的时间,可以更快寻找到答案。     

RBAC模型在基于Web新型考试系统中应用的设计

本论文为研发一个增强数据安全的基于Web新型考试系统，提高Web DBMS的安全级别。从数据库访问权限的管理、应用系统功能层访问权限的管理、敏感数据加密保护和身份认证方面讨论基于角色的访问控制模型（RBAC）在基于Web新型考试系统中应用设计。     

RBAC模型在基于Web新型考试系统中应用的设计

本论文为研发一个增强数据安全的基于Web新型考试系统,提高WebDBMS的安全级别。从数据库访问权限的管理、应用系统功能层访问权限的管理、敏感数据加密保护和身份认证方面讨论基于角色的访问控制模型(RBAC)在基于Web新型考试系统中应用设计。     

基于层次化设计的Verilog HDL增量编译方法

根据自顶向下设计方法和使用VerilogHDL设计层次化的特点,提出依据设计层次、以模块为单位的VerilogHDL增量编译方法。利用在语法分析和语义检查时构建的设计层次信息和符号表,根据被修改模块在设计层次中的位置,自动对全部相关模块进行增量编译,同时更新编译结果和重构层次引用关系。在设计VerilogHDL编译器的同时予以实现。通过测试证明对于多模块设计中个别模块的修改,使用增量编译可以显著缩短重新编译的时间开销。     

基于UML的嵌入式系统设计①

嵌入式系统复杂度的不断提高,对传统的系统设计方法提出了挑战。在阐述了嵌入式系统、统一建模语言(UML)及其扩展(HRM和UML-RT)的概念后,探讨一种新的嵌入式系统设计流程(UHU),并结合实际工程——基于CPCI的任意波形发生器予以解释。     

基于SOA信息模型的设计

分析了企业信息系统存在的主要问题,介绍了面向服务架构（SOA）的基础原理、分层模型和实现技术,提出一种基于SOA信息系统框架,重点讨论了面向服务的信息系统的信息模型、系统结构、实现方法,并给出性能分析。实践表职,该架构可以较好地实现信息系统的应用并具有良好的性能。     

基于CPLD的CMI译码设计

根据CMI码特性,基于通信原理实验箱-ZH7001,在MAXPLUS-II开发平台上使用VHDL编程实现CMI编译码,并得到仿真波形。     

基于Verilog HDL的电梯系统设计

从状态机的角度,介绍了一种电梯控制器的Verilog HDL设计方法。将其嵌入到FPGA中,用于实现电梯的控制。着重介绍电梯的总体设计方案,详细描述其内部状态机的工作原理,并提供了电梯中主控制器与分控制器通信部分的Verilog源代码。给出了在Xilinx公司的ISE6.2+ModelSimXE5.6软件平台中进行EDA的综合结果与时序仿真,并遵循方向优先的原则提供3个楼层多用户的载客服务并指示电梯的运行情况。实际应用表明,该系统设计灵活,运行可靠,成本低廉,有一定的应用价值。