时间触发通信网络监护及容错技术研究

时间触发(TT)通信网络能够有效地保证安全关键领域网络数据传输的可靠性和实时性,分析了TT通信网络在安全性方面的监护及容错机制原理,开展了基于时间窗口、语义、流量的网络监护方法设计。基于余度通信的时间同步容错设计和基于执行者/监控者的高完整性容错设计,构建了TT通信网络监护及容错机制验证环境,开展了相关测试验证工作,结果表明在TT通信网络监护和容错方面的分析设计能够有效提升网络运行的安全性。

印染废水的多元多相光催化降解

以印染废水为研究对象,制备了Ti O2-CNTs催化剂,考察了紫外照射协同Ti O2-CNTs催化臭氧技术对印染废水的去除效率,并探讨了初始pH值,臭氧和催化剂投加量对印染废水COD去除效率的影响。结果表明,多元多相光催化降解效率显著高于任何单一催化或单一氧化的降解效率,反应的最佳pH值为6,COD去除效率随臭氧和催化剂投加量的增加而增大,但增大到一定量后,去除效率增加不明显。催化剂循环使用3次依然保持较好的稳定性。

AFDX网络配置驱动的PCI总线远程数据采集器设计

针对先进飞机的航电系统架构,文章提出一种基于PCI总线的模块化远程数据采集器设计,以AFDX网络为主干网络,配置了ARINC825总线、ARINC429总线、多路传感器和作动器I/O接口,从多接口、配置引脚和配置驱动3个方面进行了软硬件设计及实现,保证了远程数据采集器的可靠性、灵活性和可维护性,并通过试验,对文章设计的远程数据采集器的功能指标和时延参数进行了测试,测试结果表明,文章提出的设计,能够满足远程数据采集器功能需求,并具备转换时延小的特点。

一种集成化多接口航电网络测试平台设计与实现

针对目前先进飞机的航电网络架构,分析其测试平台的特点和应具有的基本功能,设计了一种集成化、多接口、可动态配置的航电网络测试平台,支持对航电网络各种类型数据接口的通信测试、航电系统的模拟仿真及系统测试验证,通过零活的管脚编程实现了测试用例和测试配置的动态选择,设计并实现了测试平台硬件及上位机测试软件,并在航电网络测试工程实践中取得良好应用。

嵌入式VxWorks下基于PCI总线的USB接口主机端设计

分析了USB主机端的层次结构,采用PowerPC8270处理器设计了一种基于PCI总线的USB主机端设备,简化了主处理器与USB控制器的交互。在VxWorks操作系统下进行了USB主机端驱动的设计和实现,并通过试验对USB主机端的功能和读写速率性能参数进行了测试验证。测试表明,能够稳定地支持对USB接口存储外设的读写访问。

时间触发通信总线安全性技术研究

针对安全关键系统的时间触发通信需求,分析了时间触发通信总线的安全性机制,从分布式通信架构、时间域的总线监护、总线重构、物理层隔离等方面开展了时间触发通信的安全性设计,并构建了时间触发通信总线安全性验证平台及环境,开展了针对总线通信安全性的测试验证工作。验证结果表明,在时间触发通信总线安全性方面的分析及设计能够有效提升总线数据传输的安全性,为时间触发通信总线的系统应用提供安全保证。

IMA平台远程数据接口单元配置工具设计

可配置性是IMA平台远程数据接口单元的核心属性之一。针对该核心属性,分析了RDIU配置驱动的需求及配置驱动的实现方式,开展了配置工具的设计,提出了IMA平台RDIU配置流程及基于数据集的RDIU配置定义及数据转换方法,给出了主要参数设计,研制了RDIU配置工具并开展了测试验证工作,验证结果表明,工具能够有效支持不同类型通信接口、通信协议、数据集、转换规则的定义,支持配置驱动的RDIU功能实现。

臭氧催化技术在养猪废水处理中的应用研究

采用臭氧催化剂联合处理养猪场废水,通过试验得到最佳工艺参数。在最佳试验条件下,进水COD为9500 mg/L,氨氮为1488 mg/L,经处理后出水COD平均去除率为96.1%,氨氮去除率为95%,各项主要指标可达GB18596-2001畜禽业养殖污染物排放标准。

臭氧催化体系中沸石分解臭氧的研究

考察了沸石对水中臭氧的催化分解能力,实验研究了各个反应条件(沸石性能、反应pH值、温度)对沸石催化臭氧能力的影响,实验发现:沸石的存在能显著促进水中臭氧的分解,并能催化臭氧产生成羟基自由基;沸石进行盐酸改性能提高臭氧的分解速率,且随着盐酸的浓度升高而提高,主要归因于其比表面积的增大;随着pH值升高,沸石催化臭氧的能力也随之提高,但是当Ph和沸石本身的pHpzc时,沸石催化臭氧的效率最高。温度的提高也能促进沸石催化臭氧的能力。

时间触发通信总线监控技术研究

TTP总线技术是面向机载分布式安全关键系统的主要总线技术之一。针对TTP总线数据的实时监控和分析需求,提出了面向总线消息且不依赖于特定总线配置的异步总线监控方法,给出了TTP总线监控节点及监控软件设计,达到了对时间触发通信总线数据的实时监控效果。构建验证环境开展了总线监控的测试工作,结果表明,监控节点能够实现对最高5 Mb/s速率数据的实时监控分析,能够有效支撑对TTP总线系统的数据的分析验证。

市政工程技术专业实践教学改革探索和研究

据《麦克斯报告》分析指出，市政专业毕业生对在校期间的课程满意度调查发现，实践教学的满意度要远低于课堂教学。而高职的市政工程专业是实践性很强的一个专业，对实践教学模式的探讨一直是市政专业教育工作者关注的焦点。

介孔TiO2催化臭氧氧化去除废水中氯酚的研究

以市场P25为前驱体用水热法制备出TiO2介孔材料,催化剂的表征采用透射电子显微镜、比表面分析仪以及X射线衍射技术,通过表征结果发现介孔TiO2的形貌、晶相比例受反应水热温度及煅烧温度控制,且随着两者温度的升高,介孔TiO2的比表面积及孔径会逐渐减小,晶相由锐钛矿逐渐转向金红石相。用制备的介孔TiO2催化材料联合臭氧降解2,4,6-三氯酚水溶液来评价TiO2介孔纳米材料臭氧催化性能,研究结果表明:介孔TiO2协同臭氧降解的2,4,6-三氯酚的效率较单独臭氧及市场P25都有明显的改善,且TiO2纳米管协同臭氧降解氯酚效率最高,另外,TiO2催化剂中金红石相越多,其臭氧催化性能越好。

认知增强型无线传感器节点设计

为了提高无线传感器节点及其网络的吞吐量和频谱利用率,从节点设计的角度,引入认知方法增强节点的频谱感知能力,设计了基于低功耗高速率处理器的多射频接口认知增强无线传感器节点.节点采用STR911系列的ARM9微处理器,具有4个射频接口,覆盖了ISM频段和ZigBee频段.实验结果表明,相比基于Atmega128处理器的节点,该节点具有更强的认知能力,吞吐量提高了68.41%,平均信道感知时延缩短了1.4782ms;相比于CSMA/CA方法,通信时延缩短了11.86%,链路层控制方案能够有效避免干扰对节点间通信的影响.

航空发动机机匣数控加工变形控制方法

机匣加工变形控制涉及到加工过程中的各个环节以及彼此之间的相互影响。本文基于有限元仿真分析，提出了一种机匣类零件数控加工变形控制方法，最终通过加工实验验证了变形控制方案的有效性。

时间触发总线时钟同步技术研究

时间触发协议(TTP)总线,或称时间触发总线,是一种用于安全关键实时控制系统的总线,采用基于全局时间基的时间触发通信机制。针对时钟同步高精度、容错的要求,研究了时间触发总线时钟同步算法,在OMNe T++仿真环境下建立了节点机模型和时钟同步算法模型,构建了时间触发总线系统模型,对时钟同步算法进行仿真,验证了同步算法。在同步周期足够的情况下,可以达到1μs以内的同步精度。

紫外-臭氧联合矿化水溶液中的活性蓝19染料

采用紫外-臭氧联合(UV/O3)技术矿化活性蓝19染料(RB19)模拟废水,考察了溶液pH值、染料初始浓度、臭氧投量以及温度对RB19溶液TOC去除率的影响.实验结果表明:当pH=4.0,初始质量浓度为100 mg/L,臭氧投量为3.9 g/(L.h),温度控制在30℃时,反应30 min后溶液TOC的去除率达90%以上,表明紫外臭氧联用技术对降解RB19模拟废水效果显著.根据不同实验时间所取样的紫外-可见吸收光谱扫描图以及离子色谱(IC)的检测结果,发现RB19的矿化过程中会产生含苯环、萘环、蒽环的中间产物以及有机酸类中间产物(甲酸,乙酸,草酸,顺丁烯二酸,SO42-,NO2-和NO3-),从而推断出UV/O3降解RB19的可能途径.

时间触发总线验证技术研究

TTP协议定义了一种高确定性,无冲突,高安全的通信总线,能够满足包括飞行控制等的安全关键实时控制系统的应用要求;时间触发总线验证技术根据TTP协议规范要求,针对研制的节点进行测试,包括基本通信测试、时钟同步、故障注入等不同的测试场景,充分验证被测节点的各项功能、性能;通过这些测试,表明被测节点各项指标都满足研制需求,可用于安全关键实时控制系统。

航空发动机机匣数控加工关键技术研究

机匣作为航空发动机的关键部件,由于形状结构复杂,材料加工难度大,加工质量很难保证。通过分析机匣的结构特点和加工制造的技术难点,提出了一套多轴数控加工工艺的方法,有效解决了航空机匣加工质量与效率问题。该工艺方法对航空类薄壁件零件的数控加工也有一定借鉴作用和推广价值。

航空发动机薄壁件铣削加工动力学研究进展

铣削过程中引起的加工变形和切削振动是影响航空发动机薄壁件加工精度与质量的主要因素,通过分析加工过程中工件的动态响应特性,从切削动力学角度,基于知识型数控加工过程仿真成为航空发动机薄壁件颤振抑制的一种灵活通用的物理仿真方法。目前,关于航空发动机薄壁件的动力学物理仿真研究主要包括航空发动机薄壁件铣削力建模与试验方法研究、铣削动力学建模和铣削动力学模型仿真与工艺参数优化。

形式化方法在机载网络开发中的应用研究

机载网络是指用于机载系统或者设备之间通信的计算机网络,通常有确定性、完整性、安保性等方面的要求。形式化方法因其具有严格的数学基础,可以支持机载网络部分特性的验证,为机载网络技术研究和产品研制提供有效的支撑。结合机载网络的特点,分析总结形式化方法在机载网络协议验证、机载网络应用验证、机载网络确定性分析等过程中的应用。