面向模型检测的LTL语句自动生成方法

为优化线性时态逻辑语句的生成过程,减少模型检测的时间,提出一种面向模型检测的基于自然语言处理生成线性时态逻辑验证语句的方法。对需求文档提取关键词,将文档中的数据和可以代表模型中状态的名词进行提取,注释UML模型,对UML模型中的状态进行归类,将模型中的状态分为数据属性类和调用操作类,利用配对的线性时态逻辑格式生成线性时态逻辑,用于软件模型一致性验证。实验结果表明,该方法与ST模型相比可以提高模型检测的效率。

论电梯滚轮式导靴结构改进

本论文提供一种电梯滚轮式导靴结构改进,包括具有两个立架的架体、安装在架体的两个侧部滚轮以及中部滚轮,安装座设有安装臂并且与其底端铰接,减震螺杆内端连接在对应的立架,另一端与安装臂之间套设固定减震弹簧。通过定位螺杆使得侧部滚轮以及中部滚轮与导轨的滑动配合稳定,通过减震螺杆、减震弹簧具有良好的减震性能。从而达到电梯安全运行目的。

探析新时期如何推动社区商业经济发展

随着新时期都市化、城镇化的发展,为了打造更多有温度的智慧社区,解决社区居民日益增长的生活需求,实现居民对美好生活的向往,蕴含在社区商业中的机会必将被更多商业企业所关注,社区商业经济也将得到蓬勃发展。商业企业作为发展社区商业经济的重要主体,应充分认识到社区商业经济发展的优势,并积极探索推动其发展的措施,以更好地发挥主体作用,保障社区商业经济的健康发展。

污水治理工程中塑料管道防渗施工技术应用研究

生活污水治理工程中的污水防渗处理要求高,为保证污水处理效果,减少渗漏隐患,在江阴市村庄生活污水治理工程中利用塑料管道进行排污与防渗处理,通过材料选择、管道基础施工、管材管道连接以及沟槽回填进行深入研究并完善优化。经过工程应用,塑料管道无任何渗漏情况发生,对管网系统自身稳定性以及周围环境的保护都起到了积极作用,以期为同类工程提供借鉴。

关于无机房电梯直角开门设计方案探讨

本文介绍一种无机房直角开门电梯,包括位于井道内的轿厢、导轨、承重钢梁上的曳引电机、对重装置、曳引钢丝绳以及设置在轿厢底部的返绳轮,同时对重轨道安装在井道对角处,两个轿门均为旁开门。可以满足直角开门电梯的井道布置的需求。

基于物联网的智能垃圾箱设计与实现

为深入贯彻国家关于推进垃圾分类工作的相关指示精神,切实提高国民垃圾分类意识,智能垃圾箱研究成为新热点。本文结合物联网云平台技术、电机控制、深度学习技术、网络连接及数据处理传输、无线通信等关键技术,实现了垃圾桶信息采集、垃圾分类、智能辨别垃圾、预警、智能屏宣传、手机查询和远程监控等功能,不仅提升了垃圾桶分类能力,解决了垃圾分类“老大难”问题,也符合当代保护环境的要求,为后续处理各类垃圾带来便捷。

关于电梯轿厢防滑装置探讨

本文针对现有电梯轿厢底端光滑易摔倒的安全危险,讨论提供一种防滑电梯轿厢,包括对称装置以及过滤网,缓冲气缸,侧板扶手,过滤网上设有多个可以增大摩擦力的滑槽,对电梯轿厢提供良好的防滑功能,从而保证了广大乘客,特别是老人和小孩的人身安全。

高职院校数字型共享教学资源库建设研究

教学资源共享平台建设是促进学生高效自主学习的有效手段,是进行探索型学习模式、资源型学习模式、协作型学习模式和虚拟教学模式改革的重要保障,是展示教学改革成果和优质资源的重要平台。本文结合浙江工业职业技术学院示范性院校共享教学资源库建设项目,在教学资源库建设内容、系统功能等方面进行了探索。

基于流媒体技术的实践教学资源库点播系统开发研究

随着校园信息化建设的不断推进和重视,校园网已得到不断地扩展和升级,网络基础设施建设逐步完善,相应的软硬件设施建设也不断发展,在校园网中已经初步建成一个实用的信息化环境。学习资源也不再局限于文本、图像等静态形式,学生更多的钟情于视音频等动态的多媒体资源。视频点播、直播是近年来应用较为广泛的方式,它在原先的文本、图像等静态信息的基础上,增加了视、音频信息的动态浏览服务。利用流媒体技术开发一个实践教学资源库点播系统,在校园网内实现实验实训课程视音频资源的共享,为师生提供教学所需的视频资料,使学生能够预习、巩固实验实训课程。

心叶日中花的组织培养与快速繁殖

1植物名称心叶日中花（Mesembryanthemum cordifoliumL．F．），实验用植株购自苏州市相城区花木城。

案例教学法在高职《大学生计算机文化基础》课中的运用

本文通过对当前高职院校非计算机专业学生的公共基础课《大学生计算机文化基础》存在的一些问题进行了分析,并对案例教学法的内涵、特点进行了阐述,用实际教学中使用的word和PPT两个具体的案例进行说明。通过案例教学法的实施,使学生真正成为整个课堂的主人公,增强了学生的学习主动性,并能将所学知识转化为分析、解决问题的能力,从而应用到日常学习、工作、生活中。

乘坐式高速插秧机取苗量调整

水稻机插秧有着作业效率高,省工节本增效;浅栽、宽行窄株、定苗定穴,保证基本苗量,增产、稳产;提高作物的抗病、抗倒伏能力;省水,省肥等优点。基本苗量是栽培密度的标志,也是产量构成的重要因素之一,适宜的基本苗量是保证最终产量重要因素。