基于89C51的发电厂同期合闸装置研制

基于89C51的自动同期合闸装置检测精度高，运行稳定可靠，具有调节频率和电压的功能，使用方便。     

基于PC机和单片机的激光加工机控制系统

用单片机作激光加工机控制核心，采用PC机为上位机，实现了多功能激光加工机的计算机控制系统，该系统可广泛应用于线切割、模具加工等机械的控制，图形和文字编辑功能完善、加工精度高、运行可靠。     

基于Prony算法的小电流接地系统单相接地故障选线研究

Prony算法是用一组指数函数的线性组合来拟合等间隔采样数据的方法,可以从中分析出信号的幅值、相位、衰减系数、频率等信息.通过对故障零序电流特征的分析,提出采用Prony算法来提取故障零序电流的谐波分量的信息,比较谐波分量的幅值和相位来实现正确选线.理论分析及仿真实验表明该方法可以准确实现小电流接地系统单相接地故障选线.     

验证包含黑盒的电路设计的有效方法

在超大规模集成电路设计中，为了进行早期的设计错误检测与调试或层次化验证，常常需要使用含黑盒的设计验证方法，该文提出了一种结合逻辑模拟和布尔可满足性的黑盒验证方法，用于验证设计中黑盒外部的功能正确性，该方法使用量化的合取范式(CNF)来表示电路中出现的未知约束，并且不需要修改电路结构，有效地节省了计算资源，此外，通过使用随机并行模拟增强了可满足性算法的错误检测能力，通过对ISCA’85电路的实验表明了该方法不仅比以往同类算法速度快，而且具有较好的错误检测能力。     

衢州市铜山源水库灌溉渠首闸门自动控制系统的研制

一、前言自动监测、控制系水利管理现代化工作中一项重要的研究内容。水利管理自动监测、控制系统的开发和应用,将使人们摒弃以往在配水、水量测算方面所广泛采用的落后方式和工具;一改过去那种劳动强度大、耗工多、精度低、水量浪费的现象,为实现合理调度,科学用水,按方收取水费等管理目标奠定基础。水利管理自动监测、控制系统的研究在国外发展较快。如日本,它的水利管理系统除具有     

低温温压工艺

较系统地研究了低温温压工艺,考察了粉末温度、模具温度、润滑剂含量和压制压力对温压 密度的影响。实验结果表明:低温温压中最佳的模具温度、粉末温度分别为120℃和100℃;粉末 中最佳的润滑剂含量为0.65％;当压力为686 MPa时,Fe-1.5Cu-0.5C和Fe-1.5Ni-0.5Mo-0.5Cu- 0.5C(均为质量分数,％)材质体系的粉末压坯密度分别达到了7.42和7.41 g／cm3;2种粉末的温 压坯件经烧结后都发生了收缩,进一步提高了密度,合金Ni,Mo元素等具有优良的烧结强化效 果;采用低温温压工艺可以生产出烧结密度为7.34 g／cm3,烧结硬度为HRC 28,热处理后表观硬 度为HRC 54的高性能P／M齿轮。     

视网膜CT和MRI病变信息辅助诊断算法

视网膜图像病变信息的计算机自动提取算法是计算机智能辅助诊断的关键和难点。本文根据CT和MRI视网膜图像的成像机理不同以及诊断的需要,通常将具有不同细节的多源图像融合到一幅图像中去,在小波变换后的矩阵系数上,采用模糊隶属度函数量化的方法来融合视网膜图像,结合了小波分析以及模糊理论的优越性,使融合后的图像包含更丰富的细节和更全面的信息,实验证明,该方法融合效果好、性能佳,突出了多源图像的细节信息。     

高精度交流采样系统研制

本文利用TMS320C5402的高速计算功能,设计了一种新的交流采样系统,该系统利用小波变换的优越特性对采集到的电压和电流信号进行处理,克服了原来在计算无功功率过程中由于对电压求导所引起的误差增大现象,实验结果表明,这种检测方法具有较高的精度。     

通用CPU设计验证中的等价性检验方法

针对传统的模拟验证方法需要大量的时间且难以获得完全的覆盖率的局限性,提出了目前应用最广泛的一种形式验证方法——等价性检验在一款通用CPU设计验证中的应用方案,包括寄存器传输级(RTL)设计与门级网表、门级网表与门级网表、RTL设计与RTL设计之间的功能等价性验证．此外,给出了验证过程中一些常见问题的解决办法．验证结果表明了该方法的可行性,显著地减少了门级模拟的时间．     

基于质量特征产品装配顺序规划的逆向推理算法探究

在Petri网柔性装配系统装配顺序规划中引入装配质量要素,并以装配零件的装配自由度,装配作业后稳定性,装配零件配合精度对装配质量的影响作为基本因子,提出装配质量置信度概念,解决柔性装配系统装配规划中装配质量及其定量化问题。根据装配形成的产品在Petri网装配状态图中表示为一个最终库所的特点,应用改进B树模型,提出仅以变迁信息的产品装配顺序规划Petri网逆向推理算法,简化装配顺序规划推理过程,对于多个变迁均可生成最终成品的情况,亦给出装配顺序规划的解决方案,并以摩托车发动机的装配为例,证明该算法是可行的。