论文部分内容阅读
[db:新闻正文]
Using Model Checking Approach for Grading the Semantics of UML Models
【摘 要】
：
[db:内容简介]
【机 构】
：
[db:作者单位]
【出 处】
：
null
【发表日期】
：
2014年[db:发表期]期
其他文献
冻融和重车荷载是我国季节性冻土地区交通设施建设和运营面临的两大亟待解决的工程危害。围绕这一课题的研究持续数十年，但工程问题依然未彻底解决。本文针对国内外对季节性冻土地区路基稳定性评价方法不完善的事实，密切我国道路建设与维护的需要，运用理论分析、室内试验和数值模拟相结合的手段，在充分认识冻融循环作用对路基土结构演化的影响规律的基础上，研究了路基融土的静、动力特性，提出了路基融土的动力永久变形预估公式
学位
沥青混合料是由集料、沥青、矿粉和添加剂等组成的多相复合材料,复杂的材料组成导致荷载作用下产生复杂的破坏类型.传统宏观尺度经验性评价方法难以获取沥青混合料内部材料分布状态,以及荷载作用下应力应变传递机制,因此,无法从机理上揭示沥青混合料的破坏机理.细观尺度的研究方法和测试手段,包括颗粒堆积理论、数字图像处理技术和工业CT等,为研究沥青混合料细观结构及应力应变传递机制提供新的思路.在细观尺度上,沥青混
学位
近年来，随着我国城市化进程的逐步加快，建设项目规模不断扩大，对工程设计的要求也迅速提高。但由于各行业的独立性和缺乏有效的协调互动，在传统的二维设计模式下，各行业之间的设计交叉严重，生产效率低下。建筑信息模型(Building Information Modeling， BIM)技术的发展，使上述问题的解决成为可能。为大幅度提高公路工程BIM建模的设计效率，尤其是提高模型的精度，本文重点研究的道路工
学位
随着城市经济的发展，居民小汽车购买力的提高，城市小汽车保有量与日俱增，随之带来巨大的停车需求。据公安部交管局统计数据显示，2005年之后我国私人汽车保有量呈现年均20%以上的增幅，到2012年的数量就几乎翻了5倍，至2015年末更是达到14099万辆的历史高值。但是，现今的停车泊位供给已经无法满足高速增长的停车需求，尤其是城市中心区在高峰期通常一位难求，一些城市综合体停车需求溢出、寻找车位巡游时间
学位
Sheath blight(SB), caused by the necrotrophic fungal pathogen Rhizoctonia solani Kühn, poses a great threat to the rice grain yield as one of the most serious rice diseases. Receptor like kinases play
会议
高速公路合流区汇入车辆换道行为会引发主线交通流的紊乱以及行车速度降低，甚至造成通行能力下降和交通拥堵。因此，研究高速公路合流区汇入车辆的换道行为，建立准确的汇入车辆换道模型非常重要。由于数据获取技术的限制，合流区汇入车辆换道模型的研究还十分薄弱。本文以美国联邦公路局提供的NGSIM车辆轨迹数据为基础，采用对称指数移动平均法和一致性检查对数据进行了处理，提取出375条汇入车辆轨迹数据作为研究对象。针
学位
As sessile organisms,plants must adapt to variations in the environment.Environmental stress triggers various responses,including growth inhibition,mediated by the plant hormone abscisic acid(ABA).The
中国是水产养殖大国,水产养殖产量居世界第一,然而庞大的养殖规模背后是高蛋白水产饲料的投入。饲料中所含的氮素只有少部分被螃蟹同化,剩余氮元素排入残留水体则会导致富营养化的发生。另外,过多的氮素进入水体后经硝化和反硝化作用大多以气态形式损失,且由于水产动物的周期性捕捞,养殖湿地经常处于干湿交替状态,有利于N2O的产生。因此,探究蟹塘底泥N2O产生的硝化与反硝化过程可以为淡水养殖生态系统温室气体减排提供
学位
随着中国白云鄂博、美国Mountain Pass、澳大利亚Mount Weld、中国牦牛坪等世界级的稀土矿床的开采,轻稀土资源已基本能满足全球21世纪的消费需求,但是中重稀土资源却远远不足,尤其是Nd、Dy、Eu、Tb比较匮乏。中国对稀土资源的研究比较滞后,对世界最大的稀土矿床白云鄂博的成因了解较少[1],我国区域化探扫面计划也仅分析了一个稀土元素La,对其他的稀土元素,尤其是中重稀土在我国的分布
This paper carries out the research on the application of Internet technology in the mental health education of college students, mainly to clarify the importance of Internet technology in the mental
会议