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

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

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

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

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

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

武汉新区道路网规划研究

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

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

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

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

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

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

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

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

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

基于GIS的城市道路掘路交通影响分析系统研究

构建了基于GIS的城市道路掘路交通影响分析系统的体系，提出了局域路网，D矩阵反推模型、局域路网掘路交通分配模型和局域路网掘路交通状况评价方法，为掘路工程实施的可行性和交通组织方案的优选提供了依据。     

烘烤硬化钢板BH340与普通冷轧钢板St13性能对比分析

通过试验对汽车用高强度冷轧钢板BH340的力学性能、成形性能和烘烤硬化性能进行了全面研究,并与St13的各项性能进行了比较.结果表明,烘烤硬化钢板BH340在力学性能、烘烤硬化性能等方面均优于St13,成形性能不低于St13.