期刊文献+
共找到5篇文章
< 1 >
每页显示 20 50 100
全国主要电网月发电量的季节性分析 被引量:1
1
作者 潘志中 梁慧 任力群 《大众商务(下半月)》 2010年第2期285-286,共2页
用电量不仅关系到人们的日常生活,还是反映一国生产情况的重要指标。本文通过运用统计学中描述性时间序列的相关方法,分析了2001年9月到2009年1月全国主要电网月发电量与季节的相关性。
关键词 统计学 描述性时间序列分析 移动平均法 方程拟合法
下载PDF
管理经济学视角下的奢侈品市场初探
2
作者 任力群 潘志中 李瞻 《大众商务(下半月)》 2010年第2期101-101,共1页
文章从已有百年历史的奢侈品市场出发,以社会上层关注的对象为基准,观察分析一个时代最精英的一群人的品位和生活方式,从而在某种程度上去反映了整个社会在文化和物质上的最高追求(奢侈品追求)。在对奢侈品定义及特点研究的基础上... 文章从已有百年历史的奢侈品市场出发,以社会上层关注的对象为基准,观察分析一个时代最精英的一群人的品位和生活方式,从而在某种程度上去反映了整个社会在文化和物质上的最高追求(奢侈品追求)。在对奢侈品定义及特点研究的基础上,以经济学需求收入弹性的角度对奢侈品进行解释,进一步对奢侈品的内涵和范围的理解,同时扩展奢侈品在不多层面的深化理解。 展开更多
关键词 奢侈品 奢侈品市场 需求收入弹性 市场结构
下载PDF
形式化方法类课程设置及教学内容探索
3
作者 华保健 樊淇梁 潘志中 《计算机教育》 2022年第6期213-216,共4页
分析目前计算机和软件工程专业形式化方法类课程的现状,并根据软件工程发展形势的最新要求以及课程体系与ACM/IEEE CS2013计算机科学课程体系规范中知识主体的对应关系,指出现行课程体系的可改进之处,阐述重新构建形式化方法类课程体系... 分析目前计算机和软件工程专业形式化方法类课程的现状,并根据软件工程发展形势的最新要求以及课程体系与ACM/IEEE CS2013计算机科学课程体系规范中知识主体的对应关系,指出现行课程体系的可改进之处,阐述重新构建形式化方法类课程体系的可行途径. 展开更多
关键词 形式化方法 编程语言 软件可靠性
下载PDF
Python虚拟机本地代码的安全性实证研究 被引量:4
4
作者 蒋成满 华保健 +3 位作者 樊淇梁 朱洪军 徐波 潘志中 《计算机科学》 CSCD 北大核心 2022年第S01期474-479,653,共7页
Python语言及生态是机器学习等人工智能系统的重要基础,已成为目前主流机器学习框架如TensorFlow,PyTorch,Caffe,CNTK等的首选实现语言。Python虚拟机本身的安全性和可靠性对这些机器学习框架的安全性提供了基础保障,但Python虚拟机CPyt... Python语言及生态是机器学习等人工智能系统的重要基础,已成为目前主流机器学习框架如TensorFlow,PyTorch,Caffe,CNTK等的首选实现语言。Python虚拟机本身的安全性和可靠性对这些机器学习框架的安全性提供了基础保障,但Python虚拟机CPython内部包含大量由C/C++构建的本地代码,其安全漏洞模式尚未被充分研究和理解,系统的漏洞分析和修复技术也亟待研究。为此,提出了一个对Python虚拟机本地代码的分析研究框架PyGuard,该框架使用静态程序分析技术对虚拟机中的本地代码进行安全性扫描和分析;利用该框架对Python语言的官方虚拟机CPython进行了安全性实证研究,实验结果发现了最新版本的虚拟机(Cpython 3.9)中45个安全漏洞,表明了该框架对实际Python虚拟机本地代码安全性分析的有效性;基于该框架和安全性进行了实证分析,分析了虚拟机本地代码中的安全漏洞模式,给出了对安全漏洞的修复建议。 展开更多
关键词 Python虚拟机 本地代码 安全漏洞 程序分析
下载PDF
WebAssembly安全综述
5
作者 庄骏杰 胡霜 +2 位作者 华保健 汪炀 潘志中 《计算机研究与发展》 EI 2024年第12期3027-3053,共27页
WebAssembly是一种新兴的二进制指令集体系结构与代码分发格式,旨在为高级程序语言提供统一且架构无关的编译目标.由于其安全、高效与可移植等先进特性,WebAssembly在Web领域与非Web领域均得到了广泛应用,正在成为最有前景的跨平台公共... WebAssembly是一种新兴的二进制指令集体系结构与代码分发格式,旨在为高级程序语言提供统一且架构无关的编译目标.由于其安全、高效与可移植等先进特性,WebAssembly在Web领域与非Web领域均得到了广泛应用,正在成为最有前景的跨平台公共语言标准之一.尽管WebAssembly提供了多种先进特性以保证安全性,然而,已有研究表明,WebAssembly仍然存在特有的攻击面从而导致安全问题,这些安全问题直接影响到基于WebAssembly的整个软件系统生态.因此,对WebAssembly安全问题的产生机理、现有解决方案以及亟待解决的科学问题展开系统研究尤为重要.基于WebAssembly安全研究领域已经公开发表的42篇研究论文,对WebAssembly安全的相关研究进行了系统研究、分析、归纳和总结:首先,研究分析了WebAssembly的核心安全特性,并在此基础上首次提出了WebAssembly的4层安全威胁模型,包括高级语言支持、编译工具链、二进制表示和语言虚拟机,并对每一层的安全威胁和攻击面进行了详细讨论;其次,提出了WebAssembly安全研究的分类学,将已有研究划分为安全实证研究、漏洞检测与利用、安全增强、形式语义与程序验证4个热点研究方向,并对这4个方向分别进行了综述、分析和总结;最后,指出了该领域待解决的科学问题,并展望了5个潜在的研究方向. 展开更多
关键词 WebAssembly 语言安全 漏洞检测与利用 安全增强 形式化验证
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部