An Application of Paraconsistent Annotated Logic for Design Software Testing Strategies

来源 :软件工程与应用(英文) | 被引量 : 0次 | 上传用户:shashasimon
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
Nowadays, application model systems for decision-making based on non-classical logic such as Paraconsistent Logic are used successfully in the treatment of uncertainties. The method presented in this paper is based on the fundamental concepts of Paraconsi
其他文献
针对模糊信息处理过程中,隶属函数确定难和主观性强的问题,利用改进型的BP神经网络建立模糊集隶属函数,分析了基于神经网络模糊集隶属函数的设计方法,给出了设计步骤,并将其
改革问题一直是历史研究中的热点问题。行政改革是上层建筑积极地自我修补和完善,以期适应经济基础需要的行为。20世纪30年代,南京国民政府进入“训政时期”,其行政机制历经
改革和完善党的执政方式,对于推进中国特色社会主义民主政治建设,具有全局性作用,是提高党的执政能力的关键之一。回顾和研究建国初期毛泽东对执政方式的探索,总结其经验教训
四川总督赵尔丰放弃清王朝在四川省的统治权,与立宪派合作,成立大汉四川军政府,成都和平光复。不久之后,发生了“成都兵变”。兵变为祸甚惨,成都菁华毁于一旦,四川民众蒙受了
目的系统评价注射用炎琥宁与α-干扰素治疗小儿上呼吸道感染的有效性和安全性,为临床应用提供循证医学证据。方法计算机检索CBM、CNKI、VIP、WanFang Data等数据库,纳入注射
期刊
The application of Information and Communication Technologies has transformed traditional Teaching and Learning in the past decade to computerized-based era. Th
1949年5月,中共接管南汇,随即开始基层建政,以南下干部、新吸纳的积极分子以及一部分的旧职人员为主体组成了一个层级细密的基层行政网络,本文将以此为背景,从乡村干部的任用
目的评价右美托咪啶对椎管内麻醉后寒战的预防作用。方法 60例择期在椎管内麻醉行下肢手术患者,ASAⅠ~Ⅱ级,分为N、T、D 3组,每组20例。D组予右美托咪定0.5μg/kg+生理盐水100
介绍了以IEEE LOM、GEM和DC—Education为代表的描述教育资源的元数据,分析了高级分布式学习网络的整合教育资源及其元数据的可共享内容对象参考模型(SCORM).
晚清时期湖南的慈善事业虽然仍以传统慈善为主,但是,随着时代变化和外国在湖南兴办慈善事业的出现,而面对时代的变化和外国人兴办的慈善事业,加上清前期的慈善事业有这样那样