RTV有机硅密封胶的耐介质性

通过介质浸泡试验研究了水、机油、汽油对有机硅密封胶的影响，采用初期耐压性衡量其密封性。试验表明，有机硅密封胶具有优异的耐水性和耐油密封性，但耐汽油性较差；重质碳酸钙可提高其耐油性，有机硅密封胶中的增塑剂在油类介质中会发生迁移。该类密封剂可用作机械部的就地成形垫圈。     

公式分层的谓词模态逻辑

由于必然模态词□的引入,谓词模态逻辑的公式在一个可能世界中的真假值可能依赖于其可达的可能世界.在谓词模态逻辑中存在个体跨可能世界相等问题.针对这一问题,Lewis提出了对应物理论,并且在对应物理论中用对应物关系来表示个体跨可能世界相等.但是,当一个对象具有一个以上的对应物时,谓词模态逻辑中的跨可能世界相等关系无法与对应物关系建立一一对应.通过限制谓词模态逻辑中全称量词∀的范围,给出了一种公式分层的谓词模态逻辑.它是谓词模态逻辑的一个子逻辑,并且其语言与谓词模态逻辑的语言是相同的.但其公式是分层定义的,使得∀可以出现在□的范围内,并且□不能出现在∀的范围内.由于任意形如∀x□φ（x）的表达式都不是该逻辑的公式,以量词开头的公式在一个可能世界w中的真假值只依赖于w,该逻辑避免了个体跨可能世界相等问题.给出了该逻辑的语言、语法和语义,并证明了该逻辑是可靠的和完备的.     

一种基于案例的多准则排序方法

针对带有间接偏好信息的多准则决策问题, 首先利用加性效用函数理论提出一种排序方法, 该方法通过构建一个简单的优化模型, 得到与间接偏好信息相容的各评价值的效用; 然后, 利用线性插值方法计算出剩下方案各评价值的效用, 进而得到所有方案的综合效用及排序; 最后, 通过实例验证了该方法的有效性和可行性.

     

基于分区的航电系统调度分析工具实现

针对仅含纯周期任务集合、符合ARINC653多分区构架航电系统两级调度模型的可调度性判定问题,提出一种基于分区的航电系统调度分析工具。通过设定时钟变量模拟航电系统各分区中任务集调度过程,依据纯周期任务集及分区航电系统时间片分派特性确定仿真区间,设计优化的调度分析算法,判定航电系统分区级时间片分派的正确性及各分区中任务集的可调度性。测试及实例分析结果表明,该工具能自动、准确、快速地判定航电系统分区以及任务级调度模型的可调度性,并能以甘特图的方式绘制系统调度过程,较现有工具更为直观、高效。     

尖晶石对铝尖晶石炭砖抗渣性的影响

研究了不同种类尖晶石及其加入量对铝尖晶石炭砖抗法性能的影响，分析了铝尖晶石炭砖的抗渣机理。     

CR/CIIR并用胶的性能研究

试验研究CR／CIIR并用胶的性能。结果表明。采用氧化锌／硫黄硫化体系的CR／CIIR并用胶共硫化性较好；当CR／CIIR并用比为80／20、补强剂为炭黑N550（用量40份）、增塑剂为固体古马隆树脂（用量10份）时，并用胶的综合物理性能较好。     

七层炉箅在我厂的运行情况总结

我公司3#Ф2610造气炉于2003年12月大修后改用七层炉箅，至今已运行了三个多月，从运行情况来看，该炉箅使用情况较好。现就新型炉箅的结构特点及运行情况做一总结，供同行参考。     

聚己内酯粘合剂的应用

双组分聚氨酯粘合剂近年来有了较多的改进 ,其品种较多 ,归纳如下 :(1)耐低温性能的改进　聚氨酯粘合剂具有较好的耐低温性能 ,这主要是指聚醚型为原料制备的粘合剂 ,而聚酯型聚氨酯粘合剂耐低温性能则较差。采用聚ε己内酯制备的粘合剂 ,耐低温性能也有所改善。在制备中 ,添加扩链剂可使聚氨酯树脂相对分子质量增大 ,这就促使了粘合剂低温性能的改进。但因聚氨酯结构中交联密度太大 ,会使粘合剂的低温性能降低 ,因此 ,在采用分子链段较长的交联剂 ,以及具有位阻基团的交联剂之后 ,防止歧化交联过大 ,也改进了粘合剂的耐低温性能。(2 )耐热…     

一种改进的视网膜图像中微小动脉瘤的检测算法

基于糖尿病性视网膜病变中最早出现的微小动脉瘤病症进行了研究,提出一种有效的微小动脉瘤检测算法。首先在传统模板匹配算法的基础上提出了一种动态多参数模板匹配算法,并且使用相对误差和与相关系数来共同制约匹配度,从而实现了更为精确的匹配提取;其次提出了基于分布特性的计分策略和自适应加权的汇总策略,避免了单纯采用各个特征量作为独立约束指标进行筛选时忽视各个特征量的约束力大小的弊端。实验结果表明,该检测算法能够有效地提高微小动脉瘤的检测真阳性率。     

基于EFPN的模糊离散事件系统可诊断性分析

针对模糊有限自动机及模糊Petri网在模糊离散事件系统(Fuzzy Discrete Event System,FDES)行为建模中的不足,提出一种扩展模糊Petri网(Extended Fuzzy Petri Net,EFPN),并基于EFPN构造了FDES行为模型及系统故障诊断器。EFPN以一种新的事件模型为基础对FDES的系统行为进行建模,并根据事件触发矩阵计算下一系统状态中各分量的可能性分布。与模糊有限自动机及模糊Petri网的对比分析表明,在描述FDES模糊事件时,对于同步距离为0的一组事件所造成的影响,EFPN的表达能力强于经典模糊Petri网;在对含有多个状态分量的FDES建模时,EFPN模型的规模远小于模糊有限自动机。在基于EFPN构造的系统行为模型中,运用可达状态标识图分析系统状态集,可有效地构造FDES的故障诊断器,并可据此进行系统可诊断性分析。