-
题名动态分布式系统中多层次配置文件的形式描述及管理
被引量：3
- 1
-
-
作者
柳颖
谢立
陈道蓄
曹建农
-
机构
南京大学软件新技术国家重点实验室
香港理工大学计算系
-
出处
《计算机学报》
EI
CSCD
北大核心
1999年第6期603-607,共5页
-
基金
国家八六三高技术研究发展计划资助
香港理工大学研究基金
-
文摘
介绍了分布式程序设计模型ＥｘＧＯＭ（ＥｘｔｅｎｄｅｄＧｒａｐｈＯｒｉｅｎｔｅｄＭｏｄｅｌ）中一种新型的多层次配置文件的结构及相关的配置描述．基于树型结构的多层次的配置文件为分布式系统的动态重配置提供了灵活、清晰的结构和丰富的基于图结构的配置操作．一个树型结构的分布式应用的配置文件包含若干个处于不同层次的深度不大于２的子树．这些子树通过装配规则可装配成一棵大树，它就是分布式应用程序的逻辑图结构．通过配置文件修改Ａｇｅｎｔ，用户可在线、实时地修改各层配置文件。
-
关键词
分布式系统
动态配置
多层次配置文件
操作系统
-
Keywords
Distributed system, dynamic configuration, fault tolerance.
-
分类号
TP316
[自动化与计算机技术—计算机软件与理论]
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名一种优化的闪存地址映射方法
被引量：13
- 2
-
-
作者
张琦
王林章
张天
邵子立
-
机构
计算机软件新技术国家重点实验室(南京大学)
香港理工大学计算系
-
出处
《软件学报》
EI
CSCD
北大核心
2014年第2期314-325,共12页
-
基金
国家自然科学基金(61170066
61321491
+1 种基金
61003025)
国家高技术研究发展计划(863)(2011AA010103)
-
文摘
近年来,NAND闪存广泛应用于各类嵌入式系统.由于"异地更新"的限制,闪存中需要地址映射方法将来自文件系统的逻辑地址转换为闪存中的物理地址.随着闪存存储空间的日益增长,如何使地址映射表占用较小的内存而又不损失较多性能,成为一个重要的问题.基于需求的页级地址映射方法能够有效地解决这个问题,然而该方法会产生地址转换页操作的额外开销,影响系统性能.从基于需求的地址映射方法出发,从两方面进行优化:首先,为了减少转换页的频繁更新,提出了页级地址映射缓存技术以统一在闪存和内存中的地址映射信息的粒度;其次,设计了基于地址转换页的数据聚集技术.通过该技术,每个数据块在垃圾回收时产生的地址转换页的更新开销被降至最低.实验用一系列基准数据集并与之前代表性的工作进行比较,结果表明,优化的地址映射方法能够大量减少额外地址转换页的开销,并提高闪存存储系统的性能.
-
关键词
闪存
地址映射
存储系统
嵌入式系统
-
Keywords
flash memory
address translation
storage system
embedded system
-
分类号
TP316
[自动化与计算机技术—计算机软件与理论]
-
-
题名一种缩减图像维数的方法及其在人脸图像上的应用
被引量：7
- 3
-
-
作者
徐勇
杨健
赵英男
宋枫溪
杨静宇
-
机构
哈尔滨工业大学深圳研究生院
香港理工大学计算系生物计算研究中心
吉首大学物理科学与信息工程
南京理工大学计算机系
-
出处
《电子与信息学报》
EI
CSCD
北大核心
2008年第1期180-184,共5页
-
基金
国家自然科学基金重大国际(地区)合作项目(60620160097),面上项目(60602038,60472060,60473039)
广东省自然科学基金面上项目基金(06300862)资助课题
-
文摘
2DPCA是一种快速且有效的图像特征抽取方法。不同于传统的主分量分析(PCA)方法,该方法以全新的思路应用主分量分析技术,它直接计算图像矩阵到矢量的投影,并将其看作图像特征。实际上,2DPCA是此种思路下的最优压缩技术。对2DPCA而言,存在两种抽取图像矩阵特征的技术路线,这两种路线将图像变换到不同的空间,且分别突出人脸图像横向和纵向的特质。由于这两种技术路线抽取的特征具有互补性,该文分别设计两种方案对这两类特征加以融合。基于特征融合的识别实验取得了较优的识别正确率。
-
关键词
主分量分析
2DPCA
特征抽取
特征融合
-
Keywords
Principal component analysis
2DPCA
Feature extraction
Feature fusion
-
分类号
TP391.41
[自动化与计算机技术—计算机应用技术]
-
-
题名支持动态配置的分布式程序设计模型
被引量：2
- 4
-
-
作者
柳颖
陈道蓄
谢立
曹建农
-
机构
南京大学计算机软件新技术国家重点实验室
香港理工大学计算系
-
出处
《软件学报》
EI
CSCD
北大核心
1999年第9期952-955,共4页
-
文摘
分布式系统的动态配置问题近年来引起了各国研究者的广泛关注．该文对面向图结构的分布式程序设计模型ＧＯＭ（ｇｒａｐｈ－ｏｒｉｅｎｔｅｄ ｍ ｏｄｅｌ）进行了扩充和改进，提出了支持动态配置的程序设计模型ＥｘＧＯＭ（ｅｘｔｅｎｄｅｄ ｇｒａｐｈ－ｏｒｉｅｎｔｅｄ ｍ ｏｄｅｌ）．ＥｘＧＯＭ提供了多种基于图结构的配置操作．用户可在配置文件中描述系统结构的动态变化，也可在程序中利用配置操作进行动态配置．这一特性使得系统可支持不可预计的动态配置．文章还给出了以多Ａｇｅｎｔ机制实现ＥｘＧＯＭ
-
关键词
分布式程序设计
动态配置
容错
GOM
-
Keywords
Distributed programming, dynamic configuration/reconfiguration, fault tolerance.
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名基于故障敏感图的回卷算法和故障恢复
被引量：1
- 5
-
-
作者
柳颖
陈道蓄
谢立
曹建农
-
机构
南京大学计算机软件新技术国家重点实验室
香港理工大学计算系
-
出处
《软件学报》
EI
CSCD
北大核心
2000年第2期235-239,共5页
-
基金
国家 8 6 3高科技项目基金! (No.86 3- 30 6 - ZT0 2 - 0 3- 0 1)
香港理工大学研究基金
-
文摘
扩充的面向图结构的分布式程序设计模型 (extended graph- oriented model,简称 Ex GOM)提供了一个支持动态配置的系统框架 .系统的动态配置包括系统运行时的伸缩、运行时的升级以及出现故障后的重配置 .故障后的重配置所涉及的问题之一是如何恢复系统原状态 ,该文着重就此问题进行了讨论 ,给出了基于故障敏感图的异步检查点回卷算法和故障恢复策略 .该算法和策略考虑了在暂时性主机故障中单个主机上有多个故障进程的情况 .与其他异步回卷及故障恢复算法相比 ,该算法将故障区域局部化 ,仅对故障敏感节点进行回卷 ,从而有效地降低了系统开销 .
-
关键词
分布式程序设计
检查点
回卷
故障恢复
-
Keywords
Distributed programming, checkpoint, rollback, crash recovery.
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
TP306.3
[自动化与计算机技术—计算机系统结构]
-
-
题名可扩展的多目标最优化多播路由(英文)
- 6
-
-
作者
胡光岷
CHANG Rocky
-
机构
电子科技大学通信与信息工程学院
香港理工大学计算科学系
-
出处
《软件学报》
EI
CSCD
北大核心
2008年第6期1546-1554,共9页
-
基金
Supported by the Grant of the Hong Kong Polytechnic University of China under Grant No.COMP-H-ZJ83(香港理工大学基金)
-
文摘
提出了一种提高多播可扩展性的新思路——将多播可扩展性作为一个最优化目标引入到多播路由算法的设计中,采用多目标最优化路由算法,提高现有多播可扩展性方法的效率.采用多目标最优化路由设计方法对AM(aggregated multicasc)和DTM(dynamic tunnel multicast)两种方法进行改进,给出了相应的最优化目标、启发式多目标最优化多播路由算法和多目标最优化多播路由遗传算法.对于AM方法,使用该算法可以有效地减少汇聚多播树的数量;对于DTM方法,使用该算法可以有效地增加非分枝节点的数量,减少多播状态.
-
关键词
多目标最优化
多播路由
可扩展性
-
Keywords
multi-objective optimization
multieast routing
sealability
-
分类号
TP393
[自动化与计算机技术—计算机应用技术]
-
-
题名智能合约的合约安全和隐私安全研究综述
被引量：41
- 7
-
-
作者
胡甜媛
李泽成
李必信
包骐豪
-
机构
东南大学计算机科学与工程学院
香港理工大学计算系
-
出处
《计算机学报》
EI
CAS
CSCD
北大核心
2021年第12期2485-2514,共30页
-
基金
国家重点研发计划项目(2019YFE0105500)
国家自然科学基金(61872078)
江苏省重点研发项目(BE2021002-3)资助.
-
文摘
区块链作为对等网络中的一种分布式账本技术,集成了密码学、共识机制、智能合约等多种技术,提供一种新型信任体系构建方法.智能合约具有公开透明、实时更新、准确执行等显著特点,在区块链中为信息存储、交易执行和资产管理等功能的实现提供了更安全、高效、可信的方式.但是,智能合约本身仍然存在安全问题,影响了区块链技术的进一步推广使用.所以,近年来围绕智能合约安全问题的相关研究比较多,为了帮助相关人员更好地理解和掌握其中的研究思路,本文采用Mapping Study方法,通过收集2015年以来公开发表的关于智能合约安全问题的各类文献,并进一步通过文献筛查、问题设置、信息提取、结果获取和分析等步骤,总结智能合约安全相关研究的现状和未来发展趋势如下:(1)目前智能合约自身面临的安全问题和挑战主要体现在合约安全和隐私安全两方面(问题和挑战).在调查的45篇文献中,有29篇文献针对合约安全,16篇文献针对隐私安全;(2)智能合约安全保障目前采用的方法主要包括形式化验证、模糊测试、零知识证明、可信执行环境等(保障方法);(3)针对合约安全的研究目前主要集中在合约实现、测试阶段,而针对智能合约设计、部署及运维阶段的研究比较少;针对隐私安全的研究主要集中在合约数据隐私保护,而针对合约代码隐私安全的比较少(覆盖范围);(4)智能合约安全保障研究目前主要从合约实现人员、合约测试人员的角度进行,而从合约维护人员和合约用户角度展开的研究较少(研究角度);(5)未来研究应该围绕智能合约的全生命周期的每个阶段安全问题进一步推进,先验方法和后验方法、定性方法和定量方法、静态方法和动态方法的结合是大势所趋(发展趋势).综上,本文通过调研发现了现有研究的不足,并建议了进一步的研究方向.
-
关键词
区块链
智能合约
合约安全
隐私安全
映射研究
-
Keywords
blockchain
smart contract
contract security
privacy security
mapping study
-
分类号
TP309
[自动化与计算机技术—计算机系统结构]
-
