关于提高系统及重大应用软件的可靠性与安全性的建议

来源 :中国科学院院刊 | 被引量 : 0次 | 上传用户:cho159753
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
在现代信息技术的各类载体(计算机硬件、软件、网络与通信设施等)中,软件的可靠性、安全性是最难保证的.我们现在使用的计算机都属于“通用数字计算机”.用通用数字计算机解决一个特定的问题,要靠特定的软件去完成.
其他文献
彭长城,封新城。一位是中国发行量最大的文摘类期刊《读者》的社长,一位是以新锐著称的《新周刊》的执行总编,二人的名字皆带有“城”字,二人所在的媒体一度被视为中国传统期
高职院校英语教学的目的就是重在培养实用型人才,而英语听力是听、说、读、写、译五项技能中的其中一个,是实用技能中的重要元素,经过研究发现,元认知策略对学好英语听力有不
摘 要:近年来,随着人民法律意识的不断增强,“有案必讼”的情况逐渐成为大家的共识,人民法院案件压力与日俱增。在目前的司法实践中,司法资源和纠纷总量“僧多粥少”的现状问题十分严峻,构建完善功能互补、程序衔接恰当、能够满足人民群众对多元化纠纷解决方式需求的多元化纠纷解决机制对有效化解医疗纠纷十分必要。实践证明医疗纠纷调解委员会的建立对利用诉调对接平台解决医疗纠纷能够发挥其专业优势,为医患双方当事人提供
碱性成纤维细胞生长因子 (Basicfibroblastgrowthfac tor,bFGF)是一种具有促进细胞生长增殖作用的多肽类生长因子 ,在维持机体的生长发育及促进多种组织的创伤修复中起着十分重要的作用 ,是机体重要的创伤修
【摘 要】在倡导“大力发展职业教育”的今天,“职校学生低人一等”的观念依然存在。优秀生源减少,教学质量下降,是职业学校的现狀。如何提高学生学习兴趣,从而提高职业教育的教学质量,培养出色的技能型人才是摆在我们职业教育工作者面前的一道难题。  【关键词】思想工作;教学环节;兴趣小组;竞赛  注:本文中所涉及到的图表、注解、公式等内容请以PDF格式阅读原文
诉源治理是在多元化纠纷解决机制大背景下化解纠纷的重大举措,亟待理论探讨.四川省成都市中级人民法院在2016年开始全国率先部署推进诉源治理工作,创新解纷模式,推进诉前调解
理查德·费恩曼(1918~1988,见图)既是一位卓越的理论物理学家,又是一位富有生活情趣的人。他自幼喜欢数学和科 Richard Feinman (1918 ~ 1988, see photo) is both a remarkable the
本文首先阐述了小组合作学习的定义,分析了小组合作学习在高职英语应用写作中的方法,最后总结了经过小组合作学习能够使学生的英语写作水平得到有效提高。旨在英语学习中推广
十来年前,十几岁的张志勇只上了半年初中,就跑到河北省邯郸市内打工,在棉纺厂当了个装卸工。光阴如梭,十年后,张志勇再也看不上那靠一个汗珠摔八瓣儿挣来的工钱,他要另辟致富路。他
期刊