用布尔可满足性验证逻辑电路的等价性

提出了使用布尔可满足性来验证数字电路的等价性验证方法.这一验证方法把每个电路抽象成一个有限状态机,为两个待验证的电路构造积机,把等价性验证问题转换成了积机的断言问题.改进了Tseitin变换方法,用于把电路约束问题变换成合取范式公式.用先进的布尔可满足性求解器zChaff判定积机所生成的布尔公式的可满足性.事例电路验证说明了该方法的有效性.     

加性细胞自动机的同构性分析

根据矩阵方程理论和细胞自动机原理,提出了加性细胞自动机状态转移结构的同构性方法,该方法利用状态转移矩阵方程及其特征多项式分析规则90和150加性细胞自动机,证明了特征多项式为不可约多项式时的零边界规则90和150加性细胞自动机与其对应的线性细胞自动机具有相同结构的状态转移图,即它们同构。研究表明:该方法对实际的伪随机序列产生、通信和测试等领域具有应用推广价值。     

时空等价性与质能等价性

根据洛仑兹变换论述了“长度收缩”效应与“时间膨胀”效应的等价性.根据爱因斯坦质能方程论述了“质量守恒”与“能量守恒”的等价性.     

数字图像乘性与加性水印算法比较研究

本文利用数字图像离散余弦变换系数的广义高斯分布模型,在图像嵌入水印后峰值信噪比（peaksignaltonoiseratio,PSNR）--致的条件下,以检测概率为衡量指标,理论分析了数字图像加性和乘性算法在未受到攻击时的性能,乘性算法的性能随形状参数的变大而提高,而加性算法的相关检测器性能与形状参数无关。攻击实验分析表明,除了抗滤波攻击性能较差外,加性算法在其他攻击下表现出较强的鲁棒性。     

非线性对角占优性

提出了另一种非线性对角占优性(即拟对角占优性),推广了现有非线性对角占优性,同时,拟对角占优性具有许多良好的性质,可以方便地利用其导函数是H矩阵去判定一个非线性函数是拟对角占优的。研究了拟对角占优函数的性质,并对判定非线性广义对角占优性的公开问题给出了反例。     

论权力性与非权力性影响力

社会运行需要动力与秩序.管理既可产生间接动力,又可营造良好秩序.充分发挥权力性与非权力性影响力有利于解决社会与组织良性运行的动力与秩序问题,并直接关涉管理的效能、管理过程的和谐和新的管理理念的产生.     

一类n阶脉冲时滞微分方程的振动性与渐近性

对一类n阶脉冲时滞微分方程的振动性与渐近性进行了研究,得到了方程的非振动解与其各阶导数的符号关系,以及振动性与渐近性的判别准则,并举例说明了准则的有效性。     

积性凸函数且是积性凹函数的充分必要条件

首先讨论了积性凸函数的几何意义,接着证明出f(x)既是积性凸函数又是积性凹函数的充分必要条件.     

时间尺度上二维动力系统的振动性和渐近性

借助时间尺度的有关理论,运用不动点定理和不等式技巧研究时间尺度上一类非线性动力系统的渐近性和振动性。给出具有某种渐近性的非振动解存在和所有解振动的充要条件,推广并改进已有某些结果。     

儿童连身裤舒适性与美观性的判别研究

采用主观评价的方式,对儿童连身裤的静态美观性与动态舒适性进行主观评价．根据主观评价的结果,进行因子分析和聚类分析,建立不同类别儿童连身裤的结构判别模型．通过判别分析,对儿童连身裤的舒适性与美观性进行判剐,将主观感受客观化,从而提高儿童连身裤结构设计的工作效率．     

数学优化方法在新安江模型参数率定中的应用分析

以3种数学优化方法及新安江(三水源)模型的理论为依据,介绍了优化方法在新安江三水源模型参数率定中的应用.将率定成果与API模型进行了对比,说明这3种优化方法在大宁河流域参数率定中应用效果良好,具有很好的参考和推广价值.     

齿轮—五杆机构的轨迹特性研究

采用计算机机构动画仿真的方法，对齿轮五杆机构的轨迹特性进行了研究。分析了该机构双曲柄存在的条件，两连杆铰接点Ｃ的轨迹曲线可到达的区域及该轨迹曲线形状随机构结构参数的不同而变化的规律，从而为齿轮五杆机构的轨迹综合提供了重要依据。     

对董事自相交易忠实义务的研究

自相交易是指董事代表公司的利益与自己或者与自己有利益关系的其他公司或者企业进行的交易,是忠实义务的核心问题。因此,董事的自相交易是董事信义义务所要规制的主要方面。比较了英美法系和大陆法系的交易互相规则;结合自我交易的具体内容,分析了我国公司法关于自相交易的相关规定。     

扬声器的自滤波特性与D类功放失真的改善

应用动圈式扬声器的电—力—声类比等效线路对动圈式扬声器的频率特性进行了初步的研究,提出了利用扬声器的自滤波性能改善因D类功放移相网络引起信号相位失真的方法。同时,采用比较、反馈的方法对音频信号的谐波加以抑制,使得数字功放的总体失真指数下降。     

红土颗粒粒度的分维变化特征

借助分形几何理论,探讨红土在不同处理方法下其颗粒粒度的分维变化特征结果表明：红土的颗粒粒度具有线性分形结构的特点是客观存在的事实,其分维值的大小反映了土中颗粒粒度的分布情况,并与土的物理力学性之间存在一定的关系分维是描述土的颗粒粒度的一个新的特征参数     

密炼机转子的刚度计算

介绍了变截面梁变形计算的初参数法，运用该方法求密炼机转子的变形，并得到了精确的解。     

物联网演进路线的探究

分析研究物联网的起源及发展路线,并从人和物二个角度探讨网络的技术特征,给出物联网的演进模型。分析结果显示,虚拟世界与物理世界对信息通信的探索将会融合,物联网发展的终极目标是网络的泛在化。据此结论,从公共物联网和系统应用角度对我国物联网的发展与研究提出两点建议。     

我国高等院校定名规范化的意义

“大学”和“学院”都是高等教育机构。“学院”与“大学”有相同之处，但是“学院”与“大学”有明显的区别。目前，我国某些高等院校的更名陷入误区，混淆了“大学”与“学院”的区别。规范高等院校的名称，已势在必行。     

浅析资产减值会计对利润的操纵

会计制度规定企业定期或者至少于每年年度终了，对各项资产进行全面检查，合理地预计各项资产可能发生的损失，并计提资产减值准备，既不高估资产或收益，也不少计负债或费用，从而避免虚增企业利润。但在实务中，一些企业却利用会计法规准则中的原则性，通过资产减值准备达到操纵会计利润的目的，本文即是从企业滥用资产减值入手，以实例来揭示企业计提秘密准备的意图，以引起业内人士的重视。     

旅游地环境的可持续发展问题

对旅游业的资源型特点,当前旅游业发展对旅游地环境的影响程度,以及不断强化旅游地环境保护的重意义作了精辟地分析．提出了以人为本、突出特色、塑造形象、科学规划和管理的旅游地环境可持续发展的思想和方法．