港口拖船配置的计算机仿真研究

针对拖船在港口作业的随机性，动态的特点，建立了拖船作业的排队仿真模型，运用MFC的最新数据库与界面技术开发了港口拖船配置仿真系统软件，对不同的港口拖船配置如艘数，功率数进行了仿真试验运行，得出相对应的一些系统特征值，如船舶的平均等待时间，平均等待队长等，为港口合理配置拖船提供了科学的依据。     

信号交叉口排队分析模型比较研究

在对信号交叉口交通流的动态运行特性进行分析的基础上，应用准冲击波分析和排队论分析技术对信号交叉口处排队所占用的空间及排队过程中的相互作用进行了阐述，建立起信号交叉口排队分析模型，并根据调查数据进行对比和验证，以期能得到更贴近实际的结果，为交通工程师进行规划和评价提供科学依据。     

基于华中I型数控系统的教学机器人语言解释系统研究

本文介绍了基于华中I型数控系统的教学机器人语言设计思想,并对该语言进行了分析,阐述了该语言解释系统的开发过程,这个解释系统已经在教学机器人控制系统上得到了良好的运用,实践证明,该系统能够高效稳定地完成教学机器人语言的解释任务.     

MATLAB软件在航道整治工程中的应用

本文以长江某段设计水位和整治线宽度的确定和冲淤等值线图的绘制为例,介绍了MAT-LAB语言的特点及在航道整治工程中的应用.     

模型面向过程式语言切片工具的实现

本文以一种自定义的小型面向过程式语言(Similar C Language,简称SCL)作为实验语言,在图论和编译技术的基础上,提出了一种分层次切片面向过程式程序的新方法,描述了实现SCL语言切片工具的完整方案。     

Honda Civic Sedan 内外升级 2013本田思域

由于2012款本田思域外观设计过于平庸,所以2013款新车外观经过了重新修饰。其外观设计借鉴了雅阁的设计语言,采用U形的进气格栅搭配底部的镀铬装饰,为改款增色不少。     

从IMO示范海事英语课程看航海英语听力与会话教学

通过分析IMO海事示范英语课程的教学结构、教学方法和教学思想来剖析航海英语听力与会话教学中存在的问题,并提出相应的解决措施。     

基于格值逻辑的语言真值α-广义归结自动推理研究

1研究意义 1．1机器智能需要研究不确定性环境中的自动推理 第一,世界上存在大量各种不确定性。客观物理世界或人类主观事理世界或人类主观世界反映客观物理世界时,都存在大量的各种各样的不确定性。     

ABAQUS箱型桥梁的GUI二次开发

介绍了大型通用有限元软件ABAQUS的二次开发功能和利用面向对象语言Python编制参数化建模插件的原理和步骤。以变截面箱型桥梁参数化有限元建模为背景,通过ABAQUS提供的API函数和AFX GUI Toolk it工具包开发了箱梁桥参数化建模菜单和工具条,提高了箱型桥梁的有限元建模速度,为箱型桥梁的精细有限元分析提供了有力的支持。     

高铁信号系统安全关键功能测试建模方法

测试模型是高铁信号系统安全关键功能测试用例编制的重要基础,针对高铁信号系统安全关键功能测试建模过程中描述信号系统领域特征不够全面的问题,提出时间状态机测试建模理论和测试用例生成方法. 分析高铁信号系统测试建模的特点,提出信号系统安全关键功能测试模型的建模需求;以有限状态机理论为研究基础,结合功能逻辑和时钟约束提出时间状态机建模方法,采用Z规格说明语言给出时间状态机的形式化定义;将时间状态机转换为时间自动机,证明转换之间的一致性,并基于时间自动机的测试理论自动生成测试用例,再以计算机联锁系统中的道岔转换功能为例,建立时间状态机测试模型并生成测试用例. 最后,将两种方法生成的测试案例进行对比,结果表明:在功能逻辑方面,基于时间状态机建模方法生成的测试案例100% 地覆盖了基于时间自动机建模方法生成的测试案例,并新增了16条具有时钟约束的测试案例,能够满足高铁信号系统安全关键功能测试建模的需求.