构件组合的集成测试

模型检验是一种自动化验证技术,其应用主要的困难在于状态空间爆炸问题。针对构件组合形成的状态空间爆炸问题,结合构件抽象组合原理及反例引导的抽象精化框架,提出了一种测试用例自动生成的方法。根据某个待集成构件抽象已集成的其他构件,并通过组合各个抽象构件生成抽象组合模型。利用模型检验工具对组合模型进行集成测试,生成抽象测试用例,再通过精化得到原模型对应的具体测试用例。实验结果表明该方法减小了状态空间,在一定程度上减缓了状态空间爆炸的问题。     

通用水晶报表平台关键技术研究

通常的应用软件需要大量报表,设计复杂且容易出错,是提高软件开发效率和质量的难题。通用水晶报表平台是解决这些问题的有效方法,文中在对报表模块原理进行阐述的基础上,对实现平台的关键技术进行如下研究:数据访问模式,包括提取模式和推入模式;界面设计,主要包括详细资料、报表页眉、页眉、页脚、报表页脚等5个节;程序对报表线的控制;将报表集成至应用程序;活用报表引擎,包括载入报表、打印报表、导出报表。运用这些关键技术设计的通用报表平台,能够适应用户需求的变化、提高软件开发效率。     

蓄电池监控系统方案

蓄电池是通信行业常用的电源模式,现有蓄电池工作情况缺乏简便有效的管理,本文介绍了一种蓄电池监控系统的方案,并通过实际的测试验证了该方案的可行性。     

基于Linux平台的《信息技术基础》课程研究

为促进Linux操作系统及开源软件的学习与应用,推动国内自主知识产权软件的发展,针对高校《计算机信息技术基础》课程中存在的问题,以及Linux人才缺乏、实验环境欠佳的现状,研究分析了将该课程放在通过Linux操作系统构建的高校信息技术教学平台下讲解的可行性,以及此教学平台引入的必要性。提出了该平台的设计方法,并根据新疆高校学生汉语水平存在的差异性,针对计算机专业汉族班学生,提出了该课程的初步设计方案,并总结了应用过程中的建议及措施。     

AADL模型的形式化研究

在嵌入式系统建模领域,AADL以其软硬件协同建模的特点已经逐渐成为业界的标准。围绕AADL的形式化特点,国内外众多学者展开了热烈的讨论。为了帮助系统开发人员深入了解AADL,指导软件开发进程,提高基于AADL模型的软件开发效率,分别从AADL模型可靠性分析、可调度性分析以及AADL模型测试这三个不同角度综述了已经出现的各种AADL形式化验证理论,对比分析了它们的优点和不足。简要介绍有关AADL验证工具,研究基于AADL模型的嵌入式开发平台的构建。     

高校计算机公共课通用评测平台的设计与实现

高校计算机公共课种类繁多,并且开设课程的学生人数众多,建立一个计算机公共课通用测试平台显得十分必要。本文对通用测试平台进行设计,对其中涉及的系统架构、试题类型、评分策略、组卷策略、试题分发、考试安全、容错等问题进行详细的设计与说明。通过对已经建立的部分课程的测试平台进行实践验证,平台运行良好,降低了教师评卷工作量,而且提高了考试的效率,同时也体现了考试的公正性与公平性,是一个值得推广的方案。     

基于GloMoSim的Ad Hoc网络路由协议仿真研究

针对24台移动终端在无线自组织网络中的联网通信需求,需要选择一种能够适应Ad Hoc网络拓扑结构不断变化的路由协议。文章对Ad Hoc网络的路由协议进行了分类和比较,并通过GloMoSim仿真平台,结合具体的网络仿真场景,着重对Ad Hoc网络中的AODV和DSR两种按需路由协议进行性能仿真测试,比较不同移动速度下两种协议的平均端到端时延、分组投递率和吞吐量性能优劣。实验表明,节点在GloMoSim平台中成功实现了通信互联,无论节点在静止状态还是高速移动情况下,AODV的性能都要优于DSR协议。     

多平台网络数据存储系统研究与设计

网络数据存储平台,是一款资源管理系统,包括Android平台的客户端管理工具和Windows平台的客户端管理工具及JSP页面客户端。主要实现了三种不同平台下文件的上传,文件的共享和文件的下载等功能。该系统是基于Http协议的多客户端与服务器端的数据传输功能。论文详细介绍了该系统的设计及实现过程,主要涉及系统从需求分析到整体架构以及核心技术的实施等关键步骤。初步测试表明,该系统实现了常见格式文件基于Http协议的上传,下载,删除,共享功能。     

基于ASP.NET MVC的数字化管理平台

随着计算机网络和通信技术的飞速发展,很多行业结合自身的发展状况,提出了建设数字化管理平台的需求。文中以生猪养殖行业为例,利用微软最新的ASP.NET MVC开发框架,研究并设计了一个生猪养殖数字化管理平台,分析了平台的构成,并给出了平台实现的技术细节。该平台具有分层清晰、扩展方便和性能高效等优点。通过和RFID、传感器网络等物联网技术的协同工作,该平台能够对生猪养殖行业的诸多环节提供精细化管理,具有一定的实用性和参考价值。     

家庭网络安全研究

目前,家庭网络是重点研究领域之一,家庭网络提供重要服务之一是远程控制家庭网络里的信息家电,由于家庭网络由异构网络协议和各种服务模型组成,远程控制服务导致家庭网络受到各种安全威胁。分析了国内外家庭网络研究现状和存在的安全威胁,对家庭网络安全研究的各种方法的优缺点进行了分类分析和总结,提出了家庭网络安全研究的科学问题与研究和发展方向,从而为家庭网络安全研究相关技术的进一步研究提供一定的理论基础。为用户提供简单易用、安全可靠的家庭网络环境,并提供隐私保护是家庭网络安全研究的最终目标。     

基于虚拟化技术的教学云平台构建与管理

对目前网络教学平台构建现状进行分析,提出使用虚拟化技术,对当前传统教学资源进行优化配置,构建教学云平台。重点阐述平台的构建步骤和基于CMS(Content Management System)开发部署的管理系统功能,并将其应用到教学平台的实际建设中。效果分析表明,使用云技术和CMS动态管理资源,教学平台的可用性和可扩展性得到了提高,满足网络教学平台多样性需求。     

高可靠性1394总线传输线缆阻抗特性测试研究

面向新一代飞机的1394总线应用中,传输线缆作为总线传输介质,影响总线的传输特性。为满足新型机载1394线缆的高可靠性要求,本文对1394线缆的结构及差分阻抗进行了理论分析,提出了1394线缆的测试设备及测试环境,采用专用设备对1394线缆的差分阻抗进行了测试,测试结果表明,被测1394线缆满足线缆阻抗特性指标。在测试结论的支撑下,规范了1394线缆阻抗特性测试指标。为高可靠性1394线缆传输提供了理论依据及测试实验数据,为1394线缆的选型及应用奠定了基础,对构建整个1394总线具有指导意义并进而指导整个系统设计。     

CMOS集成电路的ESD测试

文章介绍了CMOS集成电路ESD的概念和静电的产生,研究了ESD测试的常用模型HBM、MM,分析了常用测试组合,说明了CMOS集成电路ESD测试的重要性。     

基于USB的加密狗

由于现代社会飞速发展,知识产权已成为每个开发商或个人的保护重点。本加密狗依据USB接口的硬件加密装置与专用的加密程序互相配合来实现对应用数据的写入、保存、读取,从而实现知识产权保护。本加密狗主要实现的功能是增加安全性、文件加密、知识产权保护,是根据用户输入的数据,进行检测和校对并输出相应的结果。     

基于Azure的云安全研究

随着云计算的进一步推进和发展,云计算面临的安全问题变得越来越突出,特别是在云计算带来的诸多利益下,如何满足用户在云计算环境下对用户数据的机密性、完整性等相关性能的需求,已成为云计算安全的首要难题。文中以微软Azure平台为基础,从云安全分析入手,针对Windows Azure云安全进行分析研究。在Azure架构下,探讨Azure云安全解决方案,分别从IaaS、PaaS、SaaS三个角度对微软Azure云平台安全方案给出应对措施,为进一步对微软Azure云平台进行更深层次的测评分析提供技术支持。     

基于私有云的虚拟实验平台的设计与实现

为解决当前高校计算机实验教学与科学研究在基础设施投入与满足用户需求等方面存在的缺陷,同时也能为国家863重大项目——"云计算测试与评估系统研制"提供基础试验使用,设计并实现基于私有云的虚拟实验平台。本文着重论述该平台的结构、功能的设计与实现策略,包括平台使用的核心云计算技术、网络和虚拟化策略、存储策略以及客户端的实现。实验结果表明,该平台功能完备、性能良好、实用有效。     

基于云服务的数字化社区云平台的设计

数字化社区建设与发展过程中逐步暴露出一些问题:例如没有统一的规划和管理、重复建设、共享性不高等。基于云服务的数字化社区云平台能够解决这些问题,并为管理者和用户提供随需随用的"云服务"。文中展望了数字化社区"云服务"应用前景,分析设计了平台的整体构架和接口框架,提出了采用虚拟化等关键技术构建平台的技术思路。通过云平台的构建,能够使社区服务摆脱物理和地理上的局限,建立一个便捷的"虚拟化服务社区"。基于云服务的数字化社区建设将各部门独立的信息资源和信息平台的建设,转向服务资源整合、服务模式创新,具有广泛的应用前景,但是具体实施还有很多困难需要解决。     

MATLAB环境中HLA联邦成员开发技术研究

MATLAB具有强大的数据处理能力和建模仿真功能,并提供了大量友好的接口,但是并未绑定HLA,无法直接参与HLA仿真。在MATLAB与java相互调用和prti1516的java API基础上,综合比较现存的MATLAB用于HLA仿真的各种方法的优劣,以及MATLAB与java相互调用方法的优劣,设计了MATLAB-HLA Toolbox,并详细介绍了工具包实现过程中的关键技术。通过工具包,可以方便的实现在MATLAB环境中开发HLA联邦成员,从而实现MATLAB用于HLA仿真,实现MATLAB和HLA优势的结合。工具包的研究开发对于其他仿真软件用于HLA仿真具有一定的参考价值。     

基于输入域分类的实时软件可靠性模型

航天测控软件是航天测控系统的重要组成部分,作为任务的关键性实时软件,其可靠性直接影响着整个测控系统的可靠性。长期以来,测控系统软件相对缺乏系统的可靠性测试研究。文中针对航天工程地面测控软件的特点及可靠性测试要求,综合考虑缺陷等级、输入域等因素,按照数学算法建立了基于输入域分类的实时软件的可靠性混合模型,并对该模型的实际应用进行了介绍。文中模型和测试算法对航天测控工程领域典型功能软件进行了可靠性测试,实验结果表明了该方法的可行性、有效性和易用性。     

结合直方图紧凑均衡的图像增强算法

鉴于现有的平台直方图均衡图像增强算法的平台阈值难于选择的问题,文中提出了一种结合直方图紧凑均衡的图像增强算法,将稀疏的直方图分布紧凑化,同时构造自适应平台阈值选取方法,增强图像的细节,限制背景和噪声。该方法克服了传统平台直方图方法整体提升,细节不突出的缺点。目前算法已经嵌入工程硬平台,针对大量低照度图像的实验结果表明,算法能够根据图像内容,自适应选择平台阈值,提升图像细节,较好地抑制背景,同时计算简单,便于实际应用。