吴丹
- 作品数：18 被引量：34H指数：3
- 供职机构：国防科学技术大学更多>>
- 发文基金：国家自然科学基金湖南省自然科学基金国防科技技术预先研究基金更多>>
- 相关领域：自动化与计算机技术文化科学天文地球更多>>
- 一种支持操作系统的硬件事务内存系统被引量：1
- 2010年
- 本文分析了目前提出的硬件事务内存系统在支持线程切换及迁移、内存页置换、系统调用等方面存在的问题,并提出了新的支持操作系统的实现方案DTM。DTM采用单独的面向事务处理的一致性协议来检测及仲裁事务间冲突,与传统的事务内存系统相比,DTM具有实现简单、可扩展性好及性能上的优势。
- 王绍刚吴丹庞征斌杨晓东
- 关键词：事务内存DTM
- 一种基于提示学习的异质信息网络节点分类方法
- 本发明公开了一种基于提示学习的异质信息网络节点分类方法，包括以下步骤：采用文本编码器将文本编码成低维向量，生成文本表示；采用图谱编码器对异质信息网络的结构特征、异质特征和自监督信息进行编码，获得图表示；通过对比学习，将文...
- 方阳赵翔吴丹王宇恒曾维新谭真肖卫东
- 面向多媒体处理的子字并行编译优化方法研究
- 以图像处理为代表的多媒体应用程序，具有广泛的应用领域，这类应用包含的算法都是内在并行的、计算密集的、且能够对大的数据集进行规范的操作，而其内在的子字并行使得传统的高级语言编译很难适应面向嵌入式多媒体处理的需求。并行处理成...
- 吴丹
- 关键词：多媒体处理子字并行
- 文献传递网络资源链接
- 一种确定多媒体应用程序内层循环的子字并行编译方法
- 2006年
- 多媒体程序是数据密集型应用,其核心代码部分占用了大部分的执行时间,因此,对多媒体应用程序的研究大多针对其核心代码部分.本文围绕多媒体应用程序的核心内层循环,分析其子字并行特点,提出了一种新颖的按位数据流分析方法,能够确定程序的内层循环,为进一步深入研究奠定基础.
- 吴丹王志英王绍刚王淼
- 关键词：多媒体子字并行数据流
- 一种改进数据流图的子字并行程序表示方法
- 2006年
- 论文致力于对图像处理算法的串行C程序进行子字并行分析,并重定向到带有多媒体扩展的通用处理器和多媒体专用嵌入式微处理器。图像处理算法的特点决定其是内在可并行的,这种并行粒度介于数据并行(DLP)和指令级并行(ILP)之间,称之为子字并行。但是,当前的编译技术很难充分挖掘和定位程序基本块内的子字并行,对此设计了一种基于流图程序表示的编译方法,能够从串行程序中显式地定位子字并行。扩展了编译器的功能,增加了特定的模式库,基于模式识别的控制流和数据流分析后,产生特定的子字并行流图(SWFG,Sub-WordFlowGraph),并将该图作为中间表示,提供给子字并行指令选择,进而实现有效的子字并行代码产生。
- 唐文胜吴丹
- 关键词：图像处理子字并行
- 工程博士学位标准制定的探索及建议被引量：2
- 2018年
- 梳理了工程博士学位标准制定面临的问题,提出了"量身定做"。从学位要求、研究成果、论文撰写与评价、答辩与学位授予等四个方面,明确质量要求和具体流程,为工程博士申请学位提供基本依据。最后提出了进一步完善工程博士学位质量监督体系的意见建议。
- 靳冬欢吴丹杨俊
- 关键词：研究生教育学位标准
- Linux中System V进程通信机制安全性形式化验证被引量：2
- 2002年
- 基于Linux开发安全操作系统是提高计算机安全的重要途径 ,而形式化验证则是开发过程的重要和必要的环节。我们从Linux的各个子系统着手进行验证 ,逐步搭建起整个操作系统的验证模型。考虑到访问控制机制是实现操作系统安全性的关键 ,本文主要讨论使用SPIN模型检验器对IPC子系统中的SystemV进程通信机制进行形式化验证的过程与方法 ,查找安全漏洞并改进现有的机制 ,为开发工作提供理论上的保证。
- 吴丹刘芳戴葵王志英
- 关键词：LINUX安全性形式化验证操作系统
- CC与SSE-CMM结合的信息安全评估方法被引量：1
- 2003年
- 1引言
目前国内对安全产品进行评测主要采用攻击性测试的方式,这种对系统直接的评测是不完备的.首先,它不能检测未知的脆弱性,对于存在的"后门"程序,在一般情况下是无法通过攻击性测试来发现的,除非测试者事先知道"后门"的存在,通过测试来验证;更重要的是,其结果不能证明产品在多大程度上是安全的,即不能说明该产品/系统的安全功能正确实现的可信度是多少.
- 吴丹王志英
- 关键词：SSE-CMMCC信息安全TOE
- PMESI:一种优化进程私有数据访问的缓存一致性协议被引量：1
- 2013年
- 并行应用程序中绝大部分的访存是对私有数据的访问,在cache一致性协议上不会产生冲突。传统一致性协议没有根据程序私有数据的访问模式进行针对性设计,存在着很大的优化空间。针对以上的问题,提出了一种支持私有状态的cache一致性协议PMESI,通过动态关闭和激活内存空间的cache一致性目录,优化私有内存空间的访问延迟和功耗。通过时钟精确模拟器的测试,PMESI协议优化了程序中54%的访存,并行程序的执行时间平均缩短了9%。
- 王绍刚徐炜遐庞征斌吴丹戴艺陆平静
- 关键词：操作系统
- 信息系统安全性评估研究综述被引量：14
- 2004年
- 本文首先归纳了信息系统安全性评估技术的发展及其主要研究方向,分析了对系统安全性进行定量评估的必要性和可行性,探讨了安全性定量评估研究中的不足之处,并分析其原因,基于Petri网和随机模糊理论给出了相应的解决方案,最后提出了安全性定量评估与定性评估相结合的解决思路。
- 刘芳戴葵王志英吴丹
- 关键词：PETRI网可行性
