用双入射角的反射型椭偏术自动测定单层膜厚度

本文提出了应用双入射角的反射型椭偏术,可克服椭偏仪一般只能测定膜层厚度小于1周期值的缺点。该技术已成功地应用于微机控制自动消光法椭偏仪上,能自动测定厚膜的膜厚和折射率。经大规模集成电路生产中使用,效果良好,且能提高测量精度和简化操作。     

逻辑程序“与并行”计算模型的研究

本文概述了逻辑程序并行性研究的状况和逻辑程序的并行处理方式。详细分析了目前两种获得“与并行”的计算模型,指出了它们的优劣性。最后得出结论:基于编译获得“与并行”是目前最有效的途径。文中同时给出了编译模型下几种算法的实现方法。     

面向半结构化数据的树逻辑及其性质研究

半结构化数据正以其灵活性而成为解决Internet环境下互操作语义层面问题的重要工具和网络数据交换格式的标准．从基础理论层面上对版结构化数据进行研究，在考察了进程代数和空间逻辑的有关结果后，从模型和逻辑系统的角度对半结构化数据特别是XML语言进行刻画．在[1]的基础上，在数据模型中加入了受限算子，并提出一种新的空间逻辑——树逻辑，在其中引入了一个新的模态算子，它们的意义在于能够对私有数据的性质进行刻画和表达．此外，通过修正数据模型中的同余关系，使得模型符合数据的有序性，从而使其更为合理．在此基础上证明了树逻辑系统公式可满足性的不可判定性，从而说明针对整个树逻辑系统的模型检测算法是不存在的．同时选择了其中一个子逻辑系统，给出了其模型检测算法，并证明了该算法的正确性．     

通用串行总线在测井模拟信号采集中的应用

设计了一种基于通用串行总线(USB)的用于采集测井模拟信号的数据采集系统。介绍了该总线的特点及其优越性,对用该总线实现模拟信号采集的整个组成部分做了详细的说明。该系统设计包括硬件设计、单片机固件设计以及设备驱动程序设计和用户应用程序设计。对USB驱动程序栈和应用程序中打开USB设备的方法给予了简要分析。测试结果表明,该系统实测精度超过13位二进制,其控制逻辑灵活,便于升级扩展。     

Linearly Coupled Synchronization of the New Chaotic Systems

0IntroductionCahdaeoss[ 1h]a.sI bne e1n9 6i3nt ,en Lsiovreelnyz sftouudniedd t ihne t fhires tla scta ntohnrieceal d eact--tractor[2 ,3].In 1999 , Chen,et alfound another si milar buttopologically not equivalent chaotic attractor[4 ,5]. In 2002 ,Lu,et alfound a chaotic system[6],bearing the name of theLu system.In the second year , Chen and Lu introduced thenotion of generalized Lorenz canonical form(GLCF) , whichcontains the Lorenz system(τ∈(0,∞))and Chen system(τ∈(-1,0))as two ext…     

归纳逻辑程序设计综述

归纳逻辑程序设计是逻辑程序设计和机器学习的一个交叉研究领域。先概述了归纳逻辑程序设计的历史及发展现状;对归纳逻辑程序设计学习器进行了分类和形式化定义,并给出了学习器的质量标准;按划分的类型分别讨论了归纳逻辑程序设计学习器的主要求解算法;进一步指出了归纳逻辑程序设计未来的发展前景,提出了归纳逻辑程序设计领域需要深入研究的若干问题。     

简论逻辑值

事物在运动、变化和发展过程中自身的特有属性以及事物之间时空、顺序、因果和条件、结果的依存、转化等纷繁复杂的多元关系的实质,必须通过比较、分析才会有准确清晰的认识和理解;在社会实践活动中,人们所运用的思维形式和逻辑方法体现出的正确的、本质的、最充分的逻辑意义,就是逻辑值。正确理解逻辑值的意义和作用,可以帮助人们在思维活动中自觉追求运用思维形式和逻辑方法的有效性和可靠性。     

共射电路电压放大倍数的分析及其仿真研究

电压放大倍数是放大电路的一个重要的技术指标.本文分析单管共发射极放大电路中电压放大倍数与电路各参数的关系,包括与直流参数和交流参数的关系,并通过使用PSPICE软件进行电路仿真,直观具体地展示放大作用与电路参数、动态范围、失真等因素的关系.这些分析和仿真将有助于理解电路原理,有助于电路的合理分析和设计.     

基于粒子群算法的数字电路测试生成

在已有的数字电路测试生成算法基础上，通过对一种结构简单且容易实现的算法——粒子群算法的研究，提出了一种基于模拟的测试矢量生成的新方法，即应用粒子群算法来进行数字电路的测试生成．对一些组合电路进行了仿真，并将其与基于遗传算法的测试生成方法进行比较，实验结果表明该方法比基于遗传算法的测试生成更为有效．     

逻辑在基础数学课程中的教育价值

在新的课程改革的背景中,高中阶段开设数理逻辑课程.本文分别从数理逻辑的应用价值、思维价值以及文化价值等不同侧面论证了在高中阶段开设数理逻辑课程的必要性.