概括原则与悖论研究的进展

悖论的出现与概括原则中的造集的任意性有很大关系。然而,历史上各种排除悖论的方案要么修改概括原则而过多地限制了概括原则的合理内容,要么修改与之配套的逻辑系统而导致失败。近年来,这些问题的研究又取得了新的进展,有必要历史地加以评介,本文从类型论、ZFC公理系统、BG公理系统、多值逻辑系统和中介数学系统五个方面综述逻辑数学悖论之解释方法的研究情况。     

常用平面五杆机构计算机辅助运动分析数学模型的研究

对于平面五杆双自由度机构，通过对其输入及输出构件进行不同配置，提出了平面铰链五杆机构和单滑块五杆机的常用类型及其尺度约束，建立了机构杆组运动分析数学模型，并据此编制了机构运动分析软件，由实例看出，该数学模型可有效地应用于常用平面五杆机构的运动分析和计算。     

CMS中RBAC模型的改造和应用

针对内容管理系统(CMS)中内容、权限和用户数量规模大的特点,采用形式化方法定义了改造后的基于角色的权限模型--RBAC0.5.对照RBAC96定义的4个模型,RBAC0.5是一个介于RBAC0和RBAC1之间的新模型.它覆盖了RBAC0,将RBAC1中的角色层次关系改造为通过用户组关联的映射关系,从而获取以关系型数据库为后台的集合操作能力.并且,为了有效组织CMS中的内容,形式化定义了内容分区和层次分类,在此基础上定义了层次化的权限集合,从而支持多层粒度上的访问控制.基于上述模型, 给出CMS中基于短路操作、垃圾收集以及缓存技术的实现访问控制的优化算法.     

人的二维目标拾取运动试验设计及分析

在借鉴前人研究的基础上,设计并进行了较为全面的二维目标拾取运动实验,取得了大量有价值的实验数据.在理论研究和实验分析的基础上,提出了新的描述人的二维目标拾取运动的理论数学模型,并采用所获得的实验数据对本理论模型进行了实验系数确定,结果表明:该模型具有良好的适用性,不仅可以描述二维目标拾取运动,而且适用于一维情况;不仅可以描述手的目标拾取运动,而且还适用于其它肢体.     

球头铣刀在虚轴机床上的刃磨

对虚轴刃磨机床的工作原理进行了分析.建立球头铣刀刀刃的曲线方程,利用活动标架法,推导球头铣刀前后刀面的数学模型.根据球头铣刀的数学模型,求解球头铣刀的广义刀位轨迹,利用虚轴机床的反解模型,把广义的刀位轨迹换算成连杆坐标系下连杆的长度,控制连杆长度的变化,完成刃磨加工运动.进而论证了利用虚轴机床进行刀具加工的优势.     

分子筛氧浓缩器的串联混合池计算模型

把吸附床看作由n个等体积的混合池串联而成,可将筛床的控制方程转化为容易求解的常微分方程,考虑了筛床内压力的变化以及吸附热引起的亨利系数的变化等因素.在此基础上,建立了机载分子筛氧浓缩器的非等温吸附数学模型,并对其在不同条件下的工作过程进行了模拟分析.模拟结果与文献结果一致,反映了温度对系统性能的影响.     

力伺服系统的模糊自适应控制

位置扰动型施力系统存在着多余力的问题,同时由于系统的非线性及参数时变等因素的影响,给系统的校正和优化带来了困难,为了消除位置扰动型施力系统中存在的多余力以及非线性,参数时变等因素的影响,采用在非线性前馈校正基础上的模糊自适应控制策略,可以较好地消除系统的多余力,同时克服了系统的非线性及参数时变等因素的影响,改善系统的动态品质,仿真研究的结果验证上述结论。     

飞机穿越微下击暴流风场进场着陆运动特性

应用模糊逻辑建模与辨识的方法建立了微下击暴流模型，利用此模型对A300飞机进场着陆时穿越微下击暴流进行了模拟，分析了低空风切变模型中高度因素的影响，说明了二维模型比一维模型更为优越。结果表明，提出的建模方法能够更好地以映出飞机穿赵微下击暴流的动态特性。通过分析初始高度对飞机穿越微下击暴流动态性能的影响，得出了一些重要的结论，从而对低空风切变危害飞机安全的物理本质有了进一步的认识。     

符号运算方法在双转子涡喷发动机动态模型建立中的应用

基于符号微分运算对偏微分的解析解方法,提出了1种双转子涡喷发动机动态数学模型建立的方法.在给定双转子涡喷发动机稳态点数据和高、低压压气机特性线的条件下,通过符号微分运算,可获得关于该线性微分代数方程组系数的解析解,简化了发动机的建模过程.     

数学规划的物理模型及算法

利用力学原理，建立了用微分方程描述的带不等式约束优化问题的物理模型，用人工释能和摄动的思想，推广了现行的一些可行方向算法，并对算法的收敛性进行了讨论。