摘要：将概率模型检测方法运用到机电系统可靠性评价中,可以有效提高可靠性分析特别是FMEA分析的准确性与效率。利用概率模型检测对机电系统进行可靠性评价需要对机电系统进行形式化建模,直接利用模型检测语言对系统进行形式化建模直观性较差,建模难度大。对机电系统的概率行为树建模进行了介绍,分析了概率模型检测工具PRISM提供的形式化建模语言,定义了从概率行为树模型到PRISM形式化模型的转换规则,实现了机电系统概率行为树模型向模型检测形式化模型的转换。以数控机床工作台系统为例验证了转换方法的可行性。

摘要：《安全评价》是我院安全工程本科专业模块课中的专业共享课程,它是实践性和应用性很强的一门课程,也是学生将来从事安全评价相关工作的重要知识来源。因此,在上课时应充分考虑教学与实践相结合的方式。对《安全评价》课程的教学内容、方法、实践进行了调研、思考和改进,精炼了课程内容,补充了大量的参考资料,探索了新的教学方法,并引入了课程设计实践教学独立考核环节,以更好地提高教学质量。

摘要：围绕中医药从业者整体,开展科学素养分类测评,为探讨中医药的科学性以及人才培养等问题,提供了全面而深入的理论支持。提出了中医药从业者科学素养的五维度模型,设计了反映中医药从业者职业特点的调查问卷,对中医药从业者6类人群开展分类测评,并对测评结果进行了分析讨论,得出来相应的结论。

摘要：受青蛙后肢的运动过程和对称式结构的启发,提出一种兼顾长行程和较高工作频率的柔顺刀具导向平台,解决了刀具导向平台中直驱式工作行程短和放大式工作频率低的问题。首先,提出柔顺导向平台初步模型,确定重要杆件长度。其次,利用有限元分析对初步模型进行多目标优化设计,并采用熵权法和优劣解距离法(TOPSIS)进行得分排序。在此基础上,进一步利用有限元分析进行结构的多工况拓扑优化。最后,加工试验样机进行实验测试。有限元分析和试验结果表明:该导向平台放大比为4.67,最大行程可达90μm左右,一阶固有频率为1765 Hz,实现了长行程和高频率的运动;同时,导向平台的分辨率可达亚微米级,轨迹跟踪误差约为2%。综合仿真结果和实验测试结果,所提出来的柔顺刀具导向平台可以实现精密导向运动。

摘要：介绍了渐进多焦点眼用镜片的结构。提出了一种双向拟合设计渐进多焦点眼用镜片子午线的方法,采用两条多项式曲线从镜片视远点和视近点双向拟合,获得满足设计要求的子午线。在此基础上,选择与子午线正交、满足设计要求的曲线簇作为轮廓线,计算镜片上各个点的矢高数据,从而获得整个面形。设计结果表明,与只采用一条高阶多项式曲线描述子午线的方法相比较,双向拟合设计镜片子午线的方法可以灵活地调节子午线上光焦度增加的速率,从而控制镜片视远区、视近区以及渐进通道的光焦度和像散,设计满足眼镜佩戴者个性化需求的渐进多焦点眼用镜片,即当镜片参数相同时,双向拟合子午线不同,可以获得相应视觉需要的渐进多焦点眼用镜片。将设计的镜片进行实际加工,并检测加工结果,结果表明,加工获得的镜片性能与设计结果一致。

摘要：宁波市进出口展览展示大楼位于宁波市江东区东部新城，其北邻会展中心与通途路，东邻规划二号路，南邻民安路，西邻世纪大道。场地地形较为平坦，场地中土堆较多，最高标高为5.59m，最低标高为2.44m平均高程为3.77m。场地西面为甬新干河，南部有一景观河道与甬新干河相通。进出口展览展示大楼北面为宁波国际会议展览中心，其北面，西面均与广场相接，南面为景观河及步行街，用地环境优美（图1）。