基于“一个中心两条主线”的数据库教学实践

针对数据库系统课程的内容,介绍"一个中心两条主线"的教学思路,提出以数据模型为中心,以数据库设计、数据库管理系统为两条主线的教学方法,介绍多年的教学实践取得的良好效果。     

T-STAR: 一种基于关键词的关系数据库时态信息检索方法*

将时态信息融入到信息检索技术中可以有效提高检索效果,时态信息检索已有较多的研究,而现有数据库信息检索方法还缺乏对时态信息有效利用。针对这一研究问题,提出关系数据库上基于时态语义的关键词检索方法,引入时态信息构建时态数据图,设计时态相关性评分机制,在时态图搜索过程中引入时态语义约束,设计基于关键词的时态检索算法。实验验证了该方法可以有效提高数据库信息检索效果,而检索性能并没有降低。     

电磁环境效应验证测量系统中数据库的设计与实现

鉴于在仿真测试过程中,数据量大,数据种类众多,数据结构复杂等特点,利用数据库管理系统中大量复杂的数据,有利于系统扩展以及模块化设计;着重介绍了电磁环境效应验证测量系统中数据库的设计思路和实现方法,引入面向对象的设计方法设计数据库解决了验证测量系统中数据库不易设计的问题;详细讨论了如何将概念模璎表示的、独立于DBMS的验证测量系统所对应的面向对象数据模式转换成关系数据库所基于的关系数据模式,解决了系统中复杂数据结构不易设计和持久化的问题,对同类系统中数据库的设计和实现有一定的指导意义.     

基于有向图的数据流图的E-R模型构建方法

建立概念模型是数据库设计的重要步骤之一,E-R模型是数据库设计中广泛采用的概念模型。本文提出利用业务分析过程中形成的数据流图,把数据流图抽象为有向图,从而构建E-R模型的方法。在大型系统数据库设计过程中,使用这一方法可以快速构建局部应用的E-R模型,大大缩短数据库设计过程中构建E-R模型所耗费的时间。实例验证了本方法在实际工程项目中的实用性和有效性。     

“申威-1 号”高性能微处理器的功能验证

微处理器设计日趋复杂,如何对微处理器设计进行有效而充分的验证,成为芯片流片成功的关键因素之一.在介绍微处理器功能验证的一般理论和方法的基础上,介绍了“申威-1 号”高性能微处理器的功能验证所采用的验证策略及各种验证方法.RTL(register transfer level)级验证是功能验证的重点,模拟验证是“申威-1 号”RTL 级验证的主要验证手段.详细介绍了如何综合采用多种验证技术来解决RTL 级模拟验证的几个关键问题:高质量测试激励生成、模拟结果正确性的快速判断以及验证覆盖率目标的实现.最后对各种验证方法所取得的验证效果进行了分析.     

军校“数据库原理与应用”案例教学法初探”

为落实"院校教育向部队靠拢"的指示精神,从教学实际出发,提出数据库课程的学习可以采用"大型案例,一案到底"的思路,以一个具体军用数据库系统的开发与维护为主线串起全部知识点。此教学方法力求突破传统教学的体例框架,不断提升军校生的学术研究能力和创新意识,实现人才培养、学术创新和服务部队三位一体融合式发展。     

高职“SQL Server数据库开发”课程实践教学环节设计

本文介绍了我院针对“SQL Server数据库开发”课程教学单元的划分、教学方法与手段的选择、实践教学实施方式的设计以及考核方式的选择,所设计的实践教学方案。     

数据库设计的“变通”技术

本文阐述了相对于新奥尔良设计框架([12])在从概念结构设计到逻辑结构(实现)设计的过程中,为了改善数据库操纵的响应速度并兼顾存贮空间所采用的变通技术,文中详细介绍了目前文献所推荐的一些变通策略与方法,这些策略与方法对交互式“数据库设计工具软件”的设计有较大的参考价值,并且对于手工设计也有参考价值。     

面向NoSQL数据库的JSON文档异常检测与语义消歧模型

随着信息化技术的发展,面对材料等相关领域数据的多源异构、扩展性强、爆炸增长等特点,传统关系数据库无法对数据进行存储,因此可利用NoSQL的无模式存储、高扩展性等特性来解决这一难题。作为NoSQL数据库常用的数据存储格式,JSON因简单性和灵活性备受欢迎。然而,NoSQL数据库缺乏模式信息,在JSON文档存入数据库之前,需要对其进行数据验证与分析。目前,大多数方法是基于JSON schema对JSON文档格式的规范性进行校验,无法有效解决JSON文档的异常检测以及语义歧义问题。为此,文中提出了面向NoSQL数据库的JSON文档异常检测与语义消歧模型doctorJSON。该模型基于JSON schema对存入的JSON文档分别设计了异常检测算法deoutJSON和语义消歧算法disemaJSON,以检测JSON文档存在的异常和歧义。在真实数据集与合成数据集上的实验验证了所提模型的有效性和执行效率。     

基于动态视图的数据库性能调优

针对数据库可能出现负载异常波动影响性能的问题,可使用外部图形化工具监控和优化数据库,但是这些软件在服务器运行将会占用大量资源,而且很多调优方法都相对片面缺乏整体思路。鉴于此,提出一种基于动态视图的数据库性能调优方法。该方法从系统性能参数入手,通过建立全局性能基线,结合动态视图分析资源耗费原因,研究如何降低执行开销。实验选用示例数据库的12万条记录进行实例验证,结果表明该方法可以有效解决大规模数据处理的实际效能问题。     

密码学课程教学中的“破”与“立”

提出并阐述密码学课程教学中的"破"与"立"观点,"破"掉由于畏惧心理、理论性强以及其他因素所产生的教学问题,建"立"新的密码学"一条主线、两种思想、三类算法、四个应用"的内容体系。     

支持强度分析的轻量级材料数据库的设计与开发

航空工业中,材料性能及相关数据作为飞机结构设计和产品研制的重要基础,在结构分析、强度计算、材料研制加工、产品设计、结构选材和失效分析等方面有大量应用。材料数据库及相关信息技术则是有效利用这一资源的关键和基础。然而商业材料数据库数据不完善,缺乏和工程分析的专业性结合,并且维护成本过高。因此,针对结构强度分析流程,采用面向对象的程序设计思想和SQLite数据库技术,完成了轻量级工程材料库的设计与开发,并实现了与HAJIF软件的无缝集成。既验证了数据库的可行性,又为实际工程应用提供了方便。     

“数据库系统原理”课程教材建设与教学改革——培养“会”用数据库的计算机应用人才

本文介绍"数据库系统原理"课程的目标与体系,给出自编教材《数据库系统原理与设计》及其配套实验教材《数据库系统原理与设计实验教程》的内容与结构安排,分析教材的主要特色,包括重视数据库模式导航、数据库设计、数据库管理系统和数据库应用开发等,并对该课程教学过程中开展的大作业教学改革进行了探讨。     

数据库行为代码的UML规范化设计

UML作为一种强大的建模语言，有力地支持了应用设计和数据库设计。然而使用UML进行数据模型设计时，对数据库中的行为代码却缺乏有效的管理，不利于对其跟踪、扩展。提出基于规则的过程的观点，并阐述了如何对数据库行为代码进行规范化设计，同时使这类模型元素能在系统的迭代开发中得到有效跟踪和扩展。     

项目驱动教学法在大型数据库设计课程中的应用

项目驱动教学法符合探究式教学模式,适用于培养学生的自主学习能力和独立分析问题、解决问题的能力。"大型数据库设计"是高等教育阶段计算机专业的一门必修课,将项目驱动教学法应用到该课程的教学中,学生以一个或多个项目为主线,通过小组协作方式开发一个系统,掌握利用数据库管理系统进行数据库应用系统开发的知识和技能、积累软件开发的经验,同时培养了学生的自主学习能力以及团队协作能力。     

获得数据库数据空间参数的方法

一个有效获得数据库数据空间参数的方法,为解决目前数据库应用中缺乏对数据库空间的灵活管理手段而提供了一条有效途径。     

easDemo4设计剖析

本文剖析easDemo4的设计,揭示Adaptive server Anywhere 7在数据库设计方面提供的一些重要技术,展示PowerBuilder在数据库设计方面所采用的一些重要的方法和技巧,解决PowerBuilder有效使用的问题。     

RSA密码核时间侧信道检测与量化分析

攻击者通过RSA时间侧信道可有效破解其密钥。但目前缺乏有效的方法检测和评估RSA硬件密码核时间侧信道信息泄漏。针对此问题,利用门级信息流追踪方法检测RSA时间侧信道;提出一种测试框架对密钥位泄露进行定性检测和定量分析。通过对五种不同RSA密码硬件体系结构进行案例研究,实验结果显示,所提方法可有效评估和验证迁移技术对RSA时间侧信道信息泄露的影响。该测试方法可有效辅助硬件设计人员权衡时间侧信道安全性、硬件资源消耗和性能等指标。     

航天器地面健康管理验证系统设计与实现

航天器地面健康管理系统作为整个航天器健康管理系统的核心,主要为技术人员提供航天器试验、运行和管理过程中的数据分析、诊断、预测等服务。目前由于航天器故障机理难以获取、故障验证环境不足、缺乏统一的验证方法和性能指标,给航天器PHM的研究成果的有效验证与评价带来了困难。提出了一种基于大数据的航天器地面健康管理系统设计思路,并对其验证评估指标体系和验证方法进行了研究,在此基础上设计实现了基于仿真和试验验证的航天器地面健康管理验证系统,通过多个航天器故障仿真和在轨历史数据试验,验证了提出的航天器地面健康管理验证系统设计方法的有效性,能够有效的应用于航天器的地面健康管理过程,具有较强的航天器工程应用价值。     

贯穿计算思维的“数据库应用”课程教学研究和实践

为提高非计算机专业学生的计算思维培养质量和培养效率,提出对"数据库应用"课程内容进行重构,在教学模式上采用课堂教学嵌入计算思维与项目驱动的课外计算思维训练相结合的方法,最后通过试卷测验法和问卷调查法验证教学效果。