一类循环条件非线性的程序终止性

针对Tiwari提出的线性循环程序的终止性判定问题,提出了循环条件为齐次多项式的非线性程序的不可中止性判定的理论证明,然后将程序终止性判定问题转化为参数半代数系统的求解。在求解中,借助强有力的代数符号工具DISCOVERER,解决了计算机浮点计算所造成的近似误差,精确地判定这类程序的不可终止性。最后,通过计算代数理论,把循环条件推广到了非齐次多项式,并且进行了验证。通过理论的证明和实验的验证,解决循环条件是非线性的一类循环程序的方法是高效合理的。     

概率带测试克林代数

为了增强可形式刻画正则程序行为的带测试克林代数(KAT)的表达能力,提出了一个加概率的带测试克林代数(PKAT)的完整理论用于对加概率正则程序的推演。提出了状态为PKAT表达式和数据状态组成的序列对的概率格局变迁系统。然后在概率格局变迁系统的基础上给出结构操作语义。并给出PKAT的基于操作语义的概率互模拟等价关系。最后证明了PKAT中等式关于互模拟等价的可靠性。     

一维稳态流非饱和土渗透系数垂直分布模型及其线性简化

渗透系数是控制地下水流动的重要参数,对渗透系数的空间分布规律进行研究具有重要的意义。基于Gardner模型获取了一维稳态流非饱和土渗透系数沿垂直分布模型,该模型用指数函数描述,受饱和渗透系数和无量纲的深度与流动率等因素的控制;该模型表明一维稳态流条件下均质典型土类的渗透系数其沿垂直方向变化趋势主要受比流量与饱和渗流系数的负数值二者之间的相对大小影响。分别采用泰勒级数方法和以地下水位处及地表处的渗透系数作为控制条件方法对一维稳态流非饱和土渗透系数沿垂直分布模型进行线性近似简化。采用泰勒级数方法获取的简化模型其计算误差随无量纲的深度增大而增大。简化后的模型具有形式简单、参数少等特点。通过算例对比简化模型与原模型的差异,计算结果表明:采用以地下水位处及地表处的渗透系数作为控制条件的方法进行线性近似简化的模型计算误差比采用泰勒级数方法获得的线性近似简化模型的计算误差小。     

线性程序的Ranking函数自动合成

针对判定一个程序终止性的经典方法Ranking函数法,运用半代数系统的概念,把程序终止性问题转换为求半代数系统的Ranking函数.然后运用符号计算工具DISCOV-ERER和Farkas引理,求出函数参数存在的充分必要条件,并根据符号计算理论的方法自动合成Ranking函数.通过计算代数理论的证明和试验的验证,并与其他方法做了比较,这种方法是高效合理的.     

基于形式化方法的集成电路设计简化技术研究

通过形式化方法建模,对集成电路设计过程中的模型简化技术进行了研究．对互模拟、模拟偏序概念提出判定算法,利用交互式马尔科夫链模型的事件结构构造及功能模块细化方法、软件工程方法,得到模型验证程序,该程序能够对集成电路系统设计过程中的模型进行简化,实践证明具有良好的应用价值．     

轮Hui广群

本文引入轮Hui广群的概念，讨论了它与半群、交换么半群、BCI－代数等代数系之间的关系。并给出了结合BCI－代数的一组简化的等价公理系。     

再生反馈雷达随动系统的动态分析和工程计算

本文对再生反馈雷达随动系统按不同频段作了工程简化处理,把原来的多输入、多输出、非线性复杂系统近似为较简单的能用线性方法处理的两种数学模型,一种模型用来研究系统的稳态误差,另一种模型用以描述系统的动态品质。并在此基础上得出了便于计算设计的工程公式。作者并用数字计算机检验了这些简化模型和工程计算公式的正确性。     

生长曲线模型中最小二乘估计与极大似然估计的近似等价性

在生长曲线模型中,参数矩阵的最小二乘估计为响应变量的线性函数,而极大似然估计为响应变量的非线性函数,所以极大似然估计的统计推断比较复杂.为了使它的统计推断简单点,一些学者考虑了极大似然估计与最小二乘估计的等价性.不幸的是极大似然估计与最小二乘估计的完全等价性不易满足.因此考虑它们的近似等价性,即考虑它们基于欧式范数标准下的模长之比.如果比值在任意给定的允许误差之内,就认为极大似然估计近似等价于最小二乘估计,从而简化极大似然估计的统计推断.     

多延时时变双线性系统的Taylor级数分析

提出了近似求解多延时时变系统双线性系统的Ｔａｙｌｏｒ级数分析方法．使用延时、积分及乘积运算矩阵，可将系统求解简化为解一组代数联立方程组．     

一类输入饱和系统带极点保证的半全局镇定

研究了一类输入饱和系统的半全局镇定问题.首先通过变换,将一类特殊的代数Riccati方程的求解等价成代数Lyapunov方程的求解,并研究了其解的性质.利用该方程的解构造出了一类输入饱和系统的半全局镇定的低-高增益反馈律.该方法只需求解一个线性代数Lyapunov方程,因而可以大大提高计算精度.更重要的是,相比现有结果,该方法可以配置闭环的特征多项式,改善系统的收敛性能.数值算例表明了方法的有效性.     

实时嵌入式系统并发程序检测方法研究

近年来随着实时嵌入式系统自动化程度的不断提升,其设计复杂度不断加大,在设计中大量的使用了并发程序设计方法。但目前在基于实时嵌入式系统应用程序开发以及测试的过程中,由于中断和线程的相互交叠,始终缺乏有效的针对实时嵌入式系统的并发程序测试方法。本文设计了面向实时嵌入式系统并发程序动态测试的算法,提出以标记迁移系统作为并发程序的系统模型,对常见的并发错误给出了形式化定义,使用偏序化简算法缩减程序的状态空间,实现了对多线程、多重中断的并发程序错误检测。     

基于神经网络的非线性系统复合内模控制

利用RBF神经网络逼近连续非线性系统的α阶积分逆系统,并对原非线性系统及其逆系统构成的伪线性系统采用内模控制方法进行复合控制,从理论上分析了滤波器对跟踪误差的影响,仿真结果表明,内模控制与逆系统方法相结合的复合控制方案是处理非线性问题比较有效的方法之一。     

基于MasterCAM 9.0 的SINUMERIK810D后处理程序的优化设置

MastcrCAM是一套在模具行业广泛应用的CAD／CAM软件,它可以根据已建好的模型产生NC件,然而NC件的生成受该软件后处理程序的控制,MastcrCAM后处理程序主要针对FANUC系统设计的。生成其它数控系统的NC件,往往要做一些手工修改,这样既麻烦又容易出错。本探讨了MasterCAM9．0后处理程序的二次开发,使其自动生成的NC件直接符合SINUMERIK810D数控系统编程格式的要求。     

基于虚拟加工的数控程序优化方法

提出了基于虚拟加工的刀具路径优化、切削参数优化和误差补偿的数控程序优化方法,开发了用于数控程序优化的应用系统.应用实例表明:加工效率和加工精度得到了提高,加工过程也得到改善.     

关于线性算子方程近似解法的一点注记

讨论线性算子方程Tx=f的两种近似方程何时有解及解的误差估计问题。并给出一种迭代程序,由此可以得到原方程任意精确的解     

忆感等效电路的特性分析与实验验证

忆感器是从忆阻器概念推演出来的一个新的具有记忆功能的非线性电路元件。基于忆感近似等效电路模型,采用一个有源磁控忆阻器实现等效电路中的忆阻器,建立了忆感近似等效电路的状态方程组;借助MATLAB数学工具软件,进行了等效忆感器特性的数值仿真分析。结果表明,等效忆感器的韦安关系呈现典型的紧磁滞回线特性,且依赖于外加电压激励频率。通过有源磁控忆阻器的等效电路进行了忆感近似等效电路的实验验证,实验测量结果和数值仿真结果基本一致,说明了忆感近似等效电路模型的正确性。     

不确定离散时间系统的状态逼近事件触发控制

为减少不确定离散时间线性/非线性系统的事件触发次数, 节省通讯资源, 提出了基于状态逼近的事件触发控制方法。 首先, 针对不确定离散线性系统, 利用采样信号、系统矩阵和确定离散线性系统解析解的定义, 逐段构造不确定离散系统的状态逼近解。 将测量误差定义为系统当前状态与逼近解之间的差, 构造事件触发条件和控制器, 通过设计Lyapunov泛函得到离散线性系统的稳定性条件。 其次, 对于一类Lipschitz离散非线性系统, 将该系统进行线性化处理。 根据无扰动离散线性系统解析解的定义, 类似于线性系统的处理方法, 逐段构造状态逼近解, 重新定义测量误差, 设计事件触发条件和控制器, 并建立离散非线性系统的稳定性条件。 将状态逼近技术与动态事件触发策略相结合, 在减小测量误差的同时, 降低触发阈值, 进一步减少事件发生的次数, 实现更好的控制效果。 通过倒立摆系统和蔡氏电路两个数值例子表明,相比于传统事件触发方案, 状态逼近法可以显著降低事件触发的次数, 避免了通讯资源的浪费。