软件系统的可信降密述评

无干扰模型是信息流控制中的基础性安全模型,能确保敏感信息的零泄露,但其安全条件的限制性过强。软件系统由于功能的需要不可避免地需要违反无干扰模型,释放合适的信息。为了防止攻击者利用信息释放的通道获取超额的信息,需要对释放的通道进行控制,建立信息可信降密的策略和实施机制。基于不同维度对现有的降密策略进行归类,大致归并为降密的内容、主体、地点和时间维度;并对现有降密策略的实施机制进行分类,大致可分为静态实施、动态实施和安全多次执行;对这些机制的特点和不足之处进行比较,并探讨了后续研究面临的挑战,展望了未来的研究方向。     

通信延时环境下基于观测器的智能网联车辆队列分层协同纵向控制

考虑通信延时影响的车辆队列控制问题, 提出一种基于观测器的分布式车辆队列纵向控制器. 首先, 基于分层控制策略分别设计上下层控制器, 通过上层控制器优化期望加速度、下层控制器克服车辆模型非线性实现期望加速度和实际加速度的一致. 上层控制器设计过程中, 基于三阶线性化车辆模型, 考虑观测器、车辆动态耦合特性和通信延时, 提出一种通信延时环境下基于观测器的车辆队列控制器, 利用观测器估计领导车辆加速度信息从而减轻通信负担. 然后, 利用Lyapunov-Krasovskii方法分析车辆队列的稳定性, 并得出通信延时上界, 同时利用传递函数方法分析了串稳定性. 最后, 通过数值仿真验证上层控制器的有效性和稳定性. 在此基础上, 利用PreScan软件中高保真车辆动态模型, 验证了该分层控制策略的有效性.     

跨企业工程更改的多视图建模体系研究

 工程更改管理(ECM)直接影响着产品的开发过程和开发成果,因此必须系统地对更改管理活动进行研究．给出了跨企业工程更改的管理策略,分析了工程更改中的过程、信息、资源、组织和功能建模过程．以过程建模为中心,构建了5个视图建模的关联关系,通过多视图关联分析,形成了系统的ECM建模体系．     

镍中间层对铝/镁异种金属搅拌摩擦焊接头微观组织的影响

采用搅拌摩擦焊(friction stir welding, FSW),引入厚度为0.05 mm镍箔作为中间层,在焊接速度不变条件下,采用不同转速对厚度为4 mm的6061铝合金和AZ31镁合金进行平板对接,对接头进行系列微观组织表征及力学性能测试,探讨转速对接头中镍颗粒分布状态,金属间化合物(intermetallic compounds, IMCs)种类与分布及接头强度的影响规律. 研究结果表明:与未引入中间层接头相比,引入镍改变了铝/镁异种金属FSW接头焊核区(weld nugget zone, WNZ)中IMCs种类及分布,WNZ存在明显的镁合金与铝合金相间的带状组织,其上分布着絮状Al₁₂Mg₁₇、颗粒状Mg₂Ni、层状Al₃Mg₂及大小不一的镍箔颗粒;随着转速增加,镍箔颗粒分布愈加均匀,Al₃Mg₂数量相对减少,且脆性Al₃Mg₂由连续分布逐渐演变为断续分布;当转速为750 r/min时,接头抗拉强度达到最大值,与未引入中间层接头相比,引入镍中间层接头抗拉强度提高了56 MPa,达到镁合金的56.9%.     

称重计量罐检测装置的研制

针对称重计量罐检测难度大、检测时间长、检测成本高且存在安全隐患等缺点,设计了一套称重计量罐检测装置。该装置针对称重计量罐自身结构及现场安装情况,设计相应的辅助工装结构同时与液压加载装置、伺服控制系统相结合,实现了称重计量罐的自动检测,既大大降低了检测成本,也提高了检测效率,同时也可以为其他称重系统的自动检测提供借鉴。     

恒压轴向柱塞变量泵系统的无级调节控制研究

恒压轴向棰塞变量泵由于输出功率大,工况合理,能量利用率高,因而成为许多液压控制系统的首选动力源,通过对其变量机构改造,研究了一种基于高速开关阀压力控制系统构成的新型电液伺服变量机构,实现了对恒压轴向柱塞变量泵输出压力的无级控制。     

建设部村镇建设代表团赴日考察交流

第一部分概要建设部村镇建设访日代表团于2004年11月22日至12月3日,对日本村镇建设情况进行了为期12天的考察交流。作为自2002年签订的“中日村镇建设交流计划”的一部分,本次考察活动由日本农业土木综合研究所(JIID,Japanese Institute of Irrigation and Drainage,以下简称“     

固定/移动融合网络统一策略控制平台研究

在对比研究不同策略控制方案的基础上,提出了一种以3GPPPCC架构为基础,固定和移动网络融合的统一策略控制平台,并根据不同演进阶段和策略,分别描述了协同类型和融合类型两种统一平台的实现方式。     

基于增量负载扰动和最小二乘拟合的通信电源效率测量法

为了克服传统的通信电源效率测量方法在实际操作中的困难,提出了一种基于增量负载扰动和最小二乘拟合的通信电源效率测量方法。对于工作在＂效率—输出负载电流＂曲线中段的通信电源,对其施加增量负载扰动,并运用最小二乘拟合去除测量中奇异点对结果的影响,最终得到通信电源的效率。本文列出了运用该方法测得的实验结果,并讨论了实验结果的相对误差。通过该方法也可以对通信电源的欠载或过载状态进行定性的判断。最后本文提出了该方法在通信电源规模生产的自动化测试中的应用。因此该方法是一种实用的新型通信电源效率测量方法。