ASOG式在丁醇-丙酮-乙醇-水四元系统汽液相平衡计算中的应用 被引量：1

1

作者 李珊 王晓群 《西安交通大学学报》 EI CAS CSCD 北大核心 1989年第5期85-92,122,共9页

本文通过对"丁醇-丙酮-乙醇-水"四元系统汽液相平衡问题的分析、计算和实验验证,证实采用ASOG式(或称基团法)进行此种部分互溶多元系的相平衡计算是十分有效的。它远比Wilson法或NRTL法等适用。

关键词 多组分 四元系统 汽液相平衡 算法

在线阅读 下载PDF 职称材料

一个简单的Web日志挖掘系统 被引量：22

2

作者 杨怡玲 管旭东 +1 位作者 陆丽娜 尤晋元 《上海交通大学学报》 EI CAS CSCD 北大核心 2000年第7期932-935,共4页

在分析 Web日志挖掘的困难及对策的基础上 ,给出了一个简单的 Web日志挖掘系统( SWLMS)的体系结构 .具体介绍了 SWLMS中日志的预处理过程 ,包括数据净化、用户识别、会话识别、路径补充的主要任务及其实现 ,并着重介绍了预处理之后的序... 在分析 Web日志挖掘的困难及对策的基础上 ,给出了一个简单的 Web日志挖掘系统( SWLMS)的体系结构 .具体介绍了 SWLMS中日志的预处理过程 ,包括数据净化、用户识别、会话识别、路径补充的主要任务及其实现 ,并着重介绍了预处理之后的序列模式识别过程和算法 ,包括最大向前路径的识别和频繁遍历路径的发现 。 展开更多

关键词 数据挖掘 WEB日志挖掘 序列模式识别 SWLMS

在线阅读 下载PDF 职称材料

肺癌监测诊断系统的设计与实现

3

作者 刘海岩 邓良松 +3 位作者 汪德顺 白宇虹 王金铎 魏汝明 《西安交通大学学报》 EI CAS CSCD 北大核心 1990年第3期39-45,共7页

本文介绍了在 IBM-PC/XT 上实现的肺癌监测诊断系统的功能.着重介绍了诊断专家系统实现的知识表示、推理控制策略及推理中所用到的算法.同时还介绍了监测数据录入的方法及动态生成统计条件的技巧.

关键词 肺癌诊断 专家系统 肿瘤诊断

在线阅读 下载PDF 职称材料

面向工程应用的群体DSS分布式问题求解算法及实现

4

作者 薛静 辛明军 +1 位作者 郑炜 李伟华 《微电子学与计算机》 CSCD 北大核心 2004年第6期20-23,共4页

文章在智能Agent协同控制技术基础上,提出面向工程领域分布式问题求解的群体DSS多库协同工作模式,并重点分析了分布式问题求解的群体协同控制策略,实现了工程领域问题的分布式问题求解算法,最后通过某飞行器设计实例进行了验证。

关键词 群体DSS 智能AGENT 分布式

在线阅读 下载PDF 职称材料

国标BASIC语言编译系统的设计与实现

5

作者 邓良松 张亚明 +1 位作者 徐宋传 倪小东 《西安交通大学学报》 EI CAS CSCD 北大核心 1993年第2期117-124,92,共9页

介绍了国标BASIC语言编译系统的设计思想和实现技术.该系统建立了一个集成化的编程支持环境,通过语法制导编辑器建立BASIC源程序,通过增量编译器进行编译.这个集成化环境把编辑器、编译器、调试器有机地结合在一起,大大地提高了软件开... 介绍了国标BASIC语言编译系统的设计思想和实现技术.该系统建立了一个集成化的编程支持环境,通过语法制导编辑器建立BASIC源程序,通过增量编译器进行编译.这个集成化环境把编辑器、编译器、调试器有机地结合在一起,大大地提高了软件开发的效率,也提高了软件的可靠性. 展开更多

关键词 程序设计语言 编译程序 BASIC语言

在线阅读 下载PDF 职称材料

基于知识的成卷方法及在MATBAS系统中的实现 被引量：6

6

作者 汪德顺 顾学春 马立兴 《西安交通大学学报》 EI CAS CSCD 北大核心 1989年第1期101-108,116,共9页

本文以 MATBAS(高等数学试题库及计算机辅助命题和评估软件系统)为背号,论述了基于知识的成卷方法。在分析各类考试特点与规律的基础上,提出三类考试模型。在成卷推理中综合使用可信度推理、启发式推理、规划及约束方法。为了使系统控... 本文以 MATBAS(高等数学试题库及计算机辅助命题和评估软件系统)为背号,论述了基于知识的成卷方法。在分析各类考试特点与规律的基础上,提出三类考试模型。在成卷推理中综合使用可信度推理、启发式推理、规划及约束方法。为了使系统控制更灵活,能够生成若干风格不同的等价试卷,还提出了知识层次划分的思想,引入“元知识”的概念,把知识处理结构设计为耦合式的知识库系统。该成卷方法不仅适用于高等数学命题,也适应于别的课程考试。 展开更多

关键词 高等数学 程序系统 试题库

在线阅读 下载PDF 职称材料

并行计算性能可视化方法研究

7

作者 石晓虹 郑守淇 《航空计算技术》 1998年第2期6-10,共5页

分布式并行系统中，并行程序通常表现出比传统串行程序复杂得多的行为。影响并行程序性能的各种因素的交互作用，使得获得好的并行计算性能成为系统设计者和用户所面临的极大挑战。近年来的研究表明，并行程序的性能可视化方法和工具在... 分布式并行系统中，并行程序通常表现出比传统串行程序复杂得多的行为。影响并行程序性能的各种因素的交互作用，使得获得好的并行计算性能成为系统设计者和用户所面临的极大挑战。近年来的研究表明，并行程序的性能可视化方法和工具在帮助用户理解并行程序行为和优化性能等方面起到了很大的作用，成为各种并行性能分析优化工具不可缺少的一部分。本文较为系统全面地综述了并行计算性能可视化方法研究的发展状况，讨论了其面临的主要困难及可能的解决方法，并指出了未来的若干研究方向。 展开更多

关键词 并行计算 性能可视化 分布式 计算机 并行系统

全文增补中

基于关系数据库的知识获取开发机KADE

8

作者 王复车 尹立东 杜长征 《微电子学与计算机》 CSCD 北大核心 1989年第7期26-28,共3页

本文给出了一个基于关系数据库的知识获取开发机KADE的主要功能、设计思想及其实现,开拓了从关系数据库中高效获取知识的途径;提出了一种实现知识一致性、冗余性及完整性检查的新方法;最后给出了用该开发机获取知识的实例。

关键词 专家系统 知识获取 关系数据库

在线阅读 下载PDF 职称材料

主动网络安全风险管理系统

9

作者 颉钰 李卫 《微电子学与计算机》 CSCD 北大核心 2004年第6期1-5,9,共6页

针对日益严峻的网络安全威胁,文章从加强内部安全管理入手,依据BS7799信息安全管理体系标准的规范及指标,提出了一个主动网络安全风险管理系统。该系统利用信息侦察代理获得园区网的基本配置及漏洞信息,在此基础上建立潜在入侵事件扩散... 针对日益严峻的网络安全威胁,文章从加强内部安全管理入手,依据BS7799信息安全管理体系标准的规范及指标,提出了一个主动网络安全风险管理系统。该系统利用信息侦察代理获得园区网的基本配置及漏洞信息,在此基础上建立潜在入侵事件扩散模型,分析模型并对网络所面临的安全风险进行定性和定量评估,最后根据评估结果执行相应的风险控制措施,使风险等级降低到可接受的水平。文章还介绍了主动安全风险管理系统的结构,入侵扩散模型以及风险评估算法的具体细节,实验结果表明该系统能够有效地协助管理员建立完善的安全风险管理体系。 展开更多

关键词 网络安全 风险评估 入侵扩散模型 风险管理 BS7799

在线阅读 下载PDF 职称材料

机械设计专家系统中的接口设计技术

10

作者 王复车 尹立东 《微电子学与计算机》 CSCD 北大核心 1989年第9期9-12,共4页

本文分析了机械设计专家系统中接口的类型;着重讨论了问题描述接受、问题求解结果自然化处理输出和机械设计专家系统与数据库、算法库及方法库通讯等接口的设计技术,并给出了它们的通用模型.

关键词 机械设计 专家系统 接口

在线阅读 下载PDF 职称材料

机械设计专家系统中的知识表示和知识库结构的研究

11

作者 尹立东 王复车 《微电子学与计算机》 CSCD 北大核心 1989年第9期1-8,共8页

本文分析了机械设计领域MDD之知识的特征,提出了集可变框架、产生式和表技术于一体的混合知识表示方法;研究了MDD之基本知识元和学习知识元.借助于知识元不仅能有效地和完整地表达MDD知识,而且还解决了具有自动进行方案评估、指出再设... 本文分析了机械设计领域MDD之知识的特征,提出了集可变框架、产生式和表技术于一体的混合知识表示方法;研究了MDD之基本知识元和学习知识元.借助于知识元不仅能有效地和完整地表达MDD知识,而且还解决了具有自动进行方案评估、指出再设计方向和自动实施再设计能力的机械设计专家系统之知识表示.另外,本文还讨论了知识元的组织方法及相应的知识库之结构;最后给出了知识元的表现和应用实例. 展开更多

关键词 机械设计 专家系统 知识表示

在线阅读 下载PDF 职称材料

一种基于XML的可适应性工作流框架 被引量：4

12

作者 霍秋艳 刘海岩 +1 位作者 赵仲孟 刘君瑞 《微电子学与计算机》 CSCD 北大核心 2003年第4期14-16,19,共4页

实现有效工作流管理的一个关键问题是提高工作流管理系统的适应性,文章提出了一个以Web为平台的基于XML的可适应性工作流框架:XAWF。XAWF采用XML作为业务规则描述语言,因此具有较高的适应性。采用JMS消息机制解决了系统因负载过重时的... 实现有效工作流管理的一个关键问题是提高工作流管理系统的适应性,文章提出了一个以Web为平台的基于XML的可适应性工作流框架:XAWF。XAWF采用XML作为业务规则描述语言,因此具有较高的适应性。采用JMS消息机制解决了系统因负载过重时的瓶颈问题,也使得XAWF具有良好的可用性和运行效率。 展开更多

关键词 工作流管理系统 XML 应用软件 可适应性工作流框架 消息机制

在线阅读 下载PDF 职称材料

基于本体的XML知识表示方法研究 被引量：11

13

作者 饶元 冯博琴 《微电子学与计算机》 CSCD 北大核心 2004年第9期26-29,共4页

对网络中非结构化的文本资源进行有效的知识表示是语义Web面临的关键性问题。本文提出了基于<Meta-data,KnowledgeAtom,Relationship,Rule>四元组的知识本体的形式化定义,同时将该定义与在某一个知识领域内的5个基本建模元语相结... 对网络中非结构化的文本资源进行有效的知识表示是语义Web面临的关键性问题。本文提出了基于<Meta-data,KnowledgeAtom,Relationship,Rule>四元组的知识本体的形式化定义,同时将该定义与在某一个知识领域内的5个基本建模元语相结合,采用BNF范式对知识本体进行统一的描述和表示,并实现了BNF与XML/DTD之间的知识本体框架的语义转换。最后,提出了统一的扩展RDF模型———XRDF,并进行了形式化定义与实例建模分析。 展开更多

关键词 知识本体 知识表示 XML RDF

在线阅读 下载PDF 职称材料

数据库数据完整性的实现 被引量：2

14

作者 李增智 王美玲 王伟 《微电子学与计算机》 CSCD 北大核心 1995年第5期24-27,共4页

本文根据数据库系统开发及维护经验论述了数据库的完整性，并将ＯＲＡＣＬＥ７与几种主要关系数据库系统的完整性实现方法进行比较，重点介绍了ＯＲＡＣＬＥ７（目前已推出ＯＲＡＣＬＥ７．１）是如何实现完整性的。

关键词 完整性 数据完整性 数据库

在线阅读 下载PDF 职称材料

划分的特征函数表示及其快速运算算法

15

作者 侯义斌 张军 《西安交通大学学报》 EI CAS CSCD 北大核心 1992年第1期13-20,共8页

本文讨论了一个 n 元集划分的特征函数表示法,并在此基础上,提出了划分运算的最优算法.

关键词 集合运算 系统分解 特征函数

在线阅读 下载PDF 职称材料

COBOL程序测试环境CPTS-1的设计与实现

16

作者 李友仁 刘少英 《西安交通大学学报》 EI CAS CSCD 北大核心 1989年第1期49-54,70,共7页

CPTS-1是一个以 COBOL 程序为测试目标,为提高测试效率而实现的一个软件测试环境。本文旨在系统地介绍 CPTS-1的主要功能、特点和设计实现的基本原理。

关键词 COBOL语言 程序 测试环境

在线阅读 下载PDF 职称材料

分段有序归并排序算法

17

作者 何奉道 《西南交通大学学报》 EI CSCD 北大核心 1992年第5期41-46,共6页

任一数据序列都是分段有序的。基于这一特点,本文提出了分段有序归并排序算法。其最优时间复杂性为 O(n),空间复杂性为 O(1)。最坏情况下的比较次数少于 nlogn+0.057n,小于快速排序算法的平均比较次数,是同类算法的最优上界。

关键词 分段有序 排序 算法分析

在线阅读 下载PDF 职称材料

线性与非线性多轴联动加工控制的插补算法及其实现 被引量：3

18

作者 蔡淮 苏菠 《西南交通大学学报》 EI CSCD 北大核心 1993年第1期6-12,共7页

本文在线性多轴联动插补算法的基础上,推导出非线性空间曲线的插补算法;建立了判定规则,并介绍了在此基础上使用多微机处理结构具体实现方法。

关键词 曲线加工 多轴联动控制 插补算法

在线阅读 下载PDF 职称材料

模式识别理论中的逻辑特征方法

19

作者 郭椿标 《西安交通大学学报》 EI CAS CSCD 北大核心 1991年第3期15-18,46,共5页

本文提出了一个新的模式识别特征方法——逻辑特征方法。这个方法不同于经典的模式识别方法:统计特征方法和句法结构方法。在逻辑特征法中,决定模式特征匹配状态的只有“是”或“非”,而不象统计特征和句法特征那样有匹配程度之分如“... 本文提出了一个新的模式识别特征方法——逻辑特征方法。这个方法不同于经典的模式识别方法:统计特征方法和句法结构方法。在逻辑特征法中,决定模式特征匹配状态的只有“是”或“非”,而不象统计特征和句法特征那样有匹配程度之分如“远”或“近”。逻辑特征有两个重要特性。1.多个逻辑特征可以链接在一起做为逻辑特征向量,这个逻辑特征向量可以做为索引匹配的索引号而对模式进行直接和索引分类。2.逻辑特征还可与其他特征共同使用,其中逻辑特征将做为标志。亦即只有逻辑特征匹配了,才能用其他特征进行匹配程度的计算。 展开更多

关键词 模式识别 逻辑特征方法 特征抽取

在线阅读 下载PDF 职称材料

并行遗传算法的性能分析 被引量：4

20

作者 郭绚 石晓虹 《航空计算技术》 1998年第3期86-89,共4页

随着遗传算法的不断发展，人们利用它来解决复杂的大规模组合优化问题。但串行遗传算法本身的缺陷和瓶颈使得它越来越天法满足人们的需要，人们开始研究遗传算法的并行化。本文在简单介绍并行遗传算法及研究现状的基础上，以TSP问题（Tr... 随着遗传算法的不断发展，人们利用它来解决复杂的大规模组合优化问题。但串行遗传算法本身的缺陷和瓶颈使得它越来越天法满足人们的需要，人们开始研究遗传算法的并行化。本文在简单介绍并行遗传算法及研究现状的基础上，以TSP问题（TravelingSalesmanProblem）为实例，讨论了影响并行遗传算法性能的主要因素，并给出了相应的实验结果。 展开更多

关键词 并行遗传算法 并行计算 TSP 遗传算法

全文增补中