MU(1)内公式改名的多项式可判定性

研究判定合取范式公式F和H之间是否存在一个改名φ使得φ(F)＝H的计算复杂性。公式的改名是将命题变元映到变元本身或变无的否定的一个映射，对于极小不可满足公式的子类射MU／(1)中的公式，我们证明了其改名判定问题在多项式时间内是可判定的。     

一个极小不可满足公式子类的等价结构

研究一个极小不可满足公式子类（MAX（1）的等价结构,考虑了MAX（1）上的变元改名问题和文字改名问题。此两个问题均可在O（nlog2(n))时间内可解。     

DOS子目录的加密与改名

本文提供一种在没有任何工具软件的情况下,通过改变子目录属性。达到子目录加密与改名方法。     

NT-HIT(k)公式的存在性

一个合取范式(CNF)公式F是NT-HIT公式,如果F中的任意两个不同的子句中恰有一对互补文字。NT-HIT(k)是公式的子句数与变元数之差为k的NT-HIT公式类。通过构造一个命题公式Hn,m,我们证明了：(1)Hn,m可满足当且仅当存在一个含有n个变元和m个子句的NT-HIT公式。(2)对于NT-HIT(1)中的任意一个公式F,存在一个文字L,L在F中仅出现一次。进一步,我们证明了：对于k≥2,公式Hn,n k是一个不可满足公式。于是,对于k≥2,NT-HIT(k)是一个空集。从而就解决了[1]中的两个公开的问题。     

期刊的改名与管理浅议

期刊的改名是改革开放以来中国期刊发展中的一个特殊现象 ,给图书馆的期刊管理带来了种种不便。而加强责任心 ,细化管理制度是化解这些不便的基础 ,抓住期刊的 ISSN和 CN号是化解的关键 ,而实现期刊管理的自动化是化解的最佳手段     

MAX+(k)中公式改名的多项式时间可判定性

MAX^ (k)是极小不可满足公式的一个子类。作者引入了MAX^ (k)中公式的一种递归构造方法,基于分裂技术并通过证明MAX(1)中公式改名问题在多项式时间内可以判定。证明了MAX^ (k)中公式的改名问题在多项式时间内可以判定。     

不可满足公式的完备证明系统

合取范式(CNF)公式H到F的同态是一个从H的文字集合到F的文字集合的映射、并保持补运算和子句映到子句。同态映射保持一个公式的不可满足性。一个公式是极小不可满足的是指公式不可满足而且从中删去任一个子句后得到的公式可满足。MU(1)是子句数与变元数的差等于1的极小不可满足公式类。S．Szeider证明了：每个不可满足公式F是MU(1)中某个公式日的同态像。从而，基于MU(1)的同态证明系统与树消解证明系统是p-等价的。MU(1)中的公式可以用基础矩阵表示，本文用基础矩阵的方法证了同态证明系统ПMU（1）的完备性。     

全平均曲率的一阶变分问题

设M是一个n维黎曼流形,考虑泛函τ（ft）=∫M｜H｜ndMt,其中H是F：M×1→ －M的平均曲率,dMt为流形的体积元。用变分学知识,可推导出τ（ft）在t=0时的一阶变分公式,并得到Euler-Lagrange方程。     

关于一类具有无限时滞的非线性系统部分变元的渐近稳定性

讨论了具有无限时滞的中立型泛函微分方程部分变元的渐近稳定性,去掉方程右端F(t,x1)有界的条件,通过构造Liapunov函数,得到了部分变元的渐近稳定性结果．     

变时滞线性系统的时滞相关的输出反馈H∞控制

利用线性矩阵不等式的方法,研究了状态具有变时滞项的线性系统的输出反馈H∞控制．给出了H∞控制器存在的几个等价的充分条件．通过引入非线性变换,将求解二次不等式的问题转化为求解关于新变元的一次不等式问题,易于数值计算、给出了控制器的显式表示,举例说明了本文方法的正确性．     

中文期刊更名类型及数据维护

结合多年期刊工作实践,分析了中文期刊更名的3种主要类型及其特点,并对如何进行更名期刊的数据维护进行了探讨.     

期刊变更的处理及其管理问题

从期刊的更名、卷期版本变更、开本及装帧变化等方面对图书馆期刊的变更问题进行了阐述,并对解决变更后期刊的管理问题进行了说明。     

读者照片的批处理在图书馆工作中的应用

在图书管理系统中,批量导入读者照片是完善读者信息的重要一步.然而,照片尺寸有大有小、亮度有明有暗以及照片的命名不统一,给图书馆工作人员在批量上传读者照片的问题上造成了很大的困难.本文通过对照片进行批处理操作,以满足图书管理系统对照片的要求.     

股票主动更名对公司长期绩效的影响研究 ——基于面板数据的实证分析

股票名称是上市公司形象的重要组成部分，研究股票更名现象具有一定的理论与实践意义。本文采用2012~2015 年更改证券简称的115 家上市公司数据，运用面板数据回归模型研究了股票更名类型、历史财务数据等对公司长期绩效的影响，即股票更名3年后公司净资产收益率ROE的影响情况。结果表明：实质性更名行为相较于无实质性更名，对公司长期绩效有正向且显著的影响；同时净资产收益率ROE也会受到历史财务指标的影响。因此，公司获得长期良好的发展不应该从纯粹股票更名入手，而应该重点关注公司如并购重组等实质性经济活动，抓住机会进行业务结构调整。     

中文期刊更名对图书馆期刊管理的影响及对策

从介绍中文期刊更名的原因和类型入手,分析了中文期刊更名对图书馆期刊管理工作的影响,重点探讨了图书馆应采取的对策。     

浅谈中文期刊更名的特点及其著录

在介绍期刊更名特点的基础上,阐述了期刊更名后给期刊管理工作带来的问题,从实际工作的角度,探讨了期刊著录时如何发现和处理问题。     

期刊更名后工作中的难点及相应对策

介绍了期刊更名后给期刊签收、著录、分类等工作带来的问题,提出了相应的对策。