期刊文献+
共找到9篇文章
< 1 >
每页显示 20 50 100
上下文敏感的过程间指针分析 被引量:8
1
作者 黄波 臧斌宇 +1 位作者 朱传琪 《计算机学报》 EI CSCD 北大核心 2000年第5期477-485,共9页
提出了一种新的指针指向信息的过程间传播方法 ,对过程间指针分析所必须解决的若干重要问题给出了详尽的算法 ,从而形成了一种实用的上下文敏感的过程间指针分析框架 .该方法已在 C程序分析工具 Agassiz系统中实现 ,实验数据说明这些方... 提出了一种新的指针指向信息的过程间传播方法 ,对过程间指针分析所必须解决的若干重要问题给出了详尽的算法 ,从而形成了一种实用的上下文敏感的过程间指针分析框架 .该方法已在 C程序分析工具 Agassiz系统中实现 ,实验数据说明这些方法是行之有效的 . 展开更多
关键词 上下文敏感 批针分析 C语言 程序设计
下载PDF
MPP环境下的数据分割和数据的局部化 被引量:2
2
作者 戚威 田光伟 《计算机工程》 CAS CSCD 北大核心 2000年第3期55-56,67,共3页
针对在MPP体系结构的基础上进行并行化编译的若干实例的研究,对在分离的存储器的结构上进行数据划分和相应数据(特别是数组)的局部化技术进行了初步的讨论和分析,提出了自己的看法和一些简单的技术和方法,这主要包括:(1)避... 针对在MPP体系结构的基础上进行并行化编译的若干实例的研究,对在分离的存储器的结构上进行数据划分和相应数据(特别是数组)的局部化技术进行了初步的讨论和分析,提出了自己的看法和一些简单的技术和方法,这主要包括:(1)避免数据重组的数据划分;(2)数据的冗余划分;(3)多种迭代对数据划分的一致性要求;(4)数组的局部化算法及主要类型。 展开更多
关键词 数据分划 数据重组 并行化编程 MPP 数据分割
下载PDF
具有历史特征的Biba模型严格完整性策略 被引量:3
3
作者 张明西 +2 位作者 程裕强 王影 刘晖 《郑州大学学报(理学版)》 CAS 北大核心 2011年第1期85-89,共5页
针对Biba模型中的严格完整性策略在保证数据完整性的同时会降低系统兼容性的问题,在Biba严格完整性模型基础上提出了具有历史特征的Biba模型严格完整性策略,将主体完整性等级扩展为独立的读写区间,并根据主体读写历史调整主体可读写的区... 针对Biba模型中的严格完整性策略在保证数据完整性的同时会降低系统兼容性的问题,在Biba严格完整性模型基础上提出了具有历史特征的Biba模型严格完整性策略,将主体完整性等级扩展为独立的读写区间,并根据主体读写历史调整主体可读写的区间,并给出形式化的描述.该模型既可以保护系统数据的完整性,又能提高系统的兼容性.同时,给出所构造规则的实施策略的实现算法,说明该实施策略和常规实施策略具有相同的时间复杂度. 展开更多
关键词 BIBA模型 严格完整性策略 完整性 兼容性
下载PDF
实现动态数据结构持久化的渐进式方法 被引量:1
4
作者 李靖 《计算机工程与应用》 CSCD 北大核心 2000年第9期67-68,79,共3页
包含递归关系的动态数据结构在软件开发中很常见,但是数据的动态性质给不同应用程序之间的数据共享带来困难。文章阐述了动态数据结构持久化的一种实现技术,利用数据存取局部性,根据程序运行时的实际需要以渐进方式完成持久化数据的... 包含递归关系的动态数据结构在软件开发中很常见,但是数据的动态性质给不同应用程序之间的数据共享带来困难。文章阐述了动态数据结构持久化的一种实现技术,利用数据存取局部性,根据程序运行时的实际需要以渐进方式完成持久化数据的恢复与转换。由于粒度选择适中且实现比较方便,这一技术具有一定实用价值。 展开更多
关键词 动态数据结构 持久化 渐进式方法 软件开发
下载PDF
基于架构的众核软件可靠性建模与分析 被引量:1
5
作者 覃志东 郝四明 +1 位作者 肖芳雄 《智能计算机与应用》 2022年第6期65-71,共7页
众核软件被映射到众核处理器核心上并发执行,其架构不同于单核处理器软件。现有的基于单核处理器软件所建立的可靠性模型不适用于众核软件。针对这种现状,在分析众核软件映射基本流程和众核软件架构的基础上,本文建立了一个众核软件可... 众核软件被映射到众核处理器核心上并发执行,其架构不同于单核处理器软件。现有的基于单核处理器软件所建立的可靠性模型不适用于众核软件。针对这种现状,在分析众核软件映射基本流程和众核软件架构的基础上,本文建立了一个众核软件可靠性模型。该模型揭示了任务模块执行时间的不均衡性对系统可靠性的定量影响。该模型的建立,为众核软件建立一套可靠性设计与评估方法打下了基础,对于设计高可靠的众核系统具有一定的意义。 展开更多
关键词 可靠性 众核软件 软件架构 可靠性测试
下载PDF
非必要内存重用的COMMON变量的识别和处理 被引量:1
6
作者 方燕宝 +1 位作者 李靖 朱传琪 《计算机工程》 CAS CSCD 北大核心 2002年第2期18-20,共3页
在程序中,公用块的使用有时是为了重复利用某一内存区域,这给数据划分和分布带来了不必要的麻烦。该文提出了数据生Fortran命期的概念,借鉴数组私有化中的相关技术,通过计算子程序公用块中数组的暴露集等方法,对非必要内存重用的变量进... 在程序中,公用块的使用有时是为了重复利用某一内存区域,这给数据划分和分布带来了不必要的麻烦。该文提出了数据生Fortran命期的概念,借鉴数组私有化中的相关技术,通过计算子程序公用块中数组的暴露集等方法,对非必要内存重用的变量进行识别COMMON和处理。 展开更多
关键词 数据分布 数组私有化 COMMON变量 识别 内存重用 并行编译 FORTRAN语言
下载PDF
主体完整性标记动态确定方案及其正确性证明 被引量:1
7
作者 张明西 +2 位作者 张相峰 王以刚 刘晖 《小型微型计算机系统》 CSCD 北大核心 2011年第4期656-661,共6页
B iba模型的严格完整性策略能够保证数据的完整性,但是其静态实施可能降低系统的兼容性.在B iba模型严格完整性策略基础上提出了主体完整性标记动态确定方案.将主体完整性等级扩展为独立的读写区间,根据主体读写历史调整主体可读写的区... B iba模型的严格完整性策略能够保证数据的完整性,但是其静态实施可能降低系统的兼容性.在B iba模型严格完整性策略基础上提出了主体完整性标记动态确定方案.将主体完整性等级扩展为独立的读写区间,根据主体读写历史调整主体可读写的区间,在保护系统完整性的同时提高了系统的兼容性.给出了形式化证明,说明该方案是安全的.指出了现行改进方案中存在的安全隐患及导致该隐患的原因,通过对比分析说明动态确定方案能够消除该安全隐患. 展开更多
关键词 Bib模型 严格完整性策略 完整性 兼容性
下载PDF
中国健康信息数据集的一种本体处理架构
8
作者 刘晖 林欣 《计算机工程》 CAS CSCD 北大核心 2009年第15期267-269,共3页
针对中国健康信息数据集规范不支持语义集成、自动处理和推理,在DescriptionLogics数学基础上,提出一种基于本体数据库的知识基(KBS)处理架构。该架构将健康信息数字化建设纳入知识工程轨道,提供一个庞大、规范、可靠、安全、可维护的KB... 针对中国健康信息数据集规范不支持语义集成、自动处理和推理,在DescriptionLogics数学基础上,提出一种基于本体数据库的知识基(KBS)处理架构。该架构将健康信息数字化建设纳入知识工程轨道,提供一个庞大、规范、可靠、安全、可维护的KBS。以婚前体格检查数据集为案例说明,结果证明该架构可实现知识的自动处理和推理。 展开更多
关键词 健康 安全 隐私 本体数据库 知识基
下载PDF
智能纤维服装软件的人体姿态本体模型 被引量:2
9
作者 林欣 刘晖 +2 位作者 檀康 陈晓东 《东华大学学报(自然科学版)》 CAS CSCD 北大核心 2009年第6期686-690,共5页
由智能纤维构造的可穿戴服装可以非侵犯式地监控人体姿态,本文为其后端三维造型提出了一种本体模型.模型设计借鉴了解剖基础模型FMA(Foundational Model of Anatomy)以及ISO/IECFCD19774:200x规范,由解剖分类、时空层次、形态变化3个子... 由智能纤维构造的可穿戴服装可以非侵犯式地监控人体姿态,本文为其后端三维造型提出了一种本体模型.模型设计借鉴了解剖基础模型FMA(Foundational Model of Anatomy)以及ISO/IECFCD19774:200x规范,由解剖分类、时空层次、形态变化3个子模型组成.重点论述了模型的设计原则、子模型关联及其高层抽象. 展开更多
关键词 智能纤维 可穿戴 姿态 本体 医疗健康 三维造型
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部