导读:本文包含了类型扩充论文开题报告文献综述、选题提纲参考文献及外文文献翻译，主要关键词:类型,公理化,铁路,组合,常数,语义,存储器。
类型扩充论文文献综述
沙培洲[1]（2018）在《IFD标准在铁路桥梁BIM设计中扩充的类型与编码研究》一文中研究指出为了探索、验证铁路IFD标准的适用性,发现并完善该标准的内容,先后在西成客专、银西客专和黔张常铁路等试点项目的桥梁BIM设计中对铁路工程信息模型分类和编码进行应用,重点对桥梁BIM模型中须加入的几何和非几何信息的IFD编码进行研究。研究后认为,为了满足铁路桥梁数据化的需求,满足不同软件平台间、不同设计阶段和不同专业间信息的交换与共享,满足施工和运维阶段对设计模型信息的提取,须对铁路IFD标准中的铁路桥梁工程构件、工项、产品以及桥梁工程特性进行扩充。笔者把在工程实践中扩充的IFD编码整理出来,供学习讨论。对于铁路桥梁工程所涉及的地理信息,也给出了分类与编码规则。通过对铁路IFD标准的扩充完善,对BIM技术在铁路建设项目中的推广应用具有重要意义。(本文来源于《铁道标准设计》期刊2018年11期）
李晟[2]（2017）在《一种无类型的弱公理化真理论及其扩充》一文中研究指出在概述弱公理化真理论与无类型的弱公理化真理论PUDT的基础上,证明无类型去引号理论,即正一致去引号理论(positive uniform disquotational theory,简记为PUDT)是一种正真(positive truth)的弱公理化真理论。对PUDT进行适当扩充,可以得到在经典逻辑上不相容,而在直觉主义逻辑上相容的公理化真理论。但是,这类公理化真理论并不是理想的真理论。(本文来源于《重庆理工大学学报(社会科学)》期刊2017年01期）
张伟珂[3]（2011）在《资格刑类型扩充论——以《刑法修正案(八)》为视角》一文中研究指出《刑法修正案(八)》为我们提供了一个反思现有资格刑配置、扩充资格刑类型的契机。可以考虑将禁止令这一非刑罚处罚措施,根据其所禁止的内容予以分解,上升到刑罚的层面,补充完善资格刑的类型;危险驾驶罪的设立使我们有必要考虑将剥夺特定资格(技能)为内容的行政处罚措施改造为刑罚措施,并增设单位犯罪的资格刑。(本文来源于《新疆警官高等专科学校学报》期刊2011年04期）
丛秋波[4]（2011）在《新类型嵌入式64G SSD缩小体积扩充容量》一文中研究指出随着超薄硬件在移动电脑领域未来几年的成长,先进的操作系统将需要更好的存储产品。业界闪存产品领导厂商SanDisk(闪迪)公司日前推出首款新类型嵌入式固态硬盘(SSD)。(本文来源于《电子设计技术》期刊2011年01期）
陈韬略,冯扬悦,吕建,韩婷婷[5]（2004）在《鲁棒环境演算类型演化系统的扩充(英文)》一文中研究指出移动计算是在网络技术发展过程中涌现出来的一种新的分布计算范型,移动环境演算是一种广为使用的描述移动计算的形式化模型,鲁棒环境演算是针对这种演算的一种改进。文献[2]提出了类型演化问题,然而其研究只是针对不含有通信原语的纯演算进行。在[2]的基础上,进一步讨论了此问题。通过引入消息类型和消息体类型,并将之与原有的进程类型和环境类型相结合,提出了一个支持类型演化的能够对带有消息传递的进程项类型化的类型系统,从而将[2]的工作扩充到整个鲁棒环境演算中。证明了类型系统的正确性。同时给出了一个最小类型算法,在给定类型上下文的条件下,算法能够计算出任意进程项的类型;并证明了算法的可靠性和完备性。(本文来源于《南京大学学报(自然科学版)》期刊2004年05期）
于书敏[6]（2000）在《一阶微分方程可积类型的扩充》一文中研究指出运用常数交易法,解一类一阶非线性分方程,并给出通积分的表达式.(本文来源于《通化师范学院学报》期刊2000年05期）
袁蒲佳,吴凯明,蓝红雨[7]（1996）在《关系数据库类型系统的扩充》一文中研究指出讨论了关系数据库在类型和函数两个方面的扩充问题．对于类型扩充，讨论了特殊类型、抽象数据类型以及语言类型叁个方向的扩充；对于函数扩充，讨论了源函数、ＳＱＬ函数和外部函数叁个方面的扩充．研究了关系数据库在函数扩充方面出现的动态联编问题(本文来源于《华中理工大学学报》期刊1996年08期）
王美清[8]（1993）在《带类型λ-演算的扩充》一文中研究指出在许多情况下λ－演算的能力不够、Felleisen M等把λ－演算加以扩充，并证明扩充后的语言λｃ具有某些基本性质．本文试图为λｃ－演算加上类型，给出带类型λｃ－演算的逻辑系统，然后考虑它的指称语义．(本文来源于《福州大学学报(自然科学版)》期刊1993年03期）
张幸儿[9]（1992）在《集合类型及其在C语言中的扩充》一文中研究指出本文讨论基于源级转换在C中扩充集合类型的问题,陈述了基本考虑,给出了实现算法,并讨论了若干有关问题.基于源级转换进行扩充的优点是无需对C编译程序作任何修改,代价低.该实现考虑与算法可供设计源级转换系统及进行C程序设计时参考.(本文来源于《计算机研究与发展》期刊1992年09期）
类型扩充论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
在概述弱公理化真理论与无类型的弱公理化真理论PUDT的基础上,证明无类型去引号理论,即正一致去引号理论(positive uniform disquotational theory,简记为PUDT)是一种正真(positive truth)的弱公理化真理论。对PUDT进行适当扩充,可以得到在经典逻辑上不相容,而在直觉主义逻辑上相容的公理化真理论。但是,这类公理化真理论并不是理想的真理论。
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
类型扩充论文参考文献
[1].沙培洲.IFD标准在铁路桥梁BIM设计中扩充的类型与编码研究[J].铁道标准设计.2018
[2].李晟.一种无类型的弱公理化真理论及其扩充[J].重庆理工大学学报(社会科学).2017
[3].张伟珂.资格刑类型扩充论——以《刑法修正案(八)》为视角[J].新疆警官高等专科学校学报.2011
[4].丛秋波.新类型嵌入式64GSSD缩小体积扩充容量[J].电子设计技术.2011
[5].陈韬略,冯扬悦,吕建,韩婷婷.鲁棒环境演算类型演化系统的扩充(英文)[J].南京大学学报(自然科学版).2004
[6].于书敏.一阶微分方程可积类型的扩充[J].通化师范学院学报.2000
[7].袁蒲佳,吴凯明,蓝红雨.关系数据库类型系统的扩充[J].华中理工大学学报.1996
[8].王美清.带类型λ-演算的扩充[J].福州大学学报(自然科学版).1993
[9].张幸儿.集合类型及其在C语言中的扩充[J].计算机研究与发展.1992
论文知识图
