基于冗余容错技术的轨道运输监控终端的设计

文章研究和设计了一种基于8位Freescale单片机、系统供电和隔离供电相结合、现场总线技术和串行通信技术一体化的本质安全型轨道运输监控终端。该终端采用基于冗余容错的设计方法,实现了对轨道道岔的状态采集和转动控制、故障检测和报警,并将信息上报地面监控中心。现场实验表明,该监控终端工作稳定,具有较好的实时性和可靠性。     

Deep Web查询接口自动识别方法

获取Deep Web中信息的主要途径是通过在其提供的查询接口上提交查询来获得,自动识别Deep Web查询接口是Deep Web数据集成系统中需要解决的一个关键问题.通过提取适当的表单结构特征,采用C4.5决策树和朴素贝叶斯相结合的分类算法实现对Deep Web查询接口的自动识别,实验验证了该方案的有效性.     

分层CPN在矿井馈电系统建模中的应用

矿井馈电系统是一种典型的离散事件动态系统。为了有效地对矿井馈电系统仿真,利用分层建模的思想来对矿井馈电系统的建模。对上层系统进行建模时引入复杂变迁,并在此基础上分解复杂变迁,最后利用所得的分层CPN（Hierarchical Colored Petri Net,HCPN）模型作为仿真软件的媒介,验证系统设计的合理性和安全性。通过利用CPN对矿井馈电系统建模,为最终开发出该系统的软件仿真平台奠定了良好的基础。     

一种安全的网络接入和远程家电控制方案

随着智能家居环境的出现和普及,远程接入和家电远程控制中的安全性成为十分重要的议题。文章分析了远程接入和网络家电控制中的安全问题,综合采用了一次性口令认证、SSL及组访问策略等技术,提出了一种安全的网络远程接入和远程家电控制方案。该方案适合需要高安全性的网络远程接入和基于家居服务器的智能家庭网络环境中的网络家电控制。     

井下无人驾驶机车运行过程控制的建模与验证

井下无人驾驶机车运行过程的控制是矿井机车无人驾驶系统(mine locomotive unmanned system,MLUS)的核心,其设计与开发具有较高的安全性要求,采用形式化方法对其需求进行建模与验证可以在开发早期验证其设计的正确性和一致性,从而较早地发现问题和解决问题。文章采用Event-B的形式化方法对井下无人驾驶机车运行过程的控制进行建模、精化和验证,采用Rodin插件ProB对机车在不同路况条件下的运行过程进行仿真,验证和仿真结果显示机车运行过程控制符合设计需求,该方法对安全性要求较高的矿井机车无人驾驶系统的设计与开发提供了新的借鉴。     

面向PLC的离散事件控制系统设计方法研究

对于采用可编程逻辑控制器(PLC)实现的复杂离散事件控制系统(DECS),现有设计方法在效率和易用性等方面存在不足。文章提出基于Petri网的建模准则和方法,实现DECS规范化模型的建立;在定义结构化的元素逻辑关系表基础上,设计面向梯形逻辑图(LLD)的转换算法,实现系统模型向PLC程序的自动转换,为构建面向PLC的DECS一体化设计平台奠定技术基础。     

从意识形态对翻译的操控析《教父》汉译本

本文以周汉林翻译的、1995年译林出版社出版的《教父》汉译本和由钟广华和张武凌合译的、1983年广州花城出版社出版的《教父》汉译本作为主要研究对象,从意识形态角度出发,对汉译本和原著以及两个汉译本之间进行文本对比分析,找出在处理与意识形态有关的文本片段时两个汉译本之间存在的相同点和不同点,进而分析这些异同点背后隐藏的意识形态因素。最后得出结论,虽然两个译本在处理与意识形态有关的文本片段时均采取了删除的手法,但周译本在删除的同时较完整地保留了源语文本的措辞,有助于目标语读者更好地把握小说中人物的性格和作品的主旨。     

基于状态转换图的LL语法快速分析方法

有向路径分析法是在预测分析法的基础上利用状态转换图思想设计的;由于去掉了预测分析法中的许多中间产生式匹配,因此该方法具有较高的语法分析效率,实验表明分析效率较预测分析法提高约2倍以上.文中阐述了LL(1)文法、预测分析法、有向路径分析法的定义、原理和设计步骤,并给出了事例和实验加以说明和验证.     

知识网格环境下多任务模型协同工作机制研究

针对协同产品概念设计过程中不同领域之间存在知识异构,设计者难以达到最优设计方案,文章提出协同产品概念设计的多任务模型;引入知识网格,提出多任务模型体系结构;分析协同设计关键技术后,给出多任务模型协同设计的工作机制,为协同产品概念设计提供了一种较为有效的新方法.