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

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

利用闲置轮胎吊改造的车载堆煤皮带机

为解决汕头港煤堆场不足的问题,提出将轮胎吊改造成堆煤皮带机,与地面移动皮带机配套,就可将备用的堆煤场利用起来。介绍了该方案的设计、设备的选型,及其稳定性计算,指出该方案实施后,将大大提高堆场边角的利用率。     

基于Web技术的船用传感器监控系统研制

基于Web测控技术设计船用传感器监控系统,提出该监控系统的嵌入式体系结构。以嵌入式微控制器SST89E564为核心,构建在机舱局域网之上,由TLC2543、SST89E564片内定时计数单元分别实现模拟量、数字量的测量。该装置采用B／S架构,可为远程终端由IE浏览器直接调用,实时提供重要监测参数。     

基于数据挖掘的客运营销与优化系统分析

用数据挖掘技术对我国铁路客运信息进行分析和处理,从而促进铁路客运市场营销策略的灵活调整,并根据分析结果对客运营销旅客列车在开行方案上进行优化,这有利于铁路客运主管部门的管理和决策,为铁路客运争取更大的经济效益和社会效益。     

浅埋暗挖隧道下穿结构物的施工沉降分析

以北京地铁奥运支线起点(熊猫环岛站)区间隧道下穿健安桥的设计与施工为背景,分析浅埋暗挖隧道穿越地面结构物施工如何有效地控制沉降,探讨施工时应注意的关键环节和采取的措施,以此作为今后类似工程施工的依据和借鉴.     

A Training Framework for Understanding Conflict in the Coastal Zone

The coastal zone is attractive for human settlement because it tends to be resource rich, providing a good location to generate incomes and livelihoods. Equally, however, it is a complex and powerful natural environment, which means that the coastal zone often becomes a focus of conflict with multiple users competing for limited space and resources. Understanding the causes of, and determining solutions to, the ensuing problems requires inputs from a range of analyses across sectors and disciplines. However, different disciplinary and sectoral approaches frequently use different investigative methods, language, and means of presenting results. This article presents a framework that has been developed in collaboration with Indian institutions over the past three years in an effort to address some of these fundamental problems of analysis and translation into policy action. Key components addressed by the framework are strengthening the capacity to practice, knowing how to proceed and how to find out what needs to be known using experience-based problem solving.     

某连续刚构箱梁桥0号块腹板锚下开裂原因分析

某连续刚构箱梁桥0号块施工中腹板出现锚下开裂,从设计与施工两方面分析其开裂原因,并提出改善设计的具体建议和裂缝的处理意见。后续实践证明,通过计算进行适当的配筋设计改进和施工过程质量控制是成功的。     

浅述C#.NET的IT应用开发

本文就web应用程序的相关开发语言C#和SQL进行讨论。先介绍各自的开发环境再说明应用C#开发基于web程序的技术特点,最后通过管理系统的后台程序设计作为应用实例,阐述使用.NET开发Web数据库应用程序的方法。     

带波形钢腹板悬臂挑梁的钢-混凝土组合脊骨梁新结构

介绍了带波形钢腹板悬臂挑梁的钢-混凝土组合脊骨梁这一新型结构。作者们阐述了该结构的特点和适用范围；并分别对其剪力滞效应、扭转特性、极限承载力和波形钢腹板悬臂组合桥面板的荷载横向分布规律等受力特点进行了总结，为组合脊骨梁的实际应用提供参考。     

数据挖掘技术在轿车白车身装配偏差溯源中的应用

提出一种将数据挖掘技术与装配工艺知识相融合的白车身装配尺寸偏差源快速诊断方法。该方法采用最大树法对测量得到的大量分散孤立的多维尺寸数据进行相似性聚类,通过多元统计分析进行偏差模式识别,以偏差主模式为基础提取相关产品、工艺、工装等深层知识,通过构造诊断决策树实现对白车身装配过程尺寸偏差源的快速诊断。实际应用表明,该方法有利于缩小问题空间,提供有效的诊断决策支持;能够克服单纯数据分析导致的偏差源误判与漏判,可快速准确地找到偏差源。