一种动态可重构IP系统设计研究

针对通用逻辑开发和可继承性设计提出一种动态可重构IP系统的设计方案,它主要依靠下载bits流文件改变FPGA的配置存储器来实现重构,其配置时间只与预设的IP模块大小有关,与IP的结构无关而且可以利用相关的辅助设计工具.本文介绍了该系统设计实现的流程及关键技术,并以具体实验给以验证.     

流处理数据获取系统中的通用显示模块实现

为了解决不同的数据获取系统中数据显示模块无法通用的问题,减小实现数据显示模块的工作量,本文设计和实现了一种应用于流处理数据获取系统的通用数据显示模块。这种数据显示模块分为显示数据生成节点和数据显示节点两部分。这两种节点作为系统定义的标准流处理节点,与系统中的其他节点采用相同的数据格式和数据接口定义,并可与相同数据域内的其他流处理节点任意连接,仅仅通过不同的工作参数表征其所在数据域的属性差异。通过对于显示数据产生和数据显示方式的抽象,在数据生成节点中采用统一的模型完成从输入数据流抽取和统计待显示信息的功能,在数据显示节点中根据数据的内禀维度提供了多种可视化模式供不同的数据信息显示使用。通过在系统中接入和配置上述两种节点可以实现数据显示模块的通用。这样的通用数据显示模块已经在海洋地震勘探和高能物理实验的数据获取系统中得到了应用。     

一种面向汽车电子的配置界面动态生成方法

汽车电子的开发需要根据特定硬件平台资源情况对基础软件功能进行裁剪,而汽车电子的基础软件模块具有配置需求量大、复杂度高等特点。因此,设计一种具有高可配置性、通用的配置工具原型,具有非常重要的应用推广价值。针对汽车电子基础软件的实际需求,提出一种动态生成配置界面的方法。该方法分离配置参数与配置界面,从而极大提高配置工具的可扩展和可维护性。实验结果显示该方法是可行且有效的。     

一种基于对象信息的MIS自适应生成器

为解决MIS在开发和运行过程中因需求频繁变更所带来的开发和维护的工作量上升问题,提出一种新的MIS软件基础模块自适应生成管理器。通过信息化管理MIS的版本、用户与权限、系统结构、系统模块、对象信息、通用视图元素、通用业务逻辑元素和通用数据访问方式,并基于通用的界面层基础元素、业务逻辑层基础元素、数据访问层基础元素和对象信息自适应生成或重构MIS软件基础模块的数据库、交互界面、业务逻辑、数据交互部分和软件内部结构,以达到动态构建和管理MIS软件基础模块,实现基础模块信息化和系统对自身信息化、自动化管理的目的。通过将该生成器技术实现并实际应用于MIS开发,验证其能够较好地应对MIS基础模块的快捷构建与变更,有效降低MIS开发与维护的工作量。该生成器较好地解决了MIS软件基础模块快速构建与重构问题,能较好地应对MIS在开发和运行过程中的频繁变更。     

SAR系统可重配置高速数传设计和实现

为了解决通用性和数据传输率瓶颈,本文设计并实现了一种通用的可重配置高速数据传输模块。通过使用高速的LVDS外部数据接口和PCI_X内部数据接口,以及可以重配置的体系结构,适应不同的物理接口和接插件模式,实现了高速实时SAR成像的数据接口。该体系结构具有通用性和可重配置性,系统开发快速,可以适应广泛的数据传输模式。     

基于VC++的ATS软件平台的设计

Atlas语言是一种非常出色的通用测试系统语言,具有设备无关性。在基于消息处理的基础上,研制和开发了具有我国自主知识产权的ATLAS语言集成开发环境。讨论了设计过程中动态指针的使用技巧,同时讨论了树视图在设计中的应用,构造了编辑器。提出使用线程的思想实现执行器完成数据的并行效果,并使用原子增量对于并行机制进行仿真,使其达到尽量减少模块的耦合,做到模块的可复用性。     

SAR系统可重配置高速数传设计和实现

为了解决通用性和数据传输率瓶颈，本文设计并实现了一种通用的可重配置高速数据传输模块。通过使用高速的LVDS外部数据接口和PCI_X内部数据接口，以及可以重配置的体系结构，适应不同的物理接口和接插件模式，实现了高速实时SAR成像的数据接口。该体系结构具有通用性和可重配置性，系统开发快速，可以适应广泛的数据传输模式。     

航天发射可视化仿真接口模块设计

可视化仿真在航天发射弹道设计和分析中起着重要作用.卫星工具包软件STK,是航天领域通用的仿真软件,可以用来实现航天发射数据的可视化.航天任务的方案选择阶段,需要计算多条弹道,在STK界面内进行一系列设置来实现每条弹道的可视化,是非常繁琐的.因此,有必要将可视化的工作模块化.针对航天发射任务的弹道仿真,利用VC 和STK/CONNECT模块,开发了可视化接口模块,该模块能够与弹道数据模块和资源库模块进行交互,获取相关数据,对数据进行转换和处理后,连接STK建立可视化场景.系统设计人员只需在接口模块界面内进行简单操作,便可实现可视化.     

"水下空间"视景仿真软件模块的开发研究

目前版本的Vega只能通过海洋模块仿真海面以上的场景，如波浪、舰船尾流等。本文分析了Vega的组成结构及工作原理。在此基础上，针对水下空间效果如光影、透明度、气泡等仿真的需求，自主开发了“水下空间”模块，并嵌入到Vega中。解决了Lynx关键字配置文件、GUI配置文件和Lynx插件动态链接库的开发设计等一系列相关技术，以VC 6．0为开发工具，利用OpeGL图形库编程开发了实现模块各项功能的动态链接库。其中以“水下透明度”的实现为例，论述了图形学算法及程序设计方法。应用结果表明，该模块便捷易用，效果逼真，适用于水下空间的视景仿真。     

基于Delphi的DLL封装系统数据支撑模块技术的研究

动态链接库（DLL）是一种成熟的资源共享技术，而Delphi语言提供了完整的数据库解决方案。通过研究两者的特点，综合利用两者的长处，形成各种数据库通用的数据支撑模块，为基于数据库的软件的开发和运用提供稳定、快速和优质的数据服务。数据支撑模块有良好的通用性、维护方便、即时更新，已在大坝安全监测信息分析系统的开发过程中得到广泛应用并收到良好的效果。     

An experimental assessment of module documentation-based testing

Context

Testing a module that has memory using the black-box approach has been found to be expensive and relatively ineffective. Instead, testing without knowledge of the specifications (white-box approach) may not be effective in showing whether a program has been properly implemented as stated in its specifications. We propose instead a grey-box approach called Module Documentation-based Testing or MD-Test, the heart of which is an automatic generation of the test oracle from the external and internal views of the module.

Objective

This paper presents an empirical analysis and comparison of MD-Test against three existing testing tools.

Method

The experiment was conducted using a mutation-testing approach, in two phases that assess the capability of MD-Test in general and its capability of evaluating test results in particular.

Results

The results of the general assessment indicate that MD-Test is more effective than the other three tools under comparison, where it is able to detect all faults. The second phase of the experiment, which is significant to this study, compares the capabilities of MD-Test and JUnit-black using the test evaluation results. Likewise, an analysis of the test evaluation results shows that MD-Test is more effective and efficient, where MD-Test is able to detect at least the same number of faults as, or is at par with, the black-box approach.

Conclusion

It is concluded that test evaluation using grey-box approach is more effective and efficient that the black-box approach when testing a module that has memory.     

基于接口定义的异构数据有效性验证方法

给出一种异构环境下多模块通用的数据有效性验证方法。该方法运用接口定义语言的通用＂接口定义＂思想,使用数据验证配置XML文件定义公共的数据验证项,使用类C语言定义通用的数据验证接口,各模块根据定义的接口实现数据验证功能并举例说明。该方法使数据验证的维护可以通过直接修改公用的配置文件快速实现,避免了多模块重复修改,提高了软件开发效率。     

证据推理的鲁棒性研究

在处理不确定信息的方法中,证据推理性能突出、应用广泛,它的鲁棒性分析十分必 要.首先基于证据推理的目的和要求,给出证据推理鲁棒性的定义,并提出冲突率的新概念,以 此为尺度对Dempster规则、加权分配冲突法和吸收法的鲁棒性进行了深入分析,证明了各方法 鲁棒性结果.仿真结果表明改进的组合规则鲁棒性能得到了明显增强.最后给出证据推理的一 般情形的鲁棒性分析.     

基于OpenGL等的船舶阻力仿真软件系统

该文介绍了＂船舶阻力仿真软件系统＂的功能及实现方法.开发本系统的目的是将计算机技术、多媒体技术和仿真技术相结合,构建一个用于船舶实验教学的虚拟实验室.系统以Visual C＋＋和Authorware为主要开发工具,Flash、3DMAX、Photoshop等为辅助工具,同时结合应用了Visual C＋＋技术中的COM和ActiveX技术,开发出了界面友好、功能完善的多媒体教学仿真软件系统.在船舶运行模拟部分主要使用OpenGL技术进行三维仿真环境的建立,使用3DMAX工具建立船舶的三维模型,开发出了逼真的船舶运行仿真系统,具有较好的应用价值,极大地提高了学生的学习兴趣及学习效率.     

Generating artificially mastered motions for an upper limb inbaseball pitching from several objective functions

It is possible to consider a mastered skill to be an optimal skill under some conditions, especially in the field of sports, We call an ideal skill generated in an artificial environment like a computer, an "artificially mastered skill". There must exist an objective function which represents the objective of the optimization for the skill. The objective function plays the most important role in defining the meaning of the mastered skill. In this paper, we propose a computer simulation method of generating artificially mastered motions for an upper limb during baseball pitching by using a three-dimensional mathematical model and an optimizing method. We report the consequences of simulation experiments for several objective functions that define the mastered skill in the meaning of "nonwasteful" and/or "smooth". From the consequences, we also investigate the property of an "artificially mastered skill motion" generated from each objective function, paying attention to differences among the consequent motions for each objective function from the viewpoints of kinematics and dynamics.     

基于分布式感知-行为网的机器人实时环境学习和导航方法

利用机器人自身的时空经验,在缺乏全局坐标信息、罗盘信息和环境先验模型的情况下,建立基于分布式感知-行为网的空间模型.因为该网络是完全分布的,所以提供了定常的定位时间和线性的路径规划时间.实验结果表明,将分布式感知-行为网作为环境模型可以更好地与基于行为系统相融合;并且利用环境上下文匹配算法可以有效解决迷宫环境的"感知混淆"问题;文中给出了基于环境熟悉度的环境动态探测方法,实现了有效的环境探测.     

基于插件平台的软件开发过程研究

面向对象的软件开发方法增强了代码的可重用性,但是设计出的软件还是一个整体,不能像硬件一样实现"即插即用"。为了实现软件的"即插即用",可以采用插件技术,软件由一个个的模块(DLL)组装而成,不需要集成各源代码或链接库进行编译与链接。需要新的功能组件时也是按规定开发,之后只进行组装软件就可以使用。以前使用过的功能组件可以稍加修改或直接用于以后的软件开发。这种方法增强了软件的可扩展性和可维护性,也为软件开发人员降低了软件开发的代码集成难度。本文研究结合农业部农业建设项目管理信息系统的设计,论述如何在插件体系环境中进行软件的开发和管理。     

基于BIP框架的DPU系统建模与验证

DPU(data process unit,数据处理单元)是嵌入式系统中的一个典型组件,被广泛应用于太空领域,它在层次化的嵌入式系统架构中起到承上启下的作用。保证这类安全攸关系统可靠性的主要方法包括冗余容错、测试和仿真。近年来,形式化方法作为确保可靠性的一种重要补充,得到了广泛的关注。BIP(behavior interaction priority)是一个通用的系统级形式化建模框架,支持层次化和模块化,包含一套支持建模、模拟和验证的工具集。给出了一种基于BIP框架对DPU进行系统级建模与验证的一般方法,总结了一套使用BIP框架对DPU建模应遵循的原则及技巧。以航天领域一个真实DPU系统为例,系统地对方法、原则和技巧进行了介绍。通过该方法,找出了使用传统方法难以发现的错误。实践表明,该方法具有很好的可复用性和可扩展性,是确保系统可靠性的有益补充。     

基于Mixim模块的无线移动网络仿真

采用先进的开源网络仿真软件OMNeT＋＋进行无线移动网络的仿真,通过对比Mixim模块和MF模块的优缺点,设计了Mixim模块中的物理层处理模型,并对无线移动网络的移动管理进行建模。通过无线移动网络的仿真实例,给出了设计仿真实验的重要步骤,利用Mixim模块的plove工具进行了统计分析,反应了Mixim模块在无线移动网络仿真方面的强大优势。     

基于分割的任意形状场景文本检测

随着深度学习技术的发展, 自然场景文本检测的性能获得了显著的提升. 但目前仍然存在两个主要的挑战: 一是速度和准确度之间的权衡, 二是对任意形状的文本实例的检测. 本文采用基于分割的方法高效准确的检测任意形状场景文本. 具体来说, 使用具有低计算成本的分割头和简洁高效的后处理, 分割头由特征金字塔增强模块和特征融合模块组成, 前者可以引入多层次的信息来指导更好的分割, 后者可以将前者给出的不同深度的特征集合成最终的特征进行分割. 本文采用可微二值化模块, 自适应地设置二值化阈值, 将分割方法产生的概率图转换为文本区域, 从而提高文本检测的性能. 在标准数据集ICDAR2015和Total-Text上, 本文提出的方法使用轻量级主干网络如ResNet18在速度和准确度方面都达到了可比较的结果.