Single axioms for odd exponent groups

With the aid of automated reasoning techniques, we show that all previously known short single axioms for odd exponent groups are special cases of one general schema. We also demonstrate how to convert the proofs generated by an automated reasoning system into proofs understandable by a human.Authors supported by NSF Grant DMS-9100665     

压缩奇偶相干态的熵压缩特性

用数值方法讨论了相干态强度、相位角和压缩参数对压缩奇偶相干态位置熵和动量熵压缩特性的影响。结果表明，压缩奇偶相干态的位置熵和动量熵均可呈现压缩性，压缩偶相干态的最大熵压缩度比压缩奇相干态的要大。熵压缩度与相干态强度、相位角和压缩参数均有关系，但压缩因子对场熵压缩的影响最大。当其它条件一定时，压缩偶相干态在压缩参数|β|=O．95时，位置熵(或动量熵)的压缩度最大，但压缩奇相干态无此特点。     

奇、偶相干热态中的光场统计性质

本文讨论了热混饨光场态参与时对奇、偶相干态的光场统计性质影响。结果表明，热光场态的存在使偶相干态的压缩效应和奇相干态中的反聚束效应减弱。     

论区间B样条曲线的升阶与割角的关系

为了解决区间B样条曲线的升阶理论问题,提出区间控制多边形概念,利用双次B样条基函数证明了区间B样条曲线具有升阶性质;并阐明了区间B样条曲线的升阶就是对其控制多边形的割角过程.最后证明了当升阶次数趋于无穷时,区间B样条曲线的控制多边形收敛到该曲线.     

基于域自适应的二屏电能表显示屏质量检测方法

针对人工显示屏检测和机器检测存在精度较低及效率低下的问题,提出了一种基于域自适应的二屏电能表显示屏检测方法。为有效提高检测效率,对奇、偶二屏显示字段的虚显、断显、漏显和多显进行检测,快速实现对电能表显示屏字段、电能表显示屏驱动回路元器件及其生产过程的虚焊、漏焊、连锡等质量问题的检测。利用局部域自适应进行源域和目标域的对齐,提取显示屏中的细粒度信息以获取更高检测精度。实验结果表明,所提方法有效提高了电能表显示屏字段及其驱动回路质量的检测效率和检测精度。     

奇校验下的三磁盘崩溃数据恢复策略

灾难发生的后果可能导致数据中心存储系统中的多个数据盘同时崩溃,如果采用镜像式备份,极有可能导致数据无法恢复。而采用基于奇校验的冗余技术,在确保所有磁盘被操作概率相同的情况下,既可以对一个或者两个崩溃的数据盘进行数据恢复,也可以对三个或三个以上同时崩溃的数据盘进行数据恢复。     

Crown graphs and subdivision of ladders are odd graceful

A graph G of size q is odd graceful, if there is an injection φ from V(G) to {0, 1, 2, …, 2q?1} such that, when each edge xy is assigned the label or weight |f(x)?f(y)|, the resulting edge labels are {1, 3, 5, …, 2q?1}. This definition was introduced in 1991 by Gnanajothi [3], who proved that the graphs obtained by joining a single pendant edge to each vertex of C _n are odd graceful, if n is even. In this paper, we generalize Gnanajothi's result on cycles by showing that the graphs obtained by joining m pendant edges to each vertex of C _n are odd graceful if n is even. We also prove that the subdivision of ladders S(L _n ) (the graphs obtained by subdividing every edge of L _n exactly once) is odd graceful.     

对称性在微积分应用中的教学归纳

研究了微积分的对称性,给出了偏导数、定积分、曲线积分与曲面积分关于对称性的一系列定理,推广了文[1]～[3]的结论.这对于简化微积分计算,丰富微积分理论与教学具有重要意义.     

多元奇偶函数对称坐标的曲面积分的简化计算

根据被积函数的奇偶性和曲面的对称性，可使较复杂的对称坐标的曲面积分化简。根据其奇偶性所得相应的简化结论，具有不同于二重积分、三重积分及对称面积的曲面积分的特点。本文给出了对称坐标的曲面积分的简化计算方法。     

用FPGA实现线阵红外探测器的奇偶校正

法国Sofradir公司生产的288×4红外焦平面阵列(IRFPA)具有很高的探测灵敏度,是军用红外系统的理想器件。由于器件本身的结构特点,在使用时需要进行奇偶校正。该电路的控制逻辑比较复杂,实现的方法有三种:用传统的中小规模集成电路实现,这种实现方法难度比较大;用CPLD或FPGA做逻辑,其它部分用中小规模集成电路,这种实现方法布线比较困难;所有电路全部用FPGA实现,这种实现方法布线简单,电路集成度高,体积小,功耗低,可靠性好,是最佳实现方案。文中就是用这种方案实现了该探测器的奇偶校正电路。