逻辑函数FGOC展开的最小化技术

为了减少已有图形法的最小化算法的计算量，提出了新的逻辑函数在固定极性下的或-符合（FGOC）展开最小化算法.引入了逻辑函数FGOC展开的矩阵,分析了单变量与二变量逻辑函数的FGOC展开及其矩阵.基于符合运算的性质,推导出此矩阵的递推律.推广至任意多变量逻辑函数，可以得到全部FGOC的展开矩阵.并提出了FGOC展开最小化方法.通过分析逻辑函数的FGOC展开过程，研究了变量数与符合算法的运算次数的规律.结果表明，与图形法的FGOC展开最小化方法相比较, 随着变量数的增加，符合运算次数大幅度减少.该方法适合于计算机编程实现，并能快速获得计算结果.     

及时消除审核中的误区

上世纪90年代中期，我国的质量体系认证尚处于探索和完善阶段。虽然当时已发布了GB／T 19021《质量体系审核指南》．但该标准的第一部分（审核)并没有明确要求应收集符合准则的审核证据和形成符合准则的审核发现。相反．对不符合项则作了较多的强调。另一方面，受传统的质量检查、质量评定、创优升级等影响，当时在现场审核中普遍存在一个误区，     

JSON与XML在网络数据传输中的应用分析

基于XML的数据对象网络传输具有良好的可读性与可扩展性,但受到了浏览器和解析方式的限制。JSON是一种更加简洁的对象封装格式,可以用面向对象的语法对数据对象进行解析。在未来应用中,JSON会在某些领域彻底取代XML。     

任意极性或-符合型易测性网络及测试集

为提高数字电路的可测性,提出了一种可实现任意逻辑函数的任意极性或-符合型易测性网络,并给出了测试网络中所有单固定故障的通用测试集.该网络基于逻辑函数的混合极性及同或积的或-符合表示,其同或部分分别采用了串联和树形结构.为提高可测性,用同或串的网络结构只需增加2个控制端及1个观察端,用同或树的网络结构只需增加4个控制端及1个观察端.对于一个n变量的逻辑函数,2种结构下通用测试集的基数分别为n+7和n+10.这种短的通用测试集非常适合用内建自测试实现,从而有效地缩短了测试时间.     

浅议受审核方处置不符合项报告存在的问题

认证机构对受审核方的质量管理体系进行现场审核后，对发现的不符合事实，视其严重程度和性质，一般会出具一定数量的《不符合项报告》，并经受审核方确认。同时，要求受审核方在限定的时间内分析不符合项产生的原因，采取相应的纠正措施，并提供纠正措施实施有效的证据。但有些受审核方在处置不符合项报告时存在一些问题，影响了体系运行效果。     

核工程建造过程中不符合项的纠正管理

在核工程建造过程中,不符合项的有效纠正是质量管理的一项重要工作。本文介绍了3号换热器R55C45换热管采取堵管措施、22块新蓄电池更换已失效的旧蓄电池、密封筒划伤后的处理和中间水池底板混凝土裂缝加固共4项不符合项纠正管理的成功经验,可为正在建造的核工程提供了有益借鉴。     

基于双闪烁体探测器的四路低本底αβ测量仪研制

介绍了一种基于双闪烁探测器的低本底αβ测量仪,该仪器可用于低水平αβ样品测量,并可区分αβ粒子。阐述了αβ双闪烁体探测器的主要参数和先进的数字化电路设计思路,给出了仪器αβ本底水平、串道比、αβ效率等物理性能的测试指标。描述了仪器软件自动坪曲线测量、自动刻度等功能的设计。     

直拉单晶硅太阳能电池光致衰减效应的正电子湮没谱研究

采用正电子湮没辐射多普勒展宽谱研究了光照和热处理对直拉单晶硅太阳能电池微观缺陷和输出特性的影响。结果表明:随着光照时间的增加,太阳能电池的转换效率逐渐下降,照射超过12h后达到一个稳定值;将辐照后样品在200℃下热处理2h后,转换效率逐渐回复;电池中的硼氧复合体缺陷的激活和钝化导致电池转换效率和多普勒展宽谱的变化。     

基于FPGA的Micro PET符合探测电路设计

研制了用于小动物成像实验的Micro PET。在Micro PET中,设计实现了基于FPGA的符合探测电路。探测器环由8个探测模块组成,每个探测模块引出的信号,在基于FPGA的符合探测电路中实现信号的总符合(假符合+真符合)以及假符合甄别。符合探测电路由底板和可插拔的子板组成,并且配有可编程的FPGA芯片,对于电路的扩展、修改都极为便利,有很大的弹性。从8个探测模块引出的每个信号都要和与之相对(不相邻)的5个模块进行符合甄别,一共有20(8×5/2=20)种可能存在的情况。总符合以及假符合事件都是进行实时的同步甄别。假符合甄别是将总符合甄别的触发信号进行相应的延时之后再进行符合甄别得到,延时时间为30ns。符合甄别的时间窗有一个可以人为控制的调节范围,在4.8ns至14.8ns之间。