分布式资源共享系统的进展性设计

无饥饿性和活性是系统进展性的典型问题，基于不变式理论，针对一类Petri网，提出了分布式资源共享系统强制公平性和活性的方法。首先，基于T-不变式，把系统的网模型设计为一个公平网。此后，利用P-不变式把一个公平的网模型设计为一个活且公平网，以著名哲学家就餐问题为例，说明了这种方法的应用。     

基于UML建模的软件测试技术初探

在研究了UML建模各种模型特点和内容的基础上,分析了各类模型与各阶段测试的关系,从而指导测试个案完整、便捷的生成。最后介绍了基于UML的软件自动测试技术。     

国内固定长途业务市场情况分析

1998年以前,我国国内固定长途业务市场基本由中国电信垄断,国家对邮电部实行了一系列的倾斜与优惠政策,“三个倒一九”、“初装费政策”,在八五期间得到了充分的体现与利用。但是,在垄断市场结构下,通信服务不能全面满足社会需求,主要表现为服务价格高,服务质量不尽人意,社会各界怨言较大。随着电信改革的深入发展,1999年以后我国的固定长途业务市场格局开始发生变化。2000年4月初中国联通的193长途正式开通,随后,中国联通、中国网通、中国吉通、中国铁通、中国卫星通信集团公司、中国移动的IP电话业务迅速进入长途市场。以北京地区为例,拥有长途业务经营权的电信企业共     

建筑工程项目分包管理浅析

论述了建筑市场专业化分包体系形成的必然性、建筑企业专业化的发展趋势，提出了现阶段我国建筑工程分包管理中一些行之有效的具体方法，并对未来建筑工程项目分包管理的发展做出了展望。     

镍钛合金血管支架性能研究综述

镍钛形状记忆合金因其优良的力学和生物性能在生物医学方面得到广泛应用。国内外从事镍钛合金血管支架研究的研究者针对镍钛合金支架的径向支撑力、生物相容性和疲劳性能进行了大量的研究,经多年来研究证明该种支架各项性能均优于其他类型支架,是一种非常有前景的医疗器械。随着计算机模拟技术的发展,对镍钛合金血管支架的有限元分析和血流动力学模拟越来越多,既验证了支架设计的安全有效性,又对支架的设计起到了积极的辅助作用。     

基于控制律重组的双级滑阀真空泵故障诊断算法研究

为提高双级滑阀真空泵工作可靠性,针对双级滑阀式机械真空泵在实际生产过程中可能出现的故障现象,引入控制律重组和PARD-BP神经网络故障诊断算法,以2H-150型双级滑阀真空泵振动故障样本采集数据作为输入,以故障模式矩阵作为目标输出,对PARD-BP算法所得数据进行训练优化;再提出动态数据信息提取概念,进行其动态信息收集提取,采用目前广泛应用的Poly-Max模态参数识别方法进行结果验证,结果表明真空泵X、Y和Z方向上最大的峰值分别下降了31.93%,21.54%和19.37%,证实滑阀真空泵的故障诊断方法具有可靠性。     

RYL－200真空热压炉的设计和应用

简要介绍ＲＹＬ－２００真空热压炉的工作特点、性能指标，炉体、热场的结构特点及加热体的设计方法。     

基于RCM的港口机械关键设备的维修思路探索

随着我国经济的飞速发展以及社会主义现代化建设的不断完善,港口企业已经成为了我国经济建设的重要组成部分,是国家经济的主要来源。现如今,世界市场逐步开放,尤其是我国加入WTO组织以后,社会竞争日渐激烈。在这样的大背景下,保证港口机械设备的平稳安全运行,已经成为了港口竞争的重要内容。本文就根据我国港口机械运行的总体情况,简单阐述一下RCM可靠性理论下机械关键设备出现的问题,并提出行之有效的办法进行维修,从而保证港口机械的顺利工作,为实现经济增长奠定坚实的基础。     

改进的卡尔曼滤波法在单频周跳探测中的应用

周跳是全球定位系统高精度载波相位测量需要重点解决的一个问题。介绍了离散系统Kalman滤波的基本原理及滤波公式,并采用自回归AR(p)模型建立状态方程和观测方程,求取观测向量和状态向量,简化了观测方程和状态方程的建立过程。将建立的改进Kalman滤波模型应用在单频周跳探测中,采用实测非差数据在不同历元加入模拟周跳,实验结果显示噪声波动范围很小,能够有效探测出5周以上的周跳,证明模型的建立是合理的。从而为单频周跳探测提供了一种新的思路和方法。