关于亚纯函数的精简唯一性象集

讨论了亚纯函数的唯一性问题,建立了一个具有１７个元素的亚纯函数的精简唯一性象集．     

流量测验精简试验与分析--以孔雀河他什店站为例

孔雀河是开都河汇入博斯腾湖,经博斯腾湖调节后的出流河,是库尔勒市、尉犁县的主要水源,并负责向塔里木河下游输水的任务.近年来孔雀河灌区供水矛盾日显突出,为适应新形势下新的要求,使水文更好的为灌区服务,在保证流量测验精度的前提下,为减少工作量,缩短测流历时,全面提高测验质量,经过试验作出精简分析.     

UML的精简与扩展

近年来,UML受到计算机各界人士的普遍关注,得到了广泛的应用,并在世界范围内形成了其事实上的建模规范的地位.针对目前UML中存在过于复杂和庞大的问题,结合对面向过程的结构化设计方法和面向对象的设计方法的比较,讨论了UML的核心、精简内核、扩展机制,以及用其重新实现UML标准的问题.     

基于ARM的自主式机器人控制整体设计方案

针对风暴机器人原系统只能实现机器的简单智能活动,其主芯片MC68HC11A1FN只能实现简单的编程,且必须符合它自身的一些硬件设置等缺陷,提出了用ARM芯片实现系统控制,透过传感器来感知外部环境获得环境信息,再通过路径规划做出决策进行运动.同时,为了让机器人能够更好地完成任务,可以使外部计算机与机器人进行无线通信,借助外部计算机来做出决策,实现远程操作.新模型通过在机器人上加入GSM模块,使其实现自身的定位,并与无线通信模块结合实现导航控制.     

分布式数据库的精简频繁模式集及其挖掘算法

对分布式数据库关联规则的挖掘与精简表示进行了研究,把频繁闭项集和最大频繁项集的概念推广到分布式数据库中,提出了在分布式环境下的频繁模式集的精简表示方法,以及一种基于各站点的全局大项目集的全局频繁闭项集和全局最大频繁项集的挖掘算法.该算法具有占用空间少、通信量小等特点.最后用实例进行了证明.     

流量测验精简试验与分析——以孔雀河他什店站为例

孔雀河是开都河汇入博斯腾湖，经博斯腾湖调节后的出流河，是库尔勒市、尉犁县的主要水源，并负责向塔里木河下游输水的任务。近年来孔雀河灌区供水矛盾日显突出，为适应新形势下新的要求，使水文更好的为灌区服务，在保证流量测验精度的前提下，为减少工作量，缩短测流历时，全面提高测验质量，经过试验作出精简分析。     

基于SystemC的RISC CPU行为描述

探讨了一种基于SystemC的RISC CPU建模方法，建立了一个SPARC精简指令集CPU的整数单元(IU)行为级模型．该模型作为指令集仿真器(ISS)．基本达到了RISC CPU的功能要求．为程序提供了一个CPU模拟平台．减少了软硬件协同设计的周期，这对片上系统SOC的实现具有重要的意义。     

线束干扰响应的精简计算模型

将电缆束等效方法与传统的传输线方法相结合,提出了多芯电缆束的精简SPICE分析模型。首先采用有限元法求解等效电缆束的模型参数,然后在SPICE环境中进行时域分析。以14芯电缆束的串扰问题和4芯电缆束的辐射干扰问题为例,对精简分析模型的有效性进行了验证。全模型与精简模型分析结果表明,精简模型线缆芯线数减少了一半以上,仿真幅度误差在5%以内,分析效率提高50%以上。该方法适用于大线束传导耦合分析、串扰分析和辐射分析。     

一种异构双核系统芯片平台设计与实现

提出了一种基于CKCore RISC处理器和Spock DSP处理器的异构双核系统芯片平台(GEM-SoC).该平台通过提供可配的功能IP模块和灵活完善的软硬件架构,使得异构双核SoC设计更为准确高效.实验证明,GEM-SoC平台可以有效地加快Ogg解码应用的双核软件程序设计开发.原型芯片在37.68 MHz时钟频率时运行,即可实现实时Ogg音频解码播放,具有较好的功耗性能比.     

三维离散元软件的加速可视化方法

针对自主研发软件AgriDEM(agricultural discrete element method)的可视化模块在仿真数据规模巨大时的显示卡顿问题, 提出一种软件加速可视化方法. 该方法从显示数据精简角度出发, 采用内部单元剔除算法, 模拟人眼视觉深度及物体遮挡的特征, 剔除内部不可见颗粒的数据, 从而减轻由庞大数据输入导致可视化流水线上的负荷, 解决了仿真数据可视化时的闪烁、 卡顿问题.