导读:本文包含了授权语言论文开题报告文献综述及选题提纲参考文献,主要关键词:中国语言文学,天水师范学院
授权语言论文文献综述
[1](2019)在《天水师范学院中国语言文学硕士学术学位授权点简介》一文中研究指出发展简况:中国语言文学是天水师范学院自1959年以来最早重点建设的学科之一。经近60年的艰苦奋斗,目前有专任骨干教师30名,其中教授15人(二级教授4人),副教授13人,博士17人。在CSSCI来源期刊发表学术论文78篇,出版专着38部,承担省部级以上项目31项,其中国家社科基金项目18项;获省级社科成果奖16项,其中一等奖2项、二等奖4项。文学与文化传播学院院(本文来源于《天水师范学院学报》期刊2019年01期)
王露,王长林[2](2014)在《区域控制器移动授权的统一建模语言(UML)建模与验证》一文中研究指出探讨了基于通信的列车控制(CBTC)系统中区域控制器(ZC)子系统不同运营场景下移动授权的生成过程。采用统一建模语言(UML),与CBTC中列车运行控制的特殊要求相结合,以规范ZC子系统实现的过程和改善系统的开发效率。通过UML建模直观展现系统的结构,检查系统完整性,并完成该系统模型的仿真验证。(本文来源于《城市轨道交通研究》期刊2014年07期)
马莉,钟勇,霍颖瑜[3](2014)在《DTL-Real-Time Object-Z形式化规格说明语言及其责任授权模型描述》一文中研究指出Object-Z语言缺乏完整的时态描述能力,如无法表达操作在特定时间之后执行或按某种周期执行等,也不具有操作补偿等概念。针对这些问题,在Object-Z中集成实时概念和分布式时态逻辑,提出DTL-Real-Time Object-Z规格语言,该语言能有效地描述操作的时态驱动、事件驱动、操作补偿等因素,分析和说明了该语言的语法和语义,最后通过对责任授权模型的形式化描述说明了该语言的表达能力和应用。(本文来源于《计算机科学》期刊2014年04期)
翟浩良,夏兰亭,李磊[4](2012)在《基于属性和主体、操作和客体分层描述的逻辑授权语言》一文中研究指出安全策略是访问控制的核心,安全策略的描述、验证和执行离不开授权语言。在实际应用中,安全需求具有复杂性和动态性的特点,而现有的授权语言不能很好地适应这一特点,并不能对多种访问控制策略提供足够的支持。提出了一种基于属性和主体、操作和客体分层描述的逻辑授权语言(SOOSAL)。SOOSAL以一阶逻辑为基础,通过谓词对主体、客体和操作进行刻画,并以分层的方式通过规则对主体、操作和客体之间的关系进行描述。此外,SOOSAL从逻辑语义世界假设的角度对现实世界中的策略进行了分类:封闭性世界策略和开放性世界策略,并对这两种策略的安全性进行了讨论,给出安全性问题的简单解决方案。实例结果表明,SOOSAL具有较强的策略描述能力,能更好地实现策略的动态变化,并对不同的安全需求和授权原则提供良好的支持。(本文来源于《计算机科学》期刊2012年S1期)
[5](2010)在《国家级硕士学位立项建设授权学科:中国语言文学学科简介》一文中研究指出2009年4月我校获准为“国家级立项建设硕士学位授予单位”,文学院中国语言文学学科成为我校第一批获得硕士学位立项建设的授权学科,并于20 1 0年与安徽大学联合招'收硕士研究生。本学科现有专任教师70余人,其中教授15人,副教授19人,学科队伍高级职称比(本文来源于《阜阳师范学院学报(社会科学版)》期刊2010年01期)
王星星[6](2007)在《面向军事网格的授权模型和授权策略语言研究》一文中研究指出网格技术革命性地将网络上所有的资源融为一个协调一致的整体,使人们能够透明地使用网络的整体资源,并能按需获取信息。这与军事上的一体化联合作战思想高度吻合,军事网格由此应运而生。然而,网格技术也给网络安全带来了许多新的挑战,设计能够支持异构系统间互操作的授权机制成为网格安全研究的重要问题之一。本文针对该问题展开研究,主要工作如下:1.通过对网格体系结构与军事特点的分析,依据军事网格组织原理,提出了一种基于Web服务的军事网格体系结构,设计了一种与之相适应的授权模型。该模型基于军事网格的Web服务和虚拟组织(VO),以授权策略语言为核心,能够为跨域访问时不同授权方式之间互操作提供解决方案。2.借助逻辑语言形式化描述和推理能力,设计一种面向军事网格的授权策略语言—APL语言;依据逻辑语言的形式化方法,基于对网格中实体类型和属性的分析,定义了一个表示网格实体的符号集;基于对网格中实体之间关系的分析,定义了一系列表示这些关系的谓词。在此基础上,生成原子、规则来描述网格中的各种授权策略。3.对APL语言的语法语义进行了形式化描述,实现了一个能够对授权请求执行自动推理和授权判断的策略评估算法,并证明了该算法的完备性和可靠性;基于XML,完成了APL语言的实现。4.研究了授权模型和授权策略语言在实际中的应用,用APL语言描述网格中的跨域访问所涉及的本地授权策略、域间信任关系和网格协同调度中的授权委托,给出了一个完整的基于军事网格授权模型的网格授权过程。(本文来源于《解放军信息工程大学》期刊2007-04-20)
王昊,曹艳[7](2007)在《基于XML的安全授权语言设计》一文中研究指出该文提出了一种新的安全认证授权的数据交换方式,设计了一种能够用一个单一的框架来表达不同访问控制策略的语言,可以沟通需要进行认证的各个应用系统和设备。(本文来源于《南昌高专学报》期刊2007年02期)
钟勇,秦小麟,郑吉平,林冬梅[8](2006)在《一种灵活的使用控制授权语言框架研究》一文中研究指出首先提出一种单限制变元Datalog,sc的概念,并对单限制变元Datalog,sc的评价(evaluation)及其元组识别问题做了分析.然后提出使用控制授权语言框架LUC,该框架基于具有单一稳态结构的单限制变元分层Active-U-Datalog,sc语法和语义,具有逻辑上的一致性、完备性和可行性.最后对LUC框架的表达力、灵活性及其实现和应用做了说明.(本文来源于《计算机学报》期刊2006年08期)
[9](2003)在《北京语言大学人文学院新增中国古代文学博士学位授权点》一文中研究指出经国务院学位委员会审核通过 ,北京语言大学人文学院新增中国古代文学博士学位授权点。北语人文学院中文系 ,经过近 2 0年的辛勤耕耘 ,中文系中国古代文学学科已经走向成熟并形成自己富有实绩的学科风格 ,已经形成由 7名教授、9名副教授及博士、博士后 10人(本文来源于《中国文化研究》期刊2003年03期)
[10](2002)在《南京师范大学中国语言文学一级学科博士学位授权点简介》一文中研究指出南京师范大学中国语言文学一级学科博士学位授权点建立于2000年春天 ,包含8个二级学科博士学位授权点 ,现有“文艺学”、“语言学及应用语言学”、“汉语言文字学”、“中国古典文献学”、“中国古代文学”、“中国现当代文学”、“世界文学及比较文学”7个学科招收(本文来源于《南京师范大学文学院学报》期刊2002年04期)
授权语言论文开题报告
(1)论文研究背景及目的
此处内容要求:
首先简单简介论文所研究问题的基本概念和背景,再而简单明了地指出论文所要研究解决的具体问题,并提出你的论文准备的观点或解决方法。
写法范例:
探讨了基于通信的列车控制(CBTC)系统中区域控制器(ZC)子系统不同运营场景下移动授权的生成过程。采用统一建模语言(UML),与CBTC中列车运行控制的特殊要求相结合,以规范ZC子系统实现的过程和改善系统的开发效率。通过UML建模直观展现系统的结构,检查系统完整性,并完成该系统模型的仿真验证。
(2)本文研究方法
调查法:该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法:用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法:通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法:通过调查文献来获得资料,从而全面的、正确的了解掌握研究方法。
实证研究法:依据现有的科学理论和实践的需要提出设计。
定性分析法:对研究对象进行“质”的方面的研究,这个方法需要计算的数据较少。
定量分析法:通过具体的数字,使人们对研究对象的认识进一步精确化。
跨学科研究法:运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法:这是社会科学用来分析社会现象的一种方法,从某一功能出发研究多个方面的影响。
模拟法:通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
授权语言论文参考文献
[1]..天水师范学院中国语言文学硕士学术学位授权点简介[J].天水师范学院学报.2019
[2].王露,王长林.区域控制器移动授权的统一建模语言(UML)建模与验证[J].城市轨道交通研究.2014
[3].马莉,钟勇,霍颖瑜.DTL-Real-TimeObject-Z形式化规格说明语言及其责任授权模型描述[J].计算机科学.2014
[4].翟浩良,夏兰亭,李磊.基于属性和主体、操作和客体分层描述的逻辑授权语言[J].计算机科学.2012
[5]..国家级硕士学位立项建设授权学科:中国语言文学学科简介[J].阜阳师范学院学报(社会科学版).2010
[6].王星星.面向军事网格的授权模型和授权策略语言研究[D].解放军信息工程大学.2007
[7].王昊,曹艳.基于XML的安全授权语言设计[J].南昌高专学报.2007
[8].钟勇,秦小麟,郑吉平,林冬梅.一种灵活的使用控制授权语言框架研究[J].计算机学报.2006
[9]..北京语言大学人文学院新增中国古代文学博士学位授权点[J].中国文化研究.2003
[10]..南京师范大学中国语言文学一级学科博士学位授权点简介[J].南京师范大学文学院学报.2002