泛型程序设计可大幅提高程序的可重用性、可靠性和开发效率.泛型约束机制是对泛型参数进行形式描述,并对其合法性进行检测及验证,从而保证泛型程序的可靠性和安全性.分析总结多种主流语言的泛型约束特性,存在难以描述及验证基于动态语义的复杂约束需求问题,与完整实现GP尚有距离;以抽象程序设计语言Apla为宿主语言,提出了基于 ...
/dl/212910.html
标签： apla 约束 机制 研究 Apla语言 代数结构 动态语义约束 安全性
上传时间： 2022-09-30
上传用户：art1543031321
WISHBONE System-on-Chip (SoC)Interconnection Architecture for Portable IP Cores
/dl/201062.html
上传时间： 2021-01-01
上传用户：jtxjth@126.com
本文通过分析桥巩水轮发电机定子机械椭圆刚度和偏心刚度、转子机械椭、圆刚度和偏心刚度、发电机电磁椭圆刚度和偏心刚度以及机组在不同工况下的变形，提出了一套计算分析发电机定、转子动态耦合振动及变形的计算方法
/dl/201092.html
上传时间： 2021-01-01
上传用户：spkyniai
仿真机I/O接口系统是用于在仿真主机与硬件操纵盘台之间进行信息传输与转换的重要系统。本论文围绕一台电站仿真机I/O接口系统进行改型研究，其中包括软件和硬件的设计开发。论文主要工作内容是基于嵌入式微处理芯片ARM、嵌入式操作系统Linux和以太网通信技术的改型I/O接口系统的软件设计和开发。 研究的接口系统由一个上位主 ...
/dl/201131.html
标签： 分布式
上传时间： 2021-01-01
上传用户：ml8866
近年来，GPS技术迅速发展，并随着3G时代的到来，其应用领域日益广阔，需求量与日俱增。与此同时，随着电路系统设计越来越复杂，上市时间日益缩短，集成电路设计方法面临重大变革。因此采用新型方法学来设计GPS接收系统是必要的。 本文基于GPS原理，采用可复用的IP技术和软硬协同设计技术，设计了一种高性能的GPS SOC接收系 ...
/dl/201157.html
上传时间： 2021-01-01
上传用户：wsn1dy
提出了基于TCP 交换技术的电路交换与分组交换融合的新方法，分析了TCP 交换需要解决的主要问题，较详细的讨论了TCP 交换中由IP 路由协议创建与撤销电路链路的过程，边界路由器与核心路由交换机所需完
/dl/201165.html
上传时间： 2021-01-01
上传用户：在支边
论文介绍了基于MapX的客车监控系统的工作原理、设计、功能、架构及开发中的关键技术。该系统综合运用了MapX地理信息控件、GPS卫星定位技术、GPRS无线网络传输技术。通过电子地图直观地掌握车辆的动态
/dl/201209.html
标签： MapX
上传时间： 2021-01-01
上传用户：123zxcedc
本文设计的井下网络分站作为“煤矿安全自动检测、监控及管理系统”的一个重要的组成部分，以ARM微控制器为核心，以操作系统μC/OS-Ⅱ为操作平台，采用TCP/IP协议栈实现了分站的网络通信功能，很好的解决了当前煤矿企业安全监控系统通信协议不一致的问题。 在硬件方面，严格按照《煤矿安全监控系统通用技术要求》完成了监控 ...
/dl/201244.html
标签： 学术论文
上传时间： 2021-01-01
上传用户：zhaofie1133
本文在研究分析现有P2P 视频直播系统的基础上，提出了SLOP 系统中最少优先的动态数据量请求调度算法，并进行了仿真分析，得到相应结论。关键词：P2P；视频直播系统；数据交换Abstr
/dl/201256.html
上传时间： 2021-01-01
上传用户：YYYYYY
晶体偏振控制器(PC)是高速光纤通信系统研究中一个非常重要的器件。无论光纤端口处输入任何偏振态，都可以通过调节偏振控制器，在输出端得到所需要的任意偏振态。另外，偏振控制器还在通信的许多领域有着广泛的应用。例如，光纤传感，半导体光放大器的偏振分析，光传输中光存储和光信息处理等。因此偏振控制器的研究对于高速 ...
/dl/201272.html
上传时间： 2021-01-01
上传用户：coollife910
