-
题名科技论文摘要“目的”要素的规范编修
被引量：1
- 1
-
-
作者
于海
-
机构
朝阳师范高等专科学校学报编辑部
-
出处
《辽宁师专学报（自然科学版）》
2020年第1期106-108,共3页
-
文摘
研究科技论文摘要的"目的"要素如何规范编修,以便更好地发挥其辨识作用和吸引读者作用.分析了"目的"要素中各成分的内涵;指出"目的"要素的详简应根据摘要类型确定;给出编修"目的"要素的要领,即准确概括成分、删减多余内容、与结论相呼应.通过上述研究成果的应用,可进一步提高"目的"要素表达的科学性和规范性,使其作用得到更好地发挥.
-
关键词
目的
编修
要素
内涵
摘要类型
-
Keywords
purpose
editing
element
connotation
type of abstract
-
分类号
G232
[文化科学]
-
-
题名基于Haskell语言的泛型扩展研究
被引量：2
- 2
-
-
作者
李阳
于尚超
王朋
-
机构
解放军理工大学指挥自动化学院计算机系
-
出处
《计算机技术与发展》
2012年第6期89-92,96,共5页
-
文摘
泛型即通过参数化类型来实现在同一份代码上操作多种数据类型。泛型编程是一种编程范式,它利用"参数化类型"将类型抽象化,实现灵活的软件复用。泛型编程思想已经在多种语言中得到运用,并已取得了不小的成果。文中旨在Haskell语言上进行泛型的研究与应用,Haskell语言是一门广为流行的函数式语言,它的计算模型简单,程序语法清晰,易于编写,易于维护。文中利用一些规则对Haskell语言的语法进行扩展,同时引入泛型编程的思想来研究新的函数定义方法,最后在Haskell语言上实现泛型功能。
-
关键词
泛型编程
类型抽象
函数式程序语言
语法扩展
-
Keywords
generic programming
type abstract
functional programming language
grammar extension
-
分类号
TP312
[自动化与计算机技术—计算机软件与理论]
-
-
题名函数式语言泛型特性的研究与实现
- 3
-
-
作者
李阳
于尚超
王朋
-
机构
解放军理工大学指挥自动化学院计算机系
-
出处
《计算机工程与应用》
CSCD
2012年第28期71-76,共6页
-
文摘
对于泛型程序设计来说,类型的参数化多态是其理论框架,参数化多态引入了类型变量,使得类型参数化,支持类型上的抽象,从而可以大大提高软件的复用程度。泛型编程思想已经在多种语言中得到运用,并已取得了不小的成果。在函数式语言上进行泛型的研究与应用,Haskell语言是函数式语言中较为经典的一种语言,它的计算模型简单,语法清晰,易于编写,易于维护,拥有很大的发展空间。利用一些规则对Haskell语言的语法进行相关扩展,同时引入泛型的思想,研究与运用定义泛型函数的方法,在Haskell语言上实现了泛型功能。
-
关键词
泛型编程
类型抽象
函数式程序设计
语法扩展
-
Keywords
generic programming
type abstract
functional programming
grammar extension
-
分类号
TP312
[自动化与计算机技术—计算机软件与理论]
-
-
题名一种重构二进制代码中类型抽象的方法
被引量：8
- 4
-
-
作者
马金鑫
李舟军
忽朝俭
张俊贤
郭涛
-
机构
北京航空航天大学计算机学院
中国信息安全测评中心
-
出处
《计算机研究与发展》
EI
CSCD
北大核心
2013年第11期2418-2428,共11页
-
基金
国家自然科学基金项目(90718017
60973105
+2 种基金
61170189)
教育部高等学校博士学科点专项科研基金项目(20111102130003)
软件开发环境国家重点实验室自主研究课题(SKLSDE-2011ZX-03)
-
文摘
重构二进制代码中的类型信息对逆向工程、漏洞分析及恶意代码检测等方面具有重大的意义,由于类型信息在编译过程中被移除,且二进制代码中的低级抽象难以理解,因此类型重构一直被认为是恢复高级抽象遇到的困难问题之一,现有的大多工具对类型重构的准确度不够高.提出一种保守的类型重构方法,针对类型重构引入一种简单的中间语言,基于这种中间语言构造寄存器抽象语法树,并使用寄存器抽象语法树部分解决了基址指针别名问题,可有效收集基本类型和结构体类型的类型约束信息.提出一种判断二进制代码中的循环结构及识别循环变量的方法,可有效收集数组类型的约束信息,并据此生成类型约束,然后通过处理类型约束来重构最终的类型.使用CoreUtils中的15个程序作为测试用例,将该方法与IDA Pro进行对比实验.实验结果表明提出的方法不仅可以高效地重构数据类型,而且在结构体类型重构方面可恢复比IDA Pro多达5倍的数据.对这些数据的人工验证与分析表明,使用该方法重构的类型准确率高.
-
关键词
类型重构
寄存器抽象语法树
中间语言
循环变量
别名分析
-
Keywords
type construction register abstract syntax tree
intermediate language
loop count
aliasanalysis
-
分类号
TP311.1
[自动化与计算机技术—计算机软件与理论]
-
-
题名建筑类型学在建筑设计教学中的运用
被引量：1
- 5
-
-
作者
黄杏玲
王宇
-
机构
中南大学土建院建筑与城规系
-
出处
《华中建筑》
2003年第4期110-111,共2页
-
文摘
当今的建筑教育仍遵从功能主义的指导思想,忽视对学生进行形式创作方法与技巧的培养,已明显滞后于当今建筑发展的要求。本文基于建筑类型学在建筑设计中广泛的影响以及其兼具认识论与方法论基础的特点,提出在建筑设计教学中采用类型学的方法对学生进行系统、科学的形式教育。
-
关键词
建筑设计教学
学生
形式教育
培养
指导思想
科学
要求
建筑类型
建筑发展
建筑教育
-
Keywords
Architecture typology Architecture typology type selection type abstract and revivification type conversion
-
分类号
TU2-4
[建筑科学—建筑设计及理论]
G421
[文化科学—课程与教学论]
-
