时序电路可及状态的枚举和自动测试生成

复杂时序电路的测试生成被公认为VL-SI电路测试的难题之一。本文在分析已发表文献对此问题研究情况的基础上,提出一种实用的、可靠的测试生成方法。本方法的特点有二。一是以时序电路可及状态的分析为依据,建立同步、异步时序电路测试的统一数学模型,完全地、准确地反映电路的稳态功能。二是以图论算法为工具,从电路强连通状态转换图中找出最优测试向量序列。此法适用于数字系统层次或功能测试,有效地降低计算复杂性,加快测试生成速度,可望发展成为VLSI电路实用化测试生成方法的一条新途径。     

解同余式x^2≡l（mod p）的一种快速算法

给同了解同余式ｘ＾２≡ｌ（ｍｏｄ ｐ）的一种快速算法，该算法适用于各种情况，解决了当ｐ≡ｌ（ｍｏｄ ８）时，若ｐ很大，求解相当困难的问题，在另一种情况下，也计算量大为减少。     

基于枚举算法设计“俄罗斯方块”游戏

该文绕开了晦涩难懂、比较复杂的矩阵算法,提出了另一种枚举算法来实现这个经典游戏。枚举算法没有复杂的数学理论,避免了在程序中大量使用矩阵运算公式,设计思路清晰、明了,非常适合游戏设计的初学者理解和实现,最后用Flash Active Script设计实现俄罗斯方块游戏     

MCU&USB设备控制器IP核的设计

用硬件描述语言verilog HDL设计实现了一种MCU&USB设备控制器IP核.论文首先简要介绍了设计的背景,重点时自主研发的将MCU & USB控制器集成于一个芯片的设计和研究分析.最后给出nc-verilog功能仿真方案以及FPGA验证方案.使用上华0.35um工艺,流片成功,结果表明此IP核完全符合设计要求.     

上下文无关语言句子的反向自然枚举

在测试基于复杂数据结构的程序时,需要用到上下文无关语言句子的枚举.基于上下文无关语言按推导树高度的分层构造,提出了句子的反向自然枚举算法.通过堆、层、簇和长方体将句子划分为有穷集合序列,该算法的时间效率为O(n),n是被枚举句子的长度.实验数据表明,该算法是高效的,且应用更加便利.     

应用Visual C＋＋2008实现系统窗体枚举与控制

通过实例讲解使用VC＋＋2008枚举当前系统中的窗体,按照窗体从属关系构建窗体树型链表,并通过发送消息对指定窗体进行操作。     

数独基于规则的逐步枚举算法设计

给出了数独(Sudoku)的6条性质,并在此基础上提出了6条推理规则,然后结合空格填写的一个一组,两个一组及更多个一组的枚举算法,在枚举中进行推理.使推理和枚举结合起来,对有唯一解的数独问题,其求解速度比回溯法快得多,同时也能完成许多数独软件无法进行推理计算的数独难题.用两个数独难题进行验证,表明该方法十分有效.     

MySQL的数据类型和建库策略

无论是在小得可怜的免费数据库空间或是大型电子商务网站,合理的设计表结构、充分利用空间是十分必要的。这就要求我们对数据库系统的常用数据类型有充分的认识。下面我就将我的一点心得写出来跟大家分享。     

基于边状态枚举计算多状态网络可靠度动态界

为降低计算多状态网络可靠度的复杂性,综合考虑网络中具有多态性的边处于各中间状态的概率及从某中间状态转换到相邻状态对网络性能的影响,提出了一种基于边状态枚举计算多状态网络可靠度上下界的算法.该算法首先令网络中各边仅取完全工作和完全失效两种状态,将处于中间状态的概率分别叠加到完全工作和完全失效状态的概率上,得到可靠度上下界的初始值;而后按照对可靠度影响递减的顺序迭代枚举边的中间状态,通过集合间的比较,计算可靠度上下界的改变值,同时获得不断减小的可靠度上界和不断增加的可靠度下界,使其最终收敛于可靠度精确值.该算法不需提前求取网络d-最小割(路)集,且枚举较少的网络状态即可得到紧凑的可靠度上下界.相关引理的证明及算例分析验证了该算法的正确性和有效性.     

基于单片机的USB接口的设计

提出了一种基于单片机的智能仪表扩展USB接口的方法。介绍了USB接口芯片SL811HS的结构和性能以及USB接口的硬件电路图，详细分析了USB接口驱动程序的设计方法及FAT16文件系统的结构。利用SCSI传输命令集，通过BULK-IN和BULK-OUT端点实现了主机与U盘设备之间的数据通信。实验和应用结果表明，该方案具有控制方便、传输速度快、存储数据稳定可靠等优点。