基于双向观测器的随机离散事件系统的不透明性

本文针对随机系统模型，研究随机离散事件系统的不透明性。首先对随机无穷步不透明性和随机K步不透明性进行形式化。通过构造一个基于双向观测器的验证器，得到一个运用双向观测器验证系统随机无穷步不透明性和随机K步不透明性的充分必要条件。最后提出一个基于双向观测器的随机无穷步不透明性和随机K步不透明性验证算法。     

基于多智能主体的集成通信服务器的研究*

提出了一个集成通信服务器模型,应用多智能主体结构支持多并发和高效率的信道连接与管理,通信服务器系统亦具有扩展性和通用性,并在一个实际的物流监控与调度系统中得到了良好的应用.     

基于SOA的虚拟学习社区协同系统

虚拟学习社区是由各种不同类型的学习者及其助学者（包括教师、专家、辅导者等）共同构成的一个交互协作的学习团体,文中依据SOA技术,研究支持虚拟学习社区集成的协同信息平台。结合基于SOA的结构模型和业务数据模型,对虚拟学习社区协同系统中的关键业务进行了分析和设计,并给出相应的逻辑模型。并通过一个实验系统演示了协同系统的实现方法和过程。实验证明,采用SOA软件结构,对构建一个互动的、有情感归属的、大量资源供给的、适于研究性学习的虚拟学习社区具有积极的推动作用。     

离散事件系统间歇性故障的安全诊断

离散事件系统的间歇性故障诊断能够将系统中发生的间歇性故障及时诊断出来,但在诊断期间的系统可能会执行不安全操作.针对间歇性故障在诊断期间的安全性问题,提出一种基于事件的安全诊断方法.首先对发生间歇性故障的离散事件系统进行建模,并给出系统间歇性故障的安全可诊断性的形式化定义.然后通过构造非法语言识别器对系统的非法操作进行识别,并在此基础上构建一个安全验证器,由此得到一个关于系统间歇性故障安全可诊断性的充分必要条件,实现离散事件系统对间歇性故障的安全诊断.这种安全诊断既保证了间歇性故障一旦发生即能被及时诊断出来,又确保了在故障诊断期间系统不会执行任何不安全操作.     

基于天然气管网压力能回收的联合循环构思

随着天然气大量应用及其相关技术的不断发展,天然气管网的输送压力也越来越高,蕴含巨大的压力能。本文提出一种回收天然气管网压力能的燃气蒸汽联合循环系统：高压天然气通过在膨胀机内膨胀回收一部分能量,承担部分压气机消耗功,膨胀后的低温天然气用来依次冷却压气机进气和蒸汽轮机排气,然后回收部分排烟余热。本文定性分析了该系统流程相关部分给联合循环带来的收益,显示出提高联合循环效率和能源综合利用率的潜力。     

10kV架空绝缘导线雷击断线的防治措施

分析了10kV架空绝缘导线雷击断线的机理,对国内外已提出的各种防止架空绝缘导线雷击断线防护技术措施和装置的特点进行了对比分析,并结合实际应用提出了防止雷击架空绝缘导线断线的一些建议。     

基于显著计算与变分法的多尺度图像融合

在多尺度图像融合中,通常将图像进行多尺度变换,再对变换后的低频系数与高频系数采用一定的融合规则进行融合,然而融合规则的选择将影响图像的清晰度与融合质量.将视觉显著模型与变分法理论应用在多尺度图像的低频系数融合中,获取最优的融合系数组合,从而增强融合效果,通过对红外线与可见光图像、医学图像的融合实验表明,该方法能克服融合图像对比度偏低的缺陷,获取的图像能较好地保留源图像的显著目标信息,如形状、大小、色调、纹理等,特别是针对异源亮度差异较大的图像.在主观视觉感受与客观评价指标上都有所提升.     

不锈钢CMP抛光液的研制

简单介绍了不锈钢材料表面的几种加工工艺的优缺点,介绍了化学机械抛光(CMP)工艺的机理。介绍了抛光液的各成分及其作用机理,同时列举了一些常用的药品种类。针对不锈钢材料,通过理论分析或者实验对比,合理选择各个成分的药品种类,确定了二氧化硅、柠檬酸、过氧化氢、烷基酚聚氧乙烯醚和苯并三氮唑作为抛光液的主要成分。通过正交实验的方法确定了每个成分的最佳含量。最后采用优化后的CMP抛光液进行不锈钢的CMP实验,并对比不锈钢抛光前后表面质量验证抛光液的有效性。     

分布式随机离散事件系统的模式故障预测EI北大核心CSCD

本文以随机自动机为模型,研究分布式随机离散事件系统的模式故障预测问题.首先根据分布式随机离散事件系统的分布特性对模式故障协同可预测性概念进行形式化,并通过构造模式故障识别器来识别系统中发生的模式故障.然后,构造一个模式故障协同预测器,提出一种基于协同预测器的具有多项式复杂度的算法,得到关于分布式随机离散事件系统模式故障协同可预测性的充分必要条件,实现对分布式随机离散事件系统的模式故障预测.