排序方式: 共有4条查询结果,搜索用时 15 毫秒
1
1.
三峡船闸和升船机上游引航道通航条件评价 总被引:1,自引:1,他引:0
根据引航道设计中方案论证的需要,建立安全通航专家知识系统,以研究三峡船闸和升船机上游引航道口门区的通航条件,本文介绍了在计算机上建立专家知识系统的过程及研究方法,给出了基于该系统的评价结果。 相似文献
2.
基于自适应模糊系统的船舶碰撞危险评判 总被引:2,自引:0,他引:2
本文应用模糊系统方法建立船舶碰撞危险的专家评判系统。该系统用数值化的模糊联想记忆(FAM)规则表示专家的领域知识并进行模糊推理,同时采用神经网络的微分竞争学习算法(DCL)实现规则的自适应生成,该系统能模仿人类专家迅速作出危险评判,并具有学习,更新和完善的能力。 相似文献
3.
4.
为了提高CTCS-3级列控系统测试案例生成效率,提出了基于混合通信顺序进程(hybrid communication sequential process, HCSP)形式化模型和时间自动机(timed automaton, TA)形式化模型的列控系统测试案例自动生成方法;建立了列控系统运营场景的时序模型,分析了列控系统运营场景规范中时序功能的正确性;在时序模型的基础上,设计了满足全状态、全变迁和自定义-使用3种领域无关覆盖准则的列控系统测试案例自动生成算法,并以RBC(radio block center, RBC)切换场景为例,生成了100%全状态、全变迁和自定义-使用覆盖准则的测试案例套.从测试套数量、测试时间和内存消耗3个方面分析测试案例的生成效率表明:自定义-使用覆盖准则的测试案例套测试时间和内存消耗最小,分别为0.02 s和9.4 MB,本文方法提高列控系统测试案例生成效率最大达30%. 相似文献
1