多线程程序时序分析的隐Markov模型

针对多线程程序数据竞争分析与检测困难的问题,提出一种基于隐Markov 模型的多线程程序时序分析方法.用随机变量不确定性刻画不同线程之间时序上的交互关系,分析数据竞争条件下程序不确定结果的概率分布情况;建立多线程程序时序分析的隐Markov 模型,使用Baum-Welch 和前向算法仿真上下文对程序实际运行状态的影响.实验结果表明,该模型能够快速有效反映多线程执行时序,用于指导多线程程序时序竞争检测过程.     

基于CAN总线的电动汽车能源管理系统

为保证电动汽车电子控制系统间通信的实时性、可靠性和互操作性,提出基于CAN总线的电动汽车能源管理系统;以AT89C52芯片为核心构建了能源管理系统的基本结构框架和总体功能方案;设计了CAN总线多功能集中器及其相应程序,使能源管理系统可以通过CAN/USB转接口和上位机(PC)通信,也可通过CAN总线与运动控制器相互传输数据,实现数据信息共享,并可动态显示能源节点状态;电池电压监控实验验证了能源管理系统的有效性和可行性,FUDS工况和整车实验验证了其稳定性和可靠性.     

基于FPGA的全数字上变频系统设计

介绍一种利用新器件特性实现全数字上变频的方法,包括射频频率范围内从基带信号的插值滤波器的设计、载波信号的产生,到针对射频信号高采样率的并行处理方法以及与数模转换器件的接口设计。与传统模拟方案相比,本设计具有更佳的性能、更低的成本和更好的灵活性,可广泛用于电缆调制解调器系统。     

压力电测系统的静态及准静态校准适用性探讨

火药燃气压力最常用的测试方法为压力电测法.用于火药燃气压力测试的常用电测系统包括应变式、压阻式和压电式3种压力电测系统.为保证压力测试精度,需对压力电测系统进行校准.针对以上3种压力电测系统,对于可获取系统灵敏度的两种校准方法——静态校准和准静态校准,分别阐述了两种校准方法的目的、实现、量值传递,根据3种压力电测系统的不同特点,比较了两种校准方法的适用性,并给出了各种校准方法目前所能达到的不确定度.     

基于uMSD的Web服务组合验证方法研究

手工分析组合服务相当困难和耗时,为此提出了一种基于uMSD的Web服务组合的模型检验方法.如何简单和直观地表示Web服务组合的时态性质是该方法的关键问题.鉴于uMSD在简单性和表达力之间找到了一个平衡点,定义了uMSD的形式语法和语义.以Web服务组合OJA为实例,使用uMSD来图形化地表示组合服务的时态性质,展示了u...     

基于空间网格表面距离的插值曲面

主要讨论基于空间网格表面距离的插值曲面.定义了一种空间网格表面距离,基于空间网格表 面距离,给出了两种定义在空间网格上的插值曲面：基于网格表面距离的径向基函数插值曲 面和基于网格表面距离的Kriging插值曲面,讨论了曲面的无穷阶光滑性,给出了一种计算网 格表面距离的折线跟踪算法.作为整体曲面,此类插值曲面与网格表面形状较为相符,比较适 合于局部插值与参数估计,如梯度、法方向的估计等计算.     

压力传感器准静态“绝对校准”

介绍了传感器准静态校准的意义及落锤动标装置的工作原理 ,阐明了传感器准静态“绝对校准”的定义及方法 ,按照传感器的压力量程 ,设计了相关模型段的重锤———油缸组件 ,根据实验数据建立了各压力段的“绝对校准”模型 ,并通过实验验证了模型的可行性     

南水北调中线沙河梁式渡槽桩基承载力测试

南水北调中线沙河梁式渡槽槽墩基础设计为混凝土灌注桩,设计时采用的桩侧土层犘阻力标准值以及桩端土层承载力允许值均为相关规范及经验取值。为了验证沙河梁式渡槽桩基设计成果,在渡槽工程场区布置了3组试验桩,采用自平衡法检测基桩竖向抗压承载力。经现场检测,3组试桩的单桩竖向抗压承载力平均值均达到设计要求。将试验桩实测成果与前期采用勘测资料计算的成果对比分析,表明该渡槽桩基设计是安全可靠的。     

论汝州市涧山口水库除险加固工程质量控制管理

1水库概况 涧山口水库位于淮河流域沙颍河水系北汝河南支流牛涧河上,坝址位于河南省汝州市温泉镇西2 km的牛涧河下游涧山口村附近。水库始建于1960年6月,大坝控制流域面积171.30 km2,总库容4028.76万m3,是一座以防洪、灌溉为主综合利用的中型水库。防洪标准为50年一遇设计,2000年一遇校核。下游保护区内有温泉镇等约6万多人,焦枝铁路、南洛高速等,防洪位置重要。     

煤矸石基聚合氯化铝铁微波水解聚合过程模型

设计了煤矸石微波法制聚合氯化铝铁的工艺流程.考虑了微波效率及体系向环境的热传导,通过相关试验,计算得到了煤矸石基聚合氯化铝铁在微波场中的水解聚合能E=257.05kJ·mol-1.引入了Ea=E的假设,建立了煤矸石基聚合氯化铝铁微波水解聚合的反应动力学方程.研究表明:320W微波功率下,反应动力学拟合方程的反应级数β=0.140,表观频率因子k0=1.10×10\+-3mol0.860·L-0.860·s-1,模型计算值与试验值拟合良好,相关系数R=0.999 9.在528W及680W两功率水平下过程模型的计算值也均与试验值拟合良好,相关系数均大于0.999 8.