用于GUI软件的测试工具

为提高GUI软件测试的效率、降低软件成本,提出一种针对GUI软件的测试工具.该工具由测试配置设定模块、测试用例设计模块和测试用例执行模块组成.首先根据测试需求进行测试配置设定生成INI文件,然后根据INI文件内容将测试对象窗体中需要测试的控件及属性设定到测试用例设计界面中,在界面中进行测试用例设计,并将设计数据保存到XML文件中,测试用例执行模块通过读取XML文件中的数据完成测试用例的自动执行,同时进行测试结果判断,最后生成测试报告.测试人员只需输入数据,不用编写测试脚就能实现测试用例的自动执行,能减轻测试人员负担,提高软件测试效率.     

基于VeriBest的虚拟制造系统

在传统的VeriBest设计过程中,普遍采用的方法是先利用VeriBest软件进行设计,再在贴装机上进行试贴装,如此反复直至没有问题出现,才能投入批量制造.这造成了设计与制造之间衔接问题.针对由于VeriBest设计中可能存在未被发现的设计错误等造成反复调试,从而严重影响生产效率的问题,本文通过对VeriBest设计文件进行分析,提取关键参数,利用计算机三维仿真技术对VeriBest设计进行仿真检错.实现了以VeriBest设计文件为输入的虚拟制造系统.经测试表明,该系统极大地提高了产前准备的效率.     

智能复用EDA设计信息及调试文档自动生成技术

针对电子电路产品设计中调试文档编制存在的各种弊端,提出了一种智能复用EDA设计信息的调试文档自动生成技术。通过融合异构EDA设计数据,智能复用设计数据中的调试信息,利用多个调试文档库之间的关联性,自动、快速地生成各类调试文档。该技术实现的系统已经在电子电路设计中得到应用,结果表明,该技术不仅优化了调试流程,还提高了文档编制的自动性、快速性和规范性。     

用于可制造性分析的异构EDA数据剖析转换

针对异构EDA设计数据阻碍PCB元件组装模拟仿真技术实现的问题,以Protel与PowerPCB为例,分析了其物理参数的存储格式,证明了异构EDA设计文件数据存储存在共性,且可转换成统一格式,设计了异构EDA转换接口,解除了这一障碍,实现了以异构文件作为仿真驱动的关键技术.     

造船业中托盘表的自动生成技术研究

本文提出了预定义实体的方法,实现了设计图纸(DWG文件)中的数据提取,并利用提取数据自动生成托盘表.这一技术的研究在某造船厂的信息集成系统中得到成功应用.     

模拟测试交换格式的研究与实现

为提高自动测试系统对模拟电路故障诊断的效率和水平,研究定义一种模拟电路测试交换机制,为基于模拟仿真测试程序集(TPS)开发和数据的传递提供信息和数据格式;通过Spice对电路进行仿真,将仿真数据进行小波分析提取特征,并由BPN、SVM、AIS进行知识生成与评价,最终实现ATIF文件自动生成;实验将ATIF文件解析导入到后处理环境中由测试程序执行检测故障,验证了测试格式的有效性。     

Revit三维模型中房间信息的自动标注方法

针对Revit模型三维视图不能显示房间名称及房间编号(ID)的问题,设计了自动标注Revit三维模型中房间信息的中间件.该方法采用面向对象的C#编程语言,借助Revit API扩展方式,首先识别出Revit模型各楼层平面图的建筑构件,提取房间坐标数据信息;结合SQL server,建立BIM数据库(Epplus库),存储提取的数据信息;最后,利用Visual Studio和Revit平台,采用坐标数据匹配方法,实现Revit三维模型房间信息的自动标注.实例仿真证明,该方法能够自动准确定位识别Revit模型中的房间,完成标注,提高了设计人员和审图人员工作效率.     

自适应元器件物理参数库的研究与开发

针对传统数据库的手工逐条录入方式不利于物理参数库快速扩充的问题,本文通过设计一异构EDA转换接口,将格式不同的设计文件转换为格式统一的中间文件,接着在读取分析中间文件内容的基础上,根据用户指定的同名器件添加方式快速完成元器件的自动非重复添加,由此开发了一个独立于EDA设计环境的自适应元器件物理参数库.     

标准SPS文件自动生成技术的研究与应用

随着老资料处理任务的增多,资料处理前期针对SPS文件的数据整理和转换,往往会耗费处理人员大量工作时间,常规方法一般利用Excel内插和外推功能,手动操作、任务量大、操作复杂、容易出错.通过自主研发软件并在不同工区实际应用证实,利用软件能够迅速自动生成标准SPS文件,反响良好.实践表明,该方法能够极大方便资料处理SPS数据构建,并保证数据的正确性,显著提高生产效率,论证了SPS文件自动生成技术研究的可行性,介绍了利用Delphi开发平台研发SPS文件自动生成软件的过程以及实际应用效果.     

基于MySQL的计划表自动生成方法研究

MySql是一种快速的、功能强大的、价格低廉的网络数据库.针对在计划表生成过程中遇到的效率低、易发生错误的实际问题,在现有的网络办公设备基础上,设计出一组客户程序来实现数据分析、数据上传、项目配置和VBA代码文件自动生成等功能,并描述了其实现过程.经过实践检验,本方法可以有效地解决上述问题,提高工作效率.     

机车空调逆变电源设计

本文讨论的是机车空调逆变电源系统的设计与研究。该电源系统主要是由DC/DC的BOOST升压部分和DC/AC三相逆变部分两部分组成。DC/DC部分所得直流电压通过DC/AC部分逆变成三相交流电,供给空调机组工作。同时,为使电源系统能更可靠的运行,也设计了相应的故障检测、保护等辅助电路。     

联合收割机脱粒滚筒恒速智能控制器设计

研究了轴流式联合收割机的控制问题,给出了联合收割机脱粒滚筒的数学模型,介绍了基于模式识别的智能控制原理,建立了联合收割机脱粒滚筒恒速控制模型,设计了基于模式识别的智能恒速控制器.应用Matlab/Simulink进行了控制器仿真,其结果表明,将基于模式识别的智能控制应用于联合收割机脱粒滚筒的恒速控制,其过渡过程平稳、响应速度快、无超调、无振荡并且无稳态误差.     

计算机辅助课表编排技术的研究

讨论了几种实用的计算机辅助课表编排技术及在实际编排中的应用。应用分析表明，采用分批与或图搜索和分批优化的匈牙利算法相结合的方法，在计算机辅助课表编排中是行之有效的。     

桥面损坏状态评估专家系统探讨

介绍关于桥梁结构损坏状态评估专家系统，在讨论状态评估方法的基础上，重点介绍损坏状态评估因素关系树的建立及各因素状态的模糊表达式等，最后以桥面诊断过程为例介绍系统的构成及诊断流程图，知识表达方式，系统推理过程及工作流程。     

Complexity of approximation of 3-edge-coloring of graphs

The problem to find a 4-edge-coloring of a 3-regular graph is solvable in polynomial time but an analogous problem for 3-edge-coloring is NP-hard. To make the gap more precise, we study complexity of approximation algorithms for invariants measuring how far is a 3-regular graph from having a 3-edge-coloring. We show that it is an NP-hard problem to approximate such invariants with an error O(n1−ε), where n denotes the order of the graph and 0<ε<1 is a constant.     

发热量测定仪系统设计

本文介绍了发热量测定仪的结构、工作原理、硬件系统功能,阐述了应用铂电阻进行高精度温度测量的方法,系统用AT89C52单片机作为处理和控制芯片,该发热量测定仪性能符合水泥企业应用要求。     

变电站一次设备喷涂PRTV用量的分析

对国网宁夏电力检修公司宁安运维站近2年来一次设备喷涂PRTV用量的统计数据进行分析整理,得出各类一次设备按照标准要求喷涂PRTV时的用量估算值,并针对现存作业中存在的问题,提出相应解决方案。     

Topological formulation of termination properties of iterates of functions

We consider a number of decision problems, that appear in the dynamical systems and database literature, concerning the termination of iterates of real functions. These decision problems take a function as input and ask, for example, whether this function is mortal, nilpotent, terminating, or reaches a fixed point on a given point in . We associate topologies to functions and study some basic properties of these topologies. The contribution of this paper is a translation of the above mentioned decision problems into decision problems concerning well-known properties of topologies, e.g., connectivity. We also show that connectivity of topologies on is undecidable for n>1.     

实现三维喷绘的软件系统设计

对三维喷绘软件系统的设计,通过USB 2.0实现与喷绘主板的高速图像数据通信。基于ARM与MCX314的运动控制器实现实时三轴运动控制以及精确的喷头时序控制,论述USB驱动程序和ARM固件的开发。结果表明,该系统具有设计简洁、成本低、可扩展性强和实用性高等特点。     

矿用传感器的伪数据滤除方法

介绍了矿用传感器的组成和工作原理,分析了矿用传感器伪数据的表现形式和产生的原因,并从抗干扰设计、低功耗设计和信号输出方式等方面提出了矿用传感器伪数据滤除的基本方法。实际应用表明,该方法减少了矿用传感器产生伪数据的几率,提高了矿用传感器的稳定性和安全监控系统的可靠性。