运用分离前提方法来检验互斥性和生命属性

本文提出了一种分离前提方法(split precondition approach)，用于构造分布式算法模型并证明算法的正确性。文中讨论了Peterson的双处理器分布式互斥算法，对其进行了精确的分析和形式化的说明。并给出了相关属性的证明。     

基于SOPC技术的视频点播系统设计

提出一种以Altera公司高性能的FPGA芯片为平台，利用SOPC技术和双Nios II处理器设计实现16终端视频点播系统的方法。阐述了在可编程逻辑设计中使用“乒乓操作”实现高速数据传输的设计思想与实现方法。介绍多CPU系统中各CPU之间同步通信技术的设计方法。     

基于双处理器的弹载计算机的设计

提出了一种基于双处理器的弹载计算机的设计方法,采用主处理器、协处理器的系统架构,主处理器负责系统管理,协处理器负责数据的采集、转换,两个处理器之间通过IDMA接口进行通讯,详细介绍了处理器、复位、模拟量和离散量设等部分的设计方法。经过验证,表明该设计方法具备工程上的可行性。     

基于双处理器架构的列车超限检测系统研究

铁路货运列车超限严重威胁着铁路运营安全.而目前国内已有的检测系统难以实现对静态列车的便携式、高速、高精度测量.研究了一种基于双处理器架构的列车超限检测系统,硬件上采用嵌入式主板代替个人计算机提高了系统的便携性,其中ARM管理系统实时多任务并维护嵌入式GUI,32位专用DSP保证了系统测量精度并优化了图像处理速度.软件部分基于嵌入式Linux系统,开发了各外设的驱动程序和应用程序,其中HPI中断方式的驱动程序提高了双核数据传输的效率.设计的超限检测系统机箱体积为40 cm× 40 cm×25 cm,在30 min内可以完成一节10 m车厢的超限检测,耗时仅为手工测量的1/5并且能够达到mm级的测量精度.     

新型电导盐密仪的设计与实现

为了防止高压输电线路污闪事故的发生,定期进行绝缘子等值附盐密度的测试,根据测试结果指导线路的清扫工作是非常重要的,针对这一问题,设计了基于双处理器电导盐密测量仪,详细说明了测量原理、硬件构成和软件的设计方法,该仪器能够在进行盐密测量的同时对其温度和电导率等几项技术指标同时进行测试,而且精度高,反映速度快,满足了实际测量的需要。     

科远KD300系列变频器亮相第25届中国国际测量控制与仪器仪表展览会

正2014年9月23日—26日,第二十五届中国国际测量控制与仪器仪表展览会在北京中国国际展览中心(顺义新馆)成功举办。南京科远自动化集团股份有限公司(以下简称"科远")作为中国自动化与信息化技术、产品与解决方案的业界领先者出席展会。此次展会,KD300系列变频器做为科远的代表性产品现身展会,工作人员对前来参加展会的客户做了产品的详细介绍,让客户对KD300系列变频器有了更为清晰的认识。     

基于双CPU的固定串补微机保护系统的研究

介绍了一种能为固定串补装置提供可靠保护的微机保护装置.通过以太网控制器接收由前端电子互感器传送过来的数字量采样值.装置硬件采用双CPU结构,其中主保护CPU采用TMS320F2812芯片,负责完成接收采样值及保护计算的任务;从CPU采用ATMEGA128,主要实现人机接口功能.两个CPU之间通过双口RAM来交换数据.     

基于双口RAM技术的双CPU系统间数据通信

随着计算机技术的发展,在工业自动控制系统中,由于系统的复杂程度的提高,需要用到两个或更多的处理器。而如何实现不同处理器间的数据通信,是系统实现的难点之一,介绍了一种基于双口RAM技术的双CPU系统间数据通信的实现,成功解决了这个技术问题。     

基于双处理器和双口SRAM的高速图形LED屏

介绍了一种基于双处理器和双口SRAM的高速图形LED屏的硬件和软件。该系统采用两片单片机分别负责显示扫描和图形变换，两者通过双口SRAM连接，实现高速图形显示。