论文部分内容阅读
本文提出了一种类型系统,确保非确定性编程语言中的好类型程序满足无干扰安全特性.这项工作扩充了Dennis Volpano可靠性类型系统的核心语言.
软件可靠性与防御性——一种基于类型的方法
【摘 要】
：
本文提出了一种类型系统,确保非确定性编程语言中的好类型程序满足无干扰安全特性.这项工作扩充了Dennis Volpano可靠性类型系统的核心语言.
【机 构】
：
贵州大学计算机科学系(贵州贵阳)
【出 处】
：
第六届国际可靠性、维修性、安全性会议
【发表日期】
：
2004年期
其他文献
本文主要论述在考虑应力相关性和强度相关的情况下,机械系统可靠性设计模型的简化,即同一零件的应力或强度功能函数间存在包含关系,可将其可靠度计算模型简化;如不存在包含,
本文结合工程实际和机械可靠性的特点,在研究疲劳载荷谱统计方法的基础上,针对一个循环周期内存在向种大小、方向、时间、顺序不同的载荷,提出了间歇性非对称循环载荷作用下
本文论述了核电站人因可靠性分析的目的和要求,通过对THERP和HCR模型特性的分析和研究,建立了结构化的THERP+HCR模型及相应的人因事件分析模式和技术.该模型比以往核电站HRA
微信的含义及其特征 微信是騰讯公司于2011年推出的一款在各大软件商店都可供免费下载的即时通讯软件，用户可以通过各种智能终端登录使用。微信可以通过QQ、通讯录等方式导入好友，有效便捷地减少了搜索时间。微信相比于QQ更具私密性，朋友圈的内容只有共同好友才可以看见点赞和评论，提供了良好的社交属性。不仅如此，微信还开发了红包功能，在逢年过节或是亲朋往来，红包功能都能更好地维系好友之间的关系，满足人们的
期刊
高校海外高端人才引进所存在的问题 引才渠道问题 当前，我国大部分高校都是通过国内现场招聘、网站发布招聘信息的方式来引进海外高端人才，而该种招聘方式往往给海外人才的求职带来诸许多不便，使得大部分有意愿回国的海外人才因为没有能够及时回国应聘而失去了机会，或是因为回国应聘成本过高而作罢，所以高校应当要采取有效的引才方法来有效引进海外高端人才。 人才选择问题 引进海外高端人才目的在于将高校“软实力
期刊
保障系统及其资源的定性和定量要求论证是装甲车辆论证中的一个薄弱环节,本文通过系统的分析和研究,提出了装甲车辆保障系统及其资源的定性和定量要求,完善了装甲车辆的保障
动画作为一门涵括了多种艺术元素的综合性艺术，其涉及的领域随着社会经济的迅速发展不断扩大，在电影、音乐、美学与美术中，常可以看见以动画为主要艺术内容的影子。随着动画技术水平的不断提高，动画行业的门槛越来越高，同时也意味着对学习动画专业学生的要求越来越高。从目前我国高校开展的动画专业基础课程教学情况来看，不少高校在设置其专业的基础课程时缺乏专业的针对性，没有突出动画的深刻含义与动画专业的教学作用，只是
期刊
在高校科研事业的不断发展过程中，科研秘书已经成了较为重要的一个工作岗位，而科研秘书自身的素质能力直接影响着其工作的质量与效果，对高校科研工作的开展有着重要的意义。对此，本文主要对高校科研秘书角色的两重性以及素质进行了简单的探究分析。在高等院校中的科研机构对于我国科研系统有着重要的影响，科研工作是高校的重要内容。而科研秘书的综合素质能力直接决定了科研管理的整体质量与水平，因此，提升科研秘书的综合素质
期刊
孟庆承 91岁 关键词：白面换房子 16岁从淄博市博山老家来到济南学做布匹生意，孟老先生的经历并没有《大染坊》或《闯关东》里描写的那样曲折离奇，赚钱、娶妻、生子，就如同那个时代大多数生意人一样。但在老济南打拼10年之后，他最大的心愿还是买一座属于自己的院落“一直住在掌柜的给找的房子，心里不踏实。”看来无论是新旧社会，无房族的心态都是相同的。 关于当时具体的房价和手续，孟老先生都已经回忆不起
当代高校思想教育工作特点分析 高校思政教育的导向性 高校开设思想政治课程的意义就在于正确地引导学生思想，帮助学生建立起正确的人生观，为今后的社会活动奠定正确的思想道德理念。学生的思想素养与他们的需求有直接关系，以往的高校思想教育往往不能以客体的需要为教学重点，只是在强调教学主体的要求，而忽视了教学客体存在的价值。目前的高校思想教育课程会充分考察学生的需要，以正确引导学生利用科学、合理、合法的途
期刊