数字仿真器中时间校验方法的改进

针对事件驱动仿真器检测时间延迟的困难,提出时间校验网络来检测时间延迟,论述时间校验的几种方法及在时间校验中的几个问题。     

T细胞受体激活过程模拟

对免疫系统T细胞受体结合外源多肽段后诱导的一系列受体磷酸化反应过程进行了系统的理论模拟。T细胞受体对于不同外源分子产生敏感而特异的反应, 可以由动力学校验模型进行解释。拓展了早期的动力学校验模型, 放宽和改进了原有模型对去磷酸化速率和以固定顺序进行受体磷酸化这两方面的假设, 得到了更一般的反应网络模型, 从数学模拟角度很好的满足和解释了生理上T细胞所表现出的对外源分子识别的敏感性、特异性和激活时间短等重要性质。     

在“大运行”体系下利用EXCEL/VBA深化OPEN3000的应用

本文结合笔者在OPEN3000的应用过程中的一些经验,采用EXCEL/VBA工具对OPEN3000的数据进行挖掘和分析,提出了几种OPEN3000在"大运行"模式下的深化应用方法,在监控信号分析、二次设备时间同步校验、电网数据校验等方面进行深化应用,提高自动化主站系统的应用水平。     

海明校验的实现原理与方法

对如何掌握海明校验的实现原理和处理海明校验的基本方法归纳几点进行阐述,并通过基本的海明译码电路及实例加深理解海明校验的全过程。     

安全监测系统校验周期数学模型

在一系列假设的基础上，给出了安全监测系统单位时间内校验次数的泛函，用变分法求泛函极值，得出校验费和损失费最小的校验周期学模型，在校验费和损失费一定的情况下，当故障（泄漏）率较高时，校验周期应短些，反之则长些，根据安全监测系统和易燃易爆重大危险源常见的无故障工作时间的分布类型，给出了与之相应的校验周期数学模型的具体形式，计算实例说明，本模型是合理的，它对校验周期的确定具有一定的理论和实际意义。     

煤化工在用安全阀的选用、维修与校验

该文介绍了煤化工系统安全阀在选用、维修及校验过程中应注意的几个问题,以及在安全阀校验时的注意事项.     

待发表文章摘要预报

待发表文章摘要预报安全监测系统校验周期数学模型许开立陈宝智张玉凡在一系列假设的基础上，给出了安全监测系统单位时间内校验次数的泛函，用变分法求泛函极值，得出了校验费和损失费最小的校验周期数学模型．在校验费和损失费一定的情况下，当故障（泄漏）率较高时，校...     

电能表校验中遇到的问题及解决方法

随着我国经济的飞速发展,对电能的消耗也越来越大,而对电能表进行准确校验不仅能够保障电力系统设备正常运行,同时也能够杜绝窃电等事故。总结了一些在电能表校验中可能遇到的几个问题及解决方法,并对电能表校验的工作监管制度提出一些思考建议。     

8098单片机在断路器瞬时校验中的应用

本文介绍了8098单片机在断路器瞬时校验中的应用,作者利用单片机的功能特点,实现了选相合闸和瞬时校验峰值电流及动作时间的精确测量,使测控仪集控制、测量、自动补偿.显示和打印功能于一身.     

一组完整性校验算法及其效率分析

完整性校验算法在检查系统完整性上扮演着重要角色.本文详细讨论几种完整性校验算法:MD5、RIPEMD-128、RIPEMD-160.结合实际测试,分析了它们的执行效率和算法的优缺点.最后得出结论--RIPEMD160应是一种现在和将来一段时问内的首选算法.     

支持AFTER子句的综合算法研究

为了提高综合系统的效率,减少对综合系统的人工干预,提高其自动化程度,对VHDL硬件描述语言中的AFTER子句进行研究.通过对其行为综合语义的定义,给出了在AFTER子句时延约束下的ASAP和ALAP算法,建立了AFTER子句时延约束下的调度模型,并采用整数线性规划法求解调度模型.实验结果表明,在综合过程中考虑AFTER子句,不仅提供了一个有效给出时序约束的手段,而且使得设计描述方式更能够符合思维习惯,同时扩大了行为描述中可用语法范围,提高了行为综合的可预见性.     

无人飞行器延时航迹规划方法

编队飞行中无人飞行器由于战场态势改变等原因常常需要延迟打击目标。在定高飞行模式下,提出了基于分层规划的延时航迹规划方法,首先基于最小风险值选择最佳延时机动区域,然后采用基于解析法的延时航迹规划算法,生成满足延迟时间和飞行约束条件要求的延时机动航迹。通过分析计算各个航迹段附近区域的风险值,确定了无人飞行器延时机动的安全飞行区域;基于解析法提出徘徊延时航迹的规划算法,并用该算法生成满足飞抵时间延迟量要求的延时航迹。仿真结果显示,徘徊延时航迹规划算法能够高效准确地规划出需要的延时航迹,规划总时间在规定的时间范围内,较好地满足了无人飞行器需要延时飞行的时间要求。     

GPS精密授时系统的研制

介绍了全球定位系统（ＧＰＳ）中授时原理和时间的解算方法,分析了基于ＧＰＳ时间精密授时系统的结构和实现技术,讨论了系统时间延迟和影响时间精度的主要因素及解决措施．     

逻辑综合中关键门的寻找

关键路径一直是电路性能优化的核心问题之一，门的尺寸调整和插入缓冲器是时间优化的重要方法。实际上，电路拓扑图中最长的路径不一定就是关键路径，只有在一定输入下能敏化的最长路径才是关键路径，因此，仅仅按拓扑信息优化最长的路径不一定能真正提高电路的性能，此外，仅仅利用D－算法判断路长敏化有不足之处，本文利用电路拓扑找出超出时间限制的路径，然后利用改进的FAN算法－T－FAN算法，提取关键门－即和电路整体延时有关系的门，为优化指出具体、准确的目标，实验表明，改进的算法在保证优化效果的前提下，能平均减少30％－40％优化对象。     

一种有效的性能驱动布图算法

提出了一种有效的性能驱动布局和布线算法。算法自始至终考虑互连线延时对芯片时间性能的影响，以优化芯片时间性能为主要布图目标，并兼顾布线均匀和连线总长最短。算法利用选定的单元、互连线延时计算模型以及关键路径识别算法对整个芯片进行动态的延时分析，并由此得出线网（亦称互连线）权重信息以指导迭代改善布局和布线，达到优化芯片时间性能的目的。运行实例表明本算法是正确、有效的。     

基于等分节点法的时延驱动布局算法

提出了一个新的基于等分节点法的时延驱动布局算法．该算法基于对电路时延图的拓扑结构分析,将优化关键路径时延的问题转换成优化关键路径上单元位置的问题,通过建立优化位置单元的队列链表,采用一种新的等分节点法有效地寻找路径上单元的目标位置,从而优化路径上的线网长度,最终达到优化最长路径时延的目的．另外,启发式迭代优化方法很好地统一了以线长优化和路径时延优化为目标的布局算法．对MCNC标准单元测试电路中组合和时序电路的实验结果显示,电路经过时延驱动优化布局后的最大路径时延最多减少了31%．     

基于博弈论的信号配时方法研究

针对信号控制的交叉口,存在高饱和度的相位,且相位间饱和度不同的情况,提出了一种基于博弈论的信号配时方法,实时缓解了高饱和度进口车道的拥堵,降低了进口道延误。对于不同饱和度下的车道,通过解析流量与信号配时的博弈关系,建立了基于博弈论的信号配时模型,设定了新配时方案的迭代步骤以及相关参数的标定。通过算例分析出现状信号配时的效果以及现状车流的需求,饱和度较低的相位博弈分配到的有效绿灯时间降低,进口车道延误上升7.23%;而饱和度较高的相位博弈分配到的有效绿灯时间增加,进口车道延误降低了5.91%;该进口道的总延误降低1.03%,优于原来的信号配时方案     

行为延时约束下调度算法研究

为了自动综合设计迭代产生的行为时序,提高综合前后设计时序的一致性,对VHDL同步延时语句的高级综合方法进行研究.将延时转化为适当约束,提出相应调度模型及调度算法,采用启发式方法使解空间搜索算法跳出局部最优,该算法可以在多项式时间复杂度下得到近似最优解.实验结果表明,该算法能有效综合同步延时语句,使综合前后设计时序达到较好一致,提供了一种便于给出延时约束的手段,减少了综合过程的人工干预,提高了设计效率.     

动态路线行程时间研究

路段出行时间函数或路线行程时间函数在交通工程中已得到广泛应用,但现有模型在动态交通分配的实际应用中存在着不少问题。本文针对连续和间断两种不同交通流形式,借助于Ｇｒｅｅｎｓｈｉｅｌｄｓ模型和排队延误原理,建立了适用于动态交通分配的显式的动态路段出行时间函数表达式,从而进一步获得动态路线行程时间函数,为动态分配提供了一个重要的输入函数。