教学课程资源库 更多>>

关键词： 相似冗余容错   共模故障   形式化方法   VHDL  

摘要： 高安全高可靠的相似冗容错架构善于容忍各通道独立产生的错误,因此设计正确的拜占庭容错计算机出现的主要故障为共模故障。减少共模故障最经济最有效的阶段是整个设计和开发阶段。基于形式化方法的VHDL开发策略将基于常规VHDL的自伤而下的数字设计和综合方法与形式规范和验证相结合。此策略是将形式化方法的强大技术过渡到通用数字工程领域的最佳方法。将验证体系结构关键元素和进行VHDL仿真相结合,可有效避免共模故障。

关键词： 课程思政   面向对象分析与设计   工科研究生   建构主义   教学模式  

摘要： 针对工科研究生面向对象分析与设计课程融入思政元素问题,分析课程思政实施方案,提出基于建构主义学习原理的课程思政二元融合方法,介绍具体实施途径,阐述课程思政融入点,通过3个教学案例探讨课程思政融入方法,最后说明课程思政二元融合方法优势与实践效果。

关键词： 形式化方法   混合系统   时序约束建模   自动精化和组合方法   自动精化和组合工具  

摘要： 为提供更优质的使用Event-B形式化方法建模混合系统的工具,根据混合系统的时序约束建模方法,其能够很好刻画混合系统建模中的时间相关性质并且支持精化和组合,提出基于它的自动筛选、精化和组合的方法。开发对应的自动精化和组合的工具链,工具链包含模型检测、自动精化和组合、模型证明等一系列功能并拥有用户友好的界面。给出一个使用工具的案例介绍和应用此工具。

关键词： 电子采购   结构化   B/S模式   招投标  

摘要： 在招投标活动中,为了低碳环保及提高采购效率,已从线下纸质文件采购转变为全电子化采购,但现阶段电子采购中,提交的投标文件数量大、信息杂,通过文字检索查找信息识别困难。为提高评审效率,文章设计了结构化评审模型,首先对招标、投标、评审环节进行流程设计,然后对招投标中各环节的初审、商务、技术、价格四个模块进行了结构化的内容设计,最后介绍了结构化评审页面设计、评审打分统计规则、系统B/S架构的实现方式。在电子采购系统中,利用结构化的评审,可以快速查找评审关键信息,迅速锁定打分点,实现分数自动统计校验,能够有效地提高采购项目的评审效率。

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

摘要： 在社会不断发展的背景之下,进一步加快了我国城市化建设的进程,同时结构化设计在道路桥梁设计中的应用得到了大范围的关注。随着道路桥梁建设的稳步提升,使得道路桥梁的施工复杂度越来越大,并且在对进行设计的过程当中也出现了各种各样的问题。将结构化设计引入到道路桥梁设计之中,不仅可以有效地缓解这些问题的出现,而且还有助于提高道路桥梁建设的质量与效率,从而为道路桥梁的可持续化发展奠定良好的基础。本文主要对结构化设计在道路桥梁设计中的应用进行重点分析,详细阐述了结构化设计在道路桥梁设计中的关键性、基本原则以及如何将结构化设计应用在道路桥梁设计中,目的在于为道路桥梁设计提供一定参考。

关键词： Visual Fox Pro   模块   程序设计  

摘要： 为了使Visual Fox Pro6.0初学者能够快速上手,文中将结构化程序设计合成n个相对独立的子模块,最后通过调用或传递把它们组合在一起,使复杂问题简单化,易于初学者掌握和使用,完成基本的程序设计,对于初学者来说具有一定的指导意义。

关键词： UML   稽查办案   系统  

摘要： 针对食品药品监督管理局监管的涉案单位多且分散,传统纸质化办公浪费大量人力物力,稽查人员和办案工具明显不足的现状和特点,文章研发了一套针对食品化妆品的稽查办案系统,文章利用统一建模语言(UML)对系统的用例图、类图、时序图、活动图进行分析与建模。研究表明:使用UML降低了系统模块间的耦合度,缩短了程序开发时间,便于后期维护。