正则Z-算子的Z-谱及其性质

引入了正则Z-算子的Z-谱的概念,探讨了正则Z-算子的Z-谱的性质,并将泛函分析学中谱映射定理推广到Z-空间之中的Z-谱映射定理.     

时滞线性控制系统的鲁棒能控性

在A0T(t)对t>0按算子范数连续的假设下,得到了一类时滞线性控制系统的鲁棒能控性.     

向量映射的非线性标量化函数的性质及应用

引入了拓扑向量空间上向量映射的标量化函数的概念,证明了向量函数的下(上)半连续性和凸性可以遗传给对应的标量化函数.利用这些性质得到向量优化问题弱有效解存在的充分条件.     

成对排序本体学习算法

本体作为一种结构化数据模型已广泛应用于知识表示和信息处理,并成为近几年计算机领域的研究热点.提出基于成对排序学习方法的本体相似度计算和本体映射算法,利用Mahalanobis距离函数得到计算模型,通过梯度下降策略得到模型的最优解,从而将本体图或多本体图中的顶点对映射成实数来表示它们的相似程度.通过两个实验表明,新算法对特定的应用领域具有较高的效率.     

基于矢量拟合与渐进空间映射的微波滤波器调试

为快速诊断调试微波滤波器,缩短调试时间,提出了一种基于矢量拟合与渐进空间映射算法的计算机辅助调试方法.首先采用矢量拟合方法提取出滤波器的等效电路参数,再采用空间映射算法预测调谐螺钉的伸入量,从而实现微波滤波器的快速调试.采用提出的方法分别对四阶交叉耦合和六阶切比雪夫滤波器进行调试,仅通过3次和4次迭代便可以逼近理想响应,从而验证了所提方法的准确性与有效性.     

环Fp＋vFp上线性码的MacWilliams恒等式

研究了环Fp ＋vFp上线性码的Lee重量计数器与对称重量计数器。利用（Fp ＋vFp）n 到（Fp）2n的Gray映射φ,证明了环Fp ＋vFp 上自对偶码C的Gray像φ（C）也为Fp 上自对偶码,进而给出了两个MacWilliams恒等式及其应用。     

基于ENC28J60的嵌入式异构网关与Web应用

面向单片机应用系统中的网络功能扩展,基于ENC28J60的接口性能和网络驱动操作,分析了以太网转换、异构网关、Web服务器在串口连接构成的测控网络中的任务和模块构成,并参照Microchip TCP/IP(传输控制协议/网际协议)协议栈,给出了RS485Ethernet网关的设计举例,提出了基于相对新鲜度概念的ARP(地址解析协议)映射维护机制.分析表明:基于ENC28J60和MCU开发嵌入式网关,接口简单,开发方便;具有多网段通讯管理功能的RS485-以太网网关,特别适用于多表、多户的集中抄表应用.     

低照度岩心荧光图像拼接技术

针对低照度岩心荧光图像拼接问题,通过相位相关法,利用频域中的相位信息来实现图像的拼接.对有位移、旋转、缩放,以及光照变化的图像用对数极坐标相位相关法进行图像配准.实验表明该方法能够有效地克服图像间光照变化和CCD镜头造成的几何畸变对拼接的影响,是一种有效的岩心荧光图像拼接方法.     

支持MDD的体系结构模型的形式化语义

 为解决模型驱动开发中模型映射关系的定义和模型转换的正确性验证等方面存在的问题,利用范畴理论形式化描述软件体系结构模型及其间的关系,使之具有严格的语义。态射合成被用来追踪构件模型之间的关联和映射关系,不同抽象层次的体系结构模型之间的一致性由函子来维持。范畴理论支持图形化建模,可以使模型中的构件关系以及结构特征可视化,有利于对模型转换的理解和追踪。应用研究表明,该方法不仅可为验证模型之间映射规则的正确性提供依据,还能为模型转换的具体实现提供理论指导。     

网点形状与平版印刷的关系

通过研究网点的作用和基本参数,以及网点形状与平版印刷的关系,对比了2种常用网点形状(正方形网点和圆形网点)的印刷特性,从而说明不同的网点形状会产生不同的复制效果。