摘要：开发了一种基于VBA平台、AutoCAD驱动的3B指令可视化软件,介绍了该软件的功能与开发工具的选择,阐述了软件的设计过程。实践证明该软件有助于提高3B指令编程的正确性与效率。

摘要：　采用发光二极管阵列构造线了一种大尺度线光源,文中分析了发光二极管阵列光源能量在空间上的分布,用光照度计实测能量分布数据,以二维坐标给出了能量平面分布图.设计的线光源满足大靶面弹丸测速光幕靶的要求,文中给出了在光幕靶接收器件处阵列线光源光能量的计算公式,实验验证了分析的正确性.

摘要：从提高测试效率和代码覆盖率的角度,提出一种利用VerilogHDL语言中的task来复用测试代码,进行分层分模块验证的测试方案。用该方案测试802.11a基带芯片,可对设计模块进行功能仿真,找出设计中的错误,以保证802.11a基带芯片在功能上的正确性和可行性。

摘要：《营造法式》是由宋朝廷颁发的一部十分重要的建筑专著,其编修过程历经数十年,最后由李诫完成,故他认为'别无未尽未便处'。但今天看来它仍有些问题,主要在于系统性、完整性、一致性、明确性和正确性等方面。

摘要：文章介绍了一种基于SIMULINK的异步电机按转子磁场定向的矢量控制系统仿真模型,采用遗传算法对系统中转速调节器的参数进行优化设计,验证了模型的正确性和SIMULINK作为仿真工具的有效性,表明采用遗传算法调节器参数寻优的矢量控制系统较常规调节器构成的系统具有更好的动。

摘要：在地图匹配算法的基础上,设计了匹配度加权递推的地图匹配算法。该算法通过设置匹配度阀值,可以有效消除存在于最佳匹配路段挑选中的模糊性以及地图匹配的正确性问题。

摘要：在分析船舶结构混合变量优化问题的基础上 ,构造了一种基于移动代理的分布式并行遗传算法模型 ,将其应用到船舶结构混合变量优化设计中。数值试验证明了该计算模型的有效性和正确性。

摘要：针对当前CRM的发展方向,为实现E-CRM系统,提出了以J2EE作为开发平台,并在处理客户数据方面充分利用数据挖掘技术;在系统的实现部分,提出了一个集正确性、合理性及一定程度上的可复用性的理论模型,并最终得以实现。

摘要：本文主要介绍了基于FPGA技术实现与PC串行通信的过程,给出了各个模块的具体实现方法,分析了实现结果,验证了串行通信的正确性。