产品外形协同设计系统的研究与实现*

提出了协同设计工作模式,给出了系统的工作流程,定义了用户的权限分配,研究了基于交互日志的传输方式,讨论了协同设计过程中的实时更新机制.最后采用了基于MVC的体系结构构建了一个原型系统,该系统在实际应用中,验证了该技术思路的正确性.     

基于电磁感应的矿井探测方法研究及仿真

本文首先分析了矿井探测中遇到的信号干扰种类,结合噪声信号的特点,提出了基于电磁感应的矿井探测方法,给出了其原理图和设计原则.然后详细论述了电磁感应探测方法的具体实现,给出了各主要测试参数的计算公式,明确了在探测过程中需要采集的各种信号.为了验证提出的电磁感应探测方法,最后采用了MATLAB建立了仿真测试模型,并给出了仿真测试结果.     

面向智能电网的云计算技术研究

对面向智能电网的云计算技术进行了研究。首先,引入了云计算的基本概念,分析了它的关键特征。其次,将云计算和智能电网技术进行了融合,提出了智能云的概念。随后,深入研究了智能云的构建、资源管理和安全策略问题。最后,给出了结论和未来的研究工作。     

无线互联 纺织未来

因特网的发展引起了新的产业革命,变革了经济的运行模式,刺激了广大企业的创新意识,促进了教育的普及和提高,大大改变发展中国家的工业化模式,甚至会改变国家之间的力量对比。不仅如此,互联网还造就了崭新的一代群体。就像60年代电视改变了人们的娱乐方式,造就了“电视一代”;80年代电脑改变了人们的工作方式,促成了“电脑一代”一样,九十年代Internet改变了人们获取信息的方式,诞生了“网络一代”。互联网对人类社会的影响是深刻而长远的,即给人们带来挑战,更给人们带来机遇。     

数据交换在数字化校园中的作用与实现

本文首先概要介绍了数据交换的基础概念和现状,分析了现有的数据交换技术,研究了主要的数据交换机制,对数据映射、工作流技术进行了探讨,重点介绍了数据交换的技术。在理论研究的基础上,设计了一个基于标准XML数据格式和XSLT数据映射格式,结合工作流引擎的数据交换系统模型。该系统模型解决了校园网多个异构系统的数据集成和业务集成的问题,充分考虑了系统的安全性和扩展性,为校同网的信息化建设提供了很好的参考模型。     

发挥多媒体技术的优势,营造轻松的学习氛围

小学语文教学应用于多媒体技术,实现二者的整合,营造了宽松的学习环境,突出了学生的主体地位,激发了学生的创新意识。多媒体技术的应用为小学语文教学改革带来了机遇与挑战,为学生提供了全面的感性材料,活跃了教学气氛,激发了学习欲望。多媒体技术与小学语文教学有机结合,形成了一种全新的学习方式。本文试就发挥多媒体技术的优势,营造轻松的学习氛围进行了阐述。     

基于LabVIEW的光纤惯组自动测试软件的设计与实现

针对传统惯组测试设备测试效率低、可扩展性差的缺点,基于LabVIEW设计开发了光纤惯组自动测试软件.针对软件实现的关键技术进行了研究,主要包括利用插件式的程序架构,设计了低耦合高内聚的测试模块,增强了软件的扩展性和可维护性;设计了详实的配置文件,实现了测试流程的自动化;同时利用多线程和定时循环的软件机制满足了高速数据采集的要求.实际应用证明,该软件提高了测试效率,促进了自动测试设备领域的新发展.     

智能家居及其发展趋势

介绍了智能家居的发展历程,阐述了智能家居的定义和功能,介绍了其关键技术和嵌入式在智能家居中的应用,预测了其发展趋势,阐明了研究智能家居的重要意义,并指出了智能家居在控制系统、智能建筑系统和计算机领域的广泛运用,将使电子科学和计算机科学等科学中产生革命性的变革.     

仿真技术在包装机械研制中的应用

该文阐述了传统的新产品的开发过程和利用计算机仿真技术开发新产品的过程,总结了这两种开发过程的特点,给出了系统仿真的一般步骤.介绍了计算机仿真技术及其在包装机械研制中的两个实际生产的例子,并总结了利用计算机仿真技术开发新产品的特点,它加快了新产品的研制和开发过程,提高了劳动生产率,降低了生产成本,保证了交货日期,提高了产品质量.因此,计算机仿真技术在包装机械研制领域将会得到越来越广泛的应用.     

天下视频Flash 制作下载转换通

宽带流行了,播客兴起了,FLV吃香了,菜鸟也坐不住了,迅即抱回了DV,开通了播客。历经N天修炼,Flash视频终于成为菜鸟的拿手好菜之一。播客的兴起,使得Flash视频(FLV)格式大行其道。究其原因,不外乎FLV视频避免了不安装特定视频插件就     

基于Petri网的地铁车辆远程故障诊断

针对当前地铁车辆故障,特别是电气故障判断的自动化需求,结合Petri网故障树判断方法,对某型号的地铁车辆故障进行判断。先对Petri网进行简单的概述,然后构建电气系统的Petri网模型,并定义相关的规则,最后搭建Petri网模型验证平台,对上述的地铁车辆传动系统故障进行判断,结果通过地面服务器展示出来。     

基于传感网技术的无线智能抄水表系统设计

基于传感网技术设计的无线智能抄水表系统,系统保留传统的机械水表,采用零功耗传感器WG112把水表的转动转化为脉冲信号,通过设计的低功耗智能水表测试水表读数,各用户的智能水表以无线方式组成-智能传感网,在抄表人员无须进入室内的情况下,采用手持抄表器采集用户水表读数,实现自动、高效的智能抄水表方式;同时,抄表器可通过USB...     

一种基于时间Petri网的工作流模型

面向任务流和资源流并行的业务过程,讨论了一类如何通过资源流控制任务流的工作流建模问题.在时间Petri网的基础上提出了一种称作资源/任务网(R/T-net)的工作流概念模型,并给出了基于R/T-net的工作流建模过程.设置在任务模型中的资源依赖和资源期望可以有效地实现资源流对任务流的控制,而其中的资源点火规则和资源路由规则可以灵活地实现资源的协调、同步、分配和传递,因此,比仅用时间属性刻画任务转移的时间Petri网模型更符合诸如办公、制造、物流运输等业务过程.     

校园网络安全分析与措施

本文比较系统的分析了校园网络的安全特点、安全威胁以及其主要的表现形式,并从网络管理制度的建设、网络实体的安全措施、网络安全防护措施以及网络信息安全措施等方面提出了校园网络安全实施方案。     

层次结构的进程网

进程网(Process Net)是一种结合进程代数和Petri网理论的Petri网模型。 当系统过于复杂时,进程网系统模型在实际应用中会遇到节点爆炸的问题,此时需要引入层次结构。提出了层次结构的进程网,给出了层次进程网的建模过程和实现算法,解决了大的复杂系统建模和状态空间爆炸问题,可以清楚地反映出模型的层次,便于对进程网进行细化得到准确的模型,也便于用逐步求精、自顶向下的方法对被模拟系统进行建模,帮助用户实现各种粒度的仿真服务。     

Petri网化简规则在系统中的实现

Petri网是分析系统的一种很好的数学和图形工具。网的复杂性随着网中可达状态和变迁数目的增加而大大增加。这就使得对一个复杂网分析的难度不易控制。对此,提出了化简的思想,降低复杂度后再分析。文章将化简规则转化成算法,并在实际系统中实现。     

移动网可达树

随着计算机技术和网络通信技术的高速发展,对于并发分布式系统,已经提出了进程代数以及Petri网等形式化分析方法。近年来由于移动互联网的出现和快速发展,通过在进程代数中增加移动性得到了pi演算,与此同时,Petri网领域也采用谓词/变迁网、颜色网等构建移动系统模型。但它们仍存在一些不足之处。在此基础上,A.Asperti和N.Busi提出了移动网这一系统模型。移动网是在Petri网的基础上增加了移动性并结合了进程代数的优势得到的,适用于描述和刻画移动计算系统。然而,目前并没有对于移动网相应分析方法的研究。为此开展了移动网模型分析方法的研究,给出了移动网可达树的构造算法,提供了移动网模型可达性分析方法,并对移动车辆电话通信系统实例进行了分析。     

自动制造系统异常情况Petri网控制器的形式化设计方法

CIMS,FMS等自动制造系统的控制器一般由有序控制器和异常情况处理控制器两个部分组成.两者都可以用Petri网来实现.这里讨论用于异常情况处理的Petri网控制器的形式化设计方法,其基本思想是利用状态表作为异常情况处理的规格说明语言,然后将状态表形式化描述为MOORE自动机,最后给出构造与MOORE自动机行为等价的Petri网控制器的形式化设计方法.并且用一个实例说明其设计过程.该方法也适用于Petri网的自动建模.     

混合Petri网的流体随机Petri网模型

混合Petri网和流体随机Petri网作为混合系统的建模方法,其内在的建模机制和分析方法不尽相同,而且这两种机制远未发展成熟.分析并建立它们之间相互转换的方法有助于机制本身的发展完善,并利用对方的建模原语和分析方法对系统进行多角度的分析.提出了一阶混合Petri网转换成流体随机Petri网的形式化方法及转换后变迁合并的方法,并给出了转换和合并方法的正确性证明,最后结合实例简要阐述了这两种方法的实现过程.     

基于GSPN的网络系统动态可靠性建模方法

针对传统可靠性建模方法难以描述和评价网络系统动态可靠性这一难题,提出一种基于广义随机Petri网(generalized sto-chastic petri net,GSPN)的网络系统动态可靠性建模方法,在讨论GSPN的形式化定义和建立GSPN建模要素与可靠性模型参数之间对应关系的基础上,详细描述了网络系统动态可靠性建模的过程;最后以某型车电系统为例,通过仿真实验得到了系统可用度指标的动态变化曲线,验证了所提方法的有效性。