期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到88篇文章
< 1 2 … 5 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
基于16位微计算机的PWM波形生成系统的设计与实现
1
作者 黄凤英 《南京航空航天大学学报》 CAS CSCD 1994年第2期261-266,共6页
介绍一种用１６位单片微型计算机ＭＣＳ－９６生成三相ＰＷＭ波形的系统。借助１６位微计算机的优越性能及较高的运算速度和处理精度，从而有可能运用Ｐａｒｋ矢量原理控制逆变器电压矢量的导通规律，使气隙磁通轨迹跟踪十分接近圆形的... 介绍一种用１６位单片微型计算机ＭＣＳ－９６生成三相ＰＷＭ波形的系统。借助１６位微计算机的优越性能及较高的运算速度和处理精度，从而有可能运用Ｐａｒｋ矢量原理控制逆变器电压矢量的导通规律，使气隙磁通轨迹跟踪十分接近圆形的２４边形。由此设计并生成的三相ＰＷＭ波形接近三相正弦ＰＷＭ水平，大大提高了异步电机调速的精确度和稳定性。该系统同时又是一个灵活的控制系统，可提供各种要求的控制功能。 展开更多
关键词 变频电源 磁通量 PWM控制 微机
在线阅读 下载PDF
反计算机取证技术研究 被引量：13
2
作者 张有东 王建东 朱梧槚 《河海大学学报（自然科学版）》 CAS CSCD 北大核心 2007年第1期104-107,共4页
分析了反计算机取证的基本概念和方法,比较了反计算机取证所采用的数据擦除、数据加密、数据隐藏、数据混淆和数据转换等主要技术,并提出了一种安全、高效的基于m序列的数据擦除方法.
关键词 反取证 数据擦除 数据隐藏 数据混淆 数据转换
在线阅读 下载PDF
区间值Vague决策系统及其规则提取方法 被引量：30
3
作者 马志锋 邢汉承 郑晓妹 《电子学报》 EI CAS CSCD 北大核心 2001年第5期585-589,共5页
区间值 (i-v)模糊集合和Vague集是不精确知识表达的两种新理论 .它们已被广泛地应用于决策系统中对于不确定决策数据的描述 .本文将两者有机地结合 ,给出了i-vVague集的有关概念 ,并详细地讨论了其性质 .最后 ,结合一个决策系统实例 ,... 区间值 (i-v)模糊集合和Vague集是不精确知识表达的两种新理论 .它们已被广泛地应用于决策系统中对于不确定决策数据的描述 .本文将两者有机地结合 ,给出了i-vVague集的有关概念 ,并详细地讨论了其性质 .最后 ,结合一个决策系统实例 ,利用文中所提出的包含与相交因子 ,分析了规则生成策略 .经过与传统Rough集方法的对比 ,发现两者所得结论是一致的 ,但该方法对于不确定性问题的处理却表现得更为灵活 . 展开更多
关键词 VAGUE集 决策系统 ROUGH集 不确定性 区间值 规划提取
在线阅读 下载PDF
基于图像处理技术的自动报靶系统设计和实现 被引量：17
4
作者 张伟 高航 《南京航空航天大学学报》 EI CAS CSCD 北大核心 2000年第6期691-695,共5页
提出了一种通过图像处理技术设计和实现的自动报靶系统。针对靶图像背景颜色对比度大的特点 ,采用一种基于灰度期望值的图像二值化算法 ,通过逐步分离的方法 ,将靶环从背景中分割出来 ;针对影响靶数精度的主要因素 (图像的非线性畸变 ) ... 提出了一种通过图像处理技术设计和实现的自动报靶系统。针对靶图像背景颜色对比度大的特点 ,采用一种基于灰度期望值的图像二值化算法 ,通过逐步分离的方法 ,将靶环从背景中分割出来 ;针对影响靶数精度的主要因素 (图像的非线性畸变 ) ,将靶数分解为整数与小数两部分。整数部分根据靶图像的物理意义确定 ,对靶数精度不会造成任何损失 ;小数部分根据弹孔最内侧点在两条靶环之间的相对位置确定。试验结果表明 ,用该系统确定的靶数可以满足一般射击比赛的精度要求。 展开更多
关键词 图像处理 图像分割 图像二值化
在线阅读 下载PDF
一种模糊关系代数与模糊关系演算 被引量：6
5
作者 毛宇光 朱梧槚 《南京航空航天大学学报》 EI CAS CSCD 北大核心 1998年第1期1-6,共6页
首先给出了模糊数据库的模糊关系数据模型，它允许属性值和元组具有模糊性。在此基础上，构造了两类不同的模糊数据库查询语言：模糊关系代数和模糊关系演算。它们分别以传统的关系代数或关系演算为基础，引入模糊关系（或谓词）、模糊... 首先给出了模糊数据库的模糊关系数据模型，它允许属性值和元组具有模糊性。在此基础上，构造了两类不同的模糊数据库查询语言：模糊关系代数和模糊关系演算。它们分别以传统的关系代数或关系演算为基础，引入模糊关系（或谓词）、模糊操作（或连接词）和模糊集比较操作。此外，证明了模糊关系代数和模糊关系演算在表达能力上的等价性。模糊关系代数和模糊关系演算既可以作为模糊关系数据模型的理论研究工具，又可作为评价模糊数据库查询语言的准则。 展开更多
关键词 关系代数 模糊关系 模糊数据模型 关系演算
在线阅读 下载PDF
中介谓词演算系统ME与ME之间的化归算法及其应用 被引量：2
6
作者 张东摩 肖奚安 朱梧槚 《南京航空航天大学学报》 EI CAS CSCD 1993年第5期575-582,共8页
在经典二值逻辑中,带等词的谓词演算系统F^I与F^(I*)的函词系统等价,在互推关系下这两个系统也等价。然而在中介逻辑中,带筹词的中介谓词演算系统ME与ME~*函词系统不等价。本文定理1指出,在互推关系下,任何ME~*中的公式均可化为ME中的... 在经典二值逻辑中,带等词的谓词演算系统F^I与F^(I*)的函词系统等价,在互推关系下这两个系统也等价。然而在中介逻辑中,带筹词的中介谓词演算系统ME与ME~*函词系统不等价。本文定理1指出,在互推关系下,任何ME~*中的公式均可化为ME中的标准前束范式,因此在互推意义下两系统等价。在中介逻辑中,ME是一个较为特殊的子系统,它具有许多与二值逻辑相类似的性质,本文的结果为将这些性质进一步推广到ME~*上提供了基础。作为两个实例,本文给出了ME~*上的Skolem范式定理及Herbrand定理。本文的结果亦说明,对两个逻辑系统而言,仅仅证明它们在推理关系上等价并不能说明两者具有完全相同的性质。 展开更多
关键词 数理逻辑 逻辑系统 换算 中介逻辑
在线阅读 下载PDF
中介关系数据库查询语言 被引量：2
7
作者 毛宇光 朱朝晖 《南京航空航天大学学报》 EI CAS CSCD 北大核心 1998年第2期138-145,共8页
给出了中介关系数据模型，在此基础上构造了两类不同的中介关系数据库查询语言：中介关系演算和中介关系代数。中介关系演算以中介谓词演算ＭＦ＊为基础，通过引入真值程度词、对立否定词ヲ和模糊否定词～扩充了关系演算的表达能力。... 给出了中介关系数据模型，在此基础上构造了两类不同的中介关系数据库查询语言：中介关系演算和中介关系代数。中介关系演算以中介谓词演算ＭＦ＊为基础，通过引入真值程度词、对立否定词ヲ和模糊否定词～扩充了关系演算的表达能力。同样地，中介关系代数以中介集合论ＭＳ为基础，扩充了关系代数的功能。此外，证明了中介关系演算和中介关系代数在语言表达能力上的等价性。中介关系演算和中介关系代数可作为研究模糊数据库理论的工具。 展开更多
关键词 关系型 数据库 中介关系演算 查询语言
在线阅读 下载PDF
中介模态逻辑MS_4的表推演系统
8
作者 宫宁生 张东摩 朱梧槚 《南京航空航天大学学报》 CAS CSCD 1995年第5期668-673,共6页
中介逻辑是一个新的逻辑系统，该系统的创立有明显的哲学背景，自创立后得到了很大的发展。在数理逻辑以及计算机科学领域已发展了中介模态逻辑以及ＭＩＬＬ等中介程序计设语言，但对作为程序计设语言之逻辑基础之一的中介模态逻辑的自... 中介逻辑是一个新的逻辑系统，该系统的创立有明显的哲学背景，自创立后得到了很大的发展。在数理逻辑以及计算机科学领域已发展了中介模态逻辑以及ＭＩＬＬ等中介程序计设语言，但对作为程序计设语言之逻辑基础之一的中介模态逻辑的自动推理理论与实现的研究还很不够。本文系统地讨论中介模态逻辑ＭＳ４的自动定理证明理论，构造了中介模态逻辑ＭＳ４的表推演系统。由于该系统采用＂与或树＂的表达方法，因而不产生＂遗忘问题＂；又由于设置的μ＇扩展规则有效地限制了＂秩＂的递增次数，从而保证了该系统的完备性。本文第一部分给出了中介模态逻辑ＭＳ４的表推演系统及一个应用实例，第二部分证明了该系统的可靠性与完备性定理。 展开更多
关键词 数理逻辑 模态逻辑 人工智能 表推演 定理证明器
在线阅读 下载PDF
一种基于嵌套关系模型的超文本数据库设计
9
作者 皮德常 林钧海 《南京航空航天大学学报》 EI CAS CSCD 北大核心 1998年第1期59-65,共7页
多媒体数据库系统要求具有图象存储和文本检索的能力，传统的关系数据库不可支持文本的存储、检索与索引，特别是超文本数据的存储与索引。本文提出的一个嵌套关系模型支持文本存储和文本检索操作，其中特征文件索引为文本检索提供了技... 多媒体数据库系统要求具有图象存储和文本检索的能力，传统的关系数据库不可支持文本的存储、检索与索引，特别是超文本数据的存储与索引。本文提出的一个嵌套关系模型支持文本存储和文本检索操作，其中特征文件索引为文本检索提供了技术支持。该设计方法为存储和检索其他二进制数据也提供了一个参考。 展开更多
关键词 数据库 数据存储 超文本 嵌套关系 特征文件
在线阅读 下载PDF
DOS多任务远程通讯系统的设计与实现
10
作者 冯新宇 黄凤英 《南京航空航天大学学报》 CAS CSCD 1995年第3期420-425,共6页
本文介绍作者在ＤＯＳ上开发的多任务远程通讯系统，它可以实现微机之间的远程数据传送、命令控制、定时收发等功能。该程序常驻内存，在后台进行数据通讯。在数据传送期间用户仍可执行ＤＯＳ命令或继续执行程序，在ＤＯＳ上实现了多任... 本文介绍作者在ＤＯＳ上开发的多任务远程通讯系统，它可以实现微机之间的远程数据传送、命令控制、定时收发等功能。该程序常驻内存，在后台进行数据通讯。在数据传送期间用户仍可执行ＤＯＳ命令或继续执行程序，在ＤＯＳ上实现了多任务的并发。该系统具有与程序员和用户的两套接口，用户通过命令调用其功能，而程序员可在汇编，Ｃ，ＦＯＸＢＡＳＥ等语言源程序中实现后台数据通讯。 展开更多
关键词 数字通信 并行处理 计算机远程通信 操作系统
在线阅读 下载PDF
模糊关系数据库的一种广义模型
11
作者 毛宇光 朱剑英 《南京航空航天大学学报》 EI CAS CSCD 北大核心 1998年第3期293-299,共7页
提出了模糊关系数据库的一种广义数据模型ＧＦＲＤＭ，它是一般模糊关系数据模型的推广，可用来描述现实世界较为普遍的模糊对象。已提出的各种模糊关系数据模型在某种条件下可看作为本模型的特例。文中引入了广义模糊关系的概念，讨论... 提出了模糊关系数据库的一种广义数据模型ＧＦＲＤＭ，它是一般模糊关系数据模型的推广，可用来描述现实世界较为普遍的模糊对象。已提出的各种模糊关系数据模型在某种条件下可看作为本模型的特例。文中引入了广义模糊关系的概念，讨论了广义模糊关系代数的操作：广义模糊并、广义模糊交、广义模糊差、广义模糊笛卡尔积、广义模糊投影和广义模糊选择等。广义模糊关系中不仅每一个元组具有模糊性，而且元组的属性值（精确值或模糊值）也具有模糊性（可信度），捕获了更多模糊数据的语义。广义模糊选择操作中允许用户自定义广义模糊比较运算以及指定阈限，从而增强了模糊查询的表达能力和灵活性。 展开更多
关键词 关系数据库 数据模型 模糊关系代数
在线阅读 下载PDF
射频仿真系统中多机系统的实时通信 被引量：3
12
作者 李俊 朱根才 《南京航空航天大学学报》 EI CAS CSCD 北大核心 1999年第2期232-238,共7页
射频仿真系统（ＲＦＳＳ）主要是用在实验室里模拟空中射频目标信号。本文提出并实现了一种应用于ＲＦＳＳ的多机实时通讯系统。该系统基于自行设计的异步并行通讯卡，采用树型分级拓扑结构，并开发了相应的实时通讯协议。为保证仿真的... 射频仿真系统（ＲＦＳＳ）主要是用在实验室里模拟空中射频目标信号。本文提出并实现了一种应用于ＲＦＳＳ的多机实时通讯系统。该系统基于自行设计的异步并行通讯卡，采用树型分级拓扑结构，并开发了相应的实时通讯协议。为保证仿真的逼真性，着重研究了如何保证通讯的实时性、可靠性这一关键技术，使系统具有效率高、工作可靠。 展开更多
关键词 实时仿真 多机系统 射频仿真系统 实时通信
在线阅读 下载PDF
管理信息系统灵活性的设计与实现 被引量：2
13
作者 万晖 顾其威 《南京航空航天大学学报》 EI CAS CSCD 北大核心 2000年第6期643-648,共6页
管理信息系统 (Management information system,MIS)的应用是现代企业发展壮大的必要手段。然而由于企业管理体制及模式的变化 ,不可避免地导致管理数据的内容和格式会发生变化 ,这就要求 MIS具有较高的通用性和灵活性 ,能够开放一些数... 管理信息系统 (Management information system,MIS)的应用是现代企业发展壮大的必要手段。然而由于企业管理体制及模式的变化 ,不可避免地导致管理数据的内容和格式会发生变化 ,这就要求 MIS具有较高的通用性和灵活性 ,能够开放一些数据结构和功能 ,由用户自己设计和定义。文中通过分析通用 MIS软件和定制 MIS软件的特性 ,提出了在开发 MIS时 ,通过系统结构数据化和系统数据用户化的方法 ,以及触发器机制的采用和连接代理函数的设计 ,实现以最小的代价获得最大的系统灵活性 。 展开更多
关键词 管理信息系统 数据管理 数据处理 数据库 MIS
在线阅读 下载PDF
一个C程序切片系统的设计与实现 被引量：1
14
作者 叶延风 林钧海 秦小麟 《南京航空航天大学学报》 CAS CSCD 1996年第4期505-510,共6页
针对Ｃ语言的特点，文中引入了Ｃ程序的一些重要概念，诸如数据依赖、控制依赖和程序依赖等。在分析Ｃ程序的程序依赖性的基础上，介绍了作者设计并实现的一个Ｃ程序切片系统，其中包括系统的概要设计思想，系统中使用的数据结构以及切... 针对Ｃ语言的特点，文中引入了Ｃ程序的一些重要概念，诸如数据依赖、控制依赖和程序依赖等。在分析Ｃ程序的程序依赖性的基础上，介绍了作者设计并实现的一个Ｃ程序切片系统，其中包括系统的概要设计思想，系统中使用的数据结构以及切片生成算法。Ｃ程序切片系统不仅可用于产生Ｃ程序的切片，而且可用于观察Ｃ程序的框架结构和有关变量的多种数据字典。所有这些结果，为Ｃ程序的测试、排错与维护提供许多有用的信息，对Ｃ程序的并行性检测、波动分析和复杂性度量提供有力的支持。 展开更多
关键词 软件工具 程序设计 数据结构 程序切片
在线阅读 下载PDF
双通道高速实时大容量数据采集存储系统 被引量：2
15
作者 汪立森 朱根才 《南京航空航天大学学报》 EI CAS CSCD 北大核心 1997年第2期242-247,共6页
研究了多通道高速实时大容量数据采集存储系统，采用ＦＩＦＯ和多微机、多硬盘阵列存储技术，实现了在每通道达２０ＭＨｚ采样速率的情况下，对Ｉ，Ｑ两个通道同时实时采集存储数据量达１０００Ｍｂｙｔｅ的高速实时大容量数据采集存储... 研究了多通道高速实时大容量数据采集存储系统，采用ＦＩＦＯ和多微机、多硬盘阵列存储技术，实现了在每通道达２０ＭＨｚ采样速率的情况下，对Ｉ，Ｑ两个通道同时实时采集存储数据量达１０００Ｍｂｙｔｅ的高速实时大容量数据采集存储系统。 展开更多
关键词 数据采集 数据存储 数据取样 雷达信号
在线阅读 下载PDF
MS 中的自然数系统 被引量：2
16
作者 张东摩 施庆生 +1 位作者 姜宁根 朱梧 《南京航空航天大学学报》 EI CAS CSCD 北大核心 1997年第2期179-184,共6页
首先给出了中介逻辑ＭＬ的二值子系统ＦＩ＊ＭＬ，说明了它与经典二值逻辑的子系统ＦＩ＊同构。其次，利用中介公理集合论ＭＳ的相关理论，构造了ＭＳ中的自然数系统，证明了Ｐｅａｎｏ５条公理为ＭＳ中的定理。最后指出以此五条性质为... 首先给出了中介逻辑ＭＬ的二值子系统ＦＩ＊ＭＬ，说明了它与经典二值逻辑的子系统ＦＩ＊同构。其次，利用中介公理集合论ＭＳ的相关理论，构造了ＭＳ中的自然数系统，证明了Ｐｅａｎｏ５条公理为ＭＳ中的定理。最后指出以此五条性质为公理，并以ＦＩ＊ＭＬ为配套逻辑，在ＭＳ中可推出自然数的所有性质。这表明Ｐｅａｎｏ自然数系统能在ＭＳ中产生，为最终证明精确性经典数学能奠基于ＭＳ提供了理论基础。 展开更多
关键词 数理逻辑 自然数系统 公理集合论 中介逻辑
在线阅读 下载PDF
一种半导体致冷／热模糊逻辑温度控制系统 被引量：2
17
作者 汪立森 朱根才 《南京航空航天大学学报》 CAS CSCD 1996年第4期572-575,共4页
介绍一种用ＭＣＳ－５１系列单片机汇编语言软件编程方法，实现用温度模糊逻辑控制算法构成的微波移相器和微波衰减器恒温控制器。在环境温度为－１０～４０℃范围内，温度设定值在１５℃时，该控制器控温精度达到±０．５℃。
关键词 模糊集 温度控制 半导体致冷堆 控制系统
在线阅读 下载PDF
中介时序逻辑系统MTL的模型论性质 被引量：2
18
作者 施庆生 朱梧檟 《南京航空航天大学学报》 EI CAS CSCD 1996年第6期800-805,共6页
时序逻辑作为一种把时间概念直接引入其形式系统的逻辑系统,它具有较强的表达能力,近年来在计算机科学领域获得了广泛的应用.基于中介逻辑对时序逻辑进行多值扩充,建立了一种中介时序逻辑系统MTL(Medium Temporal Logic).讨论了它的形... 时序逻辑作为一种把时间概念直接引入其形式系统的逻辑系统,它具有较强的表达能力,近年来在计算机科学领域获得了广泛的应用.基于中介逻辑对时序逻辑进行多值扩充,建立了一种中介时序逻辑系统MTL(Medium Temporal Logic).讨论了它的形式系统和语义解释,但未论及其完备性.本文对MTL系统作进一步的讨论.在一可传结构下,讨论了它的可传、连通和过滤等模型论性质,为进一步讨论MTL系统的完备性作了理论上的准备. 展开更多
关键词 逻辑系统 模型论 中介时序逻辑
在线阅读 下载PDF
Windows 平台上实现射频仿真系统的实时界面演示 被引量：1
19
作者 申雪峰 朱根才 《南京航空航天大学学报》 EI CAS CSCD 北大核心 1998年第1期111-116,共6页
描述了在Ｗｉｎｄｏｗｓ平台上实现射频仿真系统（ＲＦＳＳ）的界面演示方案，通过自行设计的１２位Ａ／Ｄ转换卡，对反映导引头偏转角大小的电压幅值进行Ａ／Ｄ转换，利用Ｗｉｎｄｏｗｓ提供的定时器，定时采集转换数据，更新界面。综... 描述了在Ｗｉｎｄｏｗｓ平台上实现射频仿真系统（ＲＦＳＳ）的界面演示方案，通过自行设计的１２位Ａ／Ｄ转换卡，对反映导引头偏转角大小的电压幅值进行Ａ／Ｄ转换，利用Ｗｉｎｄｏｗｓ提供的定时器，定时采集转换数据，更新界面。综合使用了位块传输动画法和实时动画法，较好地实现了界面演示的实时性和动画效果。 展开更多
关键词 仿真 模拟-数字转换 导引头 射频仿真 导弹 制导
在线阅读 下载PDF
中介公理集合论系统与经典公理集合论系统的关系——形式证明部分
20
作者 张东摩 施庆生 姜宁根 《南京航空航天大学学报》 EI CAS CSCD 北大核心 1997年第4期402-406,共5页
在中介公理集合论系统（ＭＳ）中重新定义了良集的概念，讨论了它的性质。证明良集完全满足经典公理集合论系统（ＺＦＣ－：ＺＦＣ系统中去掉正则公理）的全部公理，且其配套的逻辑系统恰为中介逻辑的二值子系统ＦＩ＊ＭＬ，说明整个经... 在中介公理集合论系统（ＭＳ）中重新定义了良集的概念，讨论了它的性质。证明良集完全满足经典公理集合论系统（ＺＦＣ－：ＺＦＣ系统中去掉正则公理）的全部公理，且其配套的逻辑系统恰为中介逻辑的二值子系统ＦＩ＊ＭＬ，说明整个经典数学也能奠基于ＭＳ之上，从而最终回答了中介数学与经典数学的包含关系问题。 展开更多
关键词 数理逻辑 集合论 中介公理集合论 良集
在线阅读 下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 2 … 5 下一页 到第 页
关于我们 | 版权声明 | 联系我们 | 帮助中心| 意见反馈
主办单位：上海市教育委员会
技术支持：重庆维普资讯有限公司
渝公网安备 50019002500403号
使用帮助 返回顶部