SDL-2000动态语义定义方法

讨论了SDL-2000的建议Z．100的附件F中用分布式实时抽象状态机(ASM：Abstract State Machine)形式地定义SDL(Specisification and Descripiton Language)动态语义的方法。与基于通信顺序进程的方法相比，该方法能够更直接地定义SDL的动态语义，具有易于维护和可读性好等特点。     

SDL阵列宽带零陷展宽波束形成

传统宽带自适应波束形成算法在信号带宽较宽时硬件实现困难且形成零陷较窄.针对此问题,利用传感器延迟线阵列结构替代传统的时域抽头延迟线结构,在此基础上提出基于空间响应偏差约束的宽带零陷展宽波束形成方案.对参考频率干扰信号方向邻域的波束响应进行最大值约束,然后利用SRV约束将零陷展宽,通过凸优化工具求得最优加权向量.仿真结果表明,该算法可在保证波束宽度的同时实现宽带零陷展宽.在零陷宽度设定为10°、零陷深度为-30 dB的条件下,零陷宽度实测值可以达到14.7°,且具有较高的输出信干噪比.     

嵌入式实时软件可视化开发方法

分析了传统嵌入式实时软件开发方法的不足之处 ,同时在分析统一建模语言 (UML)与规范描述语言(SDL)各自优缺点的基础上 ,论述了二者集成的可行性。重点讨论了UML与SDL之间的映射问题。最后讨论了以SDL为核心的可视化集成开发环境的可行性、实现方法及特点     

浅谈Linux下游戏编程

本文通过游戏实例,介绍了游戏编程的思路和方法,使读者能学习和掌握游戏编程方法,从而迈入精彩的游戏编程大门。     

基于模糊Petri网和本体的网格服务发现

给出了一个多Agent松散耦合的网格服务发现框架. 在该框架中把Agent分为三类:服务Agent、需求Agent和服务发现Agent. 提出以模糊Petri网作为服务描述语言的规范,用以发布或请求服务,用可能性变迁表示一个服务或一个需求,输入库所代表在提供(或请求)服务前需要成立的前提条件,输出库所表示提供(或获得)服务后成立的条件,用可能性与必然性来量化一个服务Agent能对一个请求提供相关服务的信心程度. 最后基于本体论给出了一个支持部分匹配的服务匹配算法,并用一个车辆维修服务系统的例子进行了说明.