条纹动感投影片中条纹参数变化规律的实验研究

本文提出、论述和验证了条纹参数的变化规律,介绍了微机辅助验证的方法,找到了选择条纹参数的捷径和参数取值范围.     

Modal extension rule

Modal logics are good candidates for a formal theory of agents. The efficiency of reasoning method in modal logics is very important, because it determines whether or not the reasoning method can be widely used in systems based on agent. In this paper, we modify the extension rule theorem proving method we presented before, and then apply it to P-logic that is translated from modal logic by functional transformation. At last, we give the proof of its soundness and completeness.     

三角模糊数方程的简便求解

在引入模糊数概念的基础上，给出了三角模糊数方程的简便求解方法。     

轴向初始应力对血管壁的应力和变形影响理论分析

本文根据血管力学及生理特点，提出具有初始应力、有限变形的血管力学模型。利用增量变形理论对其进行分析，给出了在脉动的血液压力作用下，具有初始应力的血管壁上的应力和变形公式。理论结果与实验相比较。理论说明了初始应力是位移波存在的原因。     

用MM—RT法分析斜置四环天线系统的水平辐射场型

本文提出用矩量法和互量定理相结合的ＭＭ－ＲＴ法来分析斜置四环天线系统的水平辐射场型，与ＧＴＤ法相比，该方法更易处理具有复杂截面形状的反射体天线，文中通过对东京电视塔的相应天线水平场型的分析计算，证明了方法的有效性。     

二阶混合型泛函微分方程的比较定理

本文利用非线性分析方法研究了一类二阶混合型泛函微分方程边值问题,得到了边值问题解的比较定理.     

复数形式下的斯铎兹定理

本文把斯铎兹定理推广到复数范围     

汽车操纵稳定性的虚拟试验技术

设计了汽车操纵稳定性虚拟试验系统，建立操纵稳定性动力学仿真分析模型，并进行车辆实体建模和行为建模．虚拟试验场案采用分层模块化的树形结构，用不同的类和节点并组织虚拟试验场的各种对象，并设置了光照、雾化和声音信息．虚拟试验过程是数据空间到图形图像空间的映射，使用WTK编程，通过仿真分析数据驱动汽车在虚拟的试验场中行驶，并用分割视屏窗口的方法实现了试验过程的立体视觉显示，从而实现了操纵稳定性的虚拟试验．实际车辆试验表明，虚拟试验分析数据与实车试验比较接近，驾驶员感受的场号与实车试验有较好的一致性．     

p-Laplacian方程无穷多解的存在性

考虑了一类p—Laplacian方程的Dirichlet问题的解．在比（AR）条件更弱的条件下，先证明方程相应的泛函满足（PS）c条件，再应用山路引理得到了该问题无穷多解的存在性．     

扩展的小增益定理

把接受瞬时信号的系统成立的结论推广到接受持久信号的系统,一直是鲁棒控制的基本问题,也是一个难题。在接受持久信号的系统中,很多原有的接受瞬时信号系统成立的结论都不成立了,因此大量的概念、定理需要改进。目前虽然对于一般的H∞函数和H∞不确定性模型来说,定义频域的概念已取得了一些成果,但是对于小增益定理的改进还是很少。基于此,应用H-∞1函数空间修改了小增益定理,给出了一个扩展的小增益定理。并且讨论了它的应用价值。