教学课程资源库 更多>>

关键词： formal method   real-lime system   variable workload model   workload curve   worst-case execution time   可变工作量模型   实时系统   工作量曲线   形式化方法   最差情况下执行时间   formal method   real-lime system   variable workload model   workload curve   worst-case execution time   Language of Keywords: English   Chinese  

摘要： Abstract: The traditional performance analysis of real-lime systems relied on the input variable of worst-case execution lime, which turned to be too pessimistic. Aiming at the problem of remarkably redundant design in real-lime, a new model to characterize variable workload was created including workload curves, inverse workload curves and workload ratio curves. In the proposed model, event type, number and distribution were used as decision-variable, and relevant algorithm was proposed to solve the above model. In addition, the realistic applications were analyzed in mix scheduling based on VWM (variable workload model). The result indicates that the VWM can remarkably reduce execution workload of tasks, thus reducing the resource requirement of real-time systems. [ABSTRACT FROM AUTHOR]

ISBN: (纸本)9787313162182

关键词： 结构化设计   道路桥梁   重要性   应用原则   具体应用  

摘要： 在现代社会当中,交通是一个城市的重要脉搏,交通的便利通畅,会为整个城市带来不一样的生活体验。而道路桥梁是交通路线的重要组成部分,为了提高道路桥梁的建设质量,为交通路线的通畅性提供保障,就需要提高工程方案的设计水平和设计质量。但是道路桥梁在设计过程中会存在一些不稳定因素,采用定值设计法很难得出较为准确的参数,而结构化设计方案能够有效解决这一问题,对提高道路桥梁设计的科学性具有重要意义。

关键词： 道路桥梁   结构化设计   实践运用  

摘要： 作为交通运输业核心的道路桥梁要想在建设上取得巨大进步,就必须做好结构化设计,为顺利施工提供可靠的保障。而在道路桥梁设计中应用结构化设计不仅能确保工程质量,还能确保工程的经济性、安全性,优化应用结构化设计有很大的使用价值及广阔的市场前景,需在日常工作中继续深入研究并加强实践。

关键词： 道路桥梁   结构化设计   实践运用  

摘要： 道路桥梁是我国交通运输系统的重要组成部分,对于各地区经济发展有着重要影响,并且为人们的交通出行提供了多种便利。其和普通工程项目不同,道路桥梁设计需要综合考虑多方面内容,对于设计方案的要求较高,传统的道路桥梁设计方法已经无法满足越来越复杂的结构需求,通过应用结构化设计方法,遵循相关设计要求,保障道路桥梁结构稳定性,提高其经济效益和使用价值。

关键词： 软件工程   实验教学   综合性   设计性   教学改革  

摘要： 在信息社会发展的大潮下,随着互联网＋创新思维模式的提出,针对企业对高校工程专业人才的需求,创新的综合性、设计性实验项目在高校的实验教学中的普及显得尤为重要。融合创新思维,以软件工程实验教学为例,在实验内容的设置和实验环境的开放性上同时考虑实验的综合性和设计性,提高实验教学的质量和效果。探索新型综合性、设计性实验教学模式,以创新为理念,最终提高高校工程类专业课程实验教学的水平。

关键词： 商业银行   信贷管理系统   NET技术   UML建模   模块化设计  

摘要： 迅速的信息技术发展大大加快了银行的信息化与现代化的进程，信贷银行作为与经济直接关联的金融机构，信贷银行信息化水平已经成为决定着银行的发展状况的重要因素。银行现代化就是银行信息化，为了实现银行信贷业务标准化与规范化的管理，同时为应对市场竞争和风险控制，实现可持续发展的要求，具有重要的意义。本文以民生银行桃南支行为信贷管理系统为研究对象，针对当前系统存在的不足和需求，设计开发了一套民生银行桃南支行信贷管理系统。\n 本文先对民生银行桃南支行银行信贷管理体系的现实需要加以调查分析，并基于真实的情况蓝本上对体系的作用模块重新划分，然后再对于新系统的实现情况加以确定，并且通过例图和用例的方式来对于各个功能加以说明；在充分地针对信贷管理体系的结构作用价值施以研究之后，再将体系作用的模块单元以及架构加以选择，在选择的过程中，所采用的方法主要是.NET技术，将MVC设计模式和企业信贷管理有机结合在一起，实现企业资金管理和企业信贷管理信息化；在对于整个体系的价值作用进行定义之后，之后再针对客户真实需求作为蓝本对体系的模型以及各个功能模块加以设计，再通过对于时序图的利用来对于系统的这些功能加以实现，实现过程中首先对代码进行解析，并展示一部分功能实现效果图及其功能的操作流程；最后进行论文的总结和展望。\n 信贷管理系统的开发设计，有助于加强信息技术在银行资金风险管理方面的应用；有助于推动资金管理和决策合理化、信息化，对提高银行的经营管理能力也有很大促进作用。

关键词： 机器人   路径规划   形式化方法   混成通信顺序进程   混成霍尔逻辑  

摘要： 近些年来，伴随着人工智能领域的浪潮，机器人越来越多地出现在我们的日常生活中，与我们的生活紧密相关，例如足球机器人、无人车、无人机等。这些机器人虽然不是安全攸关系统，但是一旦出现问题，仍然会对人民的生命财产造成直接威胁。因此，如何保证这些自治机器人尤其是多个机器人在移动过程中的安全成了人们一直很关心的问题。形式化方法因其具有严格的数学基础而被广泛应用于软硬件系统的规约和验证中，本论文即是用混成通信顺序进程和混成霍尔逻辑来对多机器人的路径规划算法进行建模并验证。\n 混成通信顺序进程(Hybrid Communicating Sequential Process，HCSP)是一个针对混成系统的形式化建模语言，它在通信顺序进程(Communicating Sequential Process，CSP)的基础上引入了微分方程来对系统的连续行为进行建模，同时引入中断机制（条件中断、超时中断和通信中断）来描述连续动态行为和离散控制行为交错运行的情形。HCSP可以方便地对大型控制系统尤其是在有通信事件发生时的情形进行形式化建模。混成霍尔逻辑作为霍尔逻辑的混成扩充，是HCSP的逻辑推理系统。它的定理证明器HProver能够对HCSP模型进行定理证明。但是由于目前的HProver无法处理向量和矩阵数据类型，因此本论文首先对HProver进行扩展，然后用HCSP对多机器人的路径规划算法D-CAPT进行建模，并在HProver中进行形式化验证。结果证明了该算法在满足一定的初始条件下，机器人团队在整个运行过程中不会碰撞。最后进一步考虑了在有加速度存在的条件下该算法的验证。

关键词： 现代软件工程   课程考核   多元化机制   实践  

摘要： 针对现代软件工程课程教学效果不理想的普遍问题,分析学生难以应用已学知识完成项目实践的原因,阐述单一考核机制在现代软件工程课程教学中存在的问题,提出多元化考核机制,阐述如何基于考核动态组织课程教学并进行相关实践。