共查询到20条相似文献,搜索用时 140 毫秒
1.
2.
本文首先分析了矿井探测中遇到的信号干扰种类,结合噪声信号的特点,提出了基于电磁感应的矿井探测方法,给出了其原理图和设计原则.然后详细论述了电磁感应探测方法的具体实现,给出了各主要测试参数的计算公式,明确了在探测过程中需要采集的各种信号.为了验证提出的电磁感应探测方法,最后采用了MATLAB建立了仿真测试模型,并给出了仿真测试结果. 相似文献
3.
面向智能电网的云计算技术研究 总被引:1,自引:0,他引:1
对面向智能电网的云计算技术进行了研究。首先,引入了云计算的基本概念,分析了它的关键特征。其次,将云计算和智能电网技术进行了融合,提出了智能云的概念。随后,深入研究了智能云的构建、资源管理和安全策略问题。最后,给出了结论和未来的研究工作。 相似文献
4.
5.
本文首先概要介绍了数据交换的基础概念和现状,分析了现有的数据交换技术,研究了主要的数据交换机制,对数据映射、工作流技术进行了探讨,重点介绍了数据交换的技术。在理论研究的基础上,设计了一个基于标准XML数据格式和XSLT数据映射格式,结合工作流引擎的数据交换系统模型。该系统模型解决了校园网多个异构系统的数据集成和业务集成的问题,充分考虑了系统的安全性和扩展性,为校同网的信息化建设提供了很好的参考模型。 相似文献
6.
小学语文教学应用于多媒体技术,实现二者的整合,营造了宽松的学习环境,突出了学生的主体地位,激发了学生的创新意识。多媒体技术的应用为小学语文教学改革带来了机遇与挑战,为学生提供了全面的感性材料,活跃了教学气氛,激发了学习欲望。多媒体技术与小学语文教学有机结合,形成了一种全新的学习方式。本文试就发挥多媒体技术的优势,营造轻松的学习氛围进行了阐述。 相似文献
7.
8.
智能家居及其发展趋势 总被引:1,自引:0,他引:1
介绍了智能家居的发展历程,阐述了智能家居的定义和功能,介绍了其关键技术和嵌入式在智能家居中的应用,预测了其发展趋势,阐明了研究智能家居的重要意义,并指出了智能家居在控制系统、智能建筑系统和计算机领域的广泛运用,将使电子科学和计算机科学等科学中产生革命性的变革. 相似文献
9.
该文阐述了传统的新产品的开发过程和利用计算机仿真技术开发新产品的过程,总结了这两种开发过程的特点,给出了系统仿真的一般步骤.介绍了计算机仿真技术及其在包装机械研制中的两个实际生产的例子,并总结了利用计算机仿真技术开发新产品的特点,它加快了新产品的研制和开发过程,提高了劳动生产率,降低了生产成本,保证了交货日期,提高了产品质量.因此,计算机仿真技术在包装机械研制领域将会得到越来越广泛的应用. 相似文献
10.
贺拴运 《电脑爱好者:普及版》2008,(8):22-24
宽带流行了,播客兴起了,FLV吃香了,菜鸟也坐不住了,迅即抱回了DV,开通了播客。历经N天修炼,Flash视频终于成为菜鸟的拿手好菜之一。播客的兴起,使得Flash视频(FLV)格式大行其道。究其原因,不外乎FLV视频避免了不安装特定视频插件就 相似文献
11.
针对当前地铁车辆故障,特别是电气故障判断的自动化需求,结合Petri网故障树判断方法,对某型号的地铁车辆故障进行判断。先对Petri网进行简单的概述,然后构建电气系统的Petri网模型,并定义相关的规则,最后搭建Petri网模型验证平台,对上述的地铁车辆传动系统故障进行判断,结果通过地面服务器展示出来。 相似文献
12.
13.
一种基于时间Petri网的工作流模型 总被引:20,自引:2,他引:20
面向任务流和资源流并行的业务过程,讨论了一类如何通过资源流控制任务流的工作流建模问题.在时间Petri网的基础上提出了一种称作资源/任务网(R/T-net)的工作流概念模型,并给出了基于R/T-net的工作流建模过程.设置在任务模型中的资源依赖和资源期望可以有效地实现资源流对任务流的控制,而其中的资源点火规则和资源路由规则可以灵活地实现资源的协调、同步、分配和传递,因此,比仅用时间属性刻画任务转移的时间Petri网模型更符合诸如办公、制造、物流运输等业务过程. 相似文献
14.
校园网络安全分析与措施 总被引:2,自引:0,他引:2
张帆 《网络安全技术与应用》2006,(5):65-67
本文比较系统的分析了校园网络的安全特点、安全威胁以及其主要的表现形式,并从网络管理制度的建设、网络实体的安全措施、网络安全防护措施以及网络信息安全措施等方面提出了校园网络安全实施方案。 相似文献
15.
16.
Petri网化简规则在系统中的实现 总被引:1,自引:0,他引:1
Petri网是分析系统的一种很好的数学和图形工具。网的复杂性随着网中可达状态和变迁数目的增加而大大增加。这就使得对一个复杂网分析的难度不易控制。对此,提出了化简的思想,降低复杂度后再分析。文章将化简规则转化成算法,并在实际系统中实现。 相似文献
17.
随着计算机技术和网络通信技术的高速发展,对于并发分布式系统,已经提出了进程代数以及Petri网等形式化分析方法。近年来由于移动互联网的出现和快速发展,通过在进程代数中增加移动性得到了pi演算,与此同时,Petri网领域也采用谓词/变迁网、颜色网等构建移动系统模型。但它们仍存在一些不足之处。在此基础上,A.Asperti和N.Busi提出了移动网这一系统模型。移动网是在Petri网的基础上增加了移动性并结合了进程代数的优势得到的,适用于描述和刻画移动计算系统。然而,目前并没有对于移动网相应分析方法的研究。为此开展了移动网模型分析方法的研究,给出了移动网可达树的构造算法,提供了移动网模型可达性分析方法,并对移动车辆电话通信系统实例进行了分析。 相似文献
18.
自动制造系统异常情况Petri网控制器的形式化设计方法 总被引:1,自引:0,他引:1
CIMS,FMS等自动制造系统的控制器一般由有序控制器和异常情况处理控制器两个部分组成.两者都可以用Petri网来实现.这里讨论用于异常情况处理的Petri网控制器的形式化设计方法,其基本思想是利用状态表作为异常情况处理的规格说明语言,然后将状态表形式化描述为MOORE自动机,最后给出构造与MOORE自动机行为等价的Petri网控制器的形式化设计方法.并且用一个实例说明其设计过程.该方法也适用于Petri网的自动建模. 相似文献
19.
20.
基于GSPN的网络系统动态可靠性建模方法 总被引:1,自引:0,他引:1
针对传统可靠性建模方法难以描述和评价网络系统动态可靠性这一难题,提出一种基于广义随机Petri网(generalized sto-chastic petri net,GSPN)的网络系统动态可靠性建模方法,在讨论GSPN的形式化定义和建立GSPN建模要素与可靠性模型参数之间对应关系的基础上,详细描述了网络系统动态可靠性建模的过程;最后以某型车电系统为例,通过仿真实验得到了系统可用度指标的动态变化曲线,验证了所提方法的有效性。 相似文献