介值定理在解初等不等式中的应用

本文给出了利用介值定理解初等不等式的一种方法。     

INDU网络的解析表达及其一致性计算

INDU网络在区间代数的基础上引入了时间区间的长度,细化了时间区间之间的定性关系,使得时间定性推理的精确性有所提高。本文给出了INDU网络的0维、1维及2维的共计25个解析公式,用解析的方法来刻画INDU网络,并用它来实现INDU网络全局解的一致性计算。     

TK-2DC软件前处理模块-贴体正交网格生成软件开发

贴体正交网格计算方法是通过坐标变换或坐标投影,把不规则物理区域进行离散以生成规则矩形计算区域的方法,所生成网格的疏密性和正交性对于保证数值计算精度至关重要。目前最常用的3种贴体正交网格计算方法是代数网格生成法、椭圆型方程网格生成法以及保角变换网格生成法。为了保证网格的正交性,简化网格计算量,所采用的贴体正交网格计算方法是上述3种方法的组合体,并且以该法为内核,开发了简单易学的贴体正交网格可视化计算软件,该软件可以与CAD进行无缝连接,大大缩短了数值模拟前期研究工作的时间。     

m×n广义行列式按一行展开的性质

笔者曾在“m×n广义行列式的定义及运算性质”一文中详细介绍了m×n广义行列式的概念及运算性质。为了今后研究问题方便，本文将给出它的另外一个重要的运算性质——按一行展开定理。这个性质在某种程度上将简化广义行列式的运算，但更主要的是在理论上的应用价值。     

多传感器信息融合分类识别系统中冗余知识判定的关系代数 …

在基于多源信息融合的对象分类识别系统中，信源／传感器数量的增加往往使数据处理量急剧增长，不仅占用大量计算资源，提高运行成本，而且降低了系统可贵的实时性。本文提出用关系代数方法判定由信源传器提供的知识有无冗余，从而精简和优化信源／传感器资源的配置和结合。     

仿真测试在汽车售后刷新系统验证中的应用

文章主要阐述了汽车售后刷新系统通过采用虚拟仿真技术能够在保证验证质量的同时缩短验证周期,降低验证成本。并通过某车辆电控单元的刷新过程验证了仿真测试技术的可行性。最后对该技术的发展方向进行了展望。     

船舶航向保持静态抗饱和控制

针对船舶航向保持时,由于舵机速率与幅值饱和,导致闭环系统性能下降,甚至不稳定问题,提出了静态抗饱和控制算法.首先用线性系统理论求出的静态无约束控制规律,在控制器中加入幅度与速率饱和模型,再以最小化扰动到被调输出的非线性L2增益为目标,使控制问题转化为具有线性矩阵不等式约束的凸优化问题,进而求出静态抗饱和补偿增益.设计的控制器简单,满足船舶航向控制精度和节约能源性能要求,解决了由于舵机速率饱和导致的闭环系统不稳定问题,最后通过仿真进行了验证.