摘要：通过采用时域模技术 ,FDTD Diakoptics算法可以用来有效准确地分析复杂的微波集成电路 .根据电路的几何结构选定时域模函数 ,以该时域模函数为基础 ,建立微波电路的多模电路模型 ,使用全波时域分析方法求解多模电路对应于各个时域模的时域响应 ,使用傅里叶变换技术计算时域模函数的冲击响应 ,从而进一步得到多端口网络模型 ,使用FDTD Diakoptics算法对微波电路进行分析 .讨论了全波时域方法求解时域模函数时域响应时激励函数的选取原则 ,讨论了用傅里叶反变换求解时域模函数冲击响应时频带宽度的选取问题 .最后本方法被应用于波导滤波器的分析设计 .

摘要：嵌入式系统在生活、工业以及军事等领域的应用日益增多,嵌入式软件的可靠性要求也越来越高.设计一套嵌入式系统的测试工具,全面深入地对嵌入式系统可靠性进行检测对系统可靠性的提高具有极其重要的意义.设计的工具Codecomb通过采用客户端和服务器端架构实现被测软件与测试工具的分离,将复杂的测试计算转移到服务器上,同时分离的测试架构可以更好的适用于不同嵌入式平台软件的测试.采用动态符号执行技术生成测试案例可以实现较高的分支覆盖度,进而针对程序的缺陷检查也会更加全面和深入,能够发现程序中隐藏较深的错误.实验结果表明,本文所设计的工具能够实现软件缺陷的自动化判定,并对程序运行过程中的缓冲区溢出、内存泄漏等错误准确地进行定位.