谈三江平原渠道机械施工经验

三江平原修建排水渠道多是在沼泽地带施工，有其独特的施工环境和特点。因此，采取正确的施工方法，合理地使用施工机械，是提高工程质量，加快施工速度和提高经济效益的保证。现将我们在三江平原渠道施工的一点经验介绍如下： 一、根据施工特点进行设备选型 （一）三江平原地势低洼。排水渠道的规划设计大体上随地势走，多数地段常年积水，地表草皮厚约５０厘米，局部还有漂筏。 （二）施工期紧。从当地气温看，只有５月到１０月，共６个月能够施工，但是中间跨了一个汛期。汛期时多数地段无法施工。汛期过后，由于地势平坦，坡降很小，地…     

AUTOCAD中绘图和出图比例的正确设置

介绍了AUTOCAD中如何实现手工作图比例的正确设置。充分利用AUTOCAD一体化的布局功能。一般在模型空间按1:1比例作图;在图纸空间布置模型空间图形并设定缩放比例。出图时;将虚拟图纸用1:1比例打印出来。     

基于数据挖掘的入侵检测告警关联分析研究

关联分析技术能够大大减少报警的数量、降低入侵检测误报警率 (false positive)和适当减少入侵检测漏报率 (falsenegative)。所以在入侵检测系统中引入报警关联分析功能具有重要的实际意义。目前入侵检测报警关联分析技术获得了广泛的研究。基于数据挖掘的入侵检测告警关联分析能够自动提取关联规则 ,分析告警并发现新的入侵模式 ,是一种智能性较强的解决方法。本文对基于数据挖掘的入侵检测告警关联分析进行了较详细的研究。     

反应式嵌入式系统形式化性能模型的研究

基于进程代数EACSR-VP和形式化描述语言CPSL，介绍了如何建立和描述反应式嵌入式系统的形式化性能评价模型．该模型通过抽象去掉了实现了细节，是可执行的，利用其可以对不同的设计方案进行定量的性能验证，得到不同系统的性能指标并进行分析和比较，从而使最终的系统实现满足特定性能指标要求．     

基于光流的四旋翼直升机鲁棒自主着陆控制

针对小型四旋翼无人机自主着陆问题,提出了一种基于光流的高度估计方法和基于信号补偿的高度鲁棒控制器设计方法.首先从通用光流运动模型出发,采用奇异值分解方法求解无人机线速度和深度的比值,通过对垂直速度和高度比值积分获得高度数据.其次,将考虑地效影响和其它不确定性的高度通道非线性模型分解为标称线性模型和等效扰动两部分,并设计基于信号补偿的高度鲁棒控制器,该控制器由标称控制器和鲁棒补偿器组成,其中标称控制器使得标称闭环系统达到期望的高度跟踪特性,鲁棒补偿器用于抑制等效扰动的影响.最后从理论上证明了该控制器可以保证高度跟踪误差在有限时间内收敛至指定的原点邻域内.四旋翼无人机自主着陆的实验结果验证了所提出的基于光流的高度估计和鲁棒控制方法的有效性.     

提速车焊接转向架焊缝TIG重熔工艺的研究

1.概述 铁道车辆转向架长期以来一直为铸钢件,但随着铁道高速化的发展,对转向架提出了轻量化的要求。焊接结构构架可以根据需要选用合适的材料,相应地减薄板厚,因此焊接转向架在高速列车中得到了广泛应用。构架作为转向架重要承载传递装置,直接影响到列车的安全行驶,特别在高速运行状态下,强烈的振动和冲击载荷作用在构架上,构架的疲劳性能和可靠性尤为重要。本课题的目的在于研究TIG重熔对焊接接头疲劳性能的影响。 2.TIG重熔试验 TIG重熔,就是将已焊好的接头,用TIG焊不加焊丝的方法使焊趾或焊缝再加热并重新熔化,     

The specification and analysis of network embedded system

This paper proposes a formal method which is used to model and analyze network devices such as touters. It is based on an algebraic process called “ACSR-VP”, which enhances the original CCS algebraic process by incorporating the notions of time, resource requirements, dynamic prioritization, and synchronization. Therefore, although there are many formal methods to analyze the timed concurrency system, ACSR-VP, due to its prominent features, is best fit for analysis of a resource bounded real-time system. This paper extends ACSR-VP to EACSR-VP, which is more adaptive to the features of network devices and specializes in analyzing this kind of embedded system. EACSR-VP adds the notion of n-way communication which allows more than two processes to participate in synchronization. It also enhances value-passing capabilities which make for more flexible specifications. Finally, specifications, verification and analysis methods with EACSR-VP are introduced by a case study of router with multiple input queues.     

基于粗糙集数据挖掘和分类集成学习的网络入侵检测模型

基于多个特征或多个模型的集成（Ensemble）学习技术是智能网络入侵检测的重要研究方向,在现有研究基础上提出基于粗糙集分类、模型分发和攻击归类检测,并加以集成的学习式网络入侵检测模型,该模型不仅能提高网络入侵检测系统检测率,同时还结合了粗糙集能处理不确定信息、生成规则具有高解释性、特征排序在获得检测规则前完成等优点。