教学课程资源库 更多>>

关键词： 结构化设计   道路桥梁   应用  

摘要： 在道路桥梁设计中,设计的基本原则就是经济性、安全性和适用性。在传统的桥梁设计中,采用的设计方法一般是选用定值设计法,该设计方法的主要目的就是保证设计能够满足相关设计规范的要求,只能够满足最低水平的设计,但是采用这种方法进行桥梁设计无法描述或者处理桥梁结构设计中的一些不确定的因素,因而无法分析和计算安全、经济和适用等指标。而如果在桥梁设计中采用结构化设计方法可以有效地对上述存在的问题进行解决,因而结构化设计方法在道路桥梁设计中具有广泛的应用前景。

关键词： 论文管理系统   高效率   在线投稿  

摘要： 随着计算机和互联网技术的迅速发展,网络将高校内部的学术论文汇聚到一起,在线处理稿件己成为可能。各高校内部迫切需要规范化的学术论文投稿在线系统来满足学术论文投稿工作的高效率进行,系统应用UML分析设计B/S结构的系统模型,实现在线投稿、信息实时发布、信息储存量大、处理速度快捷、数据准确直观、查询检索灵活方便、成本降低、可视化等具体功能。

关键词： 形式化方法   逻辑系统   验证技术  

摘要： 近年来,形式化方法发展很快,一些技术已经产生工业应用。以逻辑系统为主线,分析几个影响力比较大的形式化验证技术和验证工具,以帮助应用工程师选择并使用形式化工具。主要包括命题演算和时态逻辑方面的SAT、BDD、模型检测和SMT,谓词逻辑方面的ACL2、VDM方法和B方法,以及高阶逻辑方面的HOL、PVS和COQ。还介绍形式化方法在学术界和工业界的应用情况,最后给出几个商业化的形式化验证工具。

关键词： Empirical validation   Software maintainability prediction   Object-oriented metrics   Open source software   Friedman test   Post hoc analysis   Feature subselection  

摘要： Software maintainability is measured as the ease with which the existing software could be modified and often predicted during the development stage on the basis of some measurable design characteristics. Controlling the software maintainability and understandability of any open source software (OSS) system is extremely challenging because it is written and constantly modified by the developers located all over the world. The current study analyzes the effectiveness of machine learning (ML) techniques for the maintainability prediction of OSS systems. In this work large-scale empirical comparisons of thirteen classifiers over seven open source datasets were conducted followed by extensive statistical tests and post hoc analysis to establish the confidence on the performance of one ML technique over another. The results show two important findings: firstly, we observed that overall good prediction accuracy is achieved by almost all ML techniques;secondly the prediction models using genetically adaptive learning ML technique and group method of data handling (GMDH) technique perform better than the other ML techniques in the context of OSS systems. The outcome of this investigation would be helpful for developers in order to predict maintenance behavior of the software at the earlier stages of software development lifecycle (SDLC). Accordingly, they can optimize their resource allocations, prioritize maintenance tasks and produce high-quality low maintenance software systems. Additionally, it also has numerous other applications such as schedule planning, cost estimation, quality assurance testing, software debugging, budget preparation, and software performance optimization.

关键词： Adaptive instruction codec architecture (AICA)   Network on chip (NoC)   FPGA   Power consumption, and throughput  

摘要： This work proposes a novel Adaptive Instruction Codec Architecture (AICA) for network-on-chip (NoC) that improves channel utilization to transfer packets and flits, in order to solve issues of power consumption and throughput. The proposed architecture allows multiple packets to be stuffed into a single packet;and thus can transfer more packets than other network interface (NI) in one time unit. Reducing the number of packets for transmission allows the channel to be reused to transfer additional messages, thus improving channel throughput. This architecture reduces the number of packets transmitted, thus indirectly alleviating the deadlock problem. Many repeating and similar instructions are frequently transferred in NoC. The proposed AICA reduces transmission redundancy, and supports process elements (PE) with 16-bit or 64-bit core CPU. Experimental results show that the proposed architecture and algorithms delivers improvement of up to 48.1% on power consumption, and 46.3% on throughput. (C) 2016 Published by Elsevier Ltd.

关键词： Video coding   Interpolation   Motion estimation   H.265/HEVC   FPGA   Very large-scale integration (VLSI)  

摘要： This paper presents the architecture of the high-throughput compensator and the interpolator used in the motion estimation of the H.265/HEVC encoder. The architecture can process 8x8 blocks in each clock cycle. The design allows the random order of checked coding blocks and motion vectors. This feature makes the architecture suitable for different search algorithms. The interpolator embeds 64 multiplierless reconfigurable filter cores to support computations for different fractional-pel positions. Synthesis results show that the design can operate at 200 and 400 MHz when implemented in FPGA Arria II and TSMC 90 nm, respectively. The computational scalability enables the proposed architecture to trade the throughput for the compression efficiency. If 2160p@30fps video is encoded, the design clocked at 400 MHz can check about 100 motion vectors for 8x8 blocks.

关键词： 研究生   设计型项目驱动   软件工程实践教学   教学改革  

摘要： 介绍设计型项目驱动教学法的原理,提出在传统案例式实践教学中引入设计型项目驱动思想,以创新软件人才培养模式为指导,以教师为引导、学生为主体,构造典型实用的软件项目案例簇,进行分阶段教学设计,引入公开答辩考核方式,从而实现软件人才的动态培养。

关键词： 创新实验   计算机类专业   高校课程   计算机教育   人才培养   形式化方法   教指委   引导作用   电子信息   领军  

摘要： 桂林电子科技大学(简称"桂电")是一所电子信息特色鲜明的地方院校,建校50多年来,为国家、行业和地方培养了大批人才,特别是桂电计算机专业,创建30多年来成绩斐然,在国内外享有盛誉。作为桂电校长、教育部计算机类专业教指委副主任,一位计算机学科的领军人物,古天龙教授一直致力于创新创业人才的培养,倡导创新教育,推动成立创新学院、国家级人才培养模式创新实验区,创建了广西高校课程联盟"广西漓江学堂",为国内地方高校的应用型人才培养起到了引导作用。岁末年初,正值国家"十三五规划"开启之际,带着对桂林电子科技大学未来更美好的期待,《计算机教育》杂志主编奚春雁(以下简称奚)在山水旖旎的桂电校园里专门拜访了古天龙校长(以下简称古),下面是他们的对谈。

关键词： Industrial   critical systems  

关键词： 软件工程   网络课程   IBM-Jazz平台  

摘要： 软件工程网络课程能够满足网络教育的需要,但笔者在长期实践过程中发现软件工程网络课程存在一些不足之处。本文在分析软件工程课程的基础上,进一步对其与IBM-Jazz平台的有效整合进行分析,并提出了相关实践需求,以期为软件工程网络课程的优化及完善奠定基础。