论文部分内容阅读
Verifying Stacks and Queues Using Symbolic Simulation Techniques
【出 处】
：
湖南大学学报：自然科学版
【发表日期】
：
2000年S2期
其他文献
发动机的瞬态数据分析往往需要很大的数据量 ,这对发动机燃烧数据采集系统的性能提出了新的要求。本文讨论如何在通用 PC机上开发一种适应瞬态数据分析要求的燃烧数据采集系
近日，意大利VM公司与华泰汽车合作开发的清洁型乘用车柴油发动机已经通过性能检测，将在华泰内蒙古生产基地投产，首批计划年产30万台，到2012年实现全部100万台产能。
高位运行的油价和消费者环保意识的提高，让混合动力车在西欧和北美风靡一时。但是很多俄罗斯人似乎并不担心这些．他们更喜欢动力强劲、舒适宽敞的大型车。
日前，在中国交通运输协会、中国汽车工程学会、新华社经济参考报联合主办的2005中国物流运输车辆年度评测活动中，陕汽德龙SX4254NS294车型荣获2005年度最佳客户满意度重卡奖。
用传统方法设计圆筒形零件拉深模时，很多参数和系数的确定均采用试凑法。本文介绍了如何把上述试凑法不转换为一个计算机应用程序，以及如何利用计算机的快速计算能力获取最佳试
在阿姆斯特丹举办的2005年欧洲道路交通展览会上，MAN TGL系列新型卡车被评为“2006年度卡车”，这使得MAN成为第一家6次获此殊荣的卡车制造商。
除红外光谱和核磁共振谱与磁化前无明显差别外，磁化水的ｐＨ值、溶解氧和难溶盐的溶解度均增加，紫外吸收知和密度降低，挥发性加快，电导率的变化与磁场强度和磁经时间有关，并发现磁化水
提出了一种模拟电路 K故障诊断 BP神经网络算法 ,特点是具有鲁棒性和实时诊断性 .故障诊断实例和计算机仿真结果表明本文所提方法是可行的 .
3月15日，解放骏威投放仪式在具有强烈都市节拍的舞蹈中拉开帷幕，别具一格的形象展示预示着全新城际高效物流时代的到来。 一汽集团副总经理董春波在新车发布仪式上说：“坚持‘用户第一’的经营理念，将用户的需求与利益作为各项工作的起点与归宿，实现用户价值的最大化一直是一汽解放追求的目标。为了构筑面向未来且具有强大竞争力的产品平台，同时也是为了让解放卡车的产品结构更加符合中国货运市场的发展趋势，解放研发、