准可分解4-星设计

设λKv表示v个顶点λ重的完全图.一个4-星设计是指有序对（X,B）,其中X=V（λKv）,B是一些同构于4-星的子图（称为区组）的集合,使得λKv中每一条边恰好出现在B的唯一区组中.如果B能划分为平行类（顶点集的划分）,则（X,B）为可分解4-星设计;若B能划分为准平行类（顶点集去一点的划分）,则（X,B）为准可分解4-星设计.在可分解4-星设计存在的充分必要条件基础上,证明了准可分解4-星设计存在的必要条件v≡1（mod 5）,λ≡0（mod 8）也是充分的.     

可分解4-循环系的嵌入

设RC4S（v,λ）为一个v阶且指数为λ的可分解4-循环系．任一个RC4S（v,λ）都可以嵌入到一个RC4S（u,λ）之中的充分与必要条件为u≡v≡0（mod 4）,λ≡（mod 2）且u≥2v。     

关于kuratowski问题中的MC集合

本文通过讨论连通正则、连通正规拓扑空间中的MC集合,丰富了文[2]的定理2;同时补足了[2]在构造MC集合时出现的一处疏漏。另外,本文还给出了非连通空间中MC集合的特征,它可看成[1、 2]中主要结果的推广。     

可分解分裂BIBD的构作

分裂平衡不完全区组设计(分裂BIBD)是Ogata,Kurosawa,Stinson和Saido最近为研究k-分裂认证码的需要而引进的一类设计,用分裂BIBD构造的认证码在信息论的意义上是最优的.本文建立可分解分裂BIBD的一些构作方法.     

关于GDRPs的若干新的界

广义双可分解填充（GDRP）和常重复合码（CCC）存在着一一对应关系.本文给出了有关GDRP阶的一些新的上界.     

一个新的超单可分组设计

超单设计可用于构造重叠码、光正交码.这类设计的存在性问题远远没有解决.本文构造了一个新的超单(5,3)可分组设计,组型为11651,并给出了它的一个应用.     

PID模糊控制器的改进

提出了对PID模糊控制器进行的改进,目的是使改进后的PID模糊控制器可以解决传统的PID模糊控制器在自动化控制中难以解决的问题.文中主要介绍了对PID模糊控制器改进的思路、对改进的PID模糊控制器进行设计和改进后的PID模糊控制器可以解决的问题.     

可分解不完全可分组设计的存在性

可分解不完全可分组设计(Resolvable Incomplete Group Divisible Design或IRGDD)被广泛地用于构造其他组合设计中.在该文中,我们证明了除u=6且m≡n≡0(mod 2)外,一个型为(m,n)u的3-IRGDD存在的必要条件也是充分的.     

基于LabVIEW的红外场景生成器最小可分辨温差测试

为了测试红外场景生成器的性能,建立了红外场景生成器最小可分辨温差的理论模型,分析了测试原理,设计了场景生成器的最小可分辨温差测试系统.该系统产生标准测试图案,通过改变不同空间频率下图案中杆形目标与背景之间的温度差,用扫描辐射计测量图案的温度分布,直到测出在某一个空间频率下对比度小于20%的杆形目标和背景的温度差,此即为该空间频率下的最小可分辨温差.根据最小可分辨温差随空间频率变化的曲线可以确定红外场景生成器最小可分辨温差特性.实验结果表明,该系统能够实现对红外场景模拟系统最小可分辨温差的测试,具有操作方便、性能可靠、可维修性好及人机界面友好等特点.     

双循环Kirkman三元系的存在性

研究了双循环Kirkman三元系的存在性．证明了当v〈300时,除去u=207、243和261这3个可能的例外,双循环KTS（v）存在的充分必要条件是：u≡3（mod6）且v／3不是形如q≡5（mod 6）的素数．     

一类有向设计的构造

给出了循环几乎可分解的循环有向三元系的一些直接构造和递归构造。     

Reasoning with Inconsistent Ontologies

Reasoning with inconsistent ontologies involves using an inconsistency reasoner to get meaningful answers from inconsistent ontologies. This paper introduces an improved inconsistency reasoner, which selects consistent subsets using minimal inconsistent sets and a resolution method, to improve the run-time performance of the reasoning processing. A minimal inconsistent set contains a minimal explanation for the inconsistency of a given ontology. Thus, it can replace the consistency checking operation, which is executed frequently in existing approaches. When selecting subsets of the inconsistent ontology, formulas which can be directly or indirectly resolved with the negation of the query formula are selected because only those formulas affect the consequences of the reasoner. Therefore, the complexity of the reasoning processing is significantly reduced. Tests show that the run-time performance of the inconsistency reasoner is significantly improved.     

DTS(v)嵌入到DB(4,1;w)的研究

设(V,B)为一个DB(k,λ;v),(W,(?))为一个DB(k',λ';v')。如果V(?)W并且(?)/v=B,即B={B:B∈(?),B(?)V},我们称(V,(?))嵌入到了(W,(?))中。主要给出了当k=3,k'=4,λ=λ'=1时,DTS(v)的嵌入谱的估计。同时,确定了小阶数的DTS(v)的嵌入谱。     

可分解Mendelsohn三元系的相交数

证明了对于任意的正整数v≡0（mod3),v≥63，存在两个v阶可分解Mendelsohn三元系相交于s个公共循环三元组的充分必要条件是s∈{0,1,…，tv-6,tv-4,tv}，其中tv=v(v-1)/3。     

小阶数可分解Mendelsohn三元系的相交数

作为研究可分解Mendelsohn三元系RMTS（v）相交数问题的第一步，给出了v≤27时给定相交数的RMTS（v)的一系列构造。     

按K,φ和γmin综合解析法设计曲柄摇杆机构

分析了满足给定 K,φ和γmin值的曲柄摇杆机构的综合问题 ,推导了相应的机构综合解析式 ,并绘制了满足工程设计要求的综合曲线图谱     

光纤测量技术在变压器状态检测中的应用研究

实现对变压器等电力系统关键设备的状态检修,迫切需要强电场环境下的各种无损在线监测技术。本文重点论述了用于变压器的油温和线圈温度、绕组等振动、油溶解性气体分析、局放检测、输变电系统、高压开关气体压力等参数检测的的全光纤敏感传感器和传感器的应用。     

气体泄漏红外成像检测系统的性能测试方法研究

气体泄漏红外成像检测技术以其高效率遥测成像等显著优势成为气体泄漏检测的有效手段之一,针对此类系统探测能力的评价方法不全面的问题,通过改造MRTD测量靶标及方式,提出了适用于被动式气体红外成像检测系统性能的最小可分辨气体浓度MRGC (minimum resolvable gas concentration)评价方法,设计并搭建了MRGC性能测试系统,并以乙烯气体为检测目标进行了测试,测试结果与系统MRTD曲线的变化趋势具有较好的一致性.      

关于表示闭包运算的极小矩阵

为了求解数据库理论中的一个组合优化问题,Demetrov-ics 等提出如下猜测:对任何n≡1(mod 3) ,完备有向图(?)的有向边集可划分成n 组定向三角形,使得第i 组的顶点全体恰为{0,1,…,n-1}-{i},0≤i≤n-1,并且任两个不同的组恰含一对方向相反的有向边.本文对此猜测给出解答,即证明了:当n(?)10,n≡1(mod3) 时猜测为真,n=10时,猜测不真.     

循环几乎可分解的循环有向三元系

给出了当λ＝1时,循环几乎可分解的循环有向三元系的直接构造和递归构造.