打造值得信赖的软件

来源 :软件 | 被引量 : 0次 | 上传用户:sunningyou
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
当今控制系统的可靠性越来越依赖于软件。制造商为保证稳定的性能付出了很大努力,然而控制工程师们可能需要通过另一种途径来解决这个问题。除了要使用更加稳定和高质量的代码以外,降低工程成本,工程时间和工程风险将会是主要考虑的对象。
其他文献
几经周折,我终于在一个仅有四台电脑的小屋中见到了该工作室的CEO——T君(应当事人要求,隐去真实姓名),开始采访。
太平天国起义以后,清政府的八旗兵、绿营兵屡战屡败,于是派出众多官员回籍办理团练、召募乡勇,与太平军对抗,粤勇随之产生。粤勇是清王朝镇压太平天国的重要武装。粤勇没有出
高中语文新课标强调培养学生的问题意识和探究能力,但要在教学实践中落到实处并不容易.本文以《长江三峡》一课的教学为案例,提出以比较阅读作为切入点,提高学生在学习过程中
摘 要: 新课标要求教师转变教学理念,采取生活化教学模式,充实教学内容,改进教学方式,丰富评价内容与方式,给历史课堂注入新的活力,重新点燃学生的学史激情。  关键词: 历史课堂 生活化教学 学史激情 评价内容 评价方式  在我国传统的历史教学模式下,教师把众多的历史知识通过背诵、默写等方式强行灌输给学生,评价方式与内容主要是通过学生参加笔试获得的成绩进行,这种教学理念落后、教学方式单一、教学内容严
摘 要: 建立良好的学术交流平台有利于促进优良学术氛围的形成,有利于促使研究生自觉进行科研学习,有利于提高研究生的科研创新能力,对建设世界一流农业大学具有重要的意义。农科研究生面临着很大的科研压力,当前研究生学术交流存在一些问题,分析其原因,试图构建和谐的研究生学术交流平台,多层次、多角度地支持和鼓励研究生开展学术交流活动。  关键词: 农科研究生 学术交流 平台构建  2012年教育部和财政部发
节约粮食必须依靠畜牧业(二)——凉山州农村食物结构改革与畜牧业发展四川省凉山州畜牧局(615000)杜邦耻2.2.3动物蛋白质的生物学价值高于植物蛋白质,发挥了节约粮食的作用。生物学价值是蛋白
上海白龙港污水处理厂位于浦东新区台庆乡东侧长江岸边,服务人口705万人。规划污水处理量达345万m^3/d.
时间.比例控制是一种高精度的脉冲宽度调制技术。采用该技术的反馈控制器能够将开关量执行器或离散量执行器作为连续执行器使用,从而产生0%至100%之间任意的控制效果。这一技术的
摘 要: 大学英语四级考试内容在2013年有了新的调整,作为大学英语教学的一个重要检测标准,大学英语四级考试对大学英语教学起到了积极的反拨效应。本文从对大学英语四级考试新题型的分析,探讨大学英语教学模式的改革,冀望研究能为大学英语教学改革提供一些有用的参考。  关键词: 大学英语四级考试 反拨效应 大学英语教学 教学模式  大学英语四级考试(CET4)是由教育部主持的一项标准化的、大规模的外语考试
<正> 鸡传染性法氏囊病(Infectious Bursal Disease,IBD)是雏鸡的一种高度接触性、急性致死性传染病。本病现今几乎席卷了世界上所有的养鸡国家,给养鸡业造成了惨重损失。国