Selected elements of rock burst state assessment in case studies from the Silesian hard coal mines

Exploitation of coal seams in the Upper Silesian Coal Basin is conducted in complex and difficult conditions. These difficulties are connected with the occurrence of many natural mining hazards and limitations resulting from the existing in this area surface infrastructure. One of the most important problems of Polish mining is the rock burst hazard and reliable evaluation of its condition. During long-years' mining practice in Poland a comprehensive system of evaluation and control of this hazard was de-veloped. In the paper the main aspects of rock burst hazard state evaluation will be presented, comprising: 1) rock mass inclination for rock bursts, I.e., rock strength properties investigation, comprehensive parametric evaluation of rock mass inclination for rock bursts, prognosis of seismic events induced by mining operations, methods of computer-aided modelling of stress and rock mass deformation parameters distribution, strategic rock mass classification under rock burst degrees; 2) immediate seismic and rock burst hazard state evaluation, I.e., low diameter test drilling method, seismologic and seismoacoustic method, comprehensive method of rock burst hazard state evaluation, non-standard methods of evaluation; 3) legal aspects of rock burst hazard state evaluation. Selected elements of the hazard state evaluation system are illustrated with specific practical examples of their applica-tion.     

“ORACLE数据库”课程教学方法及其目标的探讨

介绍了“ORACLE数据库”课程的目标以及教学方法,致力于理论基础知识、提出加强实践训练,理论联系实际的教学观念．,最后给出一些教学方法的深度研究。     

基于虚拟现实技术的煤矿安全培训系统

针对传统煤矿安全培训手段单一、效果不理想的问题,提出了基于虚拟现实技术的煤矿安全培训系统。该系统应用虚拟现实开发软件3DS MAX和Virtools DEV来完成设备建模、场景构建和交互式系统的开发,实现了煤矿风险预控、事故案例再现和事故应急救援的仿真。应用结果表明,该系统通过三维仿真和交互形式可有效提高煤矿安全培训的针对性和实施效果,达到提高安全意识、减少安全事故的目的。     

CNONIX标准符合性测试研究

CNONIX标准规范了图书出版行业在信息交互过程中的数据项及其格式,提高了数据质量和使用效率。为了保证第三方软件能够正确地生成符合CNONIX标准的XML文件以及检测一个XML文件是否符合CNONIX标准,提出了相关的标准符合性测试方法;对CNONIX标准中规定的元素属性进行了研究并且分析了其对测试用例的影响;设计了XML文件对于CNONIX标准符合性的检测规则;最后提供了一个应用实例对检测规则予以说明。     

基于ASL的模型驱动架构测试方法

针对模型驱动架构（MDA）下的软件开发方法中测试启动比较晚、难以发现隐藏在模型中的缺陷及UML模型描述缺乏精确语义等问题,提出了基于ASL的模型测试方法：从UML模型出发,将动作规约语言（ASL）运用于平台无关模型（PIM）上建立测试模型。给出了ASL语句在MDA过程中的工作原理、平台无关模型的建立过程、测试用例建立的步骤、测试执行的实施过程,最后结合实例,在UML图的基础上运用ASL对测试环境进行构建,并创建了系统的测试用例,对模型及业务逻辑进行了测试。实验结果表明,提出的基于ASL的模型测试方法既能利用模型驱动对复杂的测试用例进行简化和抽象,又能在软件生存期早期揭示软件的缺陷,防止缺陷随着软件开发过程的进行而被放大。     

案例与项目相结合的教学模式研究

传统教学模式已不能满足社会对人才的需求,为了提高学生的学习兴趣及课堂教学效果,引入案例与项目相结合的教学模式。在模式实施中,要加强企业工程师与校内教师充分的合作与交流,并将学生融入项目实践中去。从建设案例库、案例实施、项目引入等几方面提出案例驱动与项目相结合的教学模式。在理论教学中引入提取出的案例,实践环节中引入项目的设置。     

案例教学在网络安全课程中的应用研究

案例教学法是一种新型的现代化教学方法,对于网络安全这一门实践性、应用性要求高的课程来说,有利于实现理论与实践的有机融合,激发学生的学习热情。本文通过介绍一个IPC攻击与防护案例的实践探索,显示出案例教学具有传统教学方法无法比拟的优越性,可提高学生的实操能力和科研素质。     

基于“CDIO”的“1+2”新教学模式研究

“CDIO”教学是将工程思维训练融合在教学各个环节当中,本文采用“CDIO”与“案例教学、启发教学”进行融合,组合成为一个新的“1+2”教学模式,以医学信息工程学院课程作为应用载体,将传统教学升华到工程思维教学、团队教学上,转变教师授课形式,激励和引导学生自主学习,为学生提供思维的空间和意境,帮助学生在学习时发现问题,发现、解决值得解决的问题,掌握计算在问题解决过程中发挥的作用,获得构建自身学科知识体系,终身自我学习的能力,滋生创新能力,达到学科知识与工程思维能力互相促进,共同提高的目的。     

校企合作在《软件项目开发实训》课程中的实践

为了应对培养应用型人才的需求,部分高校开展转型,采用校企合作解决培养出的人才不符合市场需求与市场脱节的问题。介绍了软件项目开发实训课程开展校企合作的途径、方法和过程,并指出校企合作对日常教学产生的积极作用。     

一种面向形式化表格需求模型的测试用例生成方法

现代安全关键性系统的软件规模和复杂性的快速增长给这类安全关键性软件系统的开发带来了很多挑战。传统文本文档的需求描述方法无法保证此类系统的开发进度和系统可靠性要求。为此文中提出了一种兼具可读性和可自动分析的形式化表格需求建模方法。文中介绍了一种针对这种表格模型测试用例的自动生成方法,工作包括对该形式化需求表格模型展开语义分析,建立需求模型的控制树结构,得到其测试等价类;为了减少不必要的测试,定义了不同安全级别的软件需求模型的测试覆盖标准,并针对不同覆盖率准则分别给出基于控制树结构的测试路径约束选择方法;对于每条路径约束测试等价类,提出了基于域错误的测试用例选择方法,能够自动生成所需的检测域错误的测试用例集。最后,通过一个需求模型实例展示了所提方法的有效性。