共查询到20条相似文献,搜索用时 15 毫秒
1.
2.
沈立涛 《计算机工程与设计》1988,(1)
本文通过对网络协议形式化描述和验证问题的研究,针对网络协议的特性,给出了一种基于时态逻辑的模型系统。用该系统能较为方便地对协议进行形式化的描述,并通过建立演绎系统而进行协议性质的有效验证,最后还对一个简单例子进行描述和验证。 相似文献
3.
4.
较为全面地介绍了当前远程监控系统的应用现状,并对现有传输系统的特点进行了分析和研究。在此基础上,提出了适用于远程监控系统的、基于GSM的无线数据传输系统的总体架构及设计方案,详细介绍了带有以太网接口的、基于GSM的无线数据传输系统的硬件电路与软件设计与实现方法。该系统适用于各种远程监测监控系统,对提高远程监控的数据传输效率和降低监控系统的运营成本具有重要意义。 相似文献
5.
分析了现有煤矿供电监控系统的一般性结构及各类供电监控系统在结构上的差异,较为详细地阐述了煤矿供电监控系统的功能和作用,从系统结构、软硬件和系统功能等几个方面探讨了煤矿供电监控系统的发展趋势。该文对促进煤矿供电监控技术的发展具有一定的作用。 相似文献
6.
针对目前区域网络化制造系统的完全分布式运行模式对信息安全的需求,本文提出了一个基于离散对数的身份认证和密钥协商方案。该方案不依赖于在线用户证书管理中心, 因此能很好地适应区域网络化制造系统现有的完全分布式服务模式。通过将现有IPSec框架的内部功能模块进行改造,进而将该安全体制融入到虚拟私有网络(VPN)的服务模模块中。安全分析表明,该方案能有效地抵御消息重放攻击和中间人攻击。同时,性能测试表明,该安全体制方案有较高的通信效率,因而能较好地保障区域网络化制造系统的信息安全。 相似文献
7.
8.
9.
采用传统方法对非固定噪音抑制系统做出决策是较为复杂的。而采用Rough集理论进行智能推理,构造独特的决策系统能较好地实现噪音抑制。仿真结果表明Rough集理论应用于噪音抑制系统所取得的效果是符合电信信道需求的。 相似文献
10.
介绍了一种应用在视频会议系统中的嵌入式视频加密网关的设计原理和实现方法。嵌入式视频加密网关能对视频数据进行加密处理,并提供了H.323协议的代理服务功能,使得各H.323终端可通过不可信网络进行保密安全通信。嵌入式视频加密网关采用了Trimedia PNX1300多媒体处理芯片和pSOS操作系统,具有系统独立性,能方便地对现有视频会议系统进行升级。 相似文献
11.
FOX-3是一个小型过程控制计算机系统。一般用于对工业过程进行控制、监视和报警。系统中的实时时钟使计算机具有实时地进行采样、计算以及输出的功能,因而能有效地控制工业生产过程。控制算法可以通过设定FOX-3系统中若干个现有的功能块(BLOCR)来实现。本文介绍利用FOX-3过程计算机进行控制系统实时仿真的方法。 相似文献
12.
基于WEB应用的代收付系统,随着业务量的不断增加,系统响应相对以前缓慢很多,为了确保系统能安全、稳定、高效地运行,使用户有更好的使用体验,本文利用故障树分析法建立了代收付系统响应缓慢故障树模型,并对代收付系统响应缓慢问题进行研究和分析,找到问题本质,采用相应技术对其进行优化改善,从而达到解决代收付系统现有问题的目的。 相似文献
13.
何畅 《自动化与仪器仪表》2011,(1):129-131
随着用户对网络要求的提高,网络质量成为了决定移动通信运营商命运和发展的重要因素。网络优化已经成为了各大移动通信运营商工作的重点。目前,运营商们关心如何在现有的网络基础上,通过优化最大限度地挖掘网络潜力以提高网络利用率。本论文在首先深入对CDMA系统原理进行了研究,结合现有的CDMA网络,针对目前CDMA网络反映较为突出的问题,接续时长较长进行分析与研究,通过研究,提出并组织实施了优化方案,实施后接续时长大幅度缩短。 相似文献
14.
15.
针对某型无人机飞行控制系统,设计该飞行控制半实物仿真系统,阐述了该系统的构成、工作原理,并介绍了仿真软件,最后给出在该系统上半实物仿真的结果。结果表明,该系统能为自动驾驶仪创造一个很好的仿真环境,通过它可以较为全面地对飞行控制系统进行调试,极大地节约了试验成本和调试时间,对无人机飞行品质评估和加快无人机研制进度有很重要的意义。 相似文献
16.
17.
传统的工作流系统灵活性不强,缺乏对动态性和自适应性需求的支持,不足以应付复杂多变的业务流程.为了使工作流系统能够较好地适应变化,对基于规则的柔性工作流的动态建模机制进行了深入的研究,分析了现有的基于规则的工作流动态建模机制的不足,提出了能够动态构建出包含循环逻辑的工作流模型的方法.这一方法能够高效地动态构建较为复杂的工作流模型.文中较详细地阐述了这一方法的具体步骤,并结合实例展示了该方法的具体执行过程. 相似文献
18.
19.
20.
《计算机应用与软件》2017,(6)
智能问答系统是在搜索引擎的基础上融合了自然语言知识和应用的人工智能产品,相比较传统的依靠关键字匹配的搜索引擎,能够更好地满足用户的查询需求。针对现有的英语智能问答系统中知识呈现的单一化以及系统查询效率低等现状,采用基于距离的相似度算法,设计并实现了基于相似度算法的英语智能问答系统。实验结果表明该系统能够较为准确地回答小学生的英语问题,对远程教育中小学英语智能问答系统的构建起到参考和借鉴的作用。 相似文献