用智能Petri网实现最短路径问题

文中提出了具有人工智能的Petri网模型，并以最短路径问题为例说明了这种智能的Petri网的实用性，扩展了传统Petri网的应用范畴。     

智能遥感卫星数据记录系统技术研究

本文针对传统遥感卫星数据记录系统需要人工输入工作计划的现状,以及无人职守工作模式的需求,提出一种智能化记录系统技术的解决方案。本方案主要采Aho-Corasick算法,通过搜索下行数据帧同步字的方法,区分卫星数据与无用信号;通过给定策略实现对记录系统起停的控制;通过给定任务需求策略,自动记录和传输有用卫星数据。本系统基于Aho-Cora-sick算法实现了识别20余颗卫星的能力。设计时采用Aho-Corasick算法作为帧同步字信号的盲搜或引导,一旦"锁定"卫星后则采用查找表的算法,提高了系统处理速度。实现后的记录系统仅需人工配置目标星和工作时间段等信息,之后运行工作可无人职守。     

蚁群算法在模糊Petri网参数优化中的应用研究

如何确定模糊产生式规则的各项参数对模糊Petri网的建立意义重大。把蚁群算法中的最大 最小系统引入到模糊Petri网的参数寻优过程，提出一种基于线程实现技术的参数优化算法。该算法实现不依赖于经验数据，对初始输入无严格要求。仿真实例表明，经蚁群线程优化算法训练出的参数正确率较高，且所得的模糊Petri网具有较强的泛化能力和自适应功能。     

基于颜色Petri网的Web服务组合建模及应用

给出了用颜色Petri网来对Web服务及服务组合建模,在描述服务内部控制结构的同时兼顾了数据流的描述,而且还给出了模拟Web服务执行的引发规则,从静态、动态两方面描述了Web服务及服务组合,最后还给出了一个应用颜色Petri网建模的实例。     

一种基于Petri网通信协议的分析和验证

基于一个PDA项目,介绍了自行设计的利用固定电话网进行信息传输的一套通信协议。用Petri网抽象描述了一系列代表性链路层协议模型,并借助Petri网模拟工具对模型进行修正和改进,得到可实际工程应用的协议模型。     

MP4大片轻松做

如今电脑已经是RMVB、AVI、WMV的天下但在手机和便携式媒体播放器上，MP4才是当之无愧的“老大”， 由此产生一个问题．就是我们如何才能把流行于电脑的RMVB、AVI、WMV电影以及DVD影碟方便快速的转换成MP4。     

.Net平台上Agent移动的实现技术研究

移动Agent是一个能在异构网络中自主地从一台主机迁移到另一台主机,并可与其他Agent或资源交互的程序。移动性是移动Agent区别于其他软件的重要特性之一,要实现移动Agent平台或者开发移动Agent的相关应用,首先需要解决代码移动这个关键问题。在研究了．Net平台上序列化、网络编程、多线程等相关技术后。本文提出了实现Agent移动性的解决方案并给出了实现的方法。该特性的实现为．Net平台上开发移动Agent应用奠定了基础。     

一种基于OWC在Web页动态绘制图表的方法

提出一种在Web页动态绘制并实时输出图表的方法。以数据库的查询记录为数据源,通过OWC组件技术在ASP.Net平台实现Web页中图表的绘制。实践表明,该方法在对大批量数据的分析比较中能够取得直观且实时的描述效果。     

基于Web Services的电子商务系统的研究与架构

在分析Web Services的体系结构和关键技术的基础上,采用基于.Net的Web Services技术,结合标准的Web协议(HTTP、SMTP等)和XML、SOAP、WSDL、VDDI等一系列标准,给出了一个企业电子商务应用集成技术的设计与实现。     

入侵检测系统分析

首先简要介绍了入侵检测系统的概念、功能以及通用模型CIDF,并对现有的入侵检测系统进行了适当分类,然后着重阐述了入侵检测的步骤、入侵检测系统的评价标准和当前存在的主要问题,最后对入侵检测系统的发展趋势作了概括性预测。通过对上述问题的分析与总结,为更好的发展入侵检测系统,提供了明确的理论方向。