实时程序设计方法的发展趋势

本文概述了目前实时程序设计方法学的两个基本方面:实时程序设计语言和实时程序的规范说明及形式化验证。讨论了实时程序设计的基本特点和与一般程序设计的不同之处。程序层次的实时性包括静态的时间限制表达和动态的时间限制维护.程序规范层次的实时性包括建立规范说明模型和形式化证明。     

液—液旋流分离器串联现场试验

对于含油率在1％－2％之间的采出液业说,采用单级旋流器进行分离,常常无法同时满足底流水质和溢流含油两项要求。通常先将采出液进行预分离,再对其底流污水进行除油。设计了一套名义直径为35mm的预分和除油旋流器,并将它们置于撬装式试验台架上。同时设有取样装置并进行压力和流量的检测,大大方便了旋流器的现场试验。通过改变旋流器操作参数,试验两级旋流器的分离性能。试验中旋流管入口含流波动较大,并具有随机性这考验了旋流器的适应性。试验结果表明,平均入口含油浓度为7．64％的油水混合物,经两级旋流分离后,净化水中含油最低为19．9mg／L,平均为31．75mg／L;油中含水率最低为23．3％,平均为40．95％。     

基于交互多模型的机载雷达高度滤波算法

机载三坐标雷达系统中,受雷达孔径的限制,俯仰方位的测角精度较差。为了获取目标在俯仰位置的精确信息,提出了基于交互多模型的机载雷达高度滤波算法。该算法先计算目标的地理高度,再采用基于匀速运动与当前统计(CS)模型的交互多模型滤波算法对目标的地理高度进行滤波。仿真结果表明:该算法在目标高度机动与非机动情况下均能有效跟踪目标高度变化,具有较好的适应性与滤波精度。     

电动汽车蓄电池组智能均充管理系统

分析了电动汽车领域电池组在使用过程中出现的问题,以及要求快速充电的特点.在目前国内外电池管理系统的发展基础上,提出了基于分只同时均充理念的电池管理系统.以AT89C51单片机为控制模块核心,利用压频转换器LM331、温度传感器DS18B20分别采集电压和温度参数,进行电压温度补偿,实现了对电池充电的电压控制,并具有一定的控制精度.     

一种基于关联规则与支持向量机的基因表达数据分类模型

通过研究基因表达数据发现与特定疾病相关的关联规则,对疾病辅助诊断有重要的意义。针对现有分类结果可解释性的不足,提出一种基于关联规则的基因表达数据分类模型ASSO-SVM(ASSOciation rule based Support Vector Machine)。在该模型中,关联规则作为一种特征选择方法,用于提取基因之间的非线性关联。通过这些非线性关联所获取的先验知识有利于提高分类结果的可解释性。另外,针对基因表达数据高维、小样本的特性,该方法采用支持向量机作为对基因表达数据的分类器,获得较高的分类精度。ASSO-SVM结合了基因表达关联规则以及支持向量机分类的优点。在实际基因表达数据集上与现有分类模型的对比实验验证了该方法的有效性。     

怎样把好装饰质量关

时下装饰行业竞争激烈,形形色色的装饰队伍为争抢客源,更是各出奇招。“价格战”就是最常见的招数了,可往往就是一些“超低”价格,导致了设计、施工的草率、马虎,惹出一系列质量问题。 首先是设计质量 业主要仔细审核装饰公司的设计图纸,看看立面、平面、天花、家具等各项图纸是否齐备;注意各项尺寸是否清楚、正确;施工用材是否详尽无遗漏……。这些看完,你才能保证日后的施工有章可循,家居也不会出现尺寸不对、使用不便等尴     

对称型双端过渡态丁二烯／苯乙烯嵌段共取的性能研究

采用以双卤代烷取代型双锂齐聚物为引发剂、环已烷为溶剂、丁二烯（B）、苯乙烯（S）单体一次加入的方法，合成了对称型双端过渡成丁二烯／苯乙烯嵌段共聚物S－（S／B）－B－（B／S）－S，并对其性能进行了研究。结果表明，对称型双端过渡态丁二烯／苯乙烯嵌段共聚物具有明显的海岛两相结构，嵌段共聚物存在两个玻璃化温度；随着单体配比（质量比）S／B的增大，嵌段共聚物的各项物理性能变化趋势不明显。     

语言型群决策中群体一致性赋权优化模型研究

语言评价矩阵一致性分析和专家客观权重确定是语言型多属性群决策中的2个重要问题,将两者视为一个整体进行研究。基于语言评价矩阵偏差度概念对评价矩阵一致度进行定义和度量,结合群体一致性最优思想和智能优化算法,构建基于语言型决策矩阵的专家客观权重赋权优化模型并给出求解方法,在此基础上提出基于客观权重的语言型多属性群决策方法。通过实例分析说明该模型得到的专家客观权重满足一致性条件。     

浅谈工业机器人柔性系统的故障诊断

工业机器人作为柔性制造系统的关键部分,在日常运行中易出故障,此种故障非常隐蔽不易被发现,这一特点导致柔性制造系统难以普及并广泛应用.本文采用了故障树分析法和Petri网理论相结合的方式,并借助工业机器人故障的关联矩阵,可以明确找出故障传播路径,发现工业机器人的故障位置,以便最大程度缩短寻找故障点的时间.