广义抽象协调类和广义合一原理

协调性是数理逻辑中最基本的语法概念之一。Ｓｍｕｌｙａｎ提出了抽象协调类概念，并证明了相应的Ｓｍｕｌｙａｎ合一原理。通过考察协调合式公式集类所具有的种种性质，本文将抽象协调类概念推广至最一般的形式——广义抽象协调类，并证明了相应的广义合一原理。这一结果可以用于证明一阶逻辑形式系统和我们所提出的广义反驳方法的完备性。     

多主体系统建模方法探索

本文提出结合组织学理论研究多主体系统（ Ｍ Ａ Ｓｓ）建模的一种方法。文章从宏观到微观，在整体组织、个体和并发行为等不同抽象层次上论述了分析与设计多主体系统的建模方法，并详细介绍了用于多主体系统设计的系统组织模型、主体概念模型和分布式协作求解模型三个抽象模型的主要研究内容。     

不同结构形式气液同轴式喷嘴的流量特性

本文通过实验方法对两种不同结构形式的气液同轴式喷嘴流量特性进行了研究,重点考察了喷嘴内气液相互作用和环境反压的变化对喷嘴流量特性的影响,研究结果表明同轴离心式喷嘴内气液相互作用比同轴直流式喷嘴内气液相互作用要强。对于这两种喷嘴,反压的变化对气相流量的影响规律相同,而对液相流量的影响规律却不同     

频域线性算法用于雷达导引头建模

采用“面向控制”模型的建模新方法——频域线性算法,对采用比例导引的主动式雷达导引头进行建模。此算法可辨识出对象模型和模型偏差的硬边界。针对主动式雷达导引头使用环境恶劣,以及导引头与目标、环境相互作用关系复杂,使用了调整的频域线性辨识算法(即需要先验知识)。仿真计算表明,此辨识算法鲁棒性好,辨识可信度高     

1, 4-二氯甲基-2, 5-二甲基苯与1, 4-二氯甲基-2-甲氧基-5-辛氧基苯的共聚研究

用1,4-二氯甲基-2,5-二甲基苯和1,4-二氯甲基-2-甲氧基-5-辛氧基苯共聚合成了一种可溶的聚对苯乙炔的衍生物,对共聚物结构进行了红外光谱、核磁共振氢谱表征     

基于多尺度小波变换的二维图像角点检测技术

提出一种基于多尺度小波变换的二维图像角点检测算法。首先利用二维零交叉边缘检测算子对图像进行边缘提取得到二值边缘图，通过基于边素（边过程）的围线跟踪算法得到图像的边缘围线。对边缘围线的方向曲线进行多尺度小波变换，利用变换结果的局部最大值信息检测和定位出图像角点。仿真结果表明该算法可有效地实现二维图像的角点检测与定位，具有较高的精度     

一种视频图像三维子带编码方法

介绍一种视频图像三维子带编码方法，它采用非对称滤波器进行子带划分，对各子带进行量化时，低频子带采用非对称树结构矢量量化方法，高频子带采用几何矢量量化方法。实验证明，由此构成的比特率为１１２ｋｂ／ｓ视频图像编码器获得了良好的重建图像质量。     

中频同步发电机组励磁系统的改进

用ＰＷＭ调节技术,按自控原理,对发电机励磁系统进行了改进设计,并比较了几种励磁系统的优缺点,提出了完整的设计电路。其电路简单,工作可靠。     

舰船在斜浪中的稳性研究

应用累次近似法提出了一种斜浪中复原力臂的计算方法,对４型舰船作了大量的计算,其中包括波船相对位置、浪向角、波陡的变化对稳性的影响,最后得出复原力臂随之变化的规律．     

多杆多自由度连杆机构的分析与模拟

根据复杂平面连杆机构特点,提出对多杆多自由度连杆机构的运动分析策略和动态模拟方法,并以两种常见机构为例进行了分析、模拟。