对称检测算法的研究

对称是逻辑综合，逻辑优化以及映像技术领域中一个非常重要的性质，对于对称函数，可以使用特殊的逻辑综合程序来改进设计结果，使用对称也可以提高映像技术和等价检测的有效性，提出一种用于OBDD布尔函数对称性检测的精确有效的算法。     

模糊逻辑函数的主析取范式的研究

本文首先证明有关模糊逻辑函数的一些定理和并不可约元的充要条件。之后定义了模糊逻辑函数的“互素并不可约元”的概念,以及建立了在主析取范式“互素并不可约元”的条件。最后给出简化模糊逻辑函数的方法,应用它化简模糊逻辑函数,比采用[1]和[2]介绍的方法,化得更简。从而使模糊逻辑函数的化简问题,得到较理想的解决。     

VLSI综合的逻辑最小化算法

本文讨论了逻辑函数的多维体空间表示方法和运算方法，探讨了接近量小覆盖的两级与－或网络的自动逻辑综合方法，提出不经过求出全部质蕴涵项而直接构成函数的无冗余覆盖的算法，该算法主要用于可编逻辑阵列（ＰＬＡ）及与－或网络的自动综合。     

对称导数在研究函数上的应用

导数在研究函数的单调性及极值问题上有重要价值。本文利用对称导数的定义、性质及中值定理,研究函数的单调性和极值等问题。结果表明:对称导数为正(负)时,函数是单调增(减)的。对称导数为零时,为极值点,二阶导大于零时为极小值,小于零时为极大值。     

从Goldstone定理推导均匀费米系基态能量的第二级修正

本文从Goldstone定理出发,详细推导了零温度下自旋为1/2的均匀费米系统基态能量的第二级修正。与Green函数的Feynman-Dyson微扰论的计算结果一致。     

凸函数定理的一个新证明

本文应用对称函数的极值性质,给出了凸函数定理的一个新证明。     

亚纯函数的Borel方向也是关于集合S(f)的Borel方向

本文证明了除去部分零级的亚纯函数其Borel方向也是关于集合S(f)的Borel方向,从而把[1,P.168,2]中定理推广到包含无限级和部分零级的半纯函数。     

双原子分子振动能谱的再计算

对势模型进行变形,借助超维里定理和Hellman-Feyman定理,不用求波函数,而只根据零级能量和势模型推导了无波函数微扰论的递推公式.利用这些公式和双变量的快速逼近的pad埁近似方法,计算了Hcl分子的振动能谱,计算结果与实验相符.     

基于纠错编码理论的复合逻辑矩阵摄动

介绍了逻辑函数偏差分的基本定义 ,提出了复合逻辑矩阵摄动的概念 ,证明了复合逻辑矩阵摄动的三个基本定理 .     

VLSI综合的逻辑最小化算法

本文讨论了逻辑函数的多维体空间表示方法和运算方法，探讨了接近最小覆盖的两级与－或网络的自动逻辑综合方法．提出不经过求出全部质蕴涵项而直接构成函数的无冗余覆盖的算法，该算法主要用于可编逻辑阵列（ＰＬＡ）及与－或网络的自动综合     

多值逻辑的全功能触发器

本文讨论了多值逻辑的全功能触发器.特别讨论了对称三位触发器的各种功能,并指出全功能的pqr触发器具有27种函数变换.     

基于组合核函数SVM的说话人识别方法

 鉴于应用支持向量机进行说话人识别过度依赖于选择核函数的问题,提出一种基于组合核函数支持向量机(SVM)的说话人识别方法.对多项式核函数、径向基核函数进行线性加权,构建既具有全局核函数优点又具有局部核函数优点的组合核函数,并通过多重网格搜索调节权重系数使组合核函数适用于当前数据分布,确定组合核函数SVM 的最优参数,实现对说话人的有效识别.对TIMIT 数据集和含噪声数据集的仿真实验显示,基于组合核函数SVM 的说话人识别性能明显优于单一的多项式核函数、径向基核函数和线性核函数.     

基于协同聚类的多核学习

针对实际应用中经常出现的异类数据源,采用多核学习的支持向量机受到关注.然而随着核函数数量的增多,计算量也随之大大增加.为了解决这一问题,该提出了一种利用协同聚类对多核支持向量机的训练数据进行简化的方法,可以减少支持向量机的数目,从而减少计算量.实验结果显示,提出的方法可以提高多核支持向量机的效率,同时还不会影响分类精度.     

Propositional Vector Logic System and Its Adequacy Thcorem

With the paradigm of holistic thinking and multiple per-spectives,an overall new understanding of logic is ob-tained for reasoning in collective intelligent systems(CIS).Based on the hypothesis of multiple resolutions ofreasoning in CIS,the logical state of a proposition isgeneralized into an n-dimensional vector whose elementis either 1 or 0.In contrast with classical logic with bina-ry truth-values,a propositional vector logic system isconstructed by introducing new connectives,new axi-oms,and new rules.Adequate sets of connectives areprovided.The soundness theorem and the adequacy the-orem for the vector logic system are shown.     

一类热源在边界点的反应扩散系统的边界控制

利用边界控制的backstepping方法研究了一类热源在边界点x=1的反应扩散系统.由于热源在边界,backstepping方法中常用的Voltegral变换失效,为了利用backstepping方法设计控制器,文章改进了原有的Voltegral变换,从而设计出反应扩散系统的控制器,最后,通过闭环系统的稳定性验证了控制器的有效性.     

重用控制器综合技术实现RTL综合

讨论在RTL综合中重用高级综合中控制器综合技术的可行性,提出一种通过将RTL描述划分为时序逻辑与组合逻辑后,重用控制器综合中的组合逻辑综合和时序逻辑综合实现RTL综合的方法。此方法有效地利用了已有了成熟技术,为缩短RTL综合的开发时间提供了一种有效途径。     

三角形拉普拉斯算子谱分析（IV）

几何上具有对称性的三角形,它的本征函数,也具有相应的对称性,即对称性群的一维表示．文章利用D4群的4个一维表示,构造出了等腰直角三角形上4种边界条件的本征函数．本征波矢量由边界条件确定,得到了Zeta函数和热核的表达式．由热核展开系数,验证了本征函数的完备性．同时也讨论了一些遗留问题．     

混合核函数对支持向量机分类性能的改进

通过对核矩阵的计算和研究,从理论上对常用的核函数进行了评估.在此基础上,通过实验仿真证实了通过优选后的核函数所组成的混合核函数对支持向量机分类性能的改善,为核函数的选择提供了参考.     

自适应模糊逻辑系统在飞机航程计算中的应用

针对传统航程计算方法的复杂,提出了基于自适应模糊逻辑系统的航程计算方法,采用该方法建立了某型飞机航程计算的模糊模型,并利用误差反向传播算法和最小二乘算法对模型参数进行了辨识。仿真结果表明:运用该方法计算某型飞机航程较传统的计算方法具有速度快、精度高等特点。     

扩展主观逻辑的粗化与细化

为了提高主观逻辑的扩展性和灵活性,文中结合证据理论及信任结构,提出了基于三项事件的扩展主观逻辑.通过重新定义观念空间与事实空间之间的映射关系,给出扩展主观逻辑的粗化和细化映射及相应的计算规则,扩展主观逻辑能够根据实际环境的需要提供不同详细程度的识别框架,并利用粗化和细化映射在扩展主观逻辑上统一对信任函数进行结合,而结果可重新映射回原识别框架.实例及分析表明,利用扩展主观逻辑可以解决不同识别框架之间信任信息的融合问题.