形式化可测性约束在软件模型实现过程中的研究

在软件测试中,软件使用模型反映实际运行场景的能力是直接决定测试的成功与否的关键因素之一。一般可以通过对在需求分析阶段已生成的UML建模进行研究得到使用模型,但原始的UML模型,由于缺乏严格的定义及必要的约束,如果要生成高精度的软件模型,必须对其添加必要的形式化可测性约束。这正是文章研究的重点。     

三月春风暖——记“创新春风·赢领未来”北京系列营销活动

随着国内人均收入的提高,摩托文化的初步形成,以休闲娱乐为主要目的的摩托车需求已经形成,正当各大摩托车品牌试探性地推出自己的大排量车型时,在欧美市场大获成功的春风动力凭借自己强劲的实力,带着在欧美广受欢迎的产品强势回归国内市场,聚集全国各地优秀经销商,议发展,试新车,向行业发出鲜明的信号——春风已经强势回归!     

我国汽车保有量的分析与预测

汽车运输作为现代交通运输的五大方式之一，相比铁路、水路、航空和管道运输等四大运输方式来说，它具有机动灵活，速度快，货损小，以及门对门的直达运输等特点，特别是高谏公路、集装箱运输业、以及家用小轿车的发展，使得汽车运输在交通运输中占有主导地位。发达国家汽车运输量一般占运输总量的80％以上，并且这一比例还在不断上升。我国汽车工业前40年发展缓慢，目前汽车运输量只占运输总量的61％。1993年底我国各类汽车保有量为81O万辆，只相当于美国的1／28，日本的1／10，德国的1／6，英、法、意的1／4左右。显然，我国汽车保有量是…     

城市快速路基本路段运行状况评价方法研究

与传统的服务水平评价不同，采用能够综合反映道路管理者和道路使用者共同要求的评价指标——临界密度比对城市快速路基本段的运行状况进行评价；根据快速路交通信息采集系统提供的大量数据，比选了适合的交通流模型，并对临界密度进行标定；最后给出了评价指标的等级划分和对应状态的描述。     

武汉新区道路网规划研究

通过对城市新区道路网规划理念的分析,结合武汉新区道路网的现状,讨论了武汉新区对外、对内、慢行等道路交通系统的规划策略。     

杭州湾跨海大桥高墩深水承台单壁钢吊箱的设计

介绍杭州湾跨海大桥北航道桥北侧高墩区深水承台单壁钢吊箱围堰的结构设计。     

宜宾长江大桥斜拉桥的抗风性能分析

对宜宾长江大桥施工状态和成桥状态的动力特性进行了计算,分析了主梁的三分力系数取值,验算了桥梁的颤振稳定性和静力稳定性,结果表明,无论在施工阶段的最大双悬臂状态或最大单悬臂状态,还是在成桥状态,抗风稳定性均十分安全,不会发生静力扭转发散失稳。建议对斜拉索采取减振措施,可在设置内置橡胶圈阻尼器的基础上,再增设磁流变液阻尼器。     

磨削斜齿轮光滑内孔液压弹性膜片夹具的设计与制作

介绍了我厂在LG528B汽车变速器齿轮开发中所研制的重点工装夹具,该夹具是专门磨削斜齿轮光滑内孔的专用夹具。由于该系列齿轮光滑内孔类斜齿轮的结构特点,在热处理后磨孔加工过程中不能简单地使用"节圆棒"或"节圆球"定位和夹紧,需借助专用工装夹具来完成磨孔工序,另外该系列齿轮有单联和双联两种结构形式的区别,因此工装也有所不同,一种是弹性膜片工装,用于精加工单联斜齿齿轮内孔;另一种是双锥套胀紧工装,用于精加工双联斜齿齿轮内孔。本文重点介绍弹性膜片工装在设计、制作、使用和调整中的要点及注意事项等。     

城市快速路交通管理系统研究

以上海市高架道路交通管理系统为背景，介绍了城市快速路交通管理系统应具备的一般功能和框架组成，讨论了系统框架中涉及的几个主要子系统和算法模型。