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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

设计了煤矸石微波法制聚合氯化铝铁的工艺流程.考虑了微波效率及体系向环境的热传导,通过相关试验,计算得到了煤矸石基聚合氯化铝铁在微波场中的水解聚合能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.     

地区电力系统供电能力评估

随着电力系统规模不断增大、运行特性趋于复杂及用电负荷逐步增长,电力系统供电能力评估研究逐步由较大的省级电力系统延伸到相对较小的地区电力系统。地区电力系统供电能力能够反映该系统的可靠性、供电薄弱环节和与其它地区电力系统间的互联强度,可以在相当程度上据此来判断电力系统结构的优劣。传统的地区电力系统供电能力评估方法在计算时有可能遗漏一些重要的风险状态,如此得到的计算结果可能会有较大的误差。在此背景下,将地区电力系统供电能力计算描述为非线性有约束优化问题。之后,引入了基于支路开断分布因子的N-1预想事故分析方法,并采用差异进化算法来求取地区电力系统最大供电能力。最后,采用广东电力系统的两个实际算例来说明所提出的模型和方法的可行性与有效性。     

新型防老剂NTD－35在农用胎中的应用

新型防老剂ＮＴＤ－３５在农用胎中的应用河北省辛集市橡胶厂要拴印新型防老剂ＮＴＤ—３５，化学名称Ｎ，Ｎ，Ｎ１，Ｎ′－四苯基二胺基甲烷，是目前橡胶行业推广使用的对苯二胺类防老刘。结沟式为：／；＼／ｎ＼＼”八／＼－／＿Ｎ——ＣＨ，一Ｎ＿。／二＼／“＼／ｎ＼...