基于MDA的语义Web服务的组合与验证

针对语义组合Web服务的验证问题,研究了模型验证相关技术、统一模型语言(UML),提出了基于模型驱动架构(MDA)的组合方法.该方法使用UML类图和用例图对OWL-S进行静态组合建模,使用活动图对OWL-S进行动态组合建模,实现了语义组合Web服务的UML描述,然后将该描述转换为Promela语言代码,在Promela代码之后增加LTL的声明,使用SPIN工具进行正确性、安全性和活性验证.该模型保证了组合过程的正确性.

海图自动输入方法的研究

海图的计算机自动输入是生成电子海图的关键。文中依据计算机视觉和模式识别原理，把海图的颜色特征和结构特征相结合，通过扫描、分色、跟踪和识别。

AD73322L及其与DSP5416的接口设计

片AD73322L是AD公司推出的低成本．低功耗CMOS通用双通道模拟前端。可以同时进行AD和DA转换。本文介绍了芯片AD73322L的性能特点．功能、基本原理及其与DSP5416的接口设计。