期刊文献+
共找到54篇文章
< 1 2 3 >
每页显示 20 50 100
不同碱度渣对刚玉-尖晶石浇注料的侵蚀行为研究 被引量:1
1
作者 杨宗源 王景然 +4 位作者 王桐 张锦化 韩兵强 倪月娥 柯昌明 《耐火材料》 CAS 北大核心 2024年第1期13-18,共6页
浇注料的抗渣侵蚀性能与钢渣的碱度密切相关。以烧结刚玉、缺陷尖晶石微粉、活性α-Al_(2)O_(3)微粉、电熔镁砂细粉和铝酸钙水泥(Secar71)为主要原料,制备了刚玉-尖晶石浇注料,采用静态坩埚法于1600℃保温3 h进行抗渣试验,并用热力学模... 浇注料的抗渣侵蚀性能与钢渣的碱度密切相关。以烧结刚玉、缺陷尖晶石微粉、活性α-Al_(2)O_(3)微粉、电熔镁砂细粉和铝酸钙水泥(Secar71)为主要原料,制备了刚玉-尖晶石浇注料,采用静态坩埚法于1600℃保温3 h进行抗渣试验,并用热力学模拟计算了液相量和液相组成,研究了刚玉-尖晶石浇注料对3种不同碱度渣(1.6、2.3和7.6)的抗渣侵蚀性能。结果表明:刚玉-尖晶石浇注料在高碱度渣中溶解能力有限,在熔渣-耐火材料界面极易形成尖晶石固溶体和六铝酸钙等高熔点物相,形成致密层阻挡熔渣渗透和侵蚀。而其在低碱度渣中溶解度较高,在浇注料-熔渣达到较高反应程度时,才开始形成尖晶石固溶体和六铝酸钙等高温相,无法形成有效的致密层阻止熔渣对浇注料的侵蚀和渗透。因此,刚玉-尖晶石浇注料对高碱度渣抗渣侵蚀能力较强,对低碱度渣抗渣侵蚀能力较弱。 展开更多
关键词 刚玉-尖晶石浇注料 碱度 抗渣侵蚀性能 热力学模拟
下载PDF
图式程序内部表示的设计与实现
2
作者 杨宗源 李玉茜 +1 位作者 萧剑平 朱姝 《计算机工程》 CAS CSCD 北大核心 1998年第1期9-12,共4页
文中通过分析图式语言及其图式程序的特征和它们内部表示的特殊要求.提出了一种特殊的村结构来体现和管理图式程序的层次结构,采用结为树与正文相结合的方法来解决图式程序内部表示由于频繁的插入、移动、定位等操作所带来的一系列问... 文中通过分析图式语言及其图式程序的特征和它们内部表示的特殊要求.提出了一种特殊的村结构来体现和管理图式程序的层次结构,采用结为树与正文相结合的方法来解决图式程序内部表示由于频繁的插入、移动、定位等操作所带来的一系列问题,同时给出这种方法具体的设计和实现。 展开更多
关键词 图式语言 图式程序 结构树 程序设计
下载PDF
Windows编程技巧二则
3
作者 杨宗源 《微型电脑应用》 1996年第3期84-86,共3页
Windows编程技巧二则华东师范大学计算机科学系杨宗源Windows操作环境对设计与编制与用户友好界面的应用程序提供了很大的便利,尤其是其标准的图形用户界面,多任务和硬件独立性的特性。它所提供给应用程序编制者成千上... Windows编程技巧二则华东师范大学计算机科学系杨宗源Windows操作环境对设计与编制与用户友好界面的应用程序提供了很大的便利,尤其是其标准的图形用户界面,多任务和硬件独立性的特性。它所提供给应用程序编制者成千上百个函数与消息,使应用程序的设计者... 展开更多
关键词 WINDOWS 应用程序 设序设计
下载PDF
Ajax技术的数据响应优化 被引量:46
4
作者 谭力 杨宗源 谢瑾奎 《计算机工程》 CAS CSCD 北大核心 2010年第7期52-54,共3页
对Ajax工作原理和数据传输性能进行分析,从响应数据的返回格式角度入手,通过实验,对比2种数据格式XML和JSON的差异与优劣,基于实际应用场景,给出权衡取舍的建议,总结出效率和安全性更高的Ajax模型,改善了目前Ajax带来的数据响应冗余的... 对Ajax工作原理和数据传输性能进行分析,从响应数据的返回格式角度入手,通过实验,对比2种数据格式XML和JSON的差异与优劣,基于实际应用场景,给出权衡取舍的建议,总结出效率和安全性更高的Ajax模型,改善了目前Ajax带来的数据响应冗余的缺陷。 展开更多
关键词 AJAX技术 数据响应 XML传输格式 JSON传输格式
下载PDF
软件工程方法的新进展:面向Agent的软件工程 被引量:12
5
作者 嵇海明 杨宗源 黄海涛 《计算机应用研究》 CSCD 北大核心 2003年第5期4-7,共4页
面向Agent的软件工程方法是软件工程领域的一种新方法,与现有的开发方法相比,Agent具有较强能力对复杂软件系统中的活动实体进行高层抽象。分析了面向Agent软件工程方法对复杂软件系统建模的成功之处,并且对面向Agent的高层建模方法和... 面向Agent的软件工程方法是软件工程领域的一种新方法,与现有的开发方法相比,Agent具有较强能力对复杂软件系统中的活动实体进行高层抽象。分析了面向Agent软件工程方法对复杂软件系统建模的成功之处,并且对面向Agent的高层建模方法和基于面向对象方法的面向Agent的设计方法作了一些研究。 展开更多
关键词 软件工程方法 AGENT 软件工程 软件系统 面向对象 人工智能
下载PDF
社交网络中基于信任的推荐算法 被引量:11
6
作者 刘英南 谢瑾奎 +1 位作者 张家利 杨宗源 《小型微型计算机系统》 CSCD 北大核心 2015年第6期1165-1170,共6页
推荐系统作为解决信息过载问题的关键技术,已经引起了国内外研究学者的广泛关注.迄今为止,业界最广受好评的是协同过滤推荐技术.但由于其本身存在着数据稀疏、冷启动等固有问题,而难以应对膨胀的社会网络这一应用场景.本文针对推荐系统... 推荐系统作为解决信息过载问题的关键技术,已经引起了国内外研究学者的广泛关注.迄今为止,业界最广受好评的是协同过滤推荐技术.但由于其本身存在着数据稀疏、冷启动等固有问题,而难以应对膨胀的社会网络这一应用场景.本文针对推荐系统所面临的挑战,构建合适的动态信任传递模型,所设计的基于信任的推荐算法是对稀疏性、冷启动等问题的有效解决方案,且对恶意攻击具备一定的抵抗能力.最后在真实社交网络数据中对所设计的算法进行实现,并与传统推荐算法做实验对比,实验结果表明算法相比协同过滤算法在准确性和覆盖率上表现更好,且算法具备的分布式特性在复杂社会网络与大数据环境下实现了推荐实时性的要求. 展开更多
关键词 社交网络 推荐算法 信任 抗攻击性
下载PDF
求受顶点数限制的最短路径问题的一个算法 被引量:11
7
作者 孙强 杨宗源 《计算机工程》 CAS CSCD 北大核心 2002年第9期73-74,共2页
提出了求受顶点数限制的最短路径问题的一个算法,与现有的算法相比,该算法效率较高,时间复杂度为(O(k-2)n2)(k是受限制的顶点数,n是图中顶点总数);而且该算法比较简单,易于描述、实现和理解。
关键词 最短路径问题 算法 顶点数 时间复杂分析 计算机
下载PDF
PE文件格式剖析 被引量:7
8
作者 嵇海明 杨宗源 《计算机应用研究》 CSCD 北大核心 2004年第3期165-166,193,共3页
主要分析了PE(PortableExecutable)文件格式,重点探讨了PE文件中的输入表、输出表以及资源段的格式,还探究了在微软全新的.Net平台上对PE文件的扩展,给出了一些分析PE文件格式的工具。
关键词 PE文件格式 PE扩展
下载PDF
编译实验课程的教学研究与实践 被引量:6
9
作者 窦亮 杨宗源 王婷婷 《计算机教育》 2009年第23期8-11,共4页
本文在研究了国内外高校编译实验课程教学情况的基础上,介绍了华东师范大学计算机系"编译原理实践"课的实施情况。教师从教学内容、教学方法、教学手段等方面对该课程进行了深入的研究和改革,提高了学生的动手实践能力,有助... 本文在研究了国内外高校编译实验课程教学情况的基础上,介绍了华东师范大学计算机系"编译原理实践"课的实施情况。教师从教学内容、教学方法、教学手段等方面对该课程进行了深入的研究和改革,提高了学生的动手实践能力,有助于培养学生的"计算机思维能力"。 展开更多
关键词 编译原理 实践教学 课程改革
下载PDF
LL(1)文法句法分析程序自动生成的研究及实现 被引量:2
10
作者 嵇海明 杨宗源 黄海涛 《计算机应用》 CSCD 北大核心 2003年第z1期1-3,5,共4页
文中分析了对LL(1)文法采用递归子程序的方法进行句法分析的特点 ,讨论了递归子程序自动生成的一般规则 ,最后根据这些规则给出了递归子程序自动生成的算法及其实现。
关键词 LL(1)文法 递归子程序 自动生成 句法分析
下载PDF
从消息传播概率到概率亲密度矩阵的社区挖掘算法
11
作者 张家利 谢瑾奎 +1 位作者 王婷婷 杨宗源 《小型微型计算机系统》 CSCD 北大核心 2015年第8期1734-1738,共5页
随着现代网络的结构越来越复杂,规模越来越大,基于局部最优的社区挖掘算法受到了越来越多的关注.这些算法的计算速度快,但是结果精度较低.针对上述问题,对已有的CONCLUDE算法进行改进,利用消息传播概率代替结构相似性来构造亲密度矩阵,... 随着现代网络的结构越来越复杂,规模越来越大,基于局部最优的社区挖掘算法受到了越来越多的关注.这些算法的计算速度快,但是结果精度较低.针对上述问题,对已有的CONCLUDE算法进行改进,利用消息传播概率代替结构相似性来构造亲密度矩阵,表示网络中的全局信息,计算过程的时间复杂度由O(珔d(v)2V)降低到O(珔d(v)V).与其它算法(LM,CONCLUDE)进行比较和分析,该算法具有较高的计算效率和精度.实验结果表明,该算法不仅提高了LFR基准网络上的NM I值,而且对真实网络上的模块度也有一定的提升. 展开更多
关键词 社区挖掘 复杂网络 消息传播 概率亲密度
下载PDF
元模型层次的UML动态子图到Coq形式规范的转换
12
作者 窦亮 尹敏 +1 位作者 李超 杨宗源 《计算机应用与软件》 CSCD 2016年第8期7-11,66,共6页
UML动态子图主要包括序列图和状态图等,它们在描述系统的行为方面应用广泛,但是半形式化的语义使它们不能直接进行形式化验证。Coq是目前主流的交互式定理证明器,用形式化的Coq规范来描述UML动态子图模型,可以在此基础上进行对模型的属... UML动态子图主要包括序列图和状态图等,它们在描述系统的行为方面应用广泛,但是半形式化的语义使它们不能直接进行形式化验证。Coq是目前主流的交互式定理证明器,用形式化的Coq规范来描述UML动态子图模型,可以在此基础上进行对模型的属性进行验证等工作。基于现有工作,提出将UML动态子图模型转换为Coq形式规范的框架,在元模型层次给出状态图和序列图的转换规则,介绍算法和原型工具实现。这种元模型层次的转换方法,保证了转换前后的语法正确性,为进一步分析验证提供了基础。 展开更多
关键词 UML动态子图 模型转换 元模型 CoqKemieta
下载PDF
基于Larch/C的组件形式规范匹配
13
作者 嵇海明 黄德浩 杨宗源 《计算机工程》 CAS CSCD 北大核心 2003年第13期90-91,127,共3页
主要阐述了一种组件的形式规范匹配方法,以Larch家族中的Larch/C作为语言工具,详细讨论了组件的功能匹配,最后借助于工具Larch Prover(LP)并通过实例描述了功能匹配的证明过程。
关键词 组件形式 规范匹配 Larch/C 功能匹配 LP
下载PDF
基于IP加密的VBIC系统原理及实现
14
作者 黄海涛 杨宗源 黄德浩 《计算机工程》 CAS CSCD 北大核心 2002年第5期158-160,共3页
分析了的原理,并在此基础上开发了虚拟专网系统,详细讨论了系统的设计方案和实现细节。
关键词 INTRANET IP协议 加密 VBIC系统 原理
下载PDF
定理证明器Coq与机械语义研究
15
作者 窦亮 刘强 杨宗源 《计算机应用与软件》 CSCD 2015年第10期10-14,共5页
随着证明理论和定理证明器的不断发展与成熟,形式语义研究已经从传统的基于手工证明的研究进入到机器可处理的机械语义的研究。交互式定理证明器Coq具备强大的描述能力,可以形式化地描述程序语法和语义,利用其内置函数式编程语言实现对... 随着证明理论和定理证明器的不断发展与成熟,形式语义研究已经从传统的基于手工证明的研究进入到机器可处理的机械语义的研究。交互式定理证明器Coq具备强大的描述能力,可以形式化地描述程序语法和语义,利用其内置函数式编程语言实现对程序语义的复杂操作,通过其证明系统形式地证明操作的正确性。根据形式语义的理论,针对简单类型Lambda演算的操作语义和指称语义,展示了如何利用定理证明器Coq的归纳定义实现它们的形式描述,并对语义的重要属性进行证明,表明机械语义是确保基础软件正确性的基础。 展开更多
关键词 定理证明 形式语义 Lambda演算 机械语义
下载PDF
教育家精神融入高职院校思想政治理论课教学的价值与路径
16
作者 杨宗源 《创新教育研究》 2024年第8期408-412,共5页
当前,中华民族伟大复兴进入关键时期,着眼于新时代加快建设教育强国的战略目标,教育家精神被赋予新的价值内涵,高职院校思想政治理论课教师的成长也迫切需要教育家精神的引领。文章旨在在理解教育家精神的价值意蕴基础上,提出了从资源... 当前,中华民族伟大复兴进入关键时期,着眼于新时代加快建设教育强国的战略目标,教育家精神被赋予新的价值内涵,高职院校思想政治理论课教师的成长也迫切需要教育家精神的引领。文章旨在在理解教育家精神的价值意蕴基础上,提出了从资源平台、制度完善、宣传氛围等三个方面促进教育家精神融入高职院校思想政治理论课教学的路径,从而更好地实现教育家精神的育人价值,以期为实现社会主义现代化强国建设目标培育有担当的时代新人。At present, the great rejuvenation of the Chinese nation has entered a critical period, focusing on the strategic goal of accelerating the construction of education power in the new era, the educator spirit has been endowed with new value connotations, and the growth of ideological and political theory teachers in higher vocational colleges urgently needs the guidance of educator spirit. Based on an understanding of the value implications of the spirit of educators, this article proposes a path for integrating the spirit of educators into the teaching of ideological and political theory courses in higher vocational colleges from three aspects: resource platforms, system improvement, and publicity atmosphere, so as to better realize the educational value of educator spirit and cultivate responsible new people of the times for the realization of the goal of socialist modernization. 展开更多
关键词 教育家精神 思想政治理论课教师 时代价值 实践路径
下载PDF
基于框架表示的组件库模型 被引量:5
17
作者 黄德浩 杨宗源 黄海涛 《计算机工程》 CAS CSCD 北大核心 2002年第7期111-112,139,共3页
分析比较了现有的组件表示和检索方法,认为刻面分类法具有较高的实用价值,但它缺乏领域知识深化表达的能力,对同义属性的解决方案也不尽完善。在此基础上,结合了专家系统中知识表示的方法,提出了基于框架表示的组件库模型。
关键词 框架表示 组件库模型 软件重用 软件质量 软件工程
下载PDF
社交网络中快速群组生成及群组推荐研究 被引量:3
18
作者 金涛 谢瑾奎 杨宗源 《小型微型计算机系统》 CSCD 北大核心 2017年第3期483-488,共6页
学术和工业界所研究的推荐技术绝大部分都是关于单个用户的个性化推荐系统,然而被推荐的对象往往是超过一个人的群体.继而诞生了群组推荐技术,它可以对群组推荐又尽量满足群组中所有个体的偏好.以往的研究集中在个体用户偏好的聚合策略... 学术和工业界所研究的推荐技术绝大部分都是关于单个用户的个性化推荐系统,然而被推荐的对象往往是超过一个人的群体.继而诞生了群组推荐技术,它可以对群组推荐又尽量满足群组中所有个体的偏好.以往的研究集中在个体用户偏好的聚合策略和个体用户对于群组的影响等方面.然而现实应用中的群组除了像家庭和班级这样自然存在的,往往还因个体成员偏好而临时组成,因此需要快速生成这些群组,进而对其进行群组推荐.本文针对这一应用场景,使用局部敏感哈希技术(Locality Sensitive Hash,即LSH)对群组推荐系统进行群组生成和推荐,以达到群组快速生成并提高群组推荐效果的目的.最后在真实的社交网络数据中实现所设计的群组推荐系统.实验结果表明系统具有快速群组生成能力,且使用搜索引擎中衡量排序质量的归一化折扣累计收益(Normalized discounted cumulative gain,即n DCG)指标来评估群组推荐结果,群组规模为2,4,8,16,32,64时推荐质量分别提高了约0.7%,0.6%,2.6%,4%,9%,16%. 展开更多
关键词 社交网络 群组推荐 局部敏感哈希 社会选择
下载PDF
吴方法在命题逻辑中的应用 被引量:4
19
作者 李晶 杨宗源 《华东师范大学学报(自然科学版)》 CAS CSCD 北大核心 2006年第1期80-86,共7页
该文将命题逻辑的定理证明转换为多项式方程的求解问题,从而提出了一种基于非子句的代数化方法.在代数化的过程中,以一种形式化的方式给出了命题公式的文法定义,通过语法、语义分析实现了命题公式的代数化.此外,又根据特征列的性质,... 该文将命题逻辑的定理证明转换为多项式方程的求解问题,从而提出了一种基于非子句的代数化方法.在代数化的过程中,以一种形式化的方式给出了命题公式的文法定义,通过语法、语义分析实现了命题公式的代数化.此外,又根据特征列的性质,提出了一种逻辑推论自动生成的方法. 展开更多
关键词 吴方法 命题逻辑 上下文无关文法 定理证明 逻辑推论
下载PDF
UML类图的形式规约与精化研究 被引量:3
20
作者 王博文 盛枫 +1 位作者 窦亮 杨宗源 《计算机应用与软件》 2017年第2期1-7,47,共8页
UML由于其广泛的应用和直观的图形化符号,成为了模型驱动工程的重要组成部分。但UML本身缺乏精确的形式语义定义,缺少对其模型精化关系的形式化规范定义,对UML模型进行形式验证变得尤为困难。UML类图作为描述系统结构的静态模型,不具备... UML由于其广泛的应用和直观的图形化符号,成为了模型驱动工程的重要组成部分。但UML本身缺乏精确的形式语义定义,缺少对其模型精化关系的形式化规范定义,对UML模型进行形式验证变得尤为困难。UML类图作为描述系统结构的静态模型,不具备完整的形式语义。从UML类图的机械语义中抽取出形式规约,将UML类图中的结构和形式规约转换成定理证明器Coq中的机械语义定义。此外,还提出了类图的结构精化操作,将模型间的精化关系在Coq中进行形式化定义,并且对精化操作的原子操作进行机械验证,保证其精化前后系统的结构和语义保持一致。将UML和形式化方法相结合,为可验证的软件设计精化框架提供了理论依据。 展开更多
关键词 UML类图 模型精化 Coq机械语意
下载PDF
上一页 1 2 3 下一页 到第
使用帮助 返回顶部