设计并实现了一种新型换能器阻抗测试分析系统。该系统以工业PC机做为上位机,采用GPIB通信接口与Agilent4294A高精度阻抗分析仪进行通信,在Labwindows/CVI开发环境下开发了测试分析软件实际应用表明该系统测量结果精度高、所生成的测试报告图文清晰,且操作简便快捷,提高了工作效率,具有很好的应用和推广价值。

设计并实现了一种换能器阻抗测试分析及数据管理系统;基于LabWIndows/CVI开发的换能器阻抗测试软件运行在PC机上,通过GPIB通信接口控制Agilent4294A高精度阻抗分析仪对换能器进行阻抗参数测试,并在PC机上实时显示测试数据和测试曲线,同时将测试结果保存到数据库中;数据管理软件实现了对全部测试数据的查询、分析、显示和报告生成等功能;应用表明该系统测量精度高、性能稳定、操作简便,提高了测试效率,实现了数据与文档的电子化,具有很好的应用和推广价值。

联邦概念模型（FCM）是联邦设计和开发的基础，对联邦概念模型进行VV＆A有助于提高模型可重用性和互操作性。由于FCM中定性描述多于定量描述，不利于VV＆A结果的客观性，而形式化方法是解决上述问题的重要途径。总结了国内外在概念模型的定义、建模方法以及模型形式化描述等方面的主要研究观点，讨论了HLA联邦概念模型开发过程及其完整性、正确性和一致性问题，阐述了FCM的VV＆A过程和技术，介绍了有利于减少VV＆A结果的主观性的基于模糊AHP的专家评审法和基于时态逻辑的形式化校核方法，最后讨论了形式化方法在联邦概念模型VV＆A中的应用。