题名 基于方法调用一般化模型的并行性分析
被引量：4
1
作者
于勐 阳雪林 臧婉瑜 谢立 孙钟秀
机构
南京大学软件新技术国家重点实验室 南京大学计算机科学与技术系
出处
《计算机学报》
EI
CSCD
北大核心
2002年第4期403-408,共6页
基金
国家"八六三"高技术研究发展计划项目(863 -3 0 6-ZT0 2 -0 3 -0 1) 国家自然科学基金 (6980 3 0 0 5 )资助
文摘
该文给出了一种考虑了面向对象语言的多态和对象引用别名问题的对象方法间并行性的分析方法 .这种方法用于面向对象语言并行化中的并行性分析 .文中首先给出了一般化的方法调用模型 ,然后基于该模型给出了表达式化简、过程内和过程间分析的算法 ,该算法可以求出变量的定义和使用集合 ,用于并行性分析 .该文给出的简单例子即可以将该文的工作和相关的工作加以区别 .其技术已经在作者研制的 Java并行化编译器 JAPS-
关键词
并行编译 并行计算 面向对象语言 并行性分析 一般化模型
Keywords
parallelizing compil, parallel computing, object oriented language
分类号
TP314
[自动化与计算机技术—计算机软件与理论]
题名 一种混合的中文文本校对方法
被引量：23
2
作者
于勐 姚天顺
机构
东北大学信息工程学院计算机科学系
出处
《中文信息学报》
CSCD
北大核心
1998年第2期31-36,共6页
文摘
本文以模式匹配的方法和３元文法分析的方法为基础，结合语法属性标注和分析的方法，提出了一种混合的中文文本校对方法，其结果优于任何一种方法的单独应用。
关键词
中文校对 N元文法 自然语言处理 中文文本
Keywords
Chinese text collation n-grams natural language processing
分类号
TP391
[自动化与计算机技术—计算机应用技术]
题名 面向对象语言并行化中的调用局部化优化
3
作者
于勐 臧婉瑜 谢立 孙钟秀 过敏意
机构
南京大学计算机软件新技术国家重点实验室 日本会津大学计算机理工学部
出处
《计算机学报》
EI
CSCD
北大核心
2002年第4期409-416,共8页
基金
国家"八六三"高技术研究发展计划项目 (863 -3 0 6-ZT0 2 -0 3 0 1)资助
文摘
该文提出了一种将调用局部化技术应用于并行环境下面向对象语言的方法 .文中详细讨论了该技术的适用条件以及如何通过该方法减少循环中的远程过程调用开销 .该优化技术首先将循环分离成多个包含有远程调用的循环 ,再将分离后的循环分配给循环中调用对象所在的处理器 ,最后 ,化简迭代空间 ,并且用消息传递来传输数据 .这种优化在对象分布和循环并行化之后进行 ,将函数调用局部化于处理器 .通过这种优化 ,可以进一步挖掘循环中的任务并行性 ,降低计算复杂度 ,减少函数调用开销 ,尤其适合面向对象语言中对循环里小函数的优化 .该技术已经在作者设计的 Java自动并行化编译器 JAPS- II中实现 .在实验中 。
关键词
面向对象语言 优化 并行化 并行计算 分布式计算 并行编译
Keywords
Optimization Parallel algorithms
分类号
TP314
[自动化与计算机技术—计算机软件与理论]
题名 并行面向对象语言综述
4
作者
于勐 臧婉瑜 谢立 过敏意
机构
南京大学计算机软件新技术国家重点实验室 会津大学计算机理工学部
出处
《软件学报》
EI
CSCD
北大核心
2001年第6期822-829,共8页
基金
国家 8 6 3高科技发展计划资助项目 (86 3- 30 6 - ZT0 2 - 0 3- 0 1) 国家自然科学基金资助项目 (6 980 30 0 5 )&&
文摘
近年来 ,面向对象语言的并行化技术取得了许多重要进展 .以 Mentat,CC++,p C++,HPC++和ICC++等几个典型系统为代表 ,从并行执行模型、语言并行设施、优化技术和运行时支持等几个方面归纳、总结了近年来这些语言和编译器支持并行的新技术 .同时 ,还给出了对这些技术的分析和评价 ,总结了需要进一步研究和解决的问题 .
关键词
并行计算 面向对象 对象分布 程序设计语言
Keywords
Computer simulation Mathematical models Object oriented programming Optimization Parallel processing systems Response time (computer systems)
分类号
TP312
[自动化与计算机技术—计算机软件与理论]
题名 按需式ad hoc移动网络路由协议的研究进展
被引量：39
5
作者
臧婉瑜 于勐 谢立 孙钟秀
机构
南京大学计算机科学与技术系 南京大学计算机软件新技术国家重点实验室
出处
《计算机学报》
EI
CSCD
北大核心
2002年第10期1009-1017,共9页
基金
国家自然科学基金 ( 6 980 30 0 5 )资助
文摘
Ad hoc移动网络是一种完全由移动主机构成的网络 .网络拓扑易变 ,带宽、能源有限是 ad hoc移动网络的主要特点 .针对这些特点 ,目前设计的 ad hoc路由协议大多采用按需查找方式 .该文介绍了这方面研究的最新进展 ,对几种典型的按需路由协议进行了说明、分析和综合比较 .文中分析了目前协议存在的一些问题并提出了相应的改进方法 .最后指出了下一步研究方向 .
关键词
按需式ad hoc移动网络 路由协议 移动通信 预先路由 网络拓扑结构
Keywords
ad hoc mobile networks, on-demand routing, proactive routing
分类号
TN929.5
[电子电信—通信与信息系统]
题名 单向ad-hoc移动网络路由协议UAOR
被引量：10
6
作者
臧婉瑜 于勐 谢立
机构
南京大学计算机软件新技术国家重点实验室 南京大学计算机科学与技术系
出处
《计算机学报》
EI
CSCD
北大核心
2001年第10期1018-1025,共8页
基金
国家自然科学基金 ( 6 0 0 730 2 9)资助
文摘
单向 ad- hoc移动网络是一种完全由移动主机构成的网络 ,传统的路由协议由于基于 DBF方式其路由更新开销大 ,对网络拓扑结构改变收敛慢 ,不适合 ad- hoc移动网络拓扑变化快和带宽有限等特点 .文中提出了一种支持单向 ad- hoc移动网络的路由协议 U AOR,它采用按需方式查找路由 ,并根据主机之间的邻接关系和距离矢量来选择相对最稳定且最短的路由 ,具有路由更新开销小 ,快速适应网络拓扑结构改变等特点 .
关键词
ad-hoc移动无线网络 单向链路 路由协议 UAOR 移动通信
Keywords
Mobile telecommunication systems Network protocols Routers Wireless telecommunication systems
分类号
TN929.5
[电子电信—通信与信息系统]
TP393
[自动化与计算机技术—计算机应用技术]
题名 基于事件约束的分布式程序正确性测试
被引量：6
7
作者
顾庆 陈道蓄 于勐 谢立 孙钟秀
机构
南京大学计算机软件新技术国家重点实验室
出处
《软件学报》
EI
CSCD
北大核心
2000年第8期1035-1040,共6页
基金
国家"九五"重点科技攻关项目基金! (No.98- 780 - 0 1- 0 7- 0 3)资助
文摘
由于并发的存在和不确定性 ,在以规约为基础来测试分布式程序的正确性时 ,必须考虑程序执行时的内部状态 .这些内部状态通过端口显示为事件序列 ,程序规约需要对序列中各事件间的依赖关系作约定 ,即定义事件约束集 .该文提出了 E- CSPE(extended- constraints on succeeding and preceding events) ,以形式化描述这类事件约束 ,它由 3个基本描述规则组成 ,分别对应于 3种不同类型的事件约束 .通过判断程序执行时所产生的事件序列集同这些事件约束集的一致性以及对约束集覆盖程度可以检测被测程序的正确性 .
关键词
分布式程序测试 自动机模型 事件约束
Keywords
Distributed program testing, finite state machine, port, CSPE (constraints on succeeding and preceding events), event sequencing constraint.
分类号
TP311.52
[自动化与计算机技术—计算机软件与理论]
题名 单向ad-hoc移动网络优化路由协议OUAOR
被引量：6
8
作者
臧婉瑜 于勐 谢立
机构
南京大学计算机科学与技术系 南京大学计算机软件新技术国家重点实验室
出处
《计算机学报》
EI
CSCD
北大核心
2002年第10期1030-1037,共8页
基金
国家自然科学基金 ( 6 980 30 0 5 )资助
文摘
ad- hoc移动网络是一种完全由移动主机构成的网络 ,该文基于作者设计的单向 ad- hoc移动网络路由协议UAOR,提出了优化受限查找、双向链路感知和按需维护的单向路由协议 OU AOR.和 U AOR相比 ,OUAOR具有路由查找和维护控制开销小、网络扩展性高、路由查找的初始延迟低等特点 .该文证明了 OUAOR协议的正确性 ,并给出了模拟实验分析数据 .
关键词
单向ad-hoc移动网络 优化 路由协议 移动通信 OUAOR协议
Keywords
unidirectional links ad-hoc mobile networks, on-demand routing protocal, unidirectional links routing
分类号
TN929.5
[电子电信—通信与信息系统]
题名 一种基于稳定簇的混合路由协议CBHRP
被引量：6
9
作者
臧婉瑜 于勐 谢立
机构
计算机软件新技术国家重点实验室 南京大学计算机科学与技术系
出处
《计算机学报》
EI
CSCD
北大核心
2001年第12期1262-1271,共10页
基金
国家自然科学基金 ( 6 980 30 0 5 )资助
文摘
移动自组网是一种没有有线基础结构支持的移动网络 ,具有带宽有限和拓扑结构易变的特点 .这些特点使得设计一个合适的路由协议具有一定的挑战性 .该文针对移动自组网提出了一种基于稳定簇结构、按需路由和预先路由混合、支持单播和组播通信的路由协议 CBHRP.CBHRP具有路由控制开销小、主机移动对拓扑结构改变的影响小、通信的初始延迟低和应用范围广的特点 .
关键词
移动自组网 混合路由协议 CBHRP 通信协议 计算机网络
Keywords
Ad hoc mobile network, on-demand routing, proactive routing, multicast
分类号
TN915.04
[电子电信—通信与信息系统]
TP393
[自动化与计算机技术—计算机应用技术]
题名 自动并行编译新技术
被引量：2
10
作者
阳雪林 于勐 陈道蓄 谢立
机构
南京大学计算机软件新技术国家重点实验室 南京大学计算机科学与技术系南京
出处
《软件学报》
EI
CSCD
北大核心
2000年第9期1268-1275,共8页
基金
国家 8 6 3高科技项目基金! (No.86 3- 30 6 - ZT0 2 - 0 30 1)
文摘
自动并行编译为并行化现有的串行程序及编写新的并行程序提供了重要的支持 ,因此 2 0多年来一直受到重视 .近几年来 ,自动并行编译技术的研究进展 ,包括在依赖关系分析、程序变换、数据分布和重分布及调度等方面的进展 ,将自动并行编译进一步推向了实用化 .该文介绍了自动并行编译技术的最新进展 ,并提出了进一步的研究所要解决的问题 .
关键词
自动并行编译 依赖关系分析 程序变换 新技术
Keywords
Automatic parallel compilation, dependence analysis, program transformation, data distribution, schedule.
分类号
TP314
[自动化与计算机技术—计算机软件与理论]
题名 程序正确性测试的相关技术进展
被引量：1
11
作者
顾庆 谢立 于勐 陈道蓄 孙钟秀
机构
南京大学计算机软件新技术国家重点实验室
出处
《计算机应用与软件》
CSCD
北大核心
2002年第3期5-9,47,共6页
基金
国家"九五"攻关重点项目资助(编号:98-780-01-07-03)
文摘
本文介绍了程序正确性测试的基本原理,并讨论了有关的测试技术,包括以程序规约为基准的黑箱测试和以程序实现结构为基准的白箱测试两个方面。随后探讨了相关技术向分布式程序的拓展问题。
关键词
程序正确测试 软件开发 黑箱测试 计算机
Keywords
Program testing Balck - box testing White - box testing Distributed software testing
分类号
TP311.52
[自动化与计算机技术—计算机软件与理论]
题名 基于分布式系统的可并行循环动态识别技术
12
作者
阳雪林 于勐 陈道蓄 谢立
机构
南京大学计算机软件新技术国家重点实验室 南京大学计算机科学与技术系
出处
《软件学报》
EI
CSCD
北大核心
2002年第8期1718-1722,共5页
基金
~~国家863高科技发展计划资助项目(863-306-ZT02-0301)
文摘
针对分布式环境下可抽取观察循环的不规则串行程序循环的动态依赖关系分析问题,提出了一个基于观察/执行模型的动态分析算法.其贡献是:(1) 算法可并行执行于分布式系统;(2) 直接分析具有拷入和最后赋值操作的循环;(3) 给出了循环的并行化方法;(4) 并不要求循环是完全可并行的,对某些部分可并行循环,也支持其并行执行.理论分析和实验表明,在处理器数量适当的情况下,循环可以并行时,可以获得很好的加速比;不能并行时,对串行执行增加的开销也是小的.从而为分布式环境下开发更多的循环并行性提供了一种新的手段.
关键词
分布式系统 动态识别 循环并行性分析 执行模型 并行程序 串行程序
Keywords
distributed system loop parallelization analysis run-time parallel inspective/executive model
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
题名 莫来石催化剂密闭舱内空气净化应用
被引量：1
13
作者
石楷 万翔 温蕊 赵春宁 于勐 王卫超
机构
南开大学电子信息与光学工程学院
出处
《哈尔滨工业大学学报》
北大核心
2025年第2期57-64,共8页
文摘
针对现有载人航天器空气过滤净化技术效率低、净化能力单一、易造成二次污染的问题,提出基于YMN_(2)O_(5)莫来石催化剂协同臭氧催化氧化的人机共存一体化技术路线。利用柠檬酸凝胶-溶胶法制备的YMN_(2)O_(5)催化剂通过X射线粉末衍射仪与扫描电子显微镜表征后发现,其表面具有丰富的活性位点,有利于在臭氧的协同作用下产生大量的还原性物质。该技术路线通过反应过程中产生的高活性O^(*),可对空气中挥发性有机化合物与病毒、细菌等微生物实现高效、绿色、低能耗的降解与消杀。基于此技术路线,结合3D建模与3D打印技术设计制作了空气净化和病毒消杀(Mcaton)一体化的原型机设备。针对空气中不同的挥发性有机污染物和病毒气溶胶,在密封舱内测试了原型机对气体污染物和病毒气溶胶的净化和消杀效果,验证了Mcaton技术可实现快速、高效净化各种挥发性有机污染物和病毒、细菌的消杀能力。
关键词
载人航天器 空气净化 莫来石催化剂 臭氧协同净化 病毒消杀
Keywords
manned spacecraft air purification mullite catalyst O_(3)synergistic purification virus sanitize
分类号
V19
[航空宇航科学与技术—人机与环境工程]
题名 JAVA并行化编译器JAPS-Ⅱ
被引量：5
14
作者
于 勐 陈贵海 阳雪林 谢 立 过敏意
机构
南京大学计算机软件新技术国家重点实验室 日本国会津大学计算机理工学部国福导县
出处
《软件学报》
EI
CSCD
北大核心
2002年第4期739-747,共9页
基金
国家自然科学基金资助项目(69803005) 国家863高科技发展计划资助项目(863-306-ZT02-03-01)
文摘
JAPS-Ⅱ（Java automatic parallelizing system version 2）是一个Java源代码重构编译器,用来发现和实现串行Java程序中对象内和对象间的并行性.其目标体系结构为基于工作站网络环境的分布式存储器计算机系统.介绍了JAPS-Ⅱ的体系结构和实现JAPS-Ⅱ的关键技术,包括用于对象并行性分析的数据流分析技术、提高对象并行性和减少运行开销的优化技术以及类重构和代码生成技术.测试结果表明,JAPS-Ⅱ能够有效地发现循环中和对象内、对象间的并行性,获得加速比.这种技术也可应用于其他面向对象语言的并行化.
关键词
并行计算 面向对象语言 JAVA语言 并行化编译器 JAPS-Ⅱ
Keywords
parallelizing compiler parallel computing object-oriented language object distribution
分类号
TP314
[自动化与计算机技术—计算机软件与理论]
题名 JAPS中的任务划分与粒度控制
被引量：2
15
作者
龚心宇 于勐 李晓明 陈道蓄 谢立
机构
南京大学计算机软件新技术国家重点实验室 南京大学计算机科学与技术系
出处
《小型微型计算机系统》
CSCD
北大核心
2002年第2期180-184,共5页
基金
国家 8 63基金资助
文摘
程序并行化为了达到缩短程序运行时间的目的 ,需要关注两方面的问题 :1,任务之间并行性的挖掘 ;2 ,粒度控制 ;如何协调这两方面的关系以及如何自动的完成这个任务是现在工作的重点 .本文详细讨论了如何在 CDDG图上决定合适的任务粒度 ,提出基于关键路径的任务粒度控制理论 ;并描述了在 JAPS中实现的自动任务划分与粒度控制算法 .涉及的主要问题包括结点的分布 ,任务的粒度控制 ,任务的划分 。
关键词
CDDG图 任务划分 粒度控制 程度并行化 JAPS
Keywords
CDDG graph parallelism task partition task size controlling
分类号
TP31
[自动化与计算机技术—计算机软件与理论]
题名 镍铁层状氢氧化物催化水电解制氢的工况研究
16
作者
杨梧桐 刘芳名 周子尧 李金翰 于勐 程方益
机构
南开大学化学学院
出处
《储能科学与技术》
2025年第12期4509-4522,共14页
基金
国家重点研发计划(2022YFA1504000) 国家自然科学基金(22121005,22409096,22402089) 天开高教科创园企业研发专项(23Y FZXYC00037)。
文摘
水电解制氢技术在可再生能源发电电力消纳中具有重要的应用潜力,而析氧反应(OER)因动力学过程缓慢,制约了水电解效率提升。镍铁层状氢氧化物(NiFe LDH)制备简便、成本低廉、催化活性优异,是研究最广泛的碱性OER催化剂,但关于其在工业条件下的应用研究仍缺乏系统研究。本研究采用电沉积法在泡沫镍表面制备了自支撑镍铁层状氢氧化物催化剂,并对比分析其在三电极、阴离子交换膜单池以及工业碱水电解槽体系中的活性和稳定性,探究了不同工况下电极材料的催化活性演变规律。研究结果显示,NiFe LDH的催化活性在不同测试条件下均出现一定程度的衰减,衰减程度由高到低为:工业级电解槽>膜单池>三电极体系。3种工况条件下NiFe LDH自支撑电极的电荷转移阻抗增加,电化学活性表面积降低。电解反应前后电极分析表明,工业碱水电解槽的高温高压环境促进了铁元素的溶出,引发电极微观结构破坏、活性组分流失以及晶相转变等现象,加速催化剂性能劣化。本研究为揭示NiFe LDH丰产元素电催化剂在实验室测试与工业电解装置间的差异提供了实验依据。
关键词
镍铁层状双氢氧化物 碱性电解水 三电极体系 电解槽 结构演变
Keywords
nickel-iron layered double hydroxides alkaline water electrolysis three-electrode system electrolyzer structural evolution
分类号
O63
[理学]
