切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
可信软件代码中程序标注的使用及类型验证
可信软件代码中程序标注的使用及类型验证
来源 :武汉大学学报(信息科学版) | 被引量 : 0次 | 上传用户:yocar
【摘 要】
:
程序标注技术能够勾勒程序代码中的各种数据属性和软件行为,提出了使用许可类型系统作为沟通程序标注和程序代码的桥梁,从程序代码的角度分析和验证了程序的安全性,进而提升了整个软件系统的可靠性和可维护性。
【作 者】
:
赵洋
徐晓刚
张功萱
张容
【机 构】
:
南京理工大学计算机科学与技术学院,南京大学计算机软件新技术国家重点实验室
【出 处】
:
武汉大学学报(信息科学版)
【发表日期】
:
2010年05期
【关键词】
:
可信代码
程序标注
程序验证
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
程序标注技术能够勾勒程序代码中的各种数据属性和软件行为,提出了使用许可类型系统作为沟通程序标注和程序代码的桥梁,从程序代码的角度分析和验证了程序的安全性,进而提升了整个软件系统的可靠性和可维护性。
其他文献
利用CORS的3DSurs系统高精度定位技术研究
针对3DSurs系统在城市空间数据采集与定位过程中利用静态相对定位模式时存在的基准站设置、距离限制等局限性,提出了利用CORS的3DSurs系统高精度定位技术方案。首先,进行流动站(3DSurs)的坐标概略计算;然后,解算流动站的综合误差改正值;最后,进行流动站的精确坐标计算。以青岛CORS为例,分析了3DSurs系统的高精度定位结果。结果表明,基于CORS的3DSurs高精度定位点位精度优于10
期刊
GPS/CORS
3DSurs
综合误差改正
概略坐标
虚拟参考站
一种基于高斯混合模型的遥感影像有指导非监督分类方法
提出了一种遥感影像非监督分类的新方法GMM-UC。该方法以有限混合密度理论为基础,认为遥感数据由有限个子高斯分布以一定比例"混合"而成,通过改进EM算法自动确定子高斯分布及其参数,再从中"还原"出各个地物类(各子高斯分别对应一类地物)。实验结果表明,该方法获得了较好的分类效果,一定程度上避免了传统非监督分类方法的缺陷,扩大了非监督方法的应用范围。
期刊
高斯混合模型
改进EM算法
子高斯分布
遥感影像
非监督分类
DSG-Ⅰ型肝病治疗仪配合药物辅助治疗肝炎后肝硬化临床疗效观察
本文对DSG-Ⅰ型肝病治疗仪配合药物辅助治疗肝炎后肝硬化的临床疗效进行了观察。结果表明,DSG-Ⅰ型电脑生物信息肝病治疗仪在治疗肝炎肝硬化方面有一定的疗效,在药物治疗的基
会议
生物信息肝病治疗仪
药物辅助治疗
肝炎后肝硬化
肝炎肝硬化
治疗手段
药物治疗
临床疗效
联合使用
电脑
基础
团结全省医务卫生技术人员,发挥革命热情 积极为建设社会主义而努力(草稿)
代表同志们: 我们这个会议的目的,是为了在全省医务卫生技术界,贯彻执行中共中央关于知识分子问题指示的精神,进一步发扬全省医务卫生技术人员的社会主义积极性和革命的热情
期刊
卫生技术人员
关于知识分子
革命热情
技术界
中医政策
学衡
中医工作
中共中央
中医界
思想批判
天泰1号对自发老年性痴呆模型学习记忆及神经元NOS的影响
目的:观察天然中药制剂天泰1号对自发老年性痴呆模型学习记忆功能及神经信使分子一氧化氮(NO)代谢的影响。 方法:从21月龄昆明种小鼠筛选出自发老年性痴呆(记忆障碍)鼠,随机
会议
黑白人脸图像的彩色复原方法
提出了一种基于图像变形和颜色空间转换的黑白人脸图像的彩色复原方法。该方法的基本思想是参考现有的彩色人脸图像,将其色彩添加到黑白人脸图像中来实现彩色复原。该方法思想简单、步骤简便、容易实现。实验结果表明,该方法非常有效,能自然逼真地实现男、女、老、少等不同黑白人脸图像的彩色复原,并且其实现的彩色复原图像在人脸的各个细节特征上都非常逼真、自然、富有说服力。
期刊
facial image
black-white image
color recovery
image warping
color space
原发性胆汁性肝硬化14例治疗3年的实验室指标分析
原发性胆汁性肝硬化(PBC)是一种病因不明的慢性进行性肝脏疾病,它以肝脏内进行性小胆管毁损伴门静脉炎症、慢性胆汁瘀积、肝纤维化为特点。本文对14例PBC患者连续治疗3年的实
会议
原发性胆汁性肝硬化
连续治疗
实验室
慢性进行性
肝脏疾病
肝纤维化
胆汁瘀积
病因不明
小胆管
门静脉
指标
炎症
毁损
患者
扶正化癥汤配合三维适形放射治疗原发性肝癌疗效观察
本研究用中药扶正化癥汤配合三维适形放疗(3DCRT)治疗原发性肝癌28例,取得了满意的疗效。文章对临床资料、治疗方法等进行了介绍。
会议
化癥汤
三维适形放射治疗
原发性肝癌
三维适形放疗
治疗方法
临床资料
中药
疗效
“論又紅又專”
最近不少高等学校和报刊上热烈地层开了关于“紅”“专”问題的辯論,暴露出某些知識青年思想上存在的各种形形色色的观点:如“先專后紅”“先紅后專”“多專少紅”“做粉紅
期刊
辯論
社会主义道路
自我教育
资本主义道路
个人主义
地层
中国青年出版社
高等学校
内部
刘少奇同志
平调饮治疗原发性肝癌的实验及临床研究
本文对平调饮治疗原发性肝癌进行了介绍。文章指出,平调饮主要由黄芪、当归、白芍、熟地、重楼等中药组成,在临床上治疗原发性肝癌取得了很好的疗效。
会议
平调
治疗
原发性肝癌
实验
组成
重楼
中药
熟地
临床
疗效
黄芪
当归
白芍
与本文相关的学术论文