排序方式: 共有52条查询结果,搜索用时 0 毫秒
11.
12.
13.
在分析图书馆学研究方法所存在的问题基础上,提出了两条相应的解决办法:一是要求研究方法的合理化使用,即理性思维方法与非理性思维方法结合使用,定性分析与定量分析结合使用;二是要求研究方法的科学化使用,即术语概念的规范化,科学地引进新方法。 相似文献
14.
15.
设计一款电动车立体停车装置,以解决城市小区中电动车停车难问题.装置拥有多层停车平台,利用旋转方式存取,其内部的平行四杆机构设计使运行过程中停车板始终保持水平状态;伺服控制程序实现了最快调取和准确停位;人体红外传感器的安装提高了装置的安全性;停车板上导向槽和移动锁的设计加大了存取方便性. 相似文献
16.
改进了DeepTRE的实现,在保留DeepTRE验证能力的前提下大幅降低了DeepTRE的空间复杂度,以适应大规模数据集场景。在高铁运行环境识别场景中评估了改进后的DeepTRE,并与其他主流验证工具DLV和SafeCV对比。实验结果表明,改进后的DeepTRE工具的显存占用显著低于原DeepTRE工具,相较于其他神经网络验证工具,改进后的DeepTRE工具在具有较快验证速度的前提下拥有更优异的验证效果。 相似文献
17.
基于切换表面状态划分的倒立摆模型验证 总被引:2,自引:0,他引:2
针对仿真对不存在或难以寻找的问题,利用商迁移系统,给出了混合系统的验证过程。结合倒立摆模型给出的只对状态空间切换表面进行离散化的空间划分方法,相对于常规验证所采用的离散整个连续状态空间的方法,降低了系统分析的维数。提出将阈值切换切分为两类,明确了切换面的划分方式。 相似文献
18.
19.
20.
综掘工作面粉尘运移的数值模拟及压风分流降尘方式研究 总被引:4,自引:1,他引:3
针对综掘工作面产生尘量高,煤尘浓度大,降尘效率低的现状,结合流体力学、气固两相流理论和射流理论等相关理论,采用FLUENT模拟技术,研究"长压短抽"式除尘通风时掘进巷道中粉尘运移和分布规律,对比分析了压入风量、抽吸比及抽、压风筒口位置等通风参数对粉尘浓度及分布范围的影响,提出了压风分流通风方式,并对其降尘效果进行了模拟分析. 相似文献