PB技术对数据库系统的管理方法

PowerBuilder的主要特色是方便有效的访问和管理数据库。PB技术对数据库的管理是通过三个重要的环节实现的。一是创建一个好的数据库；二是编制应用程序创建数据窗口；三是建立数据窗口与数据库的连接。     

VMM中功能覆盖率收敛技术

介绍SystemVerilogVMM验证方法学在LCDController验证中的应用,指出它相对于传统Verilog验证方法的1优点,重点研究功能覆盖率的收敛技术,实验比较了多种具体的实现方法。实验结果表明,由于CCT能够收集覆盖信息,形’成闭环负反馈,以控制随机变量的生成,从而在实现快速收敛的目标方面取得了显著的效果。     

Visual Basic菜单与窗体的设计方法

以学生信息管理系统为例,综述了Visual Basic环境下菜单与窗体的设计方法。     

部分转移概率离散奇异Markov跳变系统的镇定

针对具有更广泛意义的部分转移概率未知情况下的离散时间奇异 Markov跳变线性系统,给出了使开环系统正则、因果、随机稳定的充分条件,并表示为严格线性矩阵不等式形式,且消除了等式约束条件。部分转移概率未知的条件包括了完全开关系统和随机跳变转移概率完全未知的情况,适用范围更广泛;在此基础上,通过求解严格线性矩阵不等式的可行解,设计了模式依赖状态反馈控制器,使闭环系统正则、因果、随机稳定,实现了系统的镇定;最后,给出一个仿真算例验证了所提方法的有效性。