利用(d,pγ)核反应p-γ符合技术进行深度分布分析初探

（ｄ，ｐ）核反应广泛地应用于轻元素无损分析中，特别是深度分布分析。但当样品中存在着多种轻元素或者在厚样品的情况下，对应于各种核素甚至同一核素不同能级的带电粒子峰将会相互重叠和干扰，以至于不能进行可靠的分析。作者利用（ｄ，ｐγ）核反应ｐ－γ符合技术，通过测量与伴随γ射线相符合的带电粒子谱（质子谱），进行深度分布分析。结果表明，此符合技术能极大地降低本底，排除干扰，得到满意的结果。     

一元回归在射表符合系数曲线制作中的应用

针对现有射表符合系数曲线绘制过程中存在的不足，运用一元回归方法对其进行改进，并验证了把该方法用于制作射表符合系数曲线时，可以提高试验数据处理效率以及试验数据的准确度．     

一种新型多通道光子符合仪

提出并实现了一种小型、快速且稳定的八通道光子符合仪.此仪器采用高速ECL逻辑电路、FPGA可编程器件和USB2.0高速接口,能够同时统计八通道单光子检测器所有可能的单个或符合事件,且其平均处理速度最高可达到12.5 M事件/秒.此仪器在统计结果中还加入了辨别事件到达顺序的时间信息,再配合PC及其应用程序可实时监测八个通道中的任一路或符合事件.通过实时监测来调整单光子检测器及其前端的光路使其工作在最佳状态.同时此仪器还实现了不丢失地记录发生的间隔在13 ns(激光器的重复频率为76 MHz)时的事件.     

基于消声水池的单波束测深仪精度评定方法

洋海回声测深是目前获得较高精度海底地形的重要手段,但其前提是对测深仪进行准确校正。提出在消声水池内用内符合和外符合的方法来评定单波束测深仪的精度和性能指标。实验表明,该精度评定方法和精度评定软件切实可行,能比较客观地检验测深仪的精度。     

基于符号对象函数的状态反馈调节系统的CAD

针对MATLAB控制系统工具箱中极点配置函数 ,不能完成状态反馈调节系统计算问题 ,提出借助符号数学工具箱中有关符号对象函数 ,构成M文件 ,自动完成设计过程。该方法计算结果与仿真结果比较 ,两者完全一致 ,证明此方法的正确性和实用性     

回转压缩机振动分析

从理论上分析了回转压缩机壳体的振动及声幅射特性。预测了壳体弯曲共振频率的趋势并提出相应的措施；建立了符合频率公式并讨论了提高符合频率的方法，其结论具有一定的理论价值和实用价值。     

延迟符合法219Rn测量研究

介绍了延迟符合测量氡同位素的基本原理,并重新推导了关于219Rn的偶然符合修正公式.同时提出了通过实际测量比较的方法求存活因子和衰变因子的计算方案,避免了现有理论计算公式的误差.分别对222Rn、219Rn混合场和222Rn、220Rn、219Rn混合场下的219Rn源进行测量.实验结果显示,本底为7.5 cpm时,延迟符合实验系统能够分辨测量7～25 cpm的219Rn源,其测量结果与标准值偏差均在±8%以内.延迟符合法能够在氡混合场中分辨并测量出低水平219Rn.     

论亚里士多德的真理符合论思想

亚里士多德的真理符合论是一切真理论的基础，其后各派真理论思想一直没有离开过这个轴线。围绕这个轴线历史上出现了种种不同解释，推动了真理论的发展，引发人们从不同角度、不同层面理解真理、把握真理。但它们都是围绕认识与对象是不是符合、怎样符合等问题而展开。马克思主义哲学真理论是真理符合论的当代形式。是历史上各种真理符合论的继承和发展。     

自由空间量子隐形传态实验中远程光符合的电子学系统研制

在两光子自由空间量子隐形传态实验方案中,设计了一套远程光符合的电子学系统,系统最小符合时间窗口约2ns.整个系统包括编码、解码、延时、高压驱动、符合、计数等模块.此系统实现了将实验中的经典信息和量子信息耦合在一起并通过自由空间传送到另一端进行在线符合来判定纠缠光子对.系统中编码模块将Alice端Bell基测量结果的时间标记信息和通道信息叠加在一起,通道信息的编码使用了奇偶校验和汉明码来降低事例丢失率和出错率,解码模块则分离出经典的时间标记信息和通道信息并做相应操作.完成了800m距离的两光子自由空间量子隐形传态实验,实验结果表明用本系统进行远程的实验是可行的.     

基于传感器数学模型的数据融合方法及避障研究

文章介绍了超声波传感器测距中存在的问题,提出了基于传感器数学模型的数据融合方法,在此基础上建立基于信息融合的移动机器人导航系统;结合模糊逻辑控制的方法,设计了符合人类驾驶经验的模糊控制器,以实现移动机器人在障碍物环境下的自主导航;最后用MATLAB模糊工具箱对该模糊控制器进行了仿真,结果表明,机器人能够自主避开障碍物,到达目的地。     

一种简化符号电路分析的方法及其误差分析

这里提出一种简化模拟电路网络符号函数的新方法。计算机运行结果表明这种新方法缩短了符号电路分析的时间,而且在限定了误差标准后,还可以用来分析大规模电路。同时还提出确定一种适当的误差标准的方法。     

电力网络快速计算的符号分析方法

提出了一种运用符号函数对电力网络进行快速计算的全新方法．该方法直接将电力网络元件的参数进行符号表达,通过求解网络的k-树,有效地计算出电力网络节点电压方程中各变量的符号表达式．并采用k-树分解的重用技术,在网络结构或运行参数发生局部变化后,对原有的计算结果作局部调整和修改,就可获得网络改变后的解,从而有效地提高了计算效率．     

Hierarchical Symbolic Analysis of Large Analog Circuits with Totally Coded Method

Symbolic analysis has many applications in the design of analog circuits. Existing approaches rely on two forms of symbolic-expression representation： expanded sum-ofproduct form and arbitrarily nested form. Expanded form suffers the problem that the number of product terms grows exponentially with the size of a circuit. Nested form is neither canonical nor amenable to symbolic manipulation. In this paper, we present a new approach to exact and canonical symbolic analysis by exploiting the sparsity and sharing of product terms. This algorithm, called totally coded method （TCM）, consists of representing the symbolic determinant of a circuit matrix by code series and performing symbolic analysis by code manipulation. We describe an efficient code-ordering heuristic and prove that it is optimum for ladder-structured circuits. For practical analog circuits, TCM not only covers all advantages of the algorithm via determinant decision diagrams （DDD） but is more simple and efficient than DDD method.     

RTL级符号模拟系统

给出了一组从Verilog HDL到可符号执行代码的转换规则,并且提出了ProcessQueue机制。通过运用符号模拟的方法和二叉决策图技术,给出了一个RTL级的符号模拟系统的实现方法。本系统能够有效地对RTL级Verilog算法进行符号模拟,并且支持带有时间延迟的If结构的符号模拟。     

守恒密度的符号计算方法及其应用

文中首先给出了守恒密度的符号计算方法 ,然后 ,应用守恒密度计算软件 ,给出了具有足够多守恒律的高阶KdV方程系数的推导方法 ,最后 ,给出了推导 9阶KdV方程具有一致阶时系数之间关系式的 1个例子     

求符号系统函数的新算法：状态空间树法

应用LIFO分支-定界搜索法和状态空间树概念,提出了求符号行列式的新算法SSTMSD——行列式的状态空间树法(它是Minty算法的发展和改进);根据它并应用变形图概念提出了求符号系统函数的新算珐SSTMSF——系联函数的状态空间树法。     

符号化时间序列分析

对于符号化时间分析方法,给出了已知的国外应用状况和文献出处.对如何将时间序列转化为符号序列,即信号符号化问题,通过最简单的二进制划分及其配套图形作了简要说明.给出了二进制划分下符号树结构及其Shannon熵计算方法,讨论了时延τ、符号集大小Ns和树层数(符号序列长度)对Shannon熵等统计量的影响.叙述了符号序列编码方法和符号序列直方图的作用;提交了进行符号时间序列分析的计算机流程图.图5,参23.     

符号函数法在机辅分析中的实现和应用

与传统的数值法相比，符号函数法在机辅分析中具有直观、深刻、快捷等优点．本文介绍该方法的具体实现以及一种改进的简化结果的方法，此外还述及一些实际的应用．     

识别和分解合成运动的代数方法

根据二符号动力学中乘积的代数结构，提出了识别和分解合成运动的代数方法，并用于分析与各种可允序列相应的轨道的性质