教学课程资源库 更多>>

关键词： 功能验证   形式化方法   谓词抽象   布尔可满足性   最小不可满足子式  

摘要： 随着软硬件设计的规模越来越大,功能越来越复杂,往往导致形式化验证出现"组合爆炸"问题,而谓词抽象方法是解决状态空间"组合爆炸"问题的重要技术之一。面向硬件的谓词抽象方法是不可满足子式的典型应用,通过求解不可满足子式,能够减少谓词抽象过程中精化迭代的次数,从而提高形式化验证效率。针对微处理器的指令Cache部件,将两种最小不可满足子式的求解算法进行了比较,结果表明贪心遗传算法在运行效率方面优于分支-限界算法。并且深入分析了不可满足子式在硬件谓词抽象中的作用,以及如何加速芯片的形式化验证过程。

关键词： 加腋顶板体系   结构设计   有限元   经济性  

摘要： 本文结合实际工程，介绍了加腋顶板的设计原理和设计要点。并采用有限元软件，对加腋顶板进行了力学分析。实践表明，加腋顶板体系安全可靠，并具有良好的经济性，可为广大设计人员所参考。

关键词： 机电一体化   控制系统   开放体系   结构设计  

摘要： 机电一体化控制系统的开放体系结构具有独特的特点,其中最具代表性的特点是可互换性和可移植性,机电一体化控制系统开放体系在层面上具有不同的结构设计,其主要的结构设计表现在应用软件层的开放化设计、系统层的开放设计和接口控制层的开放化设计。

关键词： Curriculum   Performance Based Assessment   OSFE   Community Pharmacy Clerkship  

摘要： Purpose: This study was aimed to design Objective Structured Field Examination (OSFE) and also standardize the course plan of community pharmacy clerkship at Pharmacy Faculty of Tabriz University of Medical Sciences (Iran). Methods: The study was composed of several stages including;evaluation of the old program, standardization and implementation of the new course plan, design and implementation of OSFE, and finally results evaluation. Results: Lack of a fair final assessment protocol and proper organized educating system in various fields of community pharmacy clerkship skills were assigned as the main weaknesses of the old program. Educational priorities were determined and student's feedback was assessed to design the new curriculum consisting of sessions to fulfill a 60-hour training course. More than 70% of the students were satisfied and successfulness and efficiency of the new clerkship program was significantly greater than the old program (P<0.05). In addition, they believed that OSFE was a suitable testing method. Conclusion: The defined course plan was successfully improved different skills of the students and OSFE was concluded as a proper performance based assessment method. This is easily adoptable by pharmacy faculties to improve the educational outcomes of the clerkship course.

关键词： educational tool for microcomputer design   field-programmable gate arrays (FPGAs)   computer architecture and organization  

摘要： This article describes a modular approach to FPGA-based micro computer architecture design for supporting undergraduate courses in computer science and related discipline. We have adopted the modular approach to the second FPGA version of the ***[6] named ***10.1. The ***10.1 platform has modular units that enable development of their own micro computer designs, particularly arithmetic and logic unit (ALU), memory and system bus, by integrating of simple building blocks. So the proposed modular approach will create high level interest in the faculty teaching computer organization and architecture course and produce significant contribution in the education of engineers. Also, such an approach could greatly increase the understanding of the architectural concept of the Microcomputer Architecture. All the modules in the ***10.1 design are entirely realized using schematic structure on Altera's Cyclone II Development board. So, students can implement on a hardware platform to test their own designs by downloading since it is an affordable cost for the institution. (c) 2011 Wiley Periodicals, Inc. Comput Appl Eng Educ 22:272-282, 2014;View this article online at;DOI

关键词： Radio hardware abstraction   MAC/PHY architecture   Reconfigurable   MAC   Flexible   Time accurate radio driver  

摘要： Timing is a key issue in many wireless, lower-layer (e.g., physical and data link layer) communication protocols. Maintaining time-critical behavior while increasing MAC protocol complexity is the challenge for many MAC implementations. To comply with stringent time constraints, current MAC implementations typically require such a tight integration to the radio driver that they become one monolithic block of code with MAC-specific logic hard coded at the lowest firmware level. Execution of time-critical functions in the firmware is a good strategy, but results in limited flexibility for MAC designers because the radio driver is dedicated for specific MAC protocol logic. We propose "snapMac": a generic MAC/PHY architecture with a clean separation between the MAC protocol logic at the user level and the execution at the radio firmware level (Patent Pending). Our generic programming interface enables more flexibility, an easy way to compose new MAC designs, and getting feedback from the radio capabilities We demonstrate the feasibility and performance of this architecture by implementing it on a resource-constrained wireless sensor node. The experimental evaluation shows, for example, that we can simultaneously keep the flexibility of a software ACK and meet the ACK timing constraints as specified in the 802.15.4 standard. We also achieve 97% (i.e., 218 kbit/s) of the theoretical 802.15.4 throughput. This new implementation approach for MAC/PHY interactions has potential to be applied in other domains (e.g., WiFi, software defined radio, cognitive radio, etc.). Demonstrating the portability of snapMac is future work. "snapMac" enables the design and execution of new MAC protocols in a snap.(C) 2014 Elsevier B.V. All rights reserved.

关键词： 结构化电子病历   面向对象设计   应用  

摘要： 近年来,电子病历以其传递速度快、存储容量大、使用方便、共享性好和成本低等特点在医疗系统中逐渐得到广泛应用。以病人为中心、高度集成化和多媒体化是医院信息系统的发展方向。电子病历作为医疗卫生信息化的核心内容之一,其研究成为国内医学信息学界的热点,逐渐开展了新的尝试和运作,各界人士也纷纷关注其相关的开发和利用。本文我们将从电子病例结构化出发,分析其实际运用优势,并针对面向对象设计在结构化电子病历中的应用问题做出分析及论述。

关键词： 实例拓展   结构化   程序设计教学   教学应用  

摘要： 随着教育改革的不断深入,传统的教学方法正在不断创新。在计算机的程序设计教学中,由于具有很强的理论性和综合性,是计算机专业教学中的难点和重点。为了提高结构化程序设计教学的教学效果,我校提出了运用实例拓展的教学方法,取得了不错的教学效果。在本文中,我们首先阐述了在结构化程序教学中选择实例的具体方法,然后对这种教学方法取得的效果进行了简单分析。

关键词： 地下室顶板   加腋大板体系   结构设计  

摘要： 文章通过某高层建筑地下室工程实例,着重介绍了地下室顶板采用加腋大板体系的一般分析理论、有限元分析方法及施工图设计流程,阐述了理论依据和设计要点,实践证明该体系在项目中具有明显的经济优势,可供相关建筑结构设计人员参考。

关键词： 资产支持证券   合理化   定价   特殊目的载体   证券化资产   资产证券化   结构化设计   资本市场  

摘要： 资产证券化（Securitization）指将拟证券化资产组成资产池（Assets Pool），出售给一个特殊目的载体（Special Purpose Vehicle，SPV），SPV以该资产池所产生的现金流为基础，通过结构化设计与安排，在资本市场上发行资产支持证券（Asset-backed Securities，ABS）。