摘要：以高等级公路施工机群管理为背景,研究和开发了智能化公路工程机械机群管理系统,描述了系统的体系结构设计,组成系统的各级中心站的设计以及功能,以及监控系统的核心功能,包括资源配置功能、监控调度功能及故障诊断功能等.本文所描述的系统是计算机智能化信息采集及控制在一个新的行业领域的应用,并针对问题的特殊性,设计并实现了实时监控及动态优化调度的功能和算法.

摘要：采用0.35μm CMOS工艺设计并实现了单片集成光接收机电路.该芯片能将光电检测器检测到的速率为2.5Gb/s的信号进行放大,进行时钟恢复、数据判决,并通过一到四路分接输出四路速率为622Mb/s的信号.恢复出的经过四分频的时钟抖动以及最后分接输出的四路数据抖动的均方值分别为1.9ps和13ps.芯片在标准的5V电源电压下,功耗为2.05W,整个芯片面积为1600μm×870μm.

摘要：以节点延时为状态研究路由问题是网络路由研究的一个方向,这类问题的研究过程经常假设节点状态是独立的.这一假设为以延时为约束条件的路由问题,特别是以节点延时的概率密度函数为状态信息的QoS路由问题提供了一种较为实际的处理手段.探讨了在节点个数有限的自治域网络(简称有限自治域网络)中,各节点状态具有独立性这一假设的合理性,并通过网络仿真对其合理性进行了验证.在仿真过程中,实际测量了网络中60条链路延时和15条路径延时的概率密度函数.然后,基于独立性假设,用相应链路延时概率密度函数的卷积计算这15条路径延时的概率密度函数.最后,通过方向散度的计算以及均值、方差和丢包率的比较,验证了上述两组路径延时概率密度函数之间的相似性.仿真和分析结果表明,在有限自治域网络中,节点状态独立的假设是合理的,基于这一假设计算得到的路径参数与实际情况十分接近,可以作为路由选择的依据.

摘要：静态优先级调度在实际应用中经常受到系统支持的优先级个数的影响,当任务个数多于系统优先级个数时,需要将几个任务优先级映射成一个系统优先级.这可能引起优先级映射问题,使映射前可调度的系统(任务集合)在映射后变得不可调度.解决这一问题需要减少时间复杂度的映射算法和判定映射后任务可调度性的充分必要条件主要存在3种映射算法:(1)按照任务优先级递减顺序进行映射的DPA(decreasingpriorityassignment)算法;(2)按照优先级递增顺序进行映射的IPA(Increasingpriorityassignment)算法;(3)阈值段间映射法(thresholdsegmentmapping,简称TSM).描述了3种算法的实现和判定条件,论述并证明了算法特性,分析并通过仿真实验比较了算法的性能,最后总结了3种算法各自的适用场合.比较结果和结论对实时嵌入式系统的设计和实现具有一定的参考价值.

摘要：针对导航领域对星相机的性能要求,通过在星相机中应用新型的电子倍增CCD(EMCCD),设计一种探测能力强、数据更新快的成像系统。说明了EMCCD工作原理,分析了EMCCD信噪比,介绍了基于TC285电子倍增CCD的星相机的设计方案,给出了CCD驱动电路、视频信号处理电路以及时序控制器的设计。用模拟拍星实验和实际拍星实验验证了所设计的相机的性能,同时对相机的应用进行了初步分析。通过分析实验图像的信噪比说明了设计的星相机具备在积分时间8ms以内探测6等星的能力,且其图像数据更新频率可达10frame/s,满足用短积分时间进行快速星光成像的要求。

摘要：磷旨酶A2(PLA2)在很多人类疾病的病理研究中起重要作用,是药物化学研究的热点之一.因此,发展新型的PLA2抑制剂对生物有机研究和临床应用均有重要意义.我们设计合成分泌型PLA2的非底物类似物以寻找新型PLA2抑制剂本.文基于结构设计并合成了喹啉-4-乙酰胺作为PLA2抑制剂,目标化合物结构经1H NMR,IR,MS和元素分析确认。

摘要：单个器件输出功率不满足系统要求时,功率合成技术是提高系统输出功率的有效方法.本文详细研究了基于薄膜电阻的波导E-T结功率分配/合成器,最终设计了一种新型的基于薄膜电阻的波导E-T结.该结构具有高隔离度、低插入损耗、小体积、宽频带等优点.通过合理设计薄膜电阻的长宽比,尽量增大薄膜电阻的面积,并且采用高导热的氮化铝陶瓷基板作为微带和薄膜电阻的介质基板,提高了基于薄膜电阻的波导E-T结承受的功率.利用三维电磁场仿真软件HFSS对其进行了建模仿真,加工的实物经过测试在25~34 GHz插入损耗小于0.2 d B,回波损耗优于-15 d B,隔离度优于10 d B.经对比,实测结果与仿真结果吻合,具有较好的工程应用价值.

摘要：依据燃料元件循环系统设计安全限值，利用气力输送理论，使用反应堆运行工况下参数，对燃料元件输送速度进行了分析，并采用声强分析方法进行了实际输送速度的测量。结果表明，燃料元件通过弯管时最大速度不大于7．36m／s，对垂直钢表面最大撞击速度不大于1．08m／s，均符合设计安全限值的规定。

摘要：传统方法无法在RTL验证阶段全面验证SoC系统芯片中的跨时钟域设计.为解决此问题,本文首先提出描述亚稳态现象的等价电路实现,用以在RTL验证中准确体现亚稳态现象的实际影响;然后使用线性时序逻辑对跨时钟域设计进行设计规范的描述;为缓解模型检验的空间爆炸问题,进一步针对跨时钟域设计的特点提出基于输入信号的迁移关系分组策略和基于数学归纳的优化策略.实验结果表明本文提出的方法不仅可以在RTL验证阶段有效地发现跨时钟域设计的功能错误,而且可以使验证时间随实验用例中寄存器数量的递增趋势从近似指数级增长减小到近似多项式级增长.

摘要：对跨时钟域设计进行功能验证是SoC验证中的难点问题.传统的面向跨时钟域设计的模型检验方法并没有充分考虑电路特性描述的完整性问题,然而制订完整的电路特性是模型检验有效性的基础,不全面的电路特性描述将可能隐藏设计错误.为生成完整的描述跨时钟域设计的电路特性,本文首先提出基于有限状态自动机的电路特性生成方法;然后为缓解状态空间爆炸问题,提出基于亚稳态的数值化简策略.通过对两个典型的跨时钟域设计进行实验的结果表明,采用本文方法不仅能够达到100%的电路特性覆盖率,而且可以发现被传统方法隐藏的功能错误.同时模型检验的时间代价也能够得到大幅度降低.