摘要：SystemC作为一种系统级描述语言能够同时描述硬件和软件,但缺乏形式化分析的手段。针对其存在的问题,提出引入Petri网的设想,通过分析了SystemC程序本身的结构特点,指出其主要由顺序、分支、循环以及并发等结构组成,并分别给出与Petri网的对应关系。同时提出了由SystemC程序到时间Petri网的转换方法。使用Petri网的工具对并发程序进行分析,将SystemC程序转换成时间Petri网,为基于SystemC的系统设计提供形式化的分析方法。并应用Petri网的可达图检测出原SystemC程序中的死锁,该转换方法的有效性达到了引入形式化方法的目的。

摘要：本文阐述了RFID系统,并详细分析了RFID中间件的具体功能,提出了一种具有消息传输机制的RFID数据传输设计模型,以实现更加有效的数据传输。

摘要：基于非线性系统的状态线性化理论,设计了一种新的统一混沌系统同步控制器,实现了加密信息信号准确的恢复。首先通过坐标变换,将驱动系统和响应系统分别转化为类规范型系统,然后对两个类规范型系统构造误差方程。根据线性系统极点配置方法设计反馈控制器,从而实现两个混沌系统全部状态同步。进而,在发送端用多个混沌信号对信息信号进行掩盖后传送出去,在接收端对混沌掩盖信号进行解密从而恢复出信息信号。最后进行数字仿真,仿真结果验证了该方法的有效性。

摘要：随着Web服务组合的不断发展,失效检测器成为构建可靠的Web服务组合环境所必需的基础组件之一。对基于Web服务组合的失效检测机制进行研究,设计了主从式失效检测算法并对其进行理论分析,构造Web服务组合失效检测框架,为Web服务组合监测提供有效的手段,提高系统可用性。

摘要：在驱动-响应配置下,本文研究了基于鲁棒自适应观测器的不确定性混沌系统的同步。尽管在驱动系统中存在很多未知的扰动和参数,但是一个鲁棒的自适应观测器仍然可以作为响应系统实现混沌同步。数字仿真表明了该方法的有效性和实用性。

摘要：分析了现有的隐私保护技术和对等网拓扑结构,将随机化方法引入到P2P网络中,设计了一个基于P2P的隐私保护模型,介绍了普通节点及超级节点数据处理方法的运用,验证了基于P2P的学生成绩管理数据库模拟的有效性。

摘要：电子机构是人类机构代理的副本,为提供支持、信任和合法性商业应用而具体设计。它是以网络为基础的,一种虚拟的管制环境,然而在现有的研究中,并没有实现电子机构基于角色的访问控制。本文根据电子机构的基本概念,提出了电子机构基于角色的访问控制模型,并从系统权限、身份认证以及访问控制的角度,研究电子机构的安全性。描述了重写逻辑Maude工具建模的方法和过程。最后,用重写逻辑Maude工具实现了网上购物系统的登录身份认证。

摘要：为了有效求解集成化物流中的双重容量约束的定位-路线问题,设计了两阶段的启发式算法。算法的第一阶段解决了配送中心定位和客户群分配问题,算法的第二阶段采用禁忌搜索算法优化车辆的行车路线,并通过算例验证了算法的可行性和有效性。

摘要：针对Web服务组合环境对失效检测方法进行研究,设计主从式失效检测器和失效检测算法并对其进行分析,为Web服务组合监测提供有效的手段,实验模拟表明,该算法能有效降低错误率,提高系统可用性。

摘要：阐述智能视频监控系统的工作流程,重点介绍嵌入式智能视频跟踪系统的设计与实现。以嵌入式处理器PXA270为基础,采用USB摄像头采集视频数据,运用改进的CamSh ift跟踪算法,实现运动目标跟踪。