温和语境论视阈下的认识模态句研究 

作为语言哲学研究的核心论题,意义问题历久弥新、广受瞩目。为了探求语言的意义,人们一直致力于确定句子的真值条件以判断句子所表达命题之真伪。在此过程中,我们不难发现一些命题的真值似乎更加难以确定。譬如,我们几乎可以不假思索地判断“孔子是中国最伟大的圣人之一”这一句子的真伪。可是要判断“孔子可能是中国最伟大的圣人之一”的真伪...
上海交通大学  博士论文  2017年 下载次数(26)| 被引次数()

共享系统数据模型研究与应用 

数据模型精确描述共享系统数据结构、数据联系和语义约束,在较高的抽象层面上定义共享系统的静态特征、动态行为和依存规则,是共享系统的核心和基础,同时也是共享系统开发与应用的主线。当前,广泛应用的数据模型使用图形语言或文本语言工具直观上定义用户群体共享行为和业务共享过程,缺乏统一的概念和精确的形式化描述,在系统状态的一致性转...
华南理工大学  博士论文  2012年 下载次数(563)| 被引次数(4)

复杂安全协议的建模与验证 

随着网络的发展,互联网络的安全问题变得越来越棘手,越来越重要,安全协议的安全性质也受到越来越多的挑战。安全协议是解决互联网络安全问题最有效的手段之一,使用安全协议在开放的互联网络上可以实现身份认证等多项安全功能。由于在计算机网络中,相互通信的双方不能通过生物特征识别对方,因而彼此的认证需要建立在密码体制的基...
国防科学技术大学  博士论文  2008年 下载次数(314)| 被引次数(3)

If条件句与常规关系 

本文在认知的框架内,从逻辑-语用的视角探讨英语 if 条件句。本研究旨在:(1)考察 If 条件句结构式(if-conditional construction)(简称“条件结构式”)所表现出的多种语义关系,并对这一多义现象进行解释,探讨条件结构式形成的理据。(2)将语用学关于常规关系的运用嫁接到逻辑学充分条件的运用上...
河南大学  博士论文  2005年 下载次数(725)| 被引次数(4)

Agent系统构建与交互关键问题研究 

随着计算机与网络的发展,人们日渐依赖于通过网络进行交互。利用Agent与多Agent系统(Multi-Agent System,MAS)的自治性、智能性等特点,可以提高人们在通过网络进行交互的过程中对于信息的处理能力,提升交互的效率。考虑到Agent建模与实现的复杂性,在实际应用中需要支持Agent快速开发...
天津大学  博士论文  2009年 下载次数(479)| 被引次数(3)

无铅钎料的统一型本构模型 

随着环保呼声的高涨和越来越多禁止在电子产品中使用含铅钎料的法案的出台,无铅钎料在微电子封装工业中全面代替有铅钎料已经是大势所趋。焊点的可靠性对整个集成电路封装的可靠性甚至电路本身性能的可靠性都有着重要的意义。然而在当前,由于无铅钎料本身还处于发展的初期,学术界对无铅钎料进行的力学性能研究相对匮乏。在这种背景...
天津大学  博士论文  2008年 下载次数(465)| 被引次数(9)

条约解释规则实证研究 

1969年《维也纳条约法公约》(下称《条约法公约》)所确立的条约解释规则是关于条约解释的习惯国际法的成文法化。自我国加入该公约以来,《条约法公约》所确立的条约解释规则就不是我国学界关注的重点。学者多从个案研究的角度来展开对条约解释规则问题的探讨,缺乏对该规则的整体性和基础性把握。在全球化日益加深,我国逐渐走向国际舞台中...
华东政法大学  博士论文  2017年 下载次数(133)| 被引次数()

基于动态测试用例生成的二进制软件缺陷自动发掘技术研究 

预发布大型软件系统,具有规模庞大、多语言实现、含大量第三方二进制组件等特点,现有的测试方法和技术无法有效实现高效、全面、无误报、跨语言和跨平台的测试目标。 本文重点研究了如何将动态测试用例方法应用于预发布二进制软件测试。以构建高效、精确、全面且具有重定向性的高性能动态测试用例生成系统为目的,从系统...
国防科学技术大学  博士论文  2010年 下载次数(590)| 被引次数(22)

有球无球条件下高尔夫挥杆技术动作的运动控制特征研究 

研究目的:本研究对比不同球速运动员有球、无球和假球时挥杆表现和动作控制的差异,试图找到如何通过运动控制影响挥杆表现的机制,以及速度水平差别导致的控制差异。研究方法:受试者为16名上海体育学院高尔夫专业学生,采用球速将运动员分为,低速和高速两组,组内无差异,运动员在无球,假球和真球三种条件下,使用7号铁杆向高尔夫室内拦截...
上海体育学院  博士论文  2016年 下载次数(468)| 被引次数(2)

移动界程演算及模型检测应用的关键问题研究 

近10年来,以界程演算(Mobile Ambients)为代表移动进程演算模型已成为移动计算形式化理论的研究热点,但相对于理论研究方面的丰富成果,模型实用化方面研究相对较少,特别是将界程演算实际应用于移动计算系统的核心程序语言,或系统建模语言的应用界程演算模型,以及相关模型检测系统的实现等方面还有待进一步研...
华南理工大学  博士论文  2010年 下载次数(208)| 被引次数(2)

甘蓝型油菜化学诱导的雄性不育与细胞质雄性不育分子机理的比较研究 

油菜是世界上最重要的油料作物之一,也是利用杂种优势最为成功的作物之一。人工诱导的雄性不育系与细胞质雄性不育系在油菜杂种优势利用中被广泛使用。SX-1是陕西省杂交油菜中心研发的一种高效、低毒并可使油菜不同品种产生雄性败育的化学杀雄剂,已被应用于制种生产中,但其导致雄性不育的机理还知之甚少。细胞质雄性不育(Cytoplas...
华中科技大学  博士论文  2019年 下载次数(22)| 被引次数()

原发性肝癌病证辨治规律研究 

辨证论治是中医学的精华,辨证是治疗的前提,辨证是否准确,是取得临床疗效的关键。目前中医药治疗肝癌尚无统一的诊断标准与疗效评判标准,缺乏循证医学依据的基础和临床研究,因此,我们对原发性肝癌辨治规律进行了系统研究,以期能够帮助提高原发性肝癌病证辨治的准确率和临床疗效。 本文在参阅大量中医基础理论文献,系统梳理历代辨证...
南京中医药大学  博士论文  2014年 下载次数(1522)| 被引次数(10)

带蕴含文字的有序二元决策图 

本文对有序二元决策图(ordered binary decision diagram,OBDD)进行了泛化,提出了一种新的知识编译语言—带蕴含文字的有序二元决策图(OBDD with impliedliterals,OBDD-L)。本文将OBDD-L上的蕴含文字约束为所有潜在的蕴含文字中对应变量最小的前i(0≤i≤∞)...
吉林大学  博士论文  2013年 下载次数(192)| 被引次数(1)

基于优化原理的多光谱真温反演算法研究 

多光谱测温法是通过测量多个光谱辐射的信息并采用相关的理论与算法反演出辐射体真实温度(真温)的过程。光谱发射率求解仍然是多光谱测温法的重点和难点,从理论上讲,必须已知足够多的光谱信息才能获得辐射体的真温。考虑到实际辐射体在不同光谱和不同温度时的光谱发射率通常是不一致的且光谱发射率的求解又是非接触的辐射温度测量中不可回避的...
哈尔滨工业大学  博士论文  2019年 下载次数(33)| 被引次数()

语言测试分数的导出、报道和解释:对TEM的几点建议 

英语专业四、八级考试是一项大规模的把英语作为外国语的国家级考试。考生范围涉及中华人民共和国大陆的所有全日制外语专业学生。由于社会对考试结果的认可,这项考试实质上已经成为一项高风险的外部性的综合性语言考试。可是,这项考试一直采用课堂考试中常用的原始分数进行直接分数合成和分数报道。这样,无论是不同次...
上海外国语大学  博士论文  2005年 下载次数(1855)| 被引次数(1)

共找到相关记录187条上一页>12345678910下一页