【摘 要】
：
不断增长的软件系统复杂性要求系统本身能够实时对资源变化、故障错误进行响应.虽然现在也发表了一些有关自恢复软件系统方面的文章,然而关于这类系统软件体系结构形式化的研
【机 构】
：
南京理工大学计算机系623教研室,南京大学计算机系
【基金项目】
：
中国科学院资助项目，军用计算系统性能保持技术研究项目
论文部分内容阅读
不断增长的软件系统复杂性要求系统本身能够实时对资源变化、故障错误进行响应.虽然现在也发表了一些有关自恢复软件系统方面的文章,然而关于这类系统软件体系结构形式化的研究尚属起步;首先分析了自恢复功能软件的运行机制,给出了自恢复软件系统的形式化模型描述;在此基础上,对指挥控制系统(command and controlsystem,简称c2)软件体系结构进行了形式化定义和分析.结果显示所设计的自恢复模型能够满足软件系统的约束条件,提高了系统的可用性.
其他文献
DOI：10.16661/j.cnki.1672-3791.2017.30.116 摘 要：砝码是保证天平计量准确性的重要因素，砝码层面的问题势必会导致计量的不准确，因此，做好砝码的检定工作尤為必要。但在砝码检定中存在着形形色色的误差，文章基于此，首先对误差进行了分类，指出其包括可预见、不可预见两种形式，然后讨论了误差的产生因素，包括环境层面的因素、人为层面的因素、设备层面的因素、管理层面的因素
针对一类含参数不确定的离散时间严反馈非线性系统,提出了反步递推(Backstepping)算法与黄金分割原理相结合的新型控制策略。采用反步递推控制方法处理前n-2阶子系统,利用其结果重构余下的二阶非线性子过程,再通过黄金分割自适应算法对二阶子过程进行控制。该策略一方面解决了单纯反步递推算法在过渡阶段参数失配时,控制量剧烈波动的问题;另一方面减少了反步递推算法的计算量。给出了闭环系统有界稳定性的证明
摘 要：目的 探讨股骨头坏死患者CT与核磁共振诊断的教学方法。方法 将2016年11月至2018年3月期间在笔者医院实习生16人，随机分为对照组和观察组，对照组采用传统方法进行治疗用药教学，观察组采用临床指导模式进行检测教学，比较观察两组的效果。结果 对照组学生均分为72.96±4.01，观察组平均分为91.91±3.31，经过检验，得t=4.09，P=0.001（P<0.05），差异有统计学意义
连续Petri网已被证明为诸多系统的有效描述工具,而系统性能分析与连续Petri网的稳态有密切关系.本文讨论了一类区间速率连续Petri网(Interval speed Continuous Petri Nets,
摘 要：俗话说，良好的开始是成功的一半。小学语文教育教学直接关系到孩子在以后的人生成长中学习习惯、生活习惯、兴趣爱好、创新意识等方面的发展，抓住小学语文教育对孩子的成长尤其重要。 关键词：新课改；小学语文；语文教学；创新 21世纪以来，尤其是互联网时代的到来，社会发展对知识的依赖程度也在不断的提高，社会各界越来越重视人才的培养，国家也越来越重视教育的投入。小学语文教育是一个学生开始学习语文生涯
摘 要：随着医学教育改革的不断深入，为响应国家医疗建设的需求，需要培养出高素质的优秀人才。因此，医学生物化学的实践教学中，应将原有的教学目标进行调整，从医学生角度出发，完善教学内容，改进教学方案，从而能够为医院培养具有创新意识、专业能力强的高素质综合性人才。 关键词：医学生物化学 教学改革 实践 综合人才 中图分类号：G642 文献标识码：A 文章编号：1672-3791（2018）09（a）
建立了雷达发射机中的间歇振荡器的非线性数学模型,利用相空间图、功率谱分析法、平均位移法和Lyapunov指数对该模型仿真产生的时间序列和实测信号进行了分析,理论和实验结果表明,间歇振荡器所产生的高频脉冲序列具有混沌特性,所推导的数学模型和分析结果具有普适性。
作者简介：刘河芬（1982.9-），女，汉族，河南新乡人，新乡学院，硕士研究生，助教。 摘 要：现阶段，各高校是开展国家廉洁教育的重要场所，大学生廉洁教育与国家的兴衰、社会的稳定、校园的和谐、学生的成才有着重要的关系，社会的转型、多元化价值观的出现，使大学生廉洁教育面临诸多新的挑战。本文重点淘箩大学生廉洁教育实效性的实现路径。 关键词：大学生；廉洁教育；路径；实效性 中图分类号：G641文献
摘要：新媒体技术的发展对大学生有着深远的影响，在充分认识以及把握新媒体技术的同时，要通过思想政治教育活动迎接新媒体带来的积极影响，并且借助其自身特点，做出具备的调整，以期适应新媒体环境下的思想政治新途径，且借用新方法，不断的加强或者改善大学生思想政治教育理念。 关键词：新媒体；大学生；思想政治教育 中图分类号：G641文献标志码：A文章编号：2095-9214（2016）08-0241-01