一个关于程序时间性质的验证框架

运行时间是计算机程序的重要性质之一。对于运行时间而言,常用的时间复杂度分析技术基于的是抽象的算法,并非实际程序。而对于实际程序,大多数程序验证技术则不适合验证运行时间。提出一个运行时间的验证框架以解决这个问题,该框架适用于实际代码,而同时和复杂度分析一样,具有编程语言无关性。在对运行时间的性质要求较高的场合下,可以用于提高软件的可靠性。     

如何优化布线系统管理？

随着网络在人们办公及生活的普及,综合布线系统的应用也越来越广泛。然而,根据近年来的行业数据统计,高达70％的网络故障与布线系统有关!与此同时,随着企业的不断发展,网络和布线系统日渐庞大却还是感觉不够用,是什么导致了网络运行效率随着运行时间的增加而日渐低下？     

锅炉过热器/再热器管道热流密度的评估方法

通过建立数值模型进行编程计算,分析了锅炉过热器/再热器管道在不同的管道几何尺寸、烟气温度、蒸汽流量和温度下,各个界面热流密度的变化情况。通过回归分析得到了热流密度与管道内壁侧氧化层厚度和运行时间的关系表达式,即热流密度的评估关系式。     

基于HLA的大数据量数据传输技术研究

在扩展HLA适应性的同时，需要解决在HLA系统中如何实时传输音频、视频等大数据量数据的问题，目的是为了让这些大数据量的数据通信更快、更有效，并找到合适的传输方式，可以采用的一种方法是：将一些表征性数据（如数据的大小、类型、名称等）通过RTI传输，并由RTI控制数据的公布／订购，而数据的实际内容则通过普通的网络层进行传输。实验采用TCP／IP和UDP／IP协议分别实现了这一过程，将数据传输的延时控制在100ms以下，基本上达到了预期的目标。根据实验的结果说明了上述方法是可行的，对系统性能的全面提升起到了一定的作用。     

基本有色金属超级牛市形成的原因分析

从2001年11月8日基本有色金属企稳缓慢上涨,到2003年5月开始加速上涨,基本有色金属步入前所未有的超级牛市,运行时间达5年之久,到目前仍然没有结束的迹象。如金属铜已创LME百年新高。而推动此轮牛市的原因是多方面的,现从几个方面加以分析。全球经济Global economy全球经济的全面复苏与美国经济的加速发展是分不开的。美国为了提振经济,美国联邦储备局通过连续13次降息,从年息6.5%到2001年9月的最后一次降息,降到了年息为1%。使得经济在以后的日子里全面复苏,房地产投资大幅增长,经济增长率恢复到3%以上,直接反映金属消费的芝加哥采购经理…     

雷达式物位测量仪表原理及安装

一、原理及技术特点 1．原理 莱钢现在采用的是VEGA公司生产的脉冲雷达，其通过采用脉冲技术，在不到1ns(10^-9s)中通过天线装置向被测介质发射一束雷达脉冲波。通过扫描脉冲使得微波极短的运行时间可测。每秒钟超过360万个发射脉冲使得回波信号以及物位测量达到精确。     

随机算法异步并行化的效率分析

随机算法的执行时间具有不确定性,这种不确定性为随机算法的异步并行提供了良好的基础,已有许多计算实验表明了随机算法的异步并行可以达到线性甚至超线性的加速.对于求解SAT问题的随机算法RDP,研究了异步并行效率与运行时间分布和处理器数目之间的关系.应用一种单峰分布──分段线性分布模型来模拟随机算法的运行时间分布.理论分析和计算结果均表明:当处理器数目k较小和单峰位于分布的前部时,随机算法的异步并行具有近线性加速.     

Vega环境下HLA实现的几个问题研究

随着HLA中定义的标准和规范成为新一代分布交互式仿真体系结构的标准,HLA在现代仿真中也越来越重要.该文针对HLA在视景仿真软件Vega环境下联邦与实体的创建与加入、实体外观变化、碰撞、交互行为、开火与爆炸行为、DR推进与自定义模型等实现中的几个关键性问题分别进行了论述.     

GW6A刀闸的安装调整

0引言 铜冶220kV 2#母线GW6型隔离开关已运行20余年,由于设备存在设计、材质使用及加工工艺等方面的缺陷和不足,以及加上运行时间长和维护不到位等原因,致使此型刀闸缺陷发生率较大,严重影响了电网及设备的安全运行.因此我班对铜冶220kV变电站220kV各分路2字刀闸进行了改造,由原GW6型改造为GW6A型隔离开关.它对传动机构箱的密封、动静触头的电接触、减少操作功,以及产品可靠性方面做了重要的改进和提高,彻底解决了传动箱内鸟类筑巢,传动部分受雨雪侵蚀,以及消除操作瓷瓶所受的附加弯力矩等方面的问题.     

HLA仿真技术综述

建模与仿真高层体系结构(HLA)已成为电气和电子工程师协会(IEEE)标准。基于HLA所开发的仿真系统中的各成员既可能由现有的仿真系统改造而成，也可能要完全重新开发，而各种模型之间的关系必须体现在各成员的具体实现中。该文围绕基于HLA的系统建模与仿真问题从理论和实践两方面较为详细地介绍了HLA的有关概念、主要内容和基本规范，给出了基于HLA标准编写的鱼雷联邦成员仿真程序的部分代码的框架，并指出基于HLA标准编写的仿真程序是复杂大系统仿真、尤其是武器系统仿真的发展方向。该文对于学习HLA标准有一定的参考价值和指导意义。