用MUX实现组合逻辑的卡诺图列解法

本文采用卡诺图列解法来处理MUX组件的地址变量少于待发生逻辑函数变量的设计问题。方法简单易行、适用范围广。尤其是对于含有任意项的逻辑函数中任意项的处理,提供了寻找最佳方案的途径。     

集成系统中工艺卡片填写与工序图绘制的研究

利用VBA实现CAD和CAPP系统集成，讨论了基于Word平台进行工艺卡填写，并在此基础上进行工艺卡填写和工序图并行输出的一般问题。工艺文件的填写是在CAPP数据库的支持下，直接读取CAD所提供的CAPP工艺数据文件，经推理机推理自动生产工艺过程；工序图绘制是在特征图表级和参数化绘图原理的基础上进行的。     

图族S_(r(k+m)+1)~ψ∪(rk-1)K_1的补图的色等价性定理

设ψ( k,m)表示把星图 Sk+ 1的 k度点与路 Pm的一个 1度点重迭后得到的图 ,Sψ*r(k+ m) + 1表示把星图 Srk+ 1的 rk个 1度点分别与 rψ( k,m)的每个分支的 k个 1度点 (均邻接于ψ( k,m)的 k +1度点 )依次重迭后得到的图。证明了图族 Sψ*r(k+ m) + 1∪ ( rk -1 ) K1的补图的色等价性及非色唯一性 ,进而推广了这一结果     

边剖分、点扩张与图的最大亏格的可约性

设γM（G）是连通图G=（V，E）的最大亏格，记EM^-（G）={e∈E(G)|G\e连通，且γM（G\e）=γM（G）}。若EM^-(G)≠0，则称G是γ（G）-可约的；否则称G是γM（G）-不可约的。本文证明了边的剖分不改变图的最大亏格可约性，点的扩张不改变上可嵌入图的最大亏格可约性；并给出了两类满足EM^-（G）=E（G）的非4-边连通图。     

简谐速度噪声及其与势场之间的频率共振

为了描述复杂的噪声环境，考虑了一种具有频率结构的噪声——简谐速度噪声，包括它的产生、关联函数、功率谱以及作为热噪声时的频率特性所导致的一些行为.结果表明：在频谱空间中简谐速度噪声是一种带通噪声，存在一个峰值频率，且噪声带宽由参量Γ控制.当简谐势中的一个布朗粒子受热简谐速度噪声驱动时，粒子能量极大值出现在两种频率相等的情况下.这表明噪声和势场的频率之间存在动力学共振，决定着粒子能量的大小. 关键词： 简谐噪声 简谐速度噪声 功率谱 频率共振     

半导体激光器光束准直系统的功率耦合效率

在长距离无线光通信中，接收点光功率密度与光束发散角平方呈反比关系，为了获得小的发散角和大的功率耦合效率，要求准直系统有较大的数值孔径(NA)，但数值孔径过大会增加像差，因此合理设计功率耦合效率与准直系统的数值孔径就非常重要。该文对半导体激光器光束准直系统中功率耦合效率进行了研究，给出了半导体激光器光束功率耦合效率与k(孔径半径与孔径处等效光束半径之比)的关系表达式，并结合激光器光束准直系统，给出了半导体激光器光束功率耦合效率与准直系统数值孔径的关系表达式。该研究结论对于半导体激光器光束准直系统设计具有参考作用。     

遥感相机自动检焦技术研究

将基于图像处理的自动检焦技术应用于线阵CCD推扫成像的空间遥感相机中。图像法检焦的关键在于对焦评价函数的选取。通常对焦评价函数是在摄影目标不变的情况下得出的,而推扫成像的线阵CCD相机在任意时刻所拍摄的景物都是不同的,这就给对焦评价函数的选取增加了难度。用功率谱的方法对任意景物在空间频域进行分析表明,功率谱对于自然景物具有一定的不变性。由此建立了基于功率谱的对焦评价函数,采用小波去噪与亮度归一化相结合的图像预处理技术有效地去除了图像噪声和亮度变化对对焦精度的影响。通过对功率谱评价函数进行加权处理,提高了对焦评价函数曲线的灵敏度。仿真实验表明了所构造的对焦评价函数是可行的。     

不可逆热电制冷循环的性能优化准则

考虑了热电制冷循环中热阻、热漏和焦耳热等主要不可逆性，引入了特征参量功率消耗比r，借助装置设计参量X表征了内、外不可逆性，利用有限时间热力学建立了制冷功率、制冷系数与特征参量之间的基本优化关系，导出了协调制冷功率与制冷系数的参量r、X以及电流I的优化准则。     

拆边法求最短路径

本文利用局部比较法 ,在图中定义子图、无效路径、以及可去边 .利用推导的有关定理 ,拆去可去边 ,利用最短路径相同的等价性 ,达到化简图 ,从而求出最短路径