三元等价关系的定义和等价性质

给出三元等价关系的定义,并讨论了它的一些基本性质以及三元等价关系的一些等价条件。     

充分认识河北省软件产业现状走校企联合发展之路

对河北省的经济结构进行了简单概括,指出发展软件产业带动经济发展的必要性,结合高校的工作经历从多个方面论述了软件产业化过程中需要解决的问题,并对全省软件产业化提出了自己的观点。     

数字电路测试生成的二元判定图方法

测试是保证电路系统可靠性的重要手段,已成为集成电路设计与生产的一个组成部分,研究了基于二元判定图的数字电路测试生成方法,对布尔函数的表示和操作的二元判定图进行研究,详细讨论了其中的ite算符;给出了基于二元判定图的电路测试生成方法的实现步骤,并用实例进行了说明。     

规则"真"的一般概念和"真"规则形式算法

在粗糙集理论框架内研究基于不完备信息系统的决策规则"真"的一般概念,讨论在一般"真"意义下最优决策规则的统一获取算法,其中首先探讨了在研究不完备决策系统时的基本考虑,然后讨论了决策规则的"真"的一般框架,引入了在一般"真"意义下广义决策向量概念,以此为基础,研究了最优决策规则的形式获取算法.     

毕竟正则半群中的变量

设S是一个半群,a∈S.S的关于元素a的变量指的是S按运算 ∶x,y∈S, x y = xay做成的半群(S, ).本文给出了毕竟正则半群上变量的一些性质并刻画了毕竟正则半群的毕竟正则保持元,即使得(S, )是毕竟正则半群的元素a∈S.     

线性时滞系统的新型自适应控制

针对一类单时滞的线性时滞系统,为对其未知的状态时滞参数进行自适应控制,基于LMI方法,采用一种基于“描述形式”的Lyapunov-Krasovskii泛函和新型的带记忆的状态反馈控制,使得参数自适应律能反映实时估计值与实际接近值之间的差值,从而突破以往自适应控制对估计值的大小限制和调整参数计算的困难,给出了一种新型的保守性较小、简便、实用的自适应律,仿真实例证明了该控制方案的有效性。     

具有长条型内边界外问题的耦合法

本文以具有长条型内边界的二维调和外问题为例，研究一种带有椭圆人工边界的自然边界元与有限元耦合法，给出耦合变分问题的适定性及近似解的误差估计．理论分析及数值结果表明，用该方法求解带长条型内边界的外问题是十分有效的．     

脑神经元移行异常的MRI诊断

为了提高对脑神经元移行异常的MRI诊断，笔者收集了5例脑神经元移行异常的病例，详细分析了本病的MRI表现，并讨论了脑神经元移行异常的发生、病理、分型以及临床表现．     

二阶抛物问题的扩展混合元方法

对二阶抛物问题提出了一种新的混合元方法一扩展混合元方法．该方法能同时逼近未知函数、未知函数的梯度和流体的流量，较好地模拟了带有混合型边界条件的二阶抛物问题．通过数值分析进一步证明了未知函数、未知函数的梯度和流体的流量的最优L^2-误差估计。     

产品设计的形式审美特征及成因

产品设计的形式具有使用的审美双重特征，其形式审美特征显示出越来越重要的作用，是产品的高品质性能的外在体现。章对构成产品的形式审美特征的技术因素(材料、结构、工艺等)，艺术因素(形式美法则)以及社会环境因素等进行了分析，有助于在设计中提高对产品形式审美特征的把握，发挥形式审美特征的作用。