检索结果-内蒙古大学图书馆

民族论坛 2020年第1期 92-97页

作者：罗中湖南吉首大学哲学研究所吉首416000

"口头程式理论"是研究口头传统叙事诗的科学理论方法,能够将不同民族口头传统叙事诗中系列的词语、意义、观念、行为等规范化地总结出来,寻找各民族口头传统叙事诗中所存在的共性,有利于在文化领域里促进"人类命运共同体... 详细信息

"口头程式理论"是研究口头传统叙事诗的科学理论方法,能够将不同民族口头传统叙事诗中系列的词语、意义、观念、行为等规范化地总结出来,寻找各民族口头传统叙事诗中所存在的共性,有利于在文化领域里促进"人类命运共同体"的形成。该理论现已被广泛地运用到我国相关的学术研究领域之中。《梯玛歌》是土家族口头传统叙事诗的代表作,其程式化和口传性的特征具有一定的典型性。用口头程式理论对《梯玛歌》进行具体分析,可以更加深刻地理解程式语言的变异性、规律性及稳定性,有助于土家族口头传统叙事诗研究路径的拓展。

关键词：口头传统土家族梯玛歌程式分析

来源：评论

学校读者我要写书评

暂无评论

基於程式相態特性的異質系統效能分析

基於程式相態特性的異質系統效能分析

引用

作者：吳仁捷臺灣大學

学位级别：碩士

面对不熟悉的程式时,程式行为分析工具扮演着重要的角色。面对复杂的程式,能够针对程式各段不同的行为做出分析,也成为重要的课题。先前的研究聚焦在分析程式的各个函式或是回圈,然而这样的分析忽略了在函式及回圈的内部也存在着不同的... 详细信息

面对不熟悉的程式时,程式行为分析工具扮演着重要的角色。面对复杂的程式,能够针对程式各段不同的行为做出分析,也成为重要的课题。先前的研究聚焦在分析程式的各个函式或是回圈,然而这样的分析忽略了在函式及回圈的内部也存在着不同的行为。在这份研究中,我们使用程式相态判别(Program Phase Detection)的技术做为将程式切分的依据,并建立了以此为基础的分析工具。更进一步,我们藉由机器学习预测每个程式相态的GPU友善度,验证了程式相态在某些高阶特徵上确实存在群聚效果,其预测准确度为94%。最後我们藉由实际的例子,说明以程式相态为基础的分析工具确实可以侦测出函式及回圈内部的不同行为。

关键词：程式相態程式分析裝置友善度

来源：评论

学校读者我要写书评

暂无评论

基于程式相态特性分析与机器学习的矢量友好性预测

基于程式相态特性分析与机器学习的矢量友好性预测

引用

作者：张恩荣国立台湾大学

学位级别：硕士

目前的大部分处理器都提供了向量指令，这些指令可以借由同时使用多个计算单元，提供比标量指令更高的性能。虽然目前存在的编译器都支援这些向量指令，但是编译器可能因为一些限制使其将适合向量化的程式编译成纯量程式码，例如非单... 详细信息

目前的大部分处理器都提供了向量指令，这些指令可以借由同时使用多个计算单元，提供比标量指令更高的性能。虽然目前存在的编译器都支援这些向量指令，但是编译器可能因为一些限制使其将适合向量化的程式编译成纯量程式码，例如非单位步长，条件分支和指针。我们提出一个新的指标: 向量友善度(Vector Friendliness)，向量友善度代表一个程式相位适合向量化的机率。再者，我们还定义了一个新名词 Vector Intensive Phase (VIP)，只要相位中向量行数大于 50%，我们就认定这个相位为 VIP。为了找到 VIP，我们利用一种机器学习模型 Recurrent Neural Network (RNN) 学习怎么样的 memory trace 是适合向量化的，其中，模型的输入是 memory trace，模型的输出为向量友善度。我们收集了许多程式，并且利用程式相位为主的模拟器去抽取 memory trace，接着使用一套自动标签系统将所有收集到的程式相位标签为 VIP 或者 non-VIP，除此之外，我们还提出一套合成资料生成器，用来合成更多的 memory trace，训练完后，我们的模型准确度达90\%，我们发现利用 memory trace 去判断 VIP 是可行的。在预测向量友善度之后，我们可以进一步去预测一个程式相位是否适合放在 Xeon Phi 上执行，我们使用多种指令比例作为 Support Vector Machine (SVM) 的输入来预测 Xeon Phi friendliness，Xeon Phi friendliness代表一个程式相位适不适合放在 Xeon Phi 上执行，最终模型的准确度为 85%。

关键词：向量指令集向量友善度机器学习装置友善度程式相态程式分析

来源：评论

学校读者我要写书评

暂无评论

分析JavaScript网页应用程式之框架

分析JavaScript网页应用程式之框架

引用

作者：张永叡国立台湾大学

学位级别：硕士

在人们已经非常习惯于网路服务，并且将许多个人机敏资料储存在云端的现在，网页应用程式安全的重要性已是不可言喻，而程式分析是确保网页应用程式的安全性中，非常有效的一种方法。在网页应用程式的发展史中，JavaScript自1995年发明... 详细信息

在人们已经非常习惯于网路服务，并且将许多个人机敏资料储存在云端的现在，网页应用程式安全的重要性已是不可言喻，而程式分析是确保网页应用程式的安全性中，非常有效的一种方法。在网页应用程式的发展史中，JavaScript自1995年发明之后，现在已经成为了网页应用程式的前端页面中，最广为使用而且不可或缺的语言。2009年***的问世，让后端的伺服器也能开始使用JavaScript撰写，JavaScript的使用率因此更上层楼，分析JavaScript网页应用程式的重要性也随之又再提升了一层。但JavaScript极其动态的特性，却让程式分析的难度提升不少。如果分析时使用的方法属于静态程式分析，因为分析时不实际执行程式，想要得出准确的结果又加倍地不容易。本论文中提出了一个分析JavaScript网页应用程式的框架，我们非常希望提出的框架，能够实际应用在真实的网页应用程式中，而实务上，网页应用程式通常都会同时包含用户端以及伺服器端的程式码，程式设计师可能会将某些检查变数的函数放在用户端，而非伺服器端，因此不论是哪一端的程式码，都有可能会包含我们进行程式分析时，所需的重要资讯。为了能够有更准确的分析结果，我们的框架会同时收集两端程式码的资讯之后再进行分析。我们目前使用了污点分析方法(taint analysis)作为实作框架时的分析方法。污点分析方法最主要的功能是能够侦测OWASP在2017年公布的十大资安风险中的第一名：注入攻击(Injection)。最后，具备良好的扩充性，也是我们设计框架时的一个重点考量。我们花了非常多的时间，在讨论如何能够让这套框架需要进行扩充时(比如增加新的分析方法)，能够更加顺利的完成任务。我们很期待这套框架，能够成为未来打造完整分析工具时的良好基石。

关键词：注入攻击 JavaScript 程式分析资安风险网页应用程式

来源：评论

学校读者我要写书评

暂无评论

以PAC安全性保證實作程式測試

以PAC安全性保證實作程式測試

引用

作者：李宗儒臺灣大學

学位级别：碩士

在本篇论文中，我们介绍并实作了两个针对线性程式实施软体测试与模型合成的方法，分别基於学习与抽样。利用这两个全新的方式，我们希望能够在提供一个量化的保证与合理的资源耗用下，减低软体测试与正规验证之间的分别。本篇论文中，... 详细信息

在本篇论文中，我们介绍并实作了两个针对线性程式实施软体测试与模型合成的方法，分别基於学习与抽样。利用这两个全新的方式，我们希望能够在提供一个量化的保证与合理的资源耗用下，减低软体测试与正规验证之间的分别。本篇论文中，基於学习机制的方式的进行，是从学习一个程式所有可行的执行轨迹之集合开始，得出一模拟此集合的模型，再利用测试来观察此模型是否包含了错误的行为。准确的学习演算法需要保证模型与程式的完全相似，而此问题基本上是无法决定的。因此，我们的学习机制利用了Probably Approximately Correct (PAC)学习架构，其特色为应用抽样来解决模型与程式是否相同的问题，并且利用名为错误率(error probability)与信心水平(confidence level)的参数来提供正确性的保证。除此之外，我们的基於学习机制之方式也会将模拟程式行为的模型输出，此模型也保有上述之正确性保证。我们并提出了另外一个基於取样来实作的方式。此法也是根据PAC学习机制来提供正确性的保证。我们利用了具象符号测试(Concolic Testing)工具来作为我们的取样者，并从程式中抽取特定数量的执行轨迹。最终，再从已抽取之执行轨迹的集合中分析，来提供关於正确性的保证，从中找到错误执行轨迹，或是因为计算资源的不足而无法完成分析。我们实作了一个称为Pac-Man 的工具，此工具提供两种运行模式，分别实作了上述所提及之两种机制。除此之外，我们在实验中所获得的初步结果中，Pac-Man的表现相当优异，在某些范例上甚至超越了一些已经成熟的软体验证工具。因此，我们将Pac-Man 提交至2016年软体验证竞赛(Software Verification Competition)。在竞赛中的递回(Recursive)项目中我们获得了第五名，而在阵列可到达性(Array-reach)项项目中我们则是得到了第四名。另外，我们将一篇描述了基於学习机制的方式之论文提交至2016年国际软体"工程会"议(International Conference on Software Engineering)，并且成功地被采用。

关键词： Pac-Man 軟體測試軟體驗證程式分析模型合成 PAC學習

来源：评论

学校读者我要写书评

暂无评论

哈萨克族叙事诗《阿尔卡勒克》传承研究

哈萨克族叙事诗《阿尔卡勒克》传承研究

引用

作者：马宁西北师范大学

学位级别：硕士

哈萨克族民间文学非常丰富,民间叙事诗作为哈萨克族民间文学的重要组成部分尤其显得格外重要。哈萨克族作为马背上的民族,在长期逐水草而居的生活中勤劳勇敢善良的哈萨克族人民不断创造出优秀的口头文学,这些在民间口头创造的文学又在... 详细信息

哈萨克族民间文学非常丰富,民间叙事诗作为哈萨克族民间文学的重要组成部分尤其显得格外重要。哈萨克族作为马背上的民族,在长期逐水草而居的生活中勤劳勇敢善良的哈萨克族人民不断创造出优秀的口头文学,这些在民间口头创造的文学又在长期的历史发展过程中不断变化、发展,最终成为广大的哈萨克族人民智慧的结晶,同时成为书面文学和作家文学提供源源不断的创作素材,这些民间的口传叙事诗在哈萨克族文学史上占有重要地位目前已经记录的各类哈萨克族叙事诗总数达250余部,这些叙事是的内容涵盖了渗透到哈萨克族人民生活的方方面面,同时也是哈萨克族对历史及文学研究的重要素材。但是由于哈萨克族叙事诗的发展还没有广泛引起关注,所以对其的研究专著相对的就十分有限,对于哈萨克族叙事诗的研究仅仅囿于在基本的文本解读或主题研究或者人物形象分析的最基本的层面。运用文化人类学和民间文学相关的论述较少。就《阿尔卡勒克》这部英雄叙事诗而言,在继承了古老史诗叙事的传统的基础上,反映了现实生活,甚至符合历史情节,古老的史诗反映的大多是部落氏族社会关系,但《阿尔卡勒克》却更多反映了近代社会封建贵族和贫民百姓的阶级关系。同时关于对《阿尔卡勒克》传承人的研究除了已经过世的阿斯卡尔·塔塔乃,也没有关于其他民间现存的传承人及其他传承信息的记录和研究。所以本文意在研究传承人的基础上,通过口头诗学理论及生态文化学理论,对哈萨克族英雄叙事诗做系统的理论分析。

关键词：哈萨克族英雄叙事诗阿尔卡勒克传承研究程式分析保护

来源：评论

学校读者我要写书评

暂无评论

系统层级的效能量测与评估框架

系统层级的效能量测与评估框架

引用

作者：陈人豪国立台湾大学

学位级别：硕士

伺服器应用程式是重要的应用领域。效能的评估更是整个系统成功与否的关键。在本论文中，我们提出并实作了一个伺服器应用程式效能评估的工具框架。我们所实作的工具框架可分为两个部分，程式分析工具(profiling tool) 以及模拟器(simu... 详细信息

伺服器应用程式是重要的应用领域。效能的评估更是整个系统成功与否的关键。在本论文中，我们提出并实作了一个伺服器应用程式效能评估的工具框架。我们所实作的工具框架可分为两个部分，程式分析工具(profiling tool) 以及模拟器(simulator)。程式分析工具利用Dtrace 为基础分析程式的行为，同时新增一个利用CPU performance counter的工具也被实作并加入工具框架中。模拟器使用SystemC制作，可以模拟程式以及硬体平台在不同层级中的行为。模拟器的设计上采用参数化的设计，不需要重新编译即可测试新的平台。同时，应用程式以及系统模型是利用可携的XML描述，使得不同工具之间的整合变的更加容易。我们所实作的工具可以提供程式执行期间行为的分析，不仅是应用程式层级的行为，同时也提供作业系统层级行为的分析。我们的工具可以用来评估程式的延展性(scalability)，发现可能的效能瓶颈(bottleneck)，以及系统资源的使用情形，即使在没有程式原始码的情形之下也能进行分析。

关键词：效能分析程式分析模拟

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：