基于图像采集卡的成像系统数据采集处理

为获取和处理成像系统图像数据,使用Matrox公司的图像采集卡与成像系统进行连接,在VC++环境下设计了图像采集处理软件。依据对成像系统的评价要求,提取了用户特定选择行列图像数据以曲线形式显示给用户,满足了成像系统在调试和评价阶段的使用要求。     

医学信息类专业《计算机组成原理》课程教学探讨

结合高等医科院校的实际情况,针对医学信息类专业的特点,探讨了《计算机组成原理》课程教学过程q-的几点心得。分别从教学内容的选择、教学方法的改进和教学实践的改革等方面作了详细的阐述。     

面向DO-333的襟缝翼控制单元安全性分析

DO-333是对机载软件安全性标准DO-178C关于形式化方法的补充,为机载软件开发过程中形式化方法的使用提供指导。模型检验作为一种形式化方法,可以应用于对软件需求和设计阶段制品的严格验证。基于DO-333,使用模型检验对飞控系统中襟缝翼控制单元不同阶段的软件制品进行验证与分析,判断其是否满足DO-178C的相关验证目标并提供证据支持。首先,对控制单元中襟翼与缝翼必须互斥更新的高级需求进行规约和验证;其次,对单个机翼控制逻辑的低级需求进行规约和验证。通过以上验证与分析,分别为标准中关于高级和低级需求的验证目标提供证据。文中展示了模型检验在一个机载软件认证中的应用实例,该工作将为机载软件的安全性保障和适航认证提供技术支持。     

一个基于两区间八边形约束的抽象域

抽象解释静态程序分析技术用来发现运行时错误,保证程序正确性,已经被成功应用到工业界。抽象域是抽象解释理论中的一个重要方面,然而大部分已存在的数值抽象域无法表示程序的非凸性质,抽象域的这种凸性限制很多时候会影响数值分析的精度,甚至带来更多误报。基于两区间八边形约束,提出了一个新的数值抽象域,其约束形式为x±y∈[a,b]∪[c,d],其中x和y表示变量取值,a,b,c,d∈R。该抽象域的域元素是用两区间八边形约束表示,因此可以表达某类非凸性质,表达能力强于经典的八边形抽象域,并且相对于八边形抽象域,域操作的计算复杂度并没有提高太多。     

一种改进的基于模板匹配的集装箱字符识别方法

字符识别是计算机模式识别中较为常见的问题,对于印刷体的字符来说,经常采用二值化和模板匹配方法进行识别。在实际应用中,为了提高识别率,减少计算量和运行时间,解决正确识别二值化后的正反不同图象的问题,提出一种改进的自适应的模板匹配方法,理论与实验结果表明具有较高的识别和坚韧性。     

基于VerilogHDL的背景噪声扣除电路设计

本文介绍了一种基于硬件描述语言VerilogHDL的背景噪声扣除电路设计,该设计与以往使用加减计数芯片组成的电路相比,具有与MCU接口简单,软件操作方便等优点.     

基于COCOMOⅡ的自动测试维护代价实例研究

不考虑自动测试的维护代价,盲目进行自动化测试是有风险的.文中以画板程序升级为例,详细介绍了它的修改过程和相应测试程序的维护代价,利用COCOMOⅡ度量方法,对测试程序和被测试程序的维护代价做一个比较,说明测试程序和被测试程序一样,需要反复维护才能进行回归测试.通过实例和理论分析使测试者清醒认识自动测试的维护代价,合理利用自动化测试.     

CORBA与DCOM桥接设计与实现

DCOM与CORBA是目前广泛使用的分布式技术,在开发大型的企业级分布式应用系统时,优先考虑使用的分布式技术就是DCOM或CORBA这两种中间件技术.有时一个系统需要同时使用DCOM与CORBA.由于这两者在具体的技术实现上有较大差别,使得它们在跨平台的互联时,不能直接实现DCOM与CORBA的互访.因此,如何实现系统中DCOM与ODRBA直接通信成为一个关键问题.提出了一种实现DCOM和CORBA通信的桥接框架,是一种"动态桥",所需的桥接口可以随时添加到桥里,它解决了DCOM和CORBA之间不能通信的问题.     

数据驱动模型与概念性模型的应用对比

BP神经网络与K-最近邻(KNN)算法相耦合所建立的BK(BP-KNN)模型是一种数据驱动模型,它克服了传统的BP神经网络模型必需前期实测流量、泛化能力不强的缺点。IHACRES模型是一种结构简单、应用广泛的以单位线为基础的集总式概念性模型。选择板桥、马渡王两个流域分别运用BK模型、IHACRES模型和新安江模型进行径流模拟。模拟结果表明,BK模型的模拟效果最好,IHACRES模型次之;说明数据驱动模型在水文模拟中有着巨大的运用空间。