布尔逻辑公式中文字和小项的可消性

本文给出了布尔逻辑公式中文字和小项可消性的一些充分必要条件，为进一步提出新的布尔逻辑公式的化简方法奠定了一些理论基础。     

液压吊机船体加强结构强度分析

依据船用液压折臂吊机的载荷要求,提出2种不同的基座加强结构方案。建立吊机基座及船体加强结构的有限元模型,依据 CCS 规范对基座及加强结构进行直接计算分析,对比各工况下2种方案的应力大小。根据对比分析结果,提出建议采用的加强结构方案,分析结果可为船用吊机基座加强结构设计提供参考。     

双转向轴商用车转向侧滑检测台研究与应用

机动车的侧滑检测是机动车安全检测的一项重要内容,目前的侧滑检测台无法适应双前轴车的检测。介绍了双转向轴车的检测原理和实施方案．主要分析了双转向轴年侧滑检测值的影响因素．并提出了改进措施和企业检测标准。     

机车电路动态图形仿真系统开发平台的研究

针对现有机车电路过程的计算机动态图形仿真系统不能为机车设计人员使用,只能用于学员培训,且由内机型的迅速变化,程序人员不得不重复笥地编写和输入逻辑控制程序,费时费力这一现状,提出了根据输入电路原理图由计算机自动生成,逻辑仿真文件的开发平台的设计方法。     

格蕴涵代数

本文将格与蕴涵代数结合在一起,建立了格蕴涵代数,并讨论了它的一些基本性质, 为从语义的角度研究格值逻辑系统奠定了必要的基础.      

基于PHA-LEC-SCL法公路隧道施工安全评价研究

为了制定科学的公路隧道施工安全评价的基本模式,针对公路隧道施工的危险、有害因素的危害程度及特殊工艺,将公路隧道施工系统分为隧道开挖、爆破、施工用电、施工通风、出碴与洞内运输、支护衬砌等6个主要子系统.运用预先危险性分析法(PHA)对公路隧道施工的危险、危害因素进行辨识和定性分析,结合作业条件危险性评价法(LEC)对公路隧道施工系统中各子系统进行危险性评价,定量分析计算PHA中的子系统各个危险因素的危险等级,并采用安全检查表(SCL)对公路隧道施工现场进行安全综合评价,建立了安全评价方法之间的内在联系.PHA-LEC-SCL法确立了公路隧道施工安全评价的基本模式.     

基于MAXSURF软件的中型邮船大倾角稳性校核

大倾角稳性对于中型邮船的航行安全至关重要。以52 000 t中型维京邮船为研究对象,论述中型邮船稳性理论。基于MAXSURF软件对该型船大倾角稳性进行校核,并分析波浪对该型船稳性的影响。结果表明,该型船稳性满足规范要求,可保证航行安全。研究结果可为后续中型邮船稳性的计算与分析提供一定的参考。     

测功机模糊控制与仿真

介绍了利用模糊控制技术对现有电涡流测功系统进行二次开发,并且通过MATLAB仿真,证实系统的控制 性能有一定提高.     

��Ͻ�ͨ���ܶȲⶨ�����о�

交通流密度是衡量道路服务水平的指标之一. 当交通流中车辆长度和速度变化较大时,占有率则可以更好地反映交通流密度状况. 占有率的测定能够考虑到车辆的长度和速度变化,但是其值受到测量区域长度的影响,并且在混合交通情况下测量值缺乏准确性. 对于没有车道行驶规则的混合交通流,应当以整条路段为单位进行交通流分析. 因此本文提出了“区域占有率”的概念,且利用仿真技术验证其有效性. 对混合交通流条件下的占有率和区域占有率进行比较分析,区域占有率可以更合理地描述混合交通流的密度. 同时,得出混合交通条件下的区域占有率和交通流速度关系,证明了混合交通流条件下区域占有率提出的合理性和准确性.