摘要：光差分四相移键控(DQPSK)信号解调技术是相位调制光纤通信系统中的关键技术,本文利用钒酸钇(YVO4)晶体设计制作了2 bit延迟干涉仪(DI)作为DQPSK解调器。相对于传统的基于光纤结构的DI,用晶体材料制作的DI具有温度稳定性高的特点,其作为光DQPSK解调技术中的关键器件,具有广泛的应用前景。实验搭建了20 Gb/s光NRZ-DQPSK背靠背实验系统,并利用自主设计制作的DI成功实现了NRZ-DQPSK信号解调。实验结果与计算机仿真计算结果一致。

摘要：生产调度优化对于炼油企业提高经济效益、增强市场响应速度有着重要的作用。本文设计并开发出一款图形化炼厂生产调度优化软件,采用MVC架构技术,实现了调度优化建模的图形化,可以方便组态炼油厂调度模型;将开源优化代码Coin-OR移植为调度优化软件的求解器,实现了求解器与图形化建模接口的连接;丰富的报表输出,让现场操作工可以各种形式获得调度优化结果;完善的内部模型数据管理和丰富的外部数据接口,包括原油性质指标库和原油评价数据库接口、成品油性质指标库等。仿真结果表明,该软件能够优化出符合炼厂生产实际的调度优化排产方案。

摘要：故障注入技术是评价系统可靠性的有效方法。现有基于仿真的故障注入平台大多基于现场可编程门阵列或超高速集成电路硬件描述语言实现,对故障模型的支持非常有限。为此,基于Simics结构级模拟器,设计并实现系统级硬件故障注入平台。该平台上层支持不同固件、操作系统以及应用程序,底层支持对处理器典型流水部件的故障注入,同时实现瞬时故障、永久故障和间歇故障模型以及其他较全面的故障类型,并将一组系统级故障检测机制集成入平台中。实验通过监测硬件故障在系统级的传播,对比分析了故障对不同部件造成的系统级影响,结果表明,瞬时故障对系统影响较小,永久故障容易引起系统失效,间歇故障对各部件有不同程度的干扰作用。

摘要：提出一种基于车载无线通信模块的交通流监测原型系统,该系统将行驶中载有无线通信模块的车辆视为移动检测节点,以很小的代价实现对交通信息的获取。在此基础上提出一个具体应用:利用基站对道路上载有通信模块车辆的检测,结合设计的基于结果反馈的自适应Kalman滤波算法,及时准确地完成对路段上交通流量的检测。此外,还基于元胞自动机理论搭建了仿真平台,并验证了算法的有效性。

摘要：互联网域间路由可扩展性问题是下一代互联网体系结构设计必须首先解决的关键问题之一.通过引入路由信息熵的概念,深入阐述Internet路由可扩展性问题的内在本质,并基于这一理论模型,分别从3个方面归纳解决路由可扩展性问题的3种可行思路.重点讨论了这3种思路应用于互联网路由系统的出发点和局限性.并就典型的具体提案从体系结构的角度进行了分析评价.最后总结路由可扩展性问题的挑战性,并展望了未来可扩展路由的研究发展方向.

摘要：针对由于磁盘I/O的性能瓶颈,基于磁盘的分布式文件系统无法为海量小文件存储提供高数据吞吐率和低访问延迟这一问题,设计并实现了一个基于虚拟内存的分布式文件系统——CarrierFS,它将数据存储于虚拟内存中,利用磁盘备份数据.在实现元数据和数据可扩展存储的基础上,CarrierFS设计了监管者模块来保证系统的可靠性.对CarrierFS和HDFS进行了性能测试,实验结果表明,CarrierFS对大文件和小文件的读写速度都具有明显的性能优势.当文件大小为256 Mbyte时,CarrierFS的写入速度大约是HDFS的1.30倍,读取速度大约是HDFS的1.95倍.当文件大小为32 Kbyte时,CarrierFS的写入速度大约是HDFS的3.0倍,读取速度大约是HDFS的3.4倍.

摘要：无线传感器网络(Wireless sensor network,WSN)是一个资源受限的网络系统.已提出了多种调度方法来提高网络性能.本文归纳了WSN分布式调度方法的设计原则和分类方法,并按调度对象对调度方法进行了分类讨论.详细论述了一些典型调度方法的内在机理,分析了每一类调度方法的特点.对这些调度方法的设计目标和性能特点进行了对比.最后总结了WSN分布式调度方法的研究现状,提出了该领域今后发展需要关注的重要因素.

摘要：提出了一种基于朗伯型反射面的LED间接照明系统,即LED光源出射的光全部通过朗伯型反射面反射后再照射目标区域,该系统具有光源亮度均匀、灯具效率高等优点,很好地解决了高亮度LED点光源给室内照明带来的眩光问题。首先提出了一种能够很好逼近朗伯反射面的复合型微结构表面,并通过Lighttools光学仿真对其分布参数进行了优化,使最终结果在不同光线入射角的情况下,都具有较理想的余弦反射特性。在此基础上,设计了整体光学系统,使其实现了近180°范围的角度亮度的均匀性和高达84.7%的灯具效率,验证了间接照明方法的可行性。

摘要：提出一种基于频率抽取算法的3780点IFFT处理器的设计方法。该处理器采用流水线结构,实现分级的频率抽取算法IFFT,同时根据频域交织,实现输入输出之间位置倒序。软硬件仿真表明该处理器具有节省交织模块、易于扩展和模块可复用等特点,适用于符合国家标准要求的调制与解调系统。

摘要：随着嵌入式软件规模、复杂度的持续增长,基于构件的设计技术已在大规模嵌入式系统开发中得到广泛应用.嵌入式构件测试是保证构件质量以及构件间集成构造的重要手段.基于模型的测试是嵌入式软件测试的重要方法,通过基础模型描述系统预期的行为特性,以提供用例生成的基础.文中针对嵌入式软件构件,提出建立构件扩展语义接口自动机模型(Extended Semantic Interface Automata,ESIA),通过对接口自动机模型进行变量、约束条件等扩展,支持构件行为特性的描述与理解.以ESIA为基础模型,提出了基于符号执行的ESIA-Symbolic测试用例生成方法,通过搜索有效的事件/数据序列,设计相关测试用例与测试场景.实验以高速列车车载通信系统软件为例进行建模与测试生成,并在测试覆盖率、效率、有效性等方面与相关测试生成方法进行了对比.