教学课程资源库 更多>>

关键词： UML   教务管理系统   考务管理系统   建模  

摘要： 教务管理系统是高等院校数字校园建设的组成部分,而考务管理是教务管理系统中一个非常重要的模块。考务管理系统的实现为教务管理工作大大地节省了时间,提高了效率。在需求分析的过程中,将考务管理系统分为试题管理模块、试卷管理模块、考试文件管理模块、考场管理模块、考试单据管理模块5部分,使用UML对高校考务管理系统进行了分析和建模,实现了静态建模和动态建模。

关键词： UML   案例教学   任务驱动   项目驱动  

摘要： 统一建模语言UML教学效果的好坏直接影响学生利用UML做面向对象的分析和设计能力的培养.针对该课程的教学现状与不足,对该课程的可视化教学方法进行研究和实践,从课堂教学和实践教学等方面进行了详细的探讨,取得较好的成效.

关键词： 模型检验   形式化方法   NuXMV   机载电子硬件  

摘要： 详细设计规范是机载电子硬件适航性设计流程中的关键文档。通过对形式化方法特点分析,给出基于模型检验的设计规范提取步骤,以提高设计的正确性和完整性。以ARINC429总线传输模块设计为例,基于形式化方法完成正向设计过程。试验结果表明,基于形式化方法的设计流程能够有效帮助制定详细设计规范并在后期提高验证效率,进而缩减研制周期。

关键词： 电子病历   中医   结构化  

摘要： 目前医疗资源信息化已成为发展趋势,中医电子病历对于中医学的发展及中医信息化建设非常重要。本文从中医电子病历的研究现状着手,提出了我院肝病结构化中医电子病历系统的设计思路,即中医电子病历要体现中医的特点,以整体观和辨证论治的思想为指导;要实现结构化、标准化和规范化,这是对病案信息进行挖掘和利用的前提和基础;能够实现数据挖掘的功能,分析总结疾病的发生发展规律以及疾病之间的各种关系,使之成为科研工作的有力工具。文章对该系统实现过程中的难点及对策进行了分析,解决了术语不规范、诊断不统一等问题,实现了一个比较完善的肝病结构化中医电子病历系统。

关键词： hashing   image   semi supervised learning  

摘要： In order to solve the low discrimination of image representations in complicated duplicate image detection, this paper presents a complicated duplicate image representation approach based on descriptor learning. This approach firstly formulates objective function as minimizing empirical error on the labeled data. Then the tag matrix and the classification matrix of training dataset are brought into the objective function to ensure semantic similarity. Finally, by relaxing the constraints, we can get the learning hashes. The learning hashes are used to quantify local descriptors of images into binary codes and the frequency histograms of binary codes are as image representations. Experimental results demonstrate that compared with the state-of-the-art algorithms, this approach can effectively improve the discrimination of image presentations by introducing semantic information.

关键词： Component   fingerprint reader   iris reader   biometrics readers   denial of service attack (DoS)   WCCAIS'2014  

摘要： Biometrics readers are deployed in many public sites and are used for user identification and verification. Nowadays, most biometrics readers can be connected to local area networks, and consequently, they are potential targets for network attacks. This article investigates the robustness of several fingerprint and iris readers against common denial of service (DoS) attacks. This investigation has been conducted using a set of laboratory experiments and DoS attack generator tools. The experiments show clearly that the tested biometric readers are very vulnerable to common DoS attacks, and their recognition performances deteriorate significantly once they are under DoS attacks. Finally, the article lists some security consideration that should be taken into consideration when designing secure biometrics readers.

关键词： 构件   基于构件的软件开发   研究技术  

摘要： 基于构件的软件开发研究简称为CBSD,也可称之为基于构件的软件工程,它不仅是目前软件开发技术的一个热点,同时也是一个需要不断克服的难点。研究表明,提高软件产品的质量和生产效率的关键因素离不开基于构件的软将工程,所以,基于构件的软件开发研究十分重要。本文主要介绍一下基于构件的软件开发研究的产生背景、影响因素、方法研究以及和传统的软件技术相比所具有的优势和特点等,希望对软件开发的研究有所帮助。

关键词： 面向对象   软件测试   质量保证   测试方法  

摘要： 由于保证软件质量的一个重要前提条件就是测试软件,开发软件过程当中应该高度重视测试软件所发挥的作用。本文根据面向对象软件测试方法特征,基于过程、方法等角度探讨面向软件测试技术。

关键词： carbon nanotubes   supercapacitors   metal oxides  

摘要： Recently, there has been great research interest in the development of composites (core-shell structures) of carbon nanotubes (CNTs) with metal oxides for improved electrochemical energy storage, photonics, electronics, catalysis, etc. Currently, the synthetic strategies for metal oxides/hydroxides are well established, but the development of core-shell structures by robust, cost-effective chemical methods is still a challenge. The main drawbacks for obtaining such electrodes are the very complex synthesis methods which ultimately result in high production costs. Alternatively, the solution based method offers the advantages of simple and cost effective synthesis, as well as being easy to scale up. Here, we report on the development of multi-walled carbon nanotube-manganese oxide (CNT-MnO2) core-shell structures. These samples were directly utilized for asymmetric supercapacitor (ASC) applications, where the CNT-MnO2 composite was used as the positive electrode and ZIF-8 (zeolitic imidazolate framework, ZIF) derived nanoporous carbon was used as the negative electrode. This unconventional ASC shows a high energy density of 20.44 W h kg(-1) and high power density of 16 kW kg(-1). The results demonstrate that these are efficient electrodes for supercapacitor application.

关键词： Integrated circuit design  

摘要： To mitigate the increasing design complexity of very large scale integrated circuits (VLSI), the abstraction level design engineers work on has to be raised. In this paper, we propose an efficient UML-and SystemC-based design flow with performance, area and power coestimation at early stages and apply it to RSA and ECC crypto-Processor implementation. It is divided into several sections. Firstly, the UML class diagram is used to describe the target architecture and the UML sequence and state diagrams are used to describe the dynamic behavior of the design. Secondly, SystemC behavior models are translated from the UML models semi-automatically and TLM models are refined from SystemC behavior models. During SystemC behavior and TLM modeling process, the estimation methodology of performance, power and area is combined to facilitate architecture exploration. This can avoid extensive redesign, reduce cost/time and achieve good trade-off in power, area and performance. Thirdly, a hybrid simulation of TLM and RTL models is proposed to validate the refinement from TLM to RTL. The experimental results with performance, power, and area estimation at different abstraction levels are adopted to demonstrate the efficiency of the proposed design flow for RSA and ECC crypto-processor design. ©, 2015, Binary Information Press. All right reserved.