迁移系统关于一类时态逻辑公式的满足度

从分析Words(φ)的结构入手,引入用线性时态逻辑(LTL)公式φ表示的规范的特征概念,证明了一类LTL公式特征的存在性定理以及特征的计算方法.引入了LTL公式的T-范式概念,证明了这类LTL公式均可等价地表示为T-范式的形式,从而为简化φ的特征计算奠定了基础.引入了迁移系统TS关于给定规范φ的满足度概念,证明了TS关于φ的满足度等于1当且仅当TS满足φ.对于给定的原子公式集AP,给出了满足度计算的复杂度估计.

一种采用继承策略的李初民算法的改进

对继承策略在求解 SAT问题的严格算法中如何运用做了初步的研究 ,用继承策略改进了李初民于1 997年提出的一种严格算法。改进后的算法速度提高 5 %左右。

非线性Mathieu方程的全局分叉

将多尺度Ｌ－Ｓ方法用于研究参数激励振动系统的全局分叉，确定了该系统在主参数共振情况下的分叉集合，得到了某些余维二退化分叉点附近产生混沌运动的条件。

L3^＊中逻辑公式的范式表示及对称逻辑公式的构造方法

将符号化计算树逻辑中Boole函数的Shannon展开式做了推广,研究了三值逻辑系统L3*中由公式导出的三值R0函数的展开式,给出了L3*中逻辑公式的准析取范式和准合取范式表示.研究了n元三值R0函数以及n元逻辑公式逻辑等价类的计数问题.在此基础上,给出了L3*中对称逻辑公式的构造方法.

关系范式在关系数据库设计中应用

本文以一个具体例子来阐述关系范式在设计关系数据库时的应用。

基于Washout滤波器的Rssler系统Hopf分岔控制

针对Rssler系统平衡点的Hopf分岔,以Washout滤波器为控制器,详细讨论了控制器参数对Hopf分岔点位置、分岔类型以及周期解振幅的控制问题.首先根据Routh-Hurwitz判据计算了受控系统的参数空间稳定域,找出了对应的Hopf分岔边界,并由此分析了滤波器时间常数、线性控制增益对分岔点位置的影响.然后,引入NormalForm直接法方便地求出系统Hopf分岔Normal Form系数,由此确定出改变分岔类型和周期解振幅的控制器非线性增益选择原则.最后用数值计算验证了本文的结论.

基于卫星云图的风矢场(云导风)度量模型与算法探讨

对通过卫星云图来识别移动云块、计算风矢的问题进行了探讨.采用以点法式平面方程为核心的空间曲面方程组,实现了视场坐标变换;结合相邻帧差、中值滤波、阈值截取三种方法对卫星云图进行预处理,获得了云块分布;建立了滑动搜索图像匹配模型,并从数据挖掘以及图像特征的角度出发,设计了基于数据和基于统计参数这两种自适应算法,对匹配窗口大小、搜索范围进行优化;最后,为模型的继续改进提出了建议.