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

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

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)的嵌入谱。     

一类有向设计的构造

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

可分解4-循环系的嵌入

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

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

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

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

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

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.     

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

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

一个新的超单可分组设计

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

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

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