题名 关系数据库实现知识库系统的方法与技术
被引量：1
1
作者
秦小麟 林钧海
机构
南京 航空学院 计算机科学 与 工程系
出处
《小型微型计算机系统》
CSCD
北大核心
1993年第4期19-25,共7页
基金
航空航天部科学基金
文摘
本文讨论了关系代数及SQL语言表示Horn子句规则的能力与方法,指出关系数据库的视图与规则有很强的相似性。Horn子句及完整性约束条件可以表示成视图的形式,SQL具有表示、存储、管理和演绎规则的能力。
关键词
关系代数 关系数据库 知识库系统
Keywords
Relational algebra View Knowledge base Knowledge representation Relational database
分类号
TP311.13
[自动化与计算机技术—计算机软件与理论]
题名 人工神经网络
被引量：3
2
作者
陈松灿 杨国庆 徐涛
机构
南京 航空学院 计算机科学 与 工程系
出处
《南京航空学院学报》
CSCD
1990年第2期98-105,共8页
文摘
本文叙述了人工神经网络的基本概念、信息处理原理及主要特征。分析了Hopfield、误差反向传播等典型神经网络模型的互连结构、学习方法及特点。对该学科的发展及今后人工智能的研究策略也作了简要阐述。
关键词
神经网络 人工智能 神经计算机
Keywords
neural network, neurons, artificial intelligence, neurocomputer, parallel distribution processing
分类号
TP18
[自动化与计算机技术—控制理论与控制工程]
题名 ARCNET局域网剖析
被引量：3
3
作者
易宏元 沈学馗
机构
南京 航空学院 计算机科学 与 工程系
出处
《小型微型计算机系统》
CSCD
北大核心
1991年第5期34-42,共9页
文摘
本文首先介绍了ARCNET局域网的拓朴结构和它的特点,然后详细地分析了ARCNET网络协议以及ARCNETRIM的结构、功能及其与主机的软硬件接口.最后还简要地分析了ARCNET局域网的性能.
关键词
局域网 计算机网络 ARCNET
分类号
TP393.1
[自动化与计算机技术—计算机应用技术]
题名 中介逻辑的模型论性质
被引量：2
4
作者
钱磊 周以铨
机构
南京 航空学院 计算机科学 与 工程系
出处
《南京航空学院学报》
CSCD
1992年第3期291-297,共7页
基金
国家自然科学基金
文摘
中介逻辑是朱梧槚与肖奚安合作创立的一个新的逻辑系统,该系统的创立有着很强的哲学背景,因此在创立后得到了很大的发展。但对于该系统语义的研究还不够广泛和深入。本文系统地研究了中介逻辑的模型论性质。第一部分系统地定义了中介逻辑模型论的一些概念:如语言、结构、解释、满足等,第二部分证明了对任一和谐理论,都可在其见证集的等价类上建立其模型。利用此定理,笔者证明了广义完全性定理,并由此证明了中介逻辑的可靠性与完备性。本文最后一部分讨论了中介模型论的其他重要性质。利用中介逻辑的完备性,本文证明了紧致性定理,即一理论有模型当且仅当其任一有穷子集有模型。文中还证明了中介逻辑的Lowenheim-Skolem-Tarski定理。
关键词
数理逻辑 模型论 结构 中介逻辑
Keywords
mathematical logic,model theory,structures,Medium Logic,Completeness
分类号
O141.2
[理学—数学]
题名 C软件垃圾的分析与处理
被引量：2
5
作者
秦小麟
机构
南京 航空学院 计算机科学 与 工程系
出处
《计算机研究与发展》
EI
CSCD
北大核心
1992年第2期42-47,34,共7页
文摘
本文分析了C软件中几种常见的垃圾,着重讨论了处理C软件中各种垃圾的策略及算法,并且介绍了作者研制的清除C软件垃圾的开发工具—CGCT.
关键词
软件 C语言 维护
Keywords
C language software maintenance program comprehension
分类号
TP31
[自动化与计算机技术—计算机软件与理论]
题名 一种模糊推理模型在医学专家系统中的应用
6
作者
王步仁 舒忠正
机构
南京 航空学院 数理力学系 南京 航空学院 计算机科学 与 工程系
出处
《南京航空学院学报》
CSCD
1989年第2期72-76,共5页
文摘
本文介绍一种模糊推理模型DFRM(The Double Weight Number Fuzzy Reasoning Model),它已应用到儿童消化道疾病专家系统中,获得了满意的结果。并对该模型作了评价。
关键词
专家系统 医学 模糊推理模型
Keywords
artificial intelligence, medicine, fuzzy reasoning model, expert system, membership function
分类号
TP18
[自动化与计算机技术—控制理论与控制工程]
题名 军用计算机语言初论
被引量：1
7
作者
徐宝文
机构
南京 航空学院 计算机科学 与 工程系
出处
《南京航空学院学报》
CSCD
1989年第2期102-107,共6页
文摘
本文分析了军用软件在军事系统中的地位、军用软件的特点,讨论了军用软件的多语言态势及其潜在危险,回顾了军用语言的历史与现状,分析了军用语言的要求及必备的语言设施,最后简述了国内外有关Ada语言的研究与使用情况。
关键词
军用计算机 程序系统 军用软件
Keywords
military computer, programming systems, special-purpose language, embedded computer systems, Ada
分类号
TP312
[自动化与计算机技术—计算机软件与理论]
题名 我的数学研究与哲学思考
被引量：1
8
作者
朱梧槚
机构
南京 航空学院 计算机科学 与 工程系
出处
《自然辩证法研究》
CSSCI
北大核心
1991年第7期14-21,共8页
文摘
1951年暑假后,我进入大学本科数学系学习。但在一年后,我竟迷上了哲学,在我的哲学先师、革命家和马克思主义哲学家刘丹岩教授指导下,制订了自修哲学的计划。刘老师首先告戒我:“搞哲学,最好掌握或精通一门具体科学,无论是自然科学还是社会科学,否则容易成为空头哲学家”。因此,我没有放弃数学,而是利用三年的课余时间,修毕了大学本科哲学系的主要课程。1955年大学毕业后留校工作,还兼任哲学助教。1956年,还与一位老教师合作,共同为数学系、物理系高年级学生开设了《辩证唯物主义与历史唯物主义》课程。
关键词
潜无限 实无限 MS 中介对象 数学基础理论 有限序数 自然数集合 数学研究 哲学思考
分类号
N031
[自然科学总论—科学技术哲学]
题名 低成本图像采集卡的设计与实现
9
作者
高航 徐涛
机构
南京 航空学院 计算机科学 与 工程系
出处
《南京航空学院学报》
CSCD
1992年第4期480-484,共5页
文摘
本文描述了一种低成本图像采集卡的设计与实现。它能实时获取视频图像,完成基本的图像处理操作。可在IBM—PC及兼容机上应用,并利用微机上的EGA或VGA卡实现伪彩色处理,有很高的性能价格比和广泛的应用前景。
关键词
视频系统 图像处理 锁相技术
Keywords
video systems, image processing, phase-lock technique, framestore
分类号
TP391.41
[自动化与计算机技术—计算机应用技术]
题名 汉字字元构成分析
被引量：1
10
作者
吕军 杨国庆
机构
南京 航空学院 计算机科学 与 工程系
出处
《南京航空航天大学学报》
EI
CAS
CSCD
1991年第S1期94-98,共5页
基金
863计划资助项目
文摘
本文以汉字演变的轨迹为依据,对汉字的字元构成进行了一些分析,讨论了古汉字与现代汉字中字元的关系以及字元的产生、字元的变异、字元的信息量度量,从而对现代汉字字元的切取、归并等提出了自己的看法。基于这些看法,作者选取了近400个字元对《新华字典)(1981年版)上的近一万个汉字的字元组字频率及字元组成的结构类型作了统计,为汉字识别等技术的研究提供了有益的依据。
关键词
汉字分离 构造型式 文字识别 字元 组字频率
Keywords
character segmentation,structural type,character recognition,character elements,occurence frequency
分类号
H022
[语言文字—语言学]
H122
题名 智能高分辨率彩色图形控制系统的研究
被引量：1
11
作者
黄凤英 伍先林 姚放吾 章映东
机构
南京 航空学院 计算机科学 与 工程系
出处
《南京航空学院学报》
CSCD
1991年第2期109-115,共7页
文摘
本文论述一种自行设计与实现的彩色图形系统NHGCB。这是一种具有多处理机智能环境采用视频存贮器分体技术的高性能图形控制系统。它以INTEL 82720 GDC为核心,并自含单片机子系统,既可以独立成为一个智能图形系统显示各种彩色图形;又可与微机一起构成一个多处理机图形处理系统。NHGCB支持最大1024×1024分辨率,可同时显示16/4096种颜色。
关键词
图形显示系统 分辨率 彩色图形
Keywords
graphic display system, multiprocessor systems, resolving power, color graphics
分类号
TP391.41
[自动化与计算机技术—计算机应用技术]
题名 黑板框架的知识表达方法
被引量：1
12
作者
舒忠正
机构
南京 航空学院 计算机科学 与 工程系
出处
《南京航空学院学报》
CSCD
1992年第2期180-185,共6页
基金
BFBEST医学专家系统开发工具为航空科学基金
文摘
本文介绍了黑板框架知识表达方法的设计思想和技术。黑板框架是由框架、知识源和黑板模型组成,是产生式规则、谓词、框架等多种知识表达功能的组合形式,它将知识表达和知识处理结合成一体,既能表达静态的知识,又能表达动态的知识;既能方便地表达断言性知识,又能自然地表达结构性知识。表达功能强、灵活性大;方便知识调度,加快推理速度,提高推理效率;方便知识获取并有利于机器学习。 黑板框架是一种能表达特定领域复杂知识结构的良好的方法,具有表达充分、推理充分、推理效率和获取效率高的特点。 文中还对目前各种知识表达方法进行了评价,对黑板模型、知识源、黑板框架的概念进行了描述,并对黑板框架给出了严格的BNF定义。 黑板框架的知识表达方法,已在医学专家系统开发工具BFBEST中获得了成功的应用,并取得满意的效果。
关键词
人工智能 专家系统 知识表达
Keywords
artificial intelligence, expert systems, knowledge representation, blackboard model, knowledge source, blackboard framework
分类号
TP18
[自动化与计算机技术—控制理论与控制工程]
题名 GPSS-GKS仿真动画系统的研究
被引量：1
13
作者
黄凤英 冯新宇
机构
南京 航空学院 计算机科学 与 工程系
出处
《南京航空学院学报》
CSCD
1992年第2期173-179,共7页
文摘
本文介绍一种自行设计的GPSS-GKS仿真动画系统。该系统应用先进的GPSS/H仿真软件和国际标准的最新图形系统SunGKS,既可在Sun工作站上完成仿真、动画演示操作,又能在Sun工作站、PC机多处理机环境下实现仿真、监控和动画演示。该系统可进行离散系统仿真,并兼有数字仿真、动画分析和仿真报告分析的功能,具有较高的通用性。文中着重介绍了系统的组成和各部分的功能;GPSS/H仿真软件及SunGKS图形系统的相互连接和构成完整系统的设计方法;最后给出用该系统对FMS(柔性制造系统)进行仿真和动画演示的应用实例。
关键词
计算机 仿真 数字仿真 软件
Keywords
computerized simulation,digital simulation,software,animate,separated event, event-list
分类号
TP391.9
[自动化与计算机技术—计算机应用技术]
题名 NHDB关系数据库系统
被引量：1
14
作者
林钧海 秦小林
机构
南京 航空学院 计算机科学 与 工程系
出处
《南京航空学院学报》
CSCD
1989年第3期99-103,共5页
文摘
本文介绍南航计算机系数据库小组研制的中文关系数据库系统NHDB,概述它的系统结构、功能和特点,并讨论在微机环境中解决内存容量有限的方法,然后将NHDB与dBASE作一比较。
关键词
数据库 数据存储 关系模型
Keywords
data libraries, data storage, relation model, data independence, dataintegrity, security and privacy
分类号
TP392
[自动化与计算机技术—计算机应用技术]
题名 嵌套表生成系统
被引量：1
15
作者
田沧海 林钧海
机构
南京 航空学院 计算机科学 与 工程系
出处
《南京航空学院学报》
CSCD
1990年第1期29-34,共6页
文摘
基于物理存贮结构和数据字典,本文论述了一种有效的嵌套表生成方法。
关键词
程序语言 数据存贮 嵌套表
Keywords
program system, data storage, data dictionary, nested table
分类号
TP312
[自动化与计算机技术—计算机软件与理论]
题名 医学专家系统开发工具BFBEST的设计方法
被引量：1
16
作者
舒忠正
机构
南京 航空学院 计算机科学 与 工程系
出处
《南京航空学院学报》
CSCD
1991年第2期63-68,共6页
文摘
本文详细描述了医学专家系统开发工具——BFBEST(Blackboard Framework Based Expert System Development Tool)设计方法和技术。包括知识获取方法和知识表示方法,推理机的设计,开发机的设计,以及系统解释功能与自学习功能的设计等。BFBEST是在IBMPC上采用Turbo-Prolog语言研制成功的。利用BFBEST能很方便地生成各种高性能的医学专家系统。
关键词
人工智能 医药学 专家系统
Keywords
artificial intelligence, medicine and pharmacology, expert systems, blackboard model
分类号
TP18
[自动化与计算机技术—控制理论与控制工程]
题名 论Ada对DOD国防系统软件开发标准的适应性
被引量：1
17
作者
徐宝文
机构
南京 航空学院 计算机科学 与 工程系
出处
《南京航空学院学报》
CSCD
1990年第4期66-71,共6页
基金
南京航空学院青年科学基金 国家自然科学基金 航空科学基金
文摘
Ada语言与DOD-STD-2167A是美国国防部(DOD)在软件方面最重要的两个标准,对它们之间的一致性与适应性进行研究是很有必要也很有意义的。这项研究的关键是研究Ada程序结构与DOD-STD-2167A静态结构的适应性。为此,本文首先详细分析了DOD-STD-2167A的静态结构,然后研究了Ada程序结构对这种静态结构的对应问题,指出了对应中存在的问题,在此基础上引入了库单元的概念。本文最后讨论了与DOD-STD-2167A相适应的Ada软件开发策略。
关键词
软件开发 国防系统 ADA语言 适应性
Keywords
system softwares, programming, program library, library unit group, static structure, program structure
分类号
TP311.52
[自动化与计算机技术—计算机软件与理论]
题名 局域网络操作系统NETBIOS的开发与应用
18
作者
顾其威 李性存
机构
南京 航空学院 计算机科学 与 工程系
出处
《南京航空学院学报》
CSCD
1990年第3期86-95,共10页
文摘
随着局域网络产品的不断增加,局域网络的标准化问题就变得非常重要,它可以缩短网络开发周期并提高其兼容性。由美国IBM与Microsoft公司推出的以DOS为基础的NETBIOS网络操作系统,已构成当前局域网络研制的标准,它使各种局域网络均向它靠拢,形成了目前局域网络软件开发的主要方法与途径。 本文在对NETBIOS分析的基础上,进行了应用开发,为光纤局域网络NHFBNET研制出NHDCS网络软件。在研制过程中很好地解决了分布式网络软件的前后台功能与程序的可重入问题,使得所研制的软件具有较强的分布式功能和良好的兼容性,为第三代网络软件——分布式功能的网络软件的开发探索出一条新的路径。
关键词
局域网络 操作系统 NETBIOS
Keywords
computer network, operating system, file systems, standard of network software, file share, distributed system
分类号
TP393.1
[自动化与计算机技术—计算机应用技术]
题名 用非线性分层策略生成机器人动作规划
19
作者
周西苓
机构
南京 航空学院 计算机科学 与 工程系
出处
《机器人》
EI
CSCD
北大核心
1992年第5期19-25,共7页
文摘
分层策略可以求解复杂的机器人规划生成问题.本文提出一种崭新的分层规划算法,该算法将原问题分解为若干子问题,然后按各层的动作细化规则,由顶而底.直至求出机器人的本原动作序列.在每个层次上,运用非线性技术,使之对子问题的求解可交叉进行,从而消除了目标相互影响问题;在规划动作的过程中,建立了前后指针和评价函数,并提出了解决分层规划中动作的冗余和矛盾的方法,大大地提高了解题效率.该算法已应用于 NARP机器人规划生成系统,本文简介了用 Common Lisp 语言编程的特点.系统在 Sun 机上实现.
关键词
机器人 动作规划 分成策略
Keywords
artificial intelligence plan-generating system hierarchical planning
分类号
TP242
[自动化与计算机技术—检测技术与自动化装置]
题名 光纤总线本地网接口逻辑设计
20
作者
姚放吾 李性存
机构
南京 航空学院 计算机科学 与 工程系
出处
《南京航空学院学报》
CSCD
1991年第1期130-134,共5页
文摘
光纤做传输介质具有频带宽、抗干扰能力强、信号衰减小等优点。但是用它来实现总线型本地网却有一定的难度,因为利用光纤元件不易于实现CSMA/CD协议所要求的冲突检测和信号在总线上的双向传输。 本文介绍了实现光纤总线网络的简单可行的方法,叙述了光纤总线网的结构、网络、网络接口原理以及接口的编程方法。
关键词
计算机网络 光纤 总线 逻辑设计
Keywords
computer networks, optical fibre, bus, local area network
分类号
TP393.1
[自动化与计算机技术—计算机应用技术]
