线性混合系统的一种验证方法

混合系统是指嵌入于物理环境中的数字实时系统．由于计算机技术的快速发展,混合系统在各行各业中都得到广泛应用,但是由于混合系统涉及到连续时间,因此其验证问题始终没有得到完善的解决．近年来,人们普遍采用模型检验方法对混合系统进行验证．由于线性混合系统在实际应用中可以表示大多数的嵌入式实时系统,因此我们着重研究这类混合系统的验证算法．本文首先介绍了混合系统的模型—混合自动机,然后提出了一种针对线性混合系统的基于区域的先划分再遍历的半确定性验证方法．经实例检验,该方法能够有效地验证线性混合系统．最后将本文的方法同有关的其它算法进行了比较     

试论知识经济时代的科学教育

阐述了知识经济的基本特征,分析了科学教育在发展知识经济中的地位和作用,及在知识经济的机遇和挑战面前,新世纪人才所必须具备的素质和能力     

互连网络诊断性与容错性的细胞图自动机算法的串行模拟

本文对作者以前提出的细胞图自动机算法,给出了串行模拟结果,特别地给出了这些串行模拟程序对几种重要的互连网络如超立方体,交叉立体和Ｍｏｂｉｕｓ立方体模拟的一些具体结果及效率分析．     

交叉立方体互连网络的Hamilton连通性

交叉立方体互连网络是超立方体的一个变型,它有一些比超立方体更好的性质．本文证明了ｎ维交叉立方体ＣＱｎ的又一个超立方体所不具备的性质,即当ｎ≥１,ｎ≠２时,ＣＱｎ是Ｈａｍｉｌｔｏｎ连通的,并给出了当ｎ≥４时ＣＱｎ中任意两个顶点间Ｈａｍｉｌｔｏｎ路条数的一个下界４（２ｎ－１－２）∏ｎ－２ｉ＝３（２ｉ－２）２．     

结构碰撞的动力学研究及应用

针对均质自由梁坠撞时局部发生较大的弹塑性变形而引起的材料非线性,提出了自由梁坠撞过程的力学模型,利用弹塑性有限元法模拟出了碰撞部位的非线性弹簧的力学特性曲线,求出了坠撞响应并可将此法推广应用于多体系统的坠落碰撞问题求解。     

多连通域粘性流动的边界元分析

本文采用计算流体的边界元方法,对多连通域内的粘性流动进行了研究,并与其他方法［１］进行了比较,结果表明本文方法是有效的。     

模糊控制中近似推理的插值模型

提出一种新的模糊控制近似推理模型——插值模型,即用多元插值方法来进行近似推理．在精确插值问题基础上提出模糊插值问题,并给出插值公式     

一种使用遗传算法生成模糊控制器的方法

提出一种使用遗传算法生成模糊控制器的方法．设计人员只需设置性能指数或适值函数,而模糊规则的数目、隶属函数的参数以及模糊控制器的规则都可通过遗传算法自动生成．描述了一种具有局部优化机制的遗传算法,给出的应用实例表明该算法具有良好的适用性     

车削加工中进给方向毛刺形态研究

毛刺的产生与存在是金属切削加工中长期存在的问题按照以切削运动和刀具切削刃为基准的毛刺分类体系,在车削实验的基础上对进给方向毛刺的形成机理和形态进行了研究进给方向毛刺是刀具接近进给方向终端时,部分被切金属产生变形,离开切削路径而未被切削,留在工件终端面上的被切削层金属进给方向毛刺是各种形式毛刺中最大的一种其形成时的变形方式有弯曲和滑移进给方向毛刺有一次毛刺和二次毛刺两种基本形态一次毛刺有Ｉ型无毛刺;Ｉ型叠加毛刺;ＩＩ型正常毛刺;ＩＶ型不完全毛刺四种改变工件材料的力学性能和切削参数可以改变进给方向毛刺的形态,减小毛刺尺寸,便于毛刺的去除     

洛仑兹曲线与基尼系数

分析了基尼（Gini）系数不能准确地反映洛仑兹（Lorenz）曲线的形状和收入分配的不公平程度这一问题,并在此基础上引进了三个参数Vσ、和Γ（λ）．Gini系数和这三个参数一起就能很好地刻划Lorenz曲线的形状,从而能较好地反映出收入分配的不公平程度．本文还给出了Vσ、和Γ（λ）的简便实用的估算公式和具体的例子．