浅谈三讲教育与提高干部素质

本文结合中共中央提出的“三讲”教育,去探讨如何在“三讲”教育过程中提高干部素质。以期将“三讲”教育落到实处,引向深化。     

过程信号的盲分离

添加采集通道,应用文中提出的基于盲分离原理的简约ＨＪ神经网络（ＲＨＪＮＮ）,可有效地去除混杂在过程信号中噪声,是控制工程中一种新型的去噪手段。对多类控制系统与不同信号的组合仿真表明,该方法是有效的,网络性能是稳定的。     

基于形式化测试的实时系统变更后安全性验证

变更后系统实现的安全性验证是安全攸关系统维护过程中必不可少的环节,也是其面临的主要挑战之一.软件模型检测和程序验证是目前常用的作用于代码层面的自动化安全性验证技术.本文站在系统行为角度,基于形式化方法,提出了一种将变更后系统实现的安全性验证问题归结为一致性测试的方法,尝试通过自动生成的一致性测试用例在系统行为级别上判定系统实现是否安全.为此,首先以时间输入输出自动机及其语义模型为基础,构建了该方法的证明体系,证明了该方法的正确性;其次,建立了变更后系统实现安全性验证的回归测试生成框架.相对于其它实时系统测试方法,这种测试方法不仅可以发现实时系统中常规的不一致性缺陷,而且为变更后系统实现在运行时是否满足指定的安全性属性提供了依据.最后,以轨道交通系统中的列车自动防护功能的变更情景为案例研究,说明了方法的具体应用.     

多智能体系统事件触发一致性研究综述

事件触发一致性控制是解决多智能体系统（multi-agent systems,MASs）一致性通信资源消耗问题的有效手段.本文简述了MASs事件触发一致性的基本框架,综述了MASs事件触发一致性问题所涉及的事件触发机制及设计策略、事件触发一致性的影响因素、Zeno行为和事件触发一致性应用4个方面的国内外研究进展,对未来研究方向进行了展望.     

基于需求驱动的输变电工程多尺度场景建模

针对输变电工程不同阶段所面临的多维管理问题,提出基于需求驱动的输变电工程三维模型的多尺度分级方法,并根据多尺度分级方法实现了输变电工程的多尺度场景构建。首先,采用统一建模语言(unified modeling language, UML)系统梳理输变电工程的组成要素及其相互之间的关系,并在此基础上根据输变电工程不同周期的应用需求提出输变电工程多细节层次模型。其次,运用Google SketchUp和3DS Max(3D Studio Max)建模软件构建不同尺度的输电杆塔和变电站模型,并在SuperMap软件中将三维模型与三维地形环境匹配融合构建完整的多尺度输变电工程场景。最后,通过构建某地的多尺度输变电工程场景,对所提出的尺度分级方法进行了验证。结果表明基于工程需求构建的输变电工程多尺度场景能有效地应用于不同的工程管理阶段。     

基于决策实验室分析法及解释结构模型的交通隧道施工事故致因链构建

为明确交通隧道施工事故致因之间纵向影响关系及层级结构,本文从事故发生全过程视角出发,在利用文本挖掘技术构建事故致因体系的基础上,借助决策实验室分析法（DEMATEL）及解释结构模型（ISM）判断各致因的重要性程度,建立事故致因多级递阶结构模型,确定关键致因因素,构建关键致因影响链,深入分析其纵向影响关系,并以WLM隧道为例进行验证,证实其实用性。研究结果表明：5方面20项交通隧道施工事故致因间存在明显的层级结构;人员、管理及环境因素对技术因素、机械设备与材料因素存在直接影响作用,其中安全意识及素养、安全监管、施工方案及各类环境因素在事故致因体系中占据重要位置,对其进行有效管控是良好安全管理的体现。本研究可为交通隧道施工安全管理提供参考与依据。     

反黄卫士宣言

1999年4月,中国第一个电脑反黄软件——清华“五行卫士”,在北京举行新闻发布会。这是几位清华学子凭一份强烈的社会责任感,经过几年含辛茹苦,潜心研制而成的。它的问世,标志着我国为防止黄色信息在计算机上的传播提供了有     

制约上海松江大学城学生体育社团发展诸因素的分析

采用问卷调查法、访问法、数理统计法对上海松江大学城学生体育社团的制约因素从组织管理、教学资源、规划制度、社团文化方面进行了分析．揭示了社团管理模式、领导重视程度、团队素质、场地器材、指导教师、活动经费、社团规划、社团制度、社团理念等因素对学生体育社团的影响，为大学城学生体育社团建设提供参考依据．     

提高沥青路面平整度的技术措施

介绍了在大五线公路改建工程中采用的技术措施,分析了这些措施对提高沥青路面平整度产生的效果。     

美国政要——谈中美关系

今年以来,中国人民外交学会接待了包括前总统卡特和布什、前国家安全事务助理布热津斯基和基辛格在内的一批美国政要,他们在访华期间就中美关系的重要性及如何发展中美关系发表了看法。本文辑录部分观点如下。