【摘 要】
：
文中介绍了一个程序规范自动检测与修正系统ADRS的理论模型.在开放逻辑的思想基础上,文中提出了一种自动修正模型,并试图对李未提出的3个问题给出解决方案.作为对第1个问题的
【机 构】
：
清华大学计算机科学与技术系,北京,100084南京航空航天大学计算机系,南京,210016;
论文部分内容阅读
文中介绍了一个程序规范自动检测与修正系统ADRS的理论模型.在开放逻辑的思想基础上,文中提出了一种自动修正模型,并试图对李未提出的3个问题给出解决方案.作为对第1个问题的解决,作者提出了一种刻画程序规范重要性程度的全序结构,克服了加标记的二分法的粗糙性.作为对第2个问题的解决,作者提出了修正函数的定义和R-计算模型,并证明了该模型满足修正函数的要求.作为对第3个问题的解决,作者提出了T-修正函数的定义和RT-计算模型,证明了随修正时间的增长,T-修正函数逼近修正函数,且T-修正函数是可计算的.文中还提出了一种改进的调解方法,其中禁止等词之间的调解.该方法被用于自动检测部分的实现,使系统检测出矛盾的效率有所提高.文中证明了该方法的可靠性与完备性.
其他文献
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
该文旨在通过对面临着巨大发展机遇的陕西邮政商业信函业务的研究,探讨新世纪下陕西邮政商业信函业务发展策略,使其能够紧紧地把握该业务迅速增长的发展机遇. 第一章:介绍商
2012年6月，被称为中国版高收益债券的中小企业私募债在上交所发行，经过两三年的发展，国内高收益债券市场已经初具规模，高收益债券也成为债券市场不容忽视的投资品种。如何理解高
2013年7月20日，中国人民银行发布公告，取消了对金融机构贷款利率的管制，不再设贷款利率下浮不得超过0.7倍的限制，我国利率市场化改革更进一步。当前我国商业银行的盈利模式依然是
请下载后查看，本文暂不支持在线获取查看简介。
Please download to view, this article does not support online access to view profile.
自从龚刚和Willi Semmler(2003)首次在国内期刊上介绍RBC模型及校准方法之后,我国学者就开始将此方法运用于研究中国经济,并且基本侧重于进行关于中国经济特征事实的实证研究
由于统计学发展以及与其它交叉学科的实际应用不断深入，并随着科学技术的进步，生物医学，经济学，社会学，教育心理学等领域中不断出现了各种复杂的不完全数据，包括左截断数据，右截断数