格值上下文无关文法对基于词的计算

给出了当格半群满足交换律时,任何格值上下文无关文法都与格值Greibach范式文法等价,并利用Zadeh扩张原理,研究了格值Greibach范式文法对基于词的计算,最后得出文法对基于词的计算最终由对基于值的计算来实现。     

浅谈长江运砂船建造轮机检验要点

文章针对长江运砂船建造中出现的轮机方面的问题,在认真研究了现行法规、规范、规程和相关规定要求的基础上并通过实证研究,分析、归纳形成长江运沙船轮机检验要点。旨在为船厂质检人员、轮机验船师现场检验提供参考,确保长江运砂船建造质量,减少＂问题船＂投入长江运输。     

大管轮适任评估中的增压器实操分析——以IHI-VTR161-2增压器为例

为达到实操教学效果,满足海事局的评估要求,针对大管轮动力设备拆装适任评估中,增压器的拆装、检查、测量中经常出现的问题,在调研的基础上,结合实际工作经验,以IHI-VTR161-2增压器为例总结归纳增压器拆装评估项目拆装检查要点及注意事项。     

《车站行车工作细则》编制质量评价指标体系应用研究

在分析《车站行车工作细则》编制质量影响因素的基础上,基于系统性、独立性、相关性、科学性的设计原则,从《车站行车工作细则》是否与上级规章相冲突、是否按照《车站行车工作细则编制规则》要求编制、是否与现场作业实际相符、是否编制严谨等四方面构建铁路《车站行车工作细则》质量评价指标体系,结合基于熵权的未确知测度方法,以集宁、二连等站为例,应用铁路《车站行车工作细则》质量评价指标体系进行评价。结果表明:该评价指标体系能较好地反映《车站行车工作细则》的编制质量水平。     

基于RFID的汽车供应链可追溯性研究

制造工业中,供应链上典型的工艺过程是用物料清单提取信息并进行跟踪,没有建立一种系统的方法去获得完全追溯范围.本文提出一种新型动态跟踪任务模型来提高单个经销渠道之外的供应链的可追溯性.利用RFID技术,构建系统体系结构与数据模型,以支持动态跟踪工作,为建立系统追溯提供了强大的解决方案,可实现端到端的可追溯性.     

天津港老旧码头加固和加深改造

船舶大型化可降低货物的海运成本,也要求港口设施随之向深水化、大型化发展.近年来由于大型深水泊位数量有限,不少港口采取将大船减载后靠泊小吨级码头的作业方式,以解决燃眉之急,这种作业方式虽然能取得一定的经济效益,却带来很多安全隐患,尤其是对于使用年限已久的老旧码头,需注意及时进行加固改造,通过对近年来天津港老旧码头泊位加固...     

虚拟雷达信号环境构建方法研究

简要分析了虚拟雷达信号环境构建的方法,结合雷达信号环境基本要素完成对辐射源模型的构建,最后结合仿真技术定量研究了构建战场大区域、雷达信号辐射源的电磁环境仿真实现,试验结果表明,该方法切实可行,具有实际意义。     

嵌入式船舶燃油粘度控制模拟装置

燃油粘度控制是典型的反馈控制系统,模拟装置粘度控制单元采用WINCE嵌入式系统开发。燃油粘度自动控制程序采用软件实现,两个电位器分别用于模拟燃油粘度和温度反馈信号。该装置能够完成诸如燃油温度控制、粘度控制、换油及参数设置等基本操作。     

自然疏浚法及其在航道工程中的应用*

以不淤浚深为理论基础、水流归槽为关键动力,提出了自然浚深法,可使航道增深后少淤或不淤.该法在广州港伶仃洋航道中获得很好效果.还对江苏洋口港和浙江嘉兴港在增深出海航道时如何应用该方法作了原则性的提示,可供参考.     

崇启通道(上海段)工程建设关键技术

崇启通道(上海段)是在崇明生态岛上修筑的国家高速公路。在建设过程中,本项目始终遵循"最小破坏、最大恢复"的建设理念,围绕安全、环保、节能、耐久的主题,在路基填料、路基高度、生态修复等关键技术上进行了深入研究,实现了资源节约型、环境友好型高速公路的总体建设目标。