教学课程资源库 更多>>

关键词： 车载系统   RBC交接   实时UML顺序图   时间自动机  

摘要： 在CTCS-3级列控系统中,采用RBC技术将线路划分成多个管辖区段。当列车行驶并跨越相邻RBC交界区域时,控制权将会移交至前方相邻RBC,整个过程称为RBC交接。在运行中,RBC交接过程能否实时安全可靠地执行,直接影响着列车的行车效率和乘客的生命安全。采用一种基于添加实时约束的UML顺序图与时间自动机结合的模型来建立RBC交接场景。以双车载电台的RBC切换策略出发,建立切换的Timed-UML顺序图模型,然后按照UML-TA转换规则,建立得到完整的时间自动机网络模型。并利用UPPAAL验证工具对RBC交接模型进行形式化建模及分析,对模型的死锁和功能实现做了验证,从而达到对CTCS-3级RBC子系统的实时性以及设计规范合理性的验证目的。

关键词： 基础隔震   摩擦摆   有限元分析   SAP2000   竖向刚度   减震效果  

摘要： 采用摩擦摆隔震体系对昆明团山幼儿园3层钢框架结构进行了基础隔震设计。通过试验获得了摩擦摆隔震支座的竖向刚度,利用SAP2000对结构进行了动力弹塑性分析。分析结果表明,在地震作用下,隔震结构的层间位移角、层间剪力和楼面加速度响应比非隔震结构减小显著;在罕遇地震下,隔震结构仅出现少量梁铰、未出现柱铰,表明上部结构基本处于弹性,减震效果显著。

关键词： 道路桥梁设计   维修养护   应用  

摘要： 道路桥梁是公路交通中的一部分,在人们的生产生活中扮演着重要的角色,不合理的道路桥梁设计不仅存在安全隐患,影响人们的出行,甚至威胁人们的生命财产安全。因此,在道路桥梁不断发展的当下,应做好道路桥梁的设计工作,减少道路桥梁中存在的隐患。有数据显示,随着道路桥梁规模的扩大,道路桥梁工程中的安全事故也层出不穷,而要杜绝道路桥梁工程安全事故的发生,做好道路桥梁的设计工作有着重要的作用。

关键词： 便携式气相色谱   有机磷   结构化设计  

摘要： 针对有机磷农残快速检测需求提出一种便携式气相色谱仪的结构化设计方案,对仪器结构按功能分解成各个模块,每个模块均采用独立系统控制,使得各模块间没有耦合,并由主控制板统一调度处理。各模块相互协作,共同完成仪器的基本分析功能。仪器的模块支持动态加载,使后期维护更加方便、高效。经实验初步验证,该设计模块可以满足常用有机磷农残的快速检测要求。

关键词： MATLAB   计算软件   正截面承载力   算例  

摘要： 介绍了MATLAB在混凝土受压构件承载力计算软件中的应用,阐述了基于逆向计算正截面承载力方法的软件架构技巧,介绍了架构中关键模块的功能,并通过实际算例,证实了软件的可靠性和相对高效性。

关键词： 实验室管理   软件工程   UML建模   B/S模式  

摘要： 本文分析实验室管理工作的现状,以实验室管理系统的设计和实现过程为背景阐述了以软件工程开发理论为指导,采用UML建模技术分析与设计系统,并采用J2EE技术实现一套基于B/S模式的实验室管理系统,力求实现实验室管理工作的科学规范化与信息化,实现实验室各类信息的实时、动态管理,提高设备管理水平和工作效率。

关键词： 防空火力单元   搜索雷达   UML   面向对象   建模   仿真系统  

摘要： 为了构建某防空火力单元仿真系统中搜索雷达的仿真模块,介绍了基于统一建模语言UML(unified modeling language)的搜索雷达仿真系统的建模与实现,利用UML为搜索雷达仿真系统进行面向对象的分析建模,构建了搜索雷达仿真系统的用例模型,动态模型和静态模型。最后给出了系统的具体实现,仿真实验表明系统设计的可行性。

关键词： Bone tissue-engineered scaffold   Scaffold geometry   Mechanical stimulation   Wall shear stress   Computational modelling  

摘要： Recent studies have shown that mechanical stimulation, in the form of fluid perfusion and mechanical compression, can enhance osteogenic differentiation of mesenchymal stem cells and bone cells within tissue engineering scaffolds in vitro. The precise nature of mechanical stimulation within tissue engineering scaffolds is not only dictated by the exogenously applied loading regime, but also depends on the geometric features of the scaffold, in particular architecture, pore size and porosity. However, the precise contribution of each geometric feature towards the resulting mechanical stimulation within a scaffold is difficult to characterise due to the wide range of interacting parameters. In this study, we have applied a fluid-structure interaction model to investigate the role of scaffold geometry (architecture, pore size and porosity) on pore wall shear stress (WSS) under a range of different loading scenarios: fluid perfusion, mechanical compression and a combination of perfusion and compression. It is found that scaffold geometry (spherical and cubical pores), in particular the pore size, has a significant influence on the stimulation within scaffolds. Furthermore, we observed an amplified WSS within scaffolds under a combination of fluid perfusion and mechanical compression, which exceeded that caused by individual fluid perfusion or mechanical compression approximately threefold. By conducting this comprehensive parametric variation study, an expression was generated to allow the design and optimisation of 3D TE scaffolds and inform experimental loading regimes so that a desired level of mechanical stimulation, in terms of WSS is generated within the scaffold.

关键词： 汇票管理   三层架构   UML建模  

摘要： 随着计算机和互联网相关技术的发展,各种各样的Web应用丰富和方便了人们的生活。在这种时代背景之下,繁琐的票据管理自然地从传统人工管理方式过渡到网络层面上的技术管理。该文从实际出发,分析了汇票管理系统,利用UML进行建模;使用PowerDesigner设计了数据库,系统采取表示层、业务层、数据层三层架构进行了实现。系统实现了:票据基本信息录入、票据库存管理、入库操作过程、出库操作过程、信息查询(包括老板和业务员)、管理员对系统用户进行管理等功能。

关键词： Test case   Change impact analysis   Object-oriented programming   Impact analysis   Test cases   Test suite   Fault detection and isolation  

摘要： Test case prioritization focuses on finding a suitable order of execution of the test cases in a test suite to meet some performance goals like detecting faults early. It is likely that some test cases execute the program parts that are more prone to errors and will detect more errors if executed early during the testing process. Finding an optimal order of execution for the selected regression test cases saves time and cost of retesting. This paper presents a static approach to prioritizing the test cases by computing the affected component coupling (ACC) of the affected parts of object-oriented programs. We construct a graph named affected slice graph (ASG) to represent these affected program parts. We determine the fault-proneness of the nodes of ASG by computing their respective ACC values. We assign higher priority to those test cases that cover the nodes with higher ACC values. Our analysis with mutation faults shows that the test cases executing the fault-prone program parts have a higher chance to reveal faults earlier than other test cases in the test suite. The result obtained from seven case studies justifies that our approach is feasible and gives acceptable performance in comparison to some existing techniques.