检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

车辆气动肌型悬架系统的仿真原型工具的研究

车辆气动肌型悬架系统的仿真原型工具的研究

原型设计工具与PHP内容框架进行展示型网页敏捷开发的方法研究

2007中国汽车工程学会年会

作者：吴涛沈亮顾磊刘斌江苏大学汽车与交通工程学院

本文提出了将"面向对象的分析方法、三维几何模型和仿真机制"统一起来的有向图仿真建模机制,并对其原理进行了分析,详细讨论了虚拟仿真建模中涉及到的面向对象建模、图形化建模、运动建模和层次化建模等技术。并以应用了Mckibben气动肌... 详细信息

本文提出了将"面向对象的分析方法、三维几何模型和仿真机制"统一起来的有向图仿真建模机制,并对其原理进行了分析,详细讨论了虚拟仿真建模中涉及到的面向对象建模、图形化建模、运动建模和层次化建模等技术。并以应用了Mckibben气动肌的悬架系统的设计为例,讨论了与其有关的设计仿真软件、关键技术和实施方法。

关键词：原型工具动画仿真气动肌

来源： cnki会议评论

在线全文

cnki会议

学校读者我要写书评

暂无评论

工业设计研究 2017年第1期 125-128页

作者：唐星王军峰王文军陶欢西南科技大学

针对网页设计师无法单独快速开发可运行的原型前端网站页面和管理前端页面显示内容的后台程序的问题,本文将介绍Adobe Muse原型设计工具与基于PHP语言的ThinkCMF内容管理框架,分析其与其他原型设计工具以及PHP框架在易用性和快速结合应... 详细信息

针对网页设计师无法单独快速开发可运行的原型前端网站页面和管理前端页面显示内容的后台程序的问题,本文将介绍Adobe Muse原型设计工具与基于PHP语言的ThinkCMF内容管理框架,分析其与其他原型设计工具以及PHP框架在易用性和快速结合应用上的区别。在对Adobe Muse设计页面输出的原型前端代码分析的基础上,结合ThinkCMF框架开发规范,采用HTML与PHP结合来传输Web页面中的动态参数,提出一套基于Muse和ThinkCMF相结合进行快速开发高度自定义界面网站的方法。这可以节省网页设计师重新手工编写HTML、CSS以及JS等前端代码的时间,同时能够对前端静态页面进行数据内容的传输呈现和管理。最后以一个展示型网站作为应用开发实例,以验证技术与工具的有用性。结果表明:该方法能够在原型网站快速上线的过程中,较传统地为Web设计流程提供更高的效率优势,为设计师更快速地开发高度自定义界面的网站提供帮助。

关键词：原型工具 Adobe Muse 内容框架敏捷开发

原型设计工具与PHP内容框架进行展示型网页敏捷开发的方法研究

在线全文

学校读者我要写书评

暂无评论

原型设计工具与PHP内容框架进行展示型网页敏捷开发的方法研究

基于安全规则变异的Web Services安全性测试方法

作者：唐星王军峰王文军陶欢西南科技大学

关键词：原型工具 Adobe Muse 内容框架敏捷开发

来源： cnki会议评论

在线全文

cnki会议

学校读者我要写书评

暂无评论

计算机学报 2013年第10期36卷 1967-1981页

作者：陈锦富李青毛澄映詹永照黄如兵陈加梅江苏大学计算机科学与通信工程学院江苏镇江212013 江西财经大学软件与通信工程学院南昌330013 斯文本科技大学信息和通信技术学院澳大利亚墨尔本VIC3122 华中科技大学计算机科学与技术学院武汉430074

针对已有变异测试研究中仅考虑对SOAP(Simple Object Access Protocol)消息输入参数的变异处理,而缺乏对SOAP消息安全规则变异的研究,文中从消息机密性、完整性及身份认证等方面对安全规则进行归类,提出了一种基于安全规则变异的Web Ser... 详细信息

针对已有变异测试研究中仅考虑对SOAP(Simple Object Access Protocol)消息输入参数的变异处理,而缺乏对SOAP消息安全规则变异的研究,文中从消息机密性、完整性及身份认证等方面对安全规则进行归类,提出了一种基于安全规则变异的Web Services安全性测试方法.首先给出一种安全规则变异测试框架,研究变异点判定规则库,设计出相应的变异操作算子、漏洞判定准则以及基于优先级与权重策略的变异算子选择方法.然后提出一种基于安全规则变异的测试用例生成算法,依照算法生成违背安全规则的SOAP消息,从而揭露Web Services的安全类故障.最后实现了一个Web Services安全性测试工具WSSTT(Web Services Security Testing Tool),在工具的基础上进行实验和对比分析,验证了文中提出的基于安全规则变异的Web Services安全测试方法的可行性和有效性.

关键词： Web Services SOAP消息安全规则变异变异测试变异算子原型工具

在线全文

学校读者我要写书评

暂无评论

普适计算应用的快速设计与评估技术

计算机科学 2014年第8期41卷 30-37页

作者：唐蕾周兴社於志文长安大学信息工程学院西安710064 西北工业大学计算机学院西安710072

普适计算的特点使得营造以人为本的信息服务环境成为可能。然而构建具有可行性和高满意度的普适计算应用却是一项需要投入时间和精力的复杂工程。首先分析了构建普适计算应用面临的挑战;然后总结、比较和分析了设计方法和仿真测试技术... 详细信息

普适计算的特点使得营造以人为本的信息服务环境成为可能。然而构建具有可行性和高满意度的普适计算应用却是一项需要投入时间和精力的复杂工程。首先分析了构建普适计算应用面临的挑战;然后总结、比较和分析了设计方法和仿真测试技术等相关研究;最后展望了当前技术的研究难点和发展趋势。

关键词：普适计算开发方法原型工具仿真测试

在线全文

学校读者我要写书评

暂无评论

基于人机物协同的隐私保护研究与实现

基于人机物协同的隐私保护研究与实现

作者：吴松松南京师范大学

学位级别：硕士

数据安全和隐私保护是当今社会所关注的重大问题,在某些突发的情况下,需要通过突破常规的方式获得临时访问相关隐私数据的授权,这种现象被称为“破例”。在日常生活和工作中,尽管这种应急措施简单而有效,但也给隐私数据带来了安全隐患... 详细信息

数据安全和隐私保护是当今社会所关注的重大问题,在某些突发的情况下,需要通过突破常规的方式获得临时访问相关隐私数据的授权,这种现象被称为“破例”。在日常生活和工作中,尽管这种应急措施简单而有效,但也给隐私数据带来了安全隐患。因此如何在“破例”的情况下保护隐私数据的安全是一个亟待解决的问题。本文基于策略空间的定义,利用形式化工具,对每个空间中的策略进行偶图建模,并给出了一个具体的访问请求在策略空间中的评估流程,且当出现“破例”情况时,给出了具体的应对措施和解决方案。然后本文以医院的一个实际场景为例进行建模,以对各个空间中定义的策略是否存在潜在风险进行验证。最后本文实现了一个原型工具,目的是将医院拓扑转换为偶图初始模型并将访问控制策略转换为反应规则。主要的工作内容有:首先,针对隐私保护的问题,从人机物三元一体的角度提出了访问控制策略及其组合的描述方式。然后分别对每个空间的策略进行举例并用形式化方法进行偶图建模,最后对一个具体的访问,给出了在策略空间的评估流程。其次,针对定义的访问控制策略存在二义性会导致用户隐私数据泄露的问题,提出了用形式化建模的方式对策略空间进行验证。并以医院的一个具体场景为例,给出了用形式化工具（偶图）进行建模的方法。首先要对网络物理环境进行静态建模,这样有了初始模型之后,还要定义使模型向前衍化的反应规则,由于篇幅的原因,本文只介绍了常用的几个操作,包括登录、退出、读、写等七个操作,并用偶图进行表示。最后定义需要模型检测的性质,这里主要检查策略空间中的授权是否会造成医院系统的信息泄露,如若检测出漏洞,相关人员可及时进行修正,以防医院造成重大损失。最后本文设计了一个原型工具,该原型工具能够将拓扑结构转换为偶图初始模型,将访问控制策略转换为反应规则,从而大幅度降低偶图建模相关从业人员的技术要求。

关键词：隐私保护访问控制偶图建模性质检测原型工具

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

公钥密码算法识别技术研究

公钥密码算法识别技术研究

作者：张经纬解放军信息工程大学

学位级别：硕士

公钥密码算法在保障信息安全方面起着关键作用,鉴于公钥算法的安全机制,其广泛地应用于数据加密、数字签名、信息的完整性认证等方面。公钥密码算法识别技术的研究对关键电子设备及计算机应用软件的逆向解析具有非常重要的作用。公钥... 详细信息

公钥密码算法在保障信息安全方面起着关键作用,鉴于公钥算法的安全机制,其广泛地应用于数据加密、数字签名、信息的完整性认证等方面。公钥密码算法识别技术的研究对关键电子设备及计算机应用软件的逆向解析具有非常重要的作用。公钥密码算法识别的首要前提是选取合适的算法特征,本文从公钥密码算法加密原理、算法实现特征、密码学函数库的逆向分析特征三个方面对公钥密码算法特征进行了研究和分析,提出了汇编级的公钥密码算法库函数实现特征;结合公钥密码算法特征,通过对算法的识别方法及模型检测技术的研究与分析,提出了基于自动机理论的模型检测技术的公钥密码算法识别方法;结合汇编级的公钥密码算法库函数实现特征的时序性,针对三类公钥密码算法实例分别设计了算法加密原语,并基于加密原语的调用序列构建了公钥密码算法的有限状态自动机模型;采用FLIRT技术对目标二进制文件预处理分析,筛选出公钥密码算法可疑函数,并针对可疑函数设计了自动化建模算法,构建了基于控制流建模技术的函数调用时序图,实现了函数调用时序图到下推自动机的转换;结合公钥密码算法的特征模型和目标可疑函数的控制流模型,设计了基于Tarjan的检查有向图的强连通分支的模型检测算法。论文给出了一个基于自动机理论的模型检测技术的公钥密码算法识别原型工具。测试结果表明:该原型工具能够快速准确地识别出目标二进制代码中常用的公钥密码算法,且工具中的目标二进制文件的自动化建模功能及模型的自动化检测功能能够有效提高算法的分析与识别效率。

关键词：公钥密码算法算法识别库函数实现特征加密原语可疑函数模型检测自动机原型工具

基于元数据的蛋白质组数据资源整合关键技术研究与应用平台开发——元数据库及元数据查询工具研究与开发

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

基于元数据的蛋白质组数据资源整合关键技术研究与应用平台开发—...

作者：刘文杰国防科学技术大学

学位级别：硕士

随着人类基因组计划的实施,生命科学研究已进入后基因组时代,人们基于指数形式增长的核酸、蛋白质序列和结构等数据,开发了数百种不同类型的数据库。这些分布、自治、异构的数据库给研究者对它们的整合应用造成了很大的困难,因此,研究... 详细信息

随着人类基因组计划的实施,生命科学研究已进入后基因组时代,人们基于指数形式增长的核酸、蛋白质序列和结构等数据,开发了数百种不同类型的数据库。这些分布、自治、异构的数据库给研究者对它们的整合应用造成了很大的困难,因此,研究一种通用的分布异构数据源集成方法具有重要意义。本课题以疾病蛋白质组学多实验室合作研究为应用背景,针对多数据源数据集成的共性问题,对蛋白质组学数据资源共享与整合的关键技术进行了研究,提出了通过元数据与本体相结合的方式来解决各数据源之间的结构异构与语义异构问题,从而形成一个逻辑上一致的虚拟中心数据库。基于上述思想,我们提出了一个基于元数据的蛋白质组学数据资源整合的总体方案并设计了一个实现该方案的数据共享与整合平台。基于该方案,我们首先制定了一个适用于多数据源数据集成的公共元数据标准来对各数据源的元数据进行一致化描述,并依照该标准建立了一个存储各数据源元数据的元数据库,与此同时,我们提供了丰富、完善的存储过程以支持对元数据库的访问、管理和维护,并对这些存储过程进行了不同粒度的分类封装以方便用户使用,最后,我们阐述了如何通过本体对元数据的标注将二者进行有机结合以解决各生物数据源之间普遍存在的结构异构和语义异构问题。针对不同用户的不同需求我们设计了几种基于元数据和本体的查询并为用户开发了一个可视化原型工具MetaPro1.0,该工具能够使用户在图形界面的支持下完成元数据的提取与导入、对元仓库的管理与维护以及基于元数据和本体的查询等功能,是平台的一个重要组成部分。

关键词：蛋白质组学数据集成元数据元数据标准元数据库本体原型工具

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

基于抽象语法树表示的代码片段推荐方法

基于抽象语法树表示的代码片段推荐方法

作者：邵宜超南京航空航天大学

学位级别：硕士

软件开发人员通常需要编写与已有代码具有类似功能的代码,而帮助开发人员重用这些代码片段的代码推荐工具可以显著提高软件开发效率,因此近年来许多研究者开始关注这一领域,并提出了多种代码推荐方法,然而这些方法普遍存在对代码语义信... 详细信息

软件开发人员通常需要编写与已有代码具有类似功能的代码,而帮助开发人员重用这些代码片段的代码推荐工具可以显著提高软件开发效率,因此近年来许多研究者开始关注这一领域,并提出了多种代码推荐方法,然而这些方法普遍存在对代码语义信息挖掘不充分、忽视推荐结果多样性等问题。这些问题导致代码推荐工具精度不高,限制了其进一步的发展。针对上述问题,本文展开了以下研究:(1)提出了基于抽象语法树近似匹配的代码片段推荐方法,该方法使用了一种快速的近似子树匹配算法,即通过哈希思想将子树匹配问题转化为树与列表间的匹配,使得抽象语法树信息可以运用于对时间要求较高的代码推荐任务,快速获取候选代码列表,从而挖掘代码中深层次的语义信息。(2)提出了面向多样性的代码推荐列表优化方法。该方法将最大边缘相关引入代码推荐领域并对其做出改进,综合候选代码与查询代码间的相似度分数(相关性)以及候选代码之间的相似度(冗余性)进行重排序,使得冗余代码片段在候选列表中的排名下降,从而优化排序效果,提升推荐结果的多样性和有效性。(3)结合提出的两种方法,设计并实现了代码片段推荐原型工具。该工具以插件的形式集成在编程开发环境中,为用户提供快速、准确且多样的代码片段推荐功能以及友好的交互界面,进一步验证了上述方法的技术可行性。

关键词：代码片段推荐代码表示信息检索推荐多样性原型工具