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

计算机研究与发展 2023年第2期60卷 274-293页

作者：谭添马晓星许畅马春燕李樾南京大学计算机科学与技术系南京210023 计算机软件新技术国家重点实验室(南京大学) 南京210023 西北工业大学软件学院西安710129

近年来静态程序分析已成为保障软件可靠性、安全性和高效性的关键技术之一.指针分析作为基础程序分析技术为静态程序分析提供关于程序的一系列基础信息,例如程序任意变量的指向关系、变量间的别名关系、程序调用图、堆对象的可达性等.... 详细信息

近年来静态程序分析已成为保障软件可靠性、安全性和高效性的关键技术之一.指针分析作为基础程序分析技术为静态程序分析提供关于程序的一系列基础信息,例如程序任意变量的指向关系、变量间的别名关系、程序调用图、堆对象的可达性等.介绍了Java指针分析的重要内容:指针分析算法、上下文敏感、堆对象抽象、复杂语言特性处理、非全程序指针分析,特别是对近年来指针分析的研究热点选择性上下文敏感技术进行了梳理和讨论.

关键词：指针分析别名分析 Java 静态分析上下文敏感

来源：评论

学校读者我要写书评

暂无评论

智能嵌入式系统结构与软件关键技术专题序言

引用

西安电子科技大学学报 2021年第6期48卷 1-7页

作者：王泉杨天若朱大开邓庆绪郭兵陈铭松董云卫严义江建慧张凯龙谢国琪周俊龙西安电子科技大学计算机科学与技术学院陕西西安710071 加拿大圣弗朗西斯泽维尔大学计算机科学系安蒂戈尼什NS B2G 2W5 美国得克萨斯州大学圣安东尼奥分校计算机科学系圣安东尼奥TX 78249-1644 东北大学计算机科学与工程学院辽宁沈阳110167 四川大学计算机学院四川成都610065 华东师范大学软件工程学院上海200241 西北工业大学计算机学院陕西西安710129 杭州电子科技大学计算机学院浙江杭州310018 同济大学软件学院上海201804 湖南大学计算机工程系湖南长沙410082 南京理工大学计算机科学与工程学院江苏南京210094

作为数字与物理、信息与应用交叉融合的重要基石,嵌入式系统技术在近十年以来已被广泛应用在社会生产、生活、国防等诸多领域,并快速推动了这些领域的数字化、网络化和智能化发展。在人工智能、云计算、物联网、大数据等新兴技术不断发... 详细信息

作为数字与物理、信息与应用交叉融合的重要基石,嵌入式系统技术在近十年以来已被广泛应用在社会生产、生活、国防等诸多领域,并快速推动了这些领域的数字化、网络化和智能化发展。在人工智能、云计算、物联网、大数据等新兴技术不断发展和交叉应用的万物智联大计算背景下,信息物理深度融合、多维智能能力支撑、应用形态日益多元等新特征对嵌入式系统的体系结构以及软硬件技术的发展都提出了新的需求和挑战。诸如,空、天、地、海军民领域的复杂安全有关应用对高可信的多态嵌入式计算体系与技术,移动计算与物联网对高性能、低功耗的嵌入式系统、网络通信与网络安全技术,以智能驾驶为代表的复杂信息物理系统对实时智能计算体系与技术,智能制造对工业机器人以及工业互联网等基于嵌入式系统的行业技术等,新业态迫切需要新技术的支持。

关键词：嵌入式系统工业机器人嵌入式计算移动计算物联网云计算大数据智能制造

来源：评论

学校读者我要写书评

暂无评论

AADL分级调度模型的分析与验证

引用

计算机研究与发展 2015年第1期52卷 167-176页

作者：符宁杜承烈李建良刘志强彭寒西北工业大学计算机学院西安710072 西北农林科技大学信息工程学院陕西杨凌712100 西北工业大学软件学院西安710072 西安航空学院计算机工程系西安710077

针对嵌入式系统体系结构分析设计语言(architecture analysis and design language,AADL)分级调度模型的分析问题,提出了基于模型检验的可调度性分析和验证方法.基于时间自动机理论,将AADL分级调度模型转换为时间自动机网络,将待验证性... 详细信息

针对嵌入式系统体系结构分析设计语言(architecture analysis and design language,AADL)分级调度模型的分析问题,提出了基于模型检验的可调度性分析和验证方法.基于时间自动机理论,将AADL分级调度模型转换为时间自动机网络,将待验证性质描述为时序逻辑公式,通过模型检验工具对可调度性进行分析和验证.研究结果表明,使用模型检验方法来分析AADL分级调度模型的可调度性是可行的.相对其他方法而言,该方法利用了形式化方法的穷举性来分析系统的性质,分析结果更加精确.

关键词：复杂嵌入式实时系统体系结构分析设计语言 UPPAAL 可调度性模型检测

来源：评论

学校读者我要写书评

暂无评论

中断驱动系统模型检验?

引用

软件学报 2015年第9期26卷 2212-2230页

作者：周筱羽顾斌赵建华杨孟飞李宣东计算机软件新技术国家重点实验室(南京大学) 江苏南京210023 南京大学软件学院江苏南京210093 西北工业大学计算机学院陕西西安710072 南京大学计算机科学与技术系江苏南京210023 中国空间技术研究院北京100094

针对一类中断驱动系统提出了一种建模和模型检验的方法.该系统通常由中断处理程序和操作系统调度的任务组成,前者由中断源触发后处理中断事件,后者则负责处理系统的日常任务以及某些中断处理事件的后续处理.因为这类系统是实时控制系统... 详细信息

针对一类中断驱动系统提出了一种建模和模型检验的方法.该系统通常由中断处理程序和操作系统调度的任务组成,前者由中断源触发后处理中断事件,后者则负责处理系统的日常任务以及某些中断处理事件的后续处理.因为这类系统是实时控制系统,对中断事件的处理需要在规定时间内响应并完成,否则可能造成严重的系统失效.为了帮助系统设计人员在系统设计过程中应用模型检验技术来提高系统的正确性,首先确定了此类系统中与时序性质相关的系统要素(包括系统调度任务、中断源、中断处理程序)和相关参数,并要求设计人员在设计阶段明确指出这些要素的参数.然后,提出了将这些要素和参数自动转化为形式化模型的方法:使用时间自动机对中断事件进行建模,使用中断向量表和CPU处理栈对中断处理过程进行建模.对于得到的形式化模型,给出了针对中断处理超时错误的检测方法,并在此基础上给出了针对共享资源的完整性、子程序原子性的检验方法.

关键词：中断驱动系统模型检验超时检测

来源：评论

学校读者我要写书评

暂无评论

中断驱动控制系统的有界模型检验技术

引用

软件学报 2015年第10期26卷 2485-2503页

作者：周筱羽顾斌赵建华杨孟飞计算机软件新技术国家重点实验室(南京大学) 江苏南京210023 南京大学软件学院江苏南京210093 西北工业大学计算机学院陕西西安710072 南京大学计算机科学与技术系江苏南京210023 中国空间技术研究院北京100094

针对一类中断驱动的航天控制系统,给出了有界模型检验的算法.这类系统由中断处理程序和操作系统调度的任务组成.当中断发生时,对应的中断处理程序响应中断事件,并可以修改控制变量值,以便在系统任务中完成后续工作.操作系统周期性地调... 详细信息

针对一类中断驱动的航天控制系统,给出了有界模型检验的算法.这类系统由中断处理程序和操作系统调度的任务组成.当中断发生时,对应的中断处理程序响应中断事件,并可以修改控制变量值,以便在系统任务中完成后续工作.操作系统周期性地调度任务序列处理日常事务以及中断事件的后续工作.使用了带中断标记的时间自动机对中断事件和任务调度事件进行建模,并使用中断向量表和中断处理程序的伪代码模型共同描述中断的处理过程.控制变量将中断处理过程和系统任务相关联,中断处理程序可以设定某个控制变量,而系统任务则通过检查该控制变量来确定是否需要进行后续处理.对于这样的形式化模型,给出了检验关键时序性质的有界模型检验算法.该算法使用深度优先的方式遍历所有长度小于等于K的可行路径,并使用SMT Z3实现了对时间约束和规约的处理.

关键词：中断驱动系统有界模型检验超时检测

来源：评论

学校读者我要写书评

暂无评论

蒙太奇手法在服装款式设计中的应用

引用

环球市场信息导报 2016年第18期 102-102页

作者：焦会琴陈绥阳张云鹏冯伟一胡小平西安思源学院电信学院西安交通大学计算机系西北工业大学软件与微电子学院西安工程大学服装与艺术设计学院华南理工大学艺术学院

笔者通过对电影中蒙太奇手法的了解,并将这种手法运用到服装设计中,揭露出这种独特的艺术思维方式对服装款式设计开发的作用。

关键词：服装款式设计蒙太奇手法艺术思维方式服装设计立体裁剪电影史手法运用普多夫金人类心理学线条图

来源：评论

学校读者我要写书评

暂无评论

缠裹艺术在服装设计中的解构体现

引用

科技经济导刊 2016年第16期 163-163页

作者：焦会琴陈绥阳张云鹏黄吉春徐军应伯安西安思源学院电信学院西安交通大学计算机系西北工业大学软件与微电子学院西安思源学院人文学院西安工程大学服装与艺术设计学院陕西西安710076 西安工程大学陕西省服装工程中心陕西西安710076

笔者通过对古罗马服饰风格中的包裹设计手法与解构主义思想融合研究，并做了实例验证。结果表明此设计方法首先在服装设计思维上打破了传统的设计模式，其次采用先包裹后解构的手法进行服装设计，最终能够实现传统与现代完美结合的时尚... 详细信息

笔者通过对古罗马服饰风格中的包裹设计手法与解构主义思想融合研究，并做了实例验证。结果表明此设计方法首先在服装设计思维上打破了传统的设计模式，其次采用先包裹后解构的手法进行服装设计，最终能够实现传统与现代完美结合的时尚作品。

关键词：包裹艺术服装设计解构设计实践

来源：评论

学校读者我要写书评

暂无评论

基于离散时序基因表达数据的双聚类算法

引用

计算机应用研究 2013年第12期30卷 3551-3556,3567页

作者：许涛尚学群杨蜜静王淼西北工业大学计算机学院计算机软件与理论系西安710129

目前应用于基因表达数据上的双聚类算法大多是基于真实数据提出的,因此易受噪声干扰,且这些算法很少考虑样本间的时序性。提出了一种有效的时间点连续的双聚类挖掘算法DTCB,从离散的时序基因表达数据中挖掘出时间点连续的最大共表达双... 详细信息

目前应用于基因表达数据上的双聚类算法大多是基于真实数据提出的,因此易受噪声干扰,且这些算法很少考虑样本间的时序性。提出了一种有效的时间点连续的双聚类挖掘算法DTCB,从离散的时序基因表达数据中挖掘出时间点连续的最大共表达双聚类。该算法使用了一种新的数据离散化方法,同时提出了三种在离散数据集下基因间的共表达关系;为了提高挖掘效率,DTCB使用了有效的剪枝和输出策略,可以在不产生候选集的情况下一次性挖掘出所有的最大共表达双聚类。通过实验分析,证明DTCB具有高效的性能和良好的鲁棒性,且结果具有较好的统计和生物意义。

关键词：时序基因表达数据双聚类共表达时间点连续离散化

来源：评论

学校读者我要写书评

暂无评论

无线视频通信跨层资源分配及性能优化

引用

电子科技大学学报 2013年第1期42卷 63-68页

作者：张运生姚远孙世新何志海深圳信息职业技术学院软件学院深圳518172 清华大学深圳研究生院深圳518172 西北工业大学电子信息学院西安710072 电子科技大学计算机科学与工程学院成都610054 密苏里大学哥伦比亚分校电子与计算机工程系美国哥伦比亚mo65201

提出了一种联合物理-链路-应用层资源分配和性能优化方案。在资源和时延约束下,通过在物理层、链路层和应用(视频编码器)层等跨层参数自适应调整,最大化整体视频质量或尽量最小化端到端的视频失真。即在能量约束下模拟和控制视频编码的... 详细信息

提出了一种联合物理-链路-应用层资源分配和性能优化方案。在资源和时延约束下,通过在物理层、链路层和应用(视频编码器)层等跨层参数自适应调整,最大化整体视频质量或尽量最小化端到端的视频失真。即在能量约束下模拟和控制视频编码的率失真行为,分析视频数据包在链路层的排队行为,研究因时延约束违反引起的包丢失对端到端视频失真的影响。通过解析和实验证明,所提出方案能够找到在延迟约束下视频编码和无线传输之间的最优能量折衷,利用链路层的延迟作为一个系统的资源,取得了显著的性能增益。

关键词：跨层设计能量最小化队列分析资源分配无线视频通信

来源：评论

学校读者我要写书评

暂无评论

基于Agent强化学习的地图迁移学习算法

引用

电子世界 2014年第15期 189-189页

作者：张炎刘博文包头职业技术学院计算机与信息工程系西北工业大学软件与微电子学院

强化学习是Agent学习中广泛使用的方法,在智能机器人、经济学、工业制造和博弈等领域得到了广泛的应用,但学习速度慢是强化学习的主要不足。迁移学习可从源任务中获得与目标任务相关的知识,利用这些知识去提高学习效率与效果。本文提出A... 详细信息

强化学习是Agent学习中广泛使用的方法,在智能机器人、经济学、工业制造和博弈等领域得到了广泛的应用,但学习速度慢是强化学习的主要不足。迁移学习可从源任务中获得与目标任务相关的知识,利用这些知识去提高学习效率与效果。本文提出Agent地图迁移算法,实现了Agent在不同状态空间下的经验迁移。实现将Agent在简单环境中的学习经验迁移到复杂环境中,实验中验证了算法可加快Agent路径规划速度。

关键词： Q学习强化学习地图迁移

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：