模态系统T的Herbrand定理

模态Herbrand定理研究是模态逻辑领域的重要开放问题.不含Barcan公式的模态系统T的Herbrand定理的获得必须完成两个方向的证明工作:首先是证明相对简单的从右到左方向;而对于相对复杂的从左到右方向,则可以通过在加标公式表列系统K的基础上增加特殊规则获得加标公式表列系统T,证明T的可靠性和完全性,并在此基础上完成从左到右方向的证明.同样的方法还可以用来证明模态系统D、K4、s4的Herbrand定理.     

大股东股权制衡与董事会制度创新研究

现有的上市公司董事会存在独立性不强、运作效率低、缺乏有效的制约和考评激励机制等诸多问题。在董事会的监督效率和董事会决策绩效的约束条件下,通过构建模型采用比较研究方法,分析相对集中的股权结构和多个大股东相互制衡性股权结构对中国上市公司董事会制度的影响。大股东相互制衡的股权结构使董事会成员间相互制衡,有利于提高董事会监督效率和决策绩效,是中国公司治理中董事会制度创新的方向。     

广告荐证主体制度研究

广告荐证者应当成为与广告主、广告经营者、广告发布者并列的广告活动主体。自然人应当和组织一样成为适格的广告荐证者。广告荐证活动规则由广告荐证市场准入制度和广告荐证市场退出制度组成。按照广告荐证市场准人制度要求,广告荐证者应当参加广告荐证者协会,使用所荐证商品或者接受所荐证服务,参加广告荐证保险,才能从事广告荐证活动。广告荐证市场退出制度由广告荐证征信制度、广告荐证黑名单制度组成。     

VHS录像机软件伺服系统的开发

对ＶＨＳ录像机伺服系统的三种设计方法进行了比较，重点介绍了软件伺服的特点、原理及所需的硬件与软件算法，讨论了超级定时器单元的使用、伺服误差的计算、补偿滤波器的设计、特技放像的处理等。软件伺服系统的开发，对实现ＶＨＳ录像机关键技术的国产化有重大意义，并可推广至自控、通信等领域，应用前景广阔。     

n圆盘系统的固有频率的特征多项式

对等惯、等轴性且具有固定端的n圆盘系统的特征多项式进行了分析。得出了其系数与二项式系数的一个有趣的关系;并对特征值的取值进行了有关讨论;最后也给出了得到的三个组合恒等式。     

双交错Millitron慢波系统的实验研究

讨论了双交错Millitron慢波系统的设计方法,并采用通过式谐振法对双交错Millitron的色散特性进行了实验研究,给出了实验结果,并和作者所得到的理论结果[4]进行了比较,分析了出现误盖的原因。     

数字集成电路测试生成的一种专家系统方法

介绍了两种基于压缩二分决策图(BDD:Binary Dccision Diagram)并由压缩的BDD来进行测试生成的启发性方法,即临界二分树(CBT:Critical Binary Tree)和节点分决函数(ndf:node psrtition function)方法,它们虽然并不一定是最小化BDD,但它们减小了BDD,从而在专家系统环境下得以对大型数字系统进行测试。     

系统思想在电子出版物编辑制作中的运用

电子出版物的编辑制作与传统图书编辑工作不同 ,它对技术和生产组织的要求提高了 ,成为一个复杂的系统问题。本文借助于系统思想 ,把处理系统问题的一些基本方法与编辑制作电子出版物的工作实践相结合 ,分析了电子出版物编辑制作系统的结构 ,阐述了系统分解与协调的思想 ,列举了系统优化、系统的整体性等原则 ,系统模型、计划协调技术、费—效图等方法 ,对电子出版物编辑制作有一定的指导意义     

论邓小平的“一国两制”构想──兼批李登辉的“两国论”

李登辉提出“两国论”,为祖国统一设置障碍,祖国统一是不可阻挡的历史趋势。邓小平的“一国两制”构想是实现祖国统一大业的伟大创举。“一国两制”是实事求是的产物,“一国两制”的内涵、“一国两制”的理论和实践,是对马克思主义国家学说的新发展。     

基于两阶段风险的定制类信息系统开发项目绩效模型构建与实证研究

开发阶段绩效风险和实施阶段绩效风险是信息系统开发项目中两个重要的中介变量,它们调节了项目内在不确定性和管理实践对项目绩效的影响.在项目不同阶段,绩效风险的主要影响因素是不同的.在开发阶段,主要影响因素是项目计划和控制、内部整合和用户参与;在实施阶段,主要影响因素是用户参与和高层支持.另外,用户参与直接地正向影响产品绩效,但对过程绩效没有直接影响.过程绩效对产品绩效也没有显著的正向影响.