一种面向测试的RTL行为抽象与蕴含方法

针对寄存器传输级（register transfer level,RTL)行为的抽象，提出了一种层次化的带条件的表示，这种抽象的行为是面向测试的，它不仅表达简单，而且能很方便地进行蕴含操作，通过抽象，电路可以规范为行为集，并代替电路本身进行功能测试向量的生成，在测试生成过程中，大量地应用蕴含操作何以使其中的行为得到简化，并极大地提高了系统的效率。     

一类分布参数问题的线性逼近

从工程问题出发，在文献[1]的有关假设和定理的基础上，对一类分布参数问题周期解的线性逼近方法，给出有关的定理与数学证明，使得这类复杂问题变得易于研究．     

软件系统设计中的模块化思想和技术

本文回顾了设计大型数据处理系统中广泛应用的结构化设计(SD)方法、结构化分析(SA)及结构化程序设计(SP),阐明控制问题复杂性的抽象和分解思想、模块特性、划分模块的原则和评价模块质量标准及模块独立性概念。     

对科学技术的人文遐思

<正>人类生存在这个世界需要"真、善、美",即科学之真、宗教之善、艺术之美。诚然,上述真善美之分很是粗糙。科学亦真亦善亦美,宗教亦善亦美似亦真,艺术可美可善亦可真。科学知识之客观规律、符号数字等概念抽象,对于科学家面言,也不乏美感;     

分布式制造信息系统单元的Agent模型

建立分布式制造信息系统的多Agent系统模型时，要在对其功能需求进行分析的同时研究其控制需求．文中以柔性耦合自动机为工具建立各个单元的Agent抽象模型、计算结构和算法．在此基础上利用基于双向输出自动机的接口，以设备和原料仓的交互为例，研究了Agent之间的通信．结果表明，该模型可以同时对系统进行功能需求和控制需求分析，便于系统分析和设计．     

基于抽象实现结构图的数据流方程切片方法

提出在PASCAL抽象实现结构图上,采用数据流方程算法实现程序切片的自动化.该方法将过程蓝图的抽象实现结构图引入静态过程内切片领域,实现了程序表示形式与程序切片处理形式的统一,避免了传统方法产生控制流图的需要,简化了切片处理过程,提高了切片处理效率,并直观地反映了切片后的程序变化.     

基于模型的有限状态机软件动态测试方法

介绍了一种基于模型的软件动态测试方法，该方法通过将被测程序抽象成有限状态机，将测试程序及测试用例的编写集中到单个状态上。在软件结构或逻辑发生改变时，能够通过对旧状态测试程序的重新组合进行新的测试。无需大量修改测试程序从而保存了先前的测试用例。     

基于交换机的接口软件抽象设计

介绍了交换机的接口以及如何划分交换机接口。同时，在交换机接口共性的基础上，提出了接口抽象的软件设计思想，并实现了接口软件的通用性设计。     

从2006年高考试题看高中函数学习重点

以2006年各省市高考题中部分函数为例，分析了高中函数部分学习中的重点．     

关于多媒体教学改革的研究

近年来，随着多媒体技术的迅速发展，多媒体教学在教育领域中的应用已成为教学改革的热点。由于多媒体技术具有图文并茂以及活动影像等特点，因而能够提供较为理想的教学环境，必然会对教育、教学过程产生深刻的影响。现代教学实验表明，人类获取的信息83％来自视觉，11％来自听觉，两项加起来就有94％。只靠听觉所获得信息，3日后可保持10％；只靠视觉，3日后可保持20％。如果将视觉和听觉结合，3日后可保持65％。多媒体计算机提供的外部刺激不是单一的刺激，而是多种感官的综合刺激。它有效地将视觉和听觉综合起来，能使一些枯燥、抽象的概念、复杂的变化过程和运动形态等直观而形象地显示出来，增强了人们对抽象事物与过程的理解和感受。多媒体计算机应用于教学过程，不仅有利于知识的获取，而且有利于知识的保持。多媒体计算机把电视机所具有的视听合一功能与计算机的人机交互、立即反馈功能结合在一起，改变了传统教学模式，能有效地激发学生的学习兴趣和认识主体作用的发挥。