您的位置： 专家智库 > >

韦俊银

作品数：11 被引量：28H指数：3
供职机构：东华大学计算机科学与技术学院更多>>
发文基金：国家自然科学基金国家高技术研究发展计划更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 9篇期刊文章
  • 1篇学位论文

领域

  • 10篇自动化与计算...

主题

  • 2篇完整性
  • 2篇架构
  • 2篇兼容性
  • 1篇动态数据
  • 1篇动态数据结构
  • 1篇隐私
  • 1篇知识
  • 1篇知识基
  • 1篇智能纤维
  • 1篇软件架构
  • 1篇软件开发
  • 1篇三维造型
  • 1篇上下文
  • 1篇上下文敏感
  • 1篇数据分布
  • 1篇数据分割
  • 1篇数据集
  • 1篇数据结构
  • 1篇数据重组
  • 1篇自动并行化

机构

  • 5篇复旦大学
  • 5篇东华大学
  • 1篇金陵科技学院
  • 1篇山东工商学院
  • 1篇中国科学院软...

作者

  • 10篇韦俊银
  • 4篇刘晖
  • 2篇李靖
  • 2篇朱传琪
  • 2篇林欣
  • 2篇张明西
  • 1篇方燕宝
  • 1篇程裕强
  • 1篇黄波
  • 1篇檀康
  • 1篇陈晓东
  • 1篇覃志东
  • 1篇王影
  • 1篇张相峰
  • 1篇王以刚
  • 1篇臧斌宇

传媒

  • 3篇计算机工程
  • 1篇计算机学报
  • 1篇东华大学学报...
  • 1篇小型微型计算...
  • 1篇计算机工程与...
  • 1篇郑州大学学报...
  • 1篇智能计算机与...

年份

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