期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
75
篇文章
<
1
2
…
4
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
非相似余度计算机系统及其可靠性分析
被引量:
4
1
作者
臧红伟
韩炜
《航空计算技术》
2003年第1期112-115,共4页
在许多应用领域如民用运输机的飞行控制系统、铁路交通信号控制等,对计算机控制的可靠性都提出了极高的要求。本文详细介绍了一个非相似余度计算机系统(NVFT)结构,同时应用一种简化的马尔可夫模型对其可靠性进行了分析。
关键词
非相似余度
容错计算机
可靠性
马尔可夫模型
在线阅读
下载PDF
职称材料
叶栅风洞计算机测控系统
2
作者
张森社
赵旭民
+1 位作者
危建国
张隽
《航空计算技术》
2000年第3期39-41,共3页
介绍了以工控机为核心的叶栅风洞测控系统 ,通过计算机对叶栅风洞实验参数的检测和控制 ,使叶栅风洞试验系统的性能得到显著提高。
关键词
数据采集
风洞
计算机测控系统
叶栅
试验
在线阅读
下载PDF
职称材料
一种双行阵列蛀孔式超并行计算机系统结构
被引量:
4
3
作者
康继昌
洪远麟
+1 位作者
朱怡安
苗克坚
《航空计算技术》
1993年第1期8-15,共8页
本文在介绍蛀孔式通信技术的基础上,提出了一种双行阵列蛀孔互连的超并行机系统结构,可兼有信道并行和全互连的优点。
关键词
系统结构
并行计算机
通信
全文增补中
某导航计算机系统的设计与实现
被引量:
2
4
作者
董宪军
黄韬
+1 位作者
高睿华
温会锋
《航空计算技术》
2004年第3期105-107,共3页
从某导航计算机系统硬件及软件的设计与实现方面,描述它的原理。重点从硬件设计与实现方面做出了阐述,对各模块内部的硬件设计与实现及各模块之间的硬件交连关系做出了详细的阐述和探讨。从而为某导航计算机系统的进一步改进和完善做了...
从某导航计算机系统硬件及软件的设计与实现方面,描述它的原理。重点从硬件设计与实现方面做出了阐述,对各模块内部的硬件设计与实现及各模块之间的硬件交连关系做出了详细的阐述和探讨。从而为某导航计算机系统的进一步改进和完善做了有益的铺垫。
展开更多
关键词
可视化
辅助导航
航线控制
信息处理机
控制显示器
GPS
在线阅读
下载PDF
职称材料
基于广播共享存贮器的并行计算机EP—860的研究与实现
5
作者
朱怡安
谢澎
康继昌
《微电子学与计算机》
CSCD
北大核心
1996年第4期51-54,共4页
本文介绍了一种新型的并行计算机系统EP—860。由于它采用了独特的广播共享存贮器技术,使得整个系统兼顾有着松散耦合和紧密耦合两种系统的优点。系统扩展性好,便于用户编程。用户编程时只需将共享变量放到广播共享存贮器中,用...
本文介绍了一种新型的并行计算机系统EP—860。由于它采用了独特的广播共享存贮器技术,使得整个系统兼顾有着松散耦合和紧密耦合两种系统的优点。系统扩展性好,便于用户编程。用户编程时只需将共享变量放到广播共享存贮器中,用访存指令即可实现通信,无需专门的通信命令。此外,本系统还具有结构简单,便于实现,经济实用等优点。
展开更多
关键词
并行计算机
广播共享存储器
并行编程
在线阅读
下载PDF
职称材料
计算机组成原理实验的开发和提高
被引量:
1
6
作者
姬亚利
《现代电子技术》
1996年第3期37-39,共3页
计算机组成原理实验中较复杂的实验如数据通路、微程序控制器、CPU取指令执行等实验.为了达到实验要求通过多年教学实践作了改进与提高,取得了预期效果。
关键词
计算机组成原理
计算机课程
实验教学
在线阅读
下载PDF
职称材料
i860+T805:一种并行计算机异种机节点结构
7
作者
谢澎
朱怡安
康继昌
《微电子学与计算机》
CSCD
北大核心
1996年第1期41-43,47,共4页
i860和TransputerT805是两种著名的高性能微处理机芯片,在许多分布存储器的并行计算机系统中,它们被广泛用做节点处理机,本文针对i860和T805两种芯片各自的特点,提出一种异种机混合结构的并行机节点设计...
i860和TransputerT805是两种著名的高性能微处理机芯片,在许多分布存储器的并行计算机系统中,它们被广泛用做节点处理机,本文针对i860和T805两种芯片各自的特点,提出一种异种机混合结构的并行机节点设计,即每节点由一个i860加上一个T805构成。在为国防科委承担八·五预研课题“并行处理技术研究”而研制的样机PAR95中,我们采用了这种设计方案,证明这是一种比较合理的设计。本文主要介绍异种机耦合方式的选择及caching一致性的解决等问题。
展开更多
关键词
并行计算机
i860芯片
T805芯片
异种机
系统结构
在线阅读
下载PDF
职称材料
PD-100并行仿真计算机硬件测试
8
作者
肖丽
康继昌
洪远麟
《航空计算技术》
1991年第4期1-7,共7页
PD-100是同构型的并行仿真计算机,它采用点对点通讯方式传输信息的松散藕合结构。PD-100包含有17个 T800 Transputer,每个 T800配有其IM 局部存储器(Root T800带2MB),具有积木化、模块化分层结构,便于扩展升级。图1为 PD-100的基本结构图。
关键词
计算机
仿真机
硬件
测试技术
全文增补中
分布式系统研究进展
被引量:
9
9
作者
房鼎益
周兴社
康继昌
《微电子学与计算机》
CSCD
北大核心
2000年第6期9-15,共7页
分布式操作系统与分布式系统环境是实现分布处理的二种主要基础软件系统。由于其设计方法上的差异,它们在最终用户面前展现出不同的特性。设计者如何设计出满足不同用户需求的分布式操作系统或分布式系统环境,是值得研究的重要问题。...
分布式操作系统与分布式系统环境是实现分布处理的二种主要基础软件系统。由于其设计方法上的差异,它们在最终用户面前展现出不同的特性。设计者如何设计出满足不同用户需求的分布式操作系统或分布式系统环境,是值得研究的重要问题。文章从设计目标、系统结构及实现技术等方面对这二种系统进行概括的分析,并从互操作性、透明性和延展性等几方面对这二种系统进行较全面的比较。
展开更多
关键词
分布式操作系统
分布式系统环境
互操作性
计算机
在线阅读
下载PDF
职称材料
MMail系统的设计与实现
被引量:
1
10
作者
王丽芳
蒋泽军
齐承军
《微电子学与计算机》
CSCD
北大核心
1998年第5期9-12,16,共5页
本文介绍了多媒体电子邮件(MMail)系统的实现方案。MMail系统是依照CCITTX400标准设计的,并在Windows环境下,以客户机/服务器结构的网络为基础开发而成。系统具有X400规定的用户代理(UA)和...
本文介绍了多媒体电子邮件(MMail)系统的实现方案。MMail系统是依照CCITTX400标准设计的,并在Windows环境下,以客户机/服务器结构的网络为基础开发而成。系统具有X400规定的用户代理(UA)和信报传递系统(MTS)的大部分功能,并已经在Novel网络中实际运行。由于MMail系统以文件传送为基础,不依赖于任何网络协议,因而可以方便地移植到其它网络中,也可以方便地与其它E-Mail互连。
展开更多
关键词
MMail系统
电子邮件
多媒体
计算机网络
在线阅读
下载PDF
职称材料
UNIX文件系统实时化的实现
被引量:
1
11
作者
谷建华
朱庆九
王鹏
《微电子学与计算机》
CSCD
北大核心
1995年第5期10-12,共3页
本文介绍了对UNIXSVR4S5文件系统的实时化改造,着重描述了实时化的实现,并对改造后的操作系统RT—UNIX的文件系统进行了功能、性能上的测试和评估。
关键词
UNIX
操作系统
文件系统
实时化
在线阅读
下载PDF
职称材料
网络型CAI系统的研究与实现
被引量:
4
12
作者
杨志义
《微电子学与计算机》
CSCD
北大核心
1996年第5期30-32,共3页
计算机用于教育,便产生了计算机辅助教学(CAI)。本文以实例介绍网络型计算机辅助教学系统的研究与实现以及它对教学改革所起的作用。
关键词
CAI
课件
网络型
在线阅读
下载PDF
职称材料
远程通信铁路机车运用状态实时监测系统的研究
被引量:
2
13
作者
彭英慧
梁晋
王备战
《石家庄铁道学院学报》
2005年第4期66-69,共4页
铁路机车运用状态实时监测系统将机车的运行信息、故障信息及机车的参数信息通过远程移动通信技术直接传输到地面监测系统,解决了长期以来铁路地面无法实时采集机车数据的问题,从而实现了对机车的远程实时监测。利用电子地图技术实现对...
铁路机车运用状态实时监测系统将机车的运行信息、故障信息及机车的参数信息通过远程移动通信技术直接传输到地面监测系统,解决了长期以来铁路地面无法实时采集机车数据的问题,从而实现了对机车的远程实时监测。利用电子地图技术实现对运行机车自动跟踪、定位、轨迹实时显示;采用故障诊断专家系统设计思想对实时故障进行诊断处理、指导司机操作,确保行车安全;对机车参数信息进行存储、分析、汇总,为机车操纵人员和维修人员提供决策依据,为状态修提供原始数据。主要阐述了系统的总体架构及各模块的设计思想,可以为其他远程监测系统提供很好的解决方案。
展开更多
关键词
卫星通信
GIS
故障诊断
远程监测
在线阅读
下载PDF
职称材料
智能化地震震源同步系统的数据编码与其接收方法
被引量:
1
14
作者
吕养天
《现代电子技术》
1996年第2期30-32,共3页
文中主要讨论一种适用于无线或有线通信的数据编码及其接收方法。
关键词
地震震源
同步系统
数据编码
数据接收
计算机
在线阅读
下载PDF
职称材料
基于线性规划的不确定系统参数及其边界的辨识方法
15
作者
杨益军
吴旭光
《电光与控制》
北大核心
1999年第2期49-53,共5页
一般的辨识方法都是求系统参数的点估计。但是在鲁棒控制、鲁棒自适应控制中,不但要知道系统的标称模型,而且要求得到系统参数的不确定性区间估计^(1)。本文提出了一种用线性规划法求得系统参数不确定性间隔的方法。这种方法可以...
一般的辨识方法都是求系统参数的点估计。但是在鲁棒控制、鲁棒自适应控制中,不但要知道系统的标称模型,而且要求得到系统参数的不确定性区间估计^(1)。本文提出了一种用线性规划法求得系统参数不确定性间隔的方法。这种方法可以用于UBBE(Unknown But Bounded Error)系统中。该算法不但可以提高估计的精度,而且还可以给出参数的不确定性边界,从而方便了鲁棒控制系统的设计。
展开更多
关键词
不确定区间
线性规划
UBBE系统
自动控制
辨识
在线阅读
下载PDF
职称材料
机动性对分布计算的影响
16
作者
李伟华
王秋让
《微电子学与计算机》
CSCD
北大核心
1995年第4期52-54,共3页
本文首先讨论了将机动宿主引入静态网络之后所出现的一系列新问题,提出了一个机动计算环境的系统模型,接着考察了宿主的机动性和机动宿主的物理特性对分布算法设计的影响,文章最后粗略地讨论了在此模型下如何设计分布算法。
关键词
静态网络
机动性
分布计算
分布式计算机
在线阅读
下载PDF
职称材料
微机原理试题库管理系统的实现
17
作者
秦晓红
史新福
冯萍
《现代电子技术》
2000年第10期88-90,共3页
介绍一种试题库系统的功能和实现方法 ,该系统在Windows98下 ,以VB6.0作为开发平台,利用Access作为数据库实现 ,解决了题库组织与管理、题型难度匹配、试题自动生成和图文同时输出等问题。
关键词
微机原理试题库
管理系统
VB
ACCESS
在线阅读
下载PDF
职称材料
粗集理论中的相容关系
18
作者
祝峰
《华侨大学学报(自然科学版)》
CAS
2001年第2期217-220,共4页
粗集通常是由等价关系来定义的 ,相容关系是对标准粗集理论拓广的一种方法 .文中主要讨论相容关系的计数问题和代数结构问题 .
关键词
相容关系
格
布尔代数
粗集理论
在线阅读
下载PDF
职称材料
一种基于时态逻辑的有限状态系统验证方法
被引量:
2
19
作者
杜慧敏
杨红丽
+1 位作者
高德远
韩俊刚
《西北工业大学学报》
EI
CAS
CSCD
北大核心
2000年第1期111-115,共5页
LPTL ( Linear Proposition Temporal Logic)与自动机之间有着紧密的联系 ,结合 LPTL语义和语法 ,提出一种从 LPTL公式导出 Büchi自动机的方法。导出的 Büchi自动机所接受的语言准确地表达了 LPTL公式所描述的特性。从而把由 ...
LPTL ( Linear Proposition Temporal Logic)与自动机之间有着紧密的联系 ,结合 LPTL语义和语法 ,提出一种从 LPTL公式导出 Büchi自动机的方法。导出的 Büchi自动机所接受的语言准确地表达了 LPTL公式所描述的特性。从而把由 LPTL公式描述的系统设计规范的验证问题转换成检验 Büchi自动机的包含问题。
展开更多
关键词
命题时态逻辑
形式化验证
有限状态系统
自动机
在线阅读
下载PDF
职称材料
UNIX SVR4 S5文件系统实时性分析
20
作者
朱庆九
谷建华
王鹏
《微电子学与计算机》
CSCD
北大核心
1995年第4期42-44,共3页
本文在深入剖析AT&.TUNIXSVR4的SS文件系统核心源代码的基础上,分析SS的实时性,找出影响其实时性能的症结所在,并根据有关UNIX实时扩展的国际标准提出了实时化改造的设计思想。
关键词
UNIX
操作系统
实时任务
文件系统
在线阅读
下载PDF
职称材料
题名
非相似余度计算机系统及其可靠性分析
被引量:
4
1
作者
臧红伟
韩炜
机构
西北工业大学计算机系
中国航空
计算
技术研究所
出处
《航空计算技术》
2003年第1期112-115,共4页
文摘
在许多应用领域如民用运输机的飞行控制系统、铁路交通信号控制等,对计算机控制的可靠性都提出了极高的要求。本文详细介绍了一个非相似余度计算机系统(NVFT)结构,同时应用一种简化的马尔可夫模型对其可靠性进行了分析。
关键词
非相似余度
容错计算机
可靠性
马尔可夫模型
Keywords
dissimilar redundancy
fault tolerant computer
reliability
markov
process model
分类号
TP302.8 [自动化与计算机技术—计算机系统结构]
在线阅读
下载PDF
职称材料
题名
叶栅风洞计算机测控系统
2
作者
张森社
赵旭民
危建国
张隽
机构
西北工业大学计算机系
西北工业大学
航空动力与热力工程
系
出处
《航空计算技术》
2000年第3期39-41,共3页
文摘
介绍了以工控机为核心的叶栅风洞测控系统 ,通过计算机对叶栅风洞实验参数的检测和控制 ,使叶栅风洞试验系统的性能得到显著提高。
关键词
数据采集
风洞
计算机测控系统
叶栅
试验
Keywords
mach number
pressure detection
switch gate
data acquisition
分类号
V211.74 [航空宇航科学与技术—航空宇航推进理论与工程]
V232.4 [航空宇航科学与技术—航空宇航推进理论与工程]
在线阅读
下载PDF
职称材料
题名
一种双行阵列蛀孔式超并行计算机系统结构
被引量:
4
3
作者
康继昌
洪远麟
朱怡安
苗克坚
机构
西北工业大学计算机系
出处
《航空计算技术》
1993年第1期8-15,共8页
文摘
本文在介绍蛀孔式通信技术的基础上,提出了一种双行阵列蛀孔互连的超并行机系统结构,可兼有信道并行和全互连的优点。
关键词
系统结构
并行计算机
通信
分类号
TP338.6 [自动化与计算机技术—计算机系统结构]
全文增补中
题名
某导航计算机系统的设计与实现
被引量:
2
4
作者
董宪军
黄韬
高睿华
温会锋
机构
驻中国航空
计算
技术研究所军事代表室
西北工业大学计算机系
中国航空
计算
技术研究所
出处
《航空计算技术》
2004年第3期105-107,共3页
文摘
从某导航计算机系统硬件及软件的设计与实现方面,描述它的原理。重点从硬件设计与实现方面做出了阐述,对各模块内部的硬件设计与实现及各模块之间的硬件交连关系做出了详细的阐述和探讨。从而为某导航计算机系统的进一步改进和完善做了有益的铺垫。
关键词
可视化
辅助导航
航线控制
信息处理机
控制显示器
GPS
Keywords
visualization
assistant navigation
lane controlling
information processing machine
controllable screen
GPS
分类号
TP273.5 [自动化与计算机技术—检测技术与自动化装置]
在线阅读
下载PDF
职称材料
题名
基于广播共享存贮器的并行计算机EP—860的研究与实现
5
作者
朱怡安
谢澎
康继昌
机构
西北工业大学计算机系
出处
《微电子学与计算机》
CSCD
北大核心
1996年第4期51-54,共4页
基金
国家"八五"预研项目
航空科学基金
文摘
本文介绍了一种新型的并行计算机系统EP—860。由于它采用了独特的广播共享存贮器技术,使得整个系统兼顾有着松散耦合和紧密耦合两种系统的优点。系统扩展性好,便于用户编程。用户编程时只需将共享变量放到广播共享存贮器中,用访存指令即可实现通信,无需专门的通信命令。此外,本系统还具有结构简单,便于实现,经济实用等优点。
关键词
并行计算机
广播共享存储器
并行编程
Keywords
Parallel computer
Broadcasting shared-memory
Parallel programming
Scalability
分类号
TP338.6 [自动化与计算机技术—计算机系统结构]
在线阅读
下载PDF
职称材料
题名
计算机组成原理实验的开发和提高
被引量:
1
6
作者
姬亚利
机构
西北工业大学
计算机
科学
系
出处
《现代电子技术》
1996年第3期37-39,共3页
文摘
计算机组成原理实验中较复杂的实验如数据通路、微程序控制器、CPU取指令执行等实验.为了达到实验要求通过多年教学实践作了改进与提高,取得了预期效果。
关键词
计算机组成原理
计算机课程
实验教学
分类号
TP3-4 [自动化与计算机技术—计算机科学与技术]
在线阅读
下载PDF
职称材料
题名
i860+T805:一种并行计算机异种机节点结构
7
作者
谢澎
朱怡安
康继昌
机构
西北工业大学计算机系
出处
《微电子学与计算机》
CSCD
北大核心
1996年第1期41-43,47,共4页
基金
国防科委八.五预研课题
文摘
i860和TransputerT805是两种著名的高性能微处理机芯片,在许多分布存储器的并行计算机系统中,它们被广泛用做节点处理机,本文针对i860和T805两种芯片各自的特点,提出一种异种机混合结构的并行机节点设计,即每节点由一个i860加上一个T805构成。在为国防科委承担八·五预研课题“并行处理技术研究”而研制的样机PAR95中,我们采用了这种设计方案,证明这是一种比较合理的设计。本文主要介绍异种机耦合方式的选择及caching一致性的解决等问题。
关键词
并行计算机
i860芯片
T805芯片
异种机
系统结构
Keywords
Parallel processing,i860 microprocessor,Transputer
分类号
TP338.603 [自动化与计算机技术—计算机系统结构]
在线阅读
下载PDF
职称材料
题名
PD-100并行仿真计算机硬件测试
8
作者
肖丽
康继昌
洪远麟
机构
西北工业大学计算机系
出处
《航空计算技术》
1991年第4期1-7,共7页
文摘
PD-100是同构型的并行仿真计算机,它采用点对点通讯方式传输信息的松散藕合结构。PD-100包含有17个 T800 Transputer,每个 T800配有其IM 局部存储器(Root T800带2MB),具有积木化、模块化分层结构,便于扩展升级。图1为 PD-100的基本结构图。
关键词
计算机
仿真机
硬件
测试技术
分类号
TP391.9 [自动化与计算机技术—计算机应用技术]
全文增补中
题名
分布式系统研究进展
被引量:
9
9
作者
房鼎益
周兴社
康继昌
机构
西北工业大学
计算机
科学
系
出处
《微电子学与计算机》
CSCD
北大核心
2000年第6期9-15,共7页
基金
国家自然科学基金
陕西省教委专项基金资助项目
文摘
分布式操作系统与分布式系统环境是实现分布处理的二种主要基础软件系统。由于其设计方法上的差异,它们在最终用户面前展现出不同的特性。设计者如何设计出满足不同用户需求的分布式操作系统或分布式系统环境,是值得研究的重要问题。文章从设计目标、系统结构及实现技术等方面对这二种系统进行概括的分析,并从互操作性、透明性和延展性等几方面对这二种系统进行较全面的比较。
关键词
分布式操作系统
分布式系统环境
互操作性
计算机
Keywords
Distributed operating systems, Distributed system environment,System architecture,Interoperabilit0
分类号
TP316.4 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
MMail系统的设计与实现
被引量:
1
10
作者
王丽芳
蒋泽军
齐承军
机构
西北工业大学计算机系
出处
《微电子学与计算机》
CSCD
北大核心
1998年第5期9-12,16,共5页
文摘
本文介绍了多媒体电子邮件(MMail)系统的实现方案。MMail系统是依照CCITTX400标准设计的,并在Windows环境下,以客户机/服务器结构的网络为基础开发而成。系统具有X400规定的用户代理(UA)和信报传递系统(MTS)的大部分功能,并已经在Novel网络中实际运行。由于MMail系统以文件传送为基础,不依赖于任何网络协议,因而可以方便地移植到其它网络中,也可以方便地与其它E-Mail互连。
关键词
MMail系统
电子邮件
多媒体
计算机网络
Keywords
Multimedia,E-Mail,Computer network,Client/Server,MMail system
分类号
TP393 [自动化与计算机技术—计算机应用技术]
TP391 [自动化与计算机技术—计算机应用技术]
在线阅读
下载PDF
职称材料
题名
UNIX文件系统实时化的实现
被引量:
1
11
作者
谷建华
朱庆九
王鹏
机构
西北工业大学计算机系
出处
《微电子学与计算机》
CSCD
北大核心
1995年第5期10-12,共3页
基金
航空科学技术基金
文摘
本文介绍了对UNIXSVR4S5文件系统的实时化改造,着重描述了实时化的实现,并对改造后的操作系统RT—UNIX的文件系统进行了功能、性能上的测试和评估。
关键词
UNIX
操作系统
文件系统
实时化
Keywords
UNIX, Real time process,Continuous file, File preallocation
分类号
TP316 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
网络型CAI系统的研究与实现
被引量:
4
12
作者
杨志义
机构
西北工业大学计算机系
出处
《微电子学与计算机》
CSCD
北大核心
1996年第5期30-32,共3页
文摘
计算机用于教育,便产生了计算机辅助教学(CAI)。本文以实例介绍网络型计算机辅助教学系统的研究与实现以及它对教学改革所起的作用。
关键词
CAI
课件
网络型
Keywords
CAI, Curriculum software,CATV, Network
分类号
G434 [文化科学—教育技术学]
在线阅读
下载PDF
职称材料
题名
远程通信铁路机车运用状态实时监测系统的研究
被引量:
2
13
作者
彭英慧
梁晋
王备战
机构
西北工业大学
软件学院
西安交通
大学
信息机电研究所
西北工业大学计算机系
出处
《石家庄铁道学院学报》
2005年第4期66-69,共4页
基金
郑州铁路局科技发展计划处项目(03J33)
文摘
铁路机车运用状态实时监测系统将机车的运行信息、故障信息及机车的参数信息通过远程移动通信技术直接传输到地面监测系统,解决了长期以来铁路地面无法实时采集机车数据的问题,从而实现了对机车的远程实时监测。利用电子地图技术实现对运行机车自动跟踪、定位、轨迹实时显示;采用故障诊断专家系统设计思想对实时故障进行诊断处理、指导司机操作,确保行车安全;对机车参数信息进行存储、分析、汇总,为机车操纵人员和维修人员提供决策依据,为状态修提供原始数据。主要阐述了系统的总体架构及各模块的设计思想,可以为其他远程监测系统提供很好的解决方案。
关键词
卫星通信
GIS
故障诊断
远程监测
Keywords
satellite communication
GIS
fault diagnosis
remote monitoring
分类号
TP393 [自动化与计算机技术—计算机应用技术]
在线阅读
下载PDF
职称材料
题名
智能化地震震源同步系统的数据编码与其接收方法
被引量:
1
14
作者
吕养天
机构
西北工业大学计算机系
出处
《现代电子技术》
1996年第2期30-32,共3页
文摘
文中主要讨论一种适用于无线或有线通信的数据编码及其接收方法。
关键词
地震震源
同步系统
数据编码
数据接收
计算机
分类号
P631.437 [天文地球—地质矿产勘探]
在线阅读
下载PDF
职称材料
题名
基于线性规划的不确定系统参数及其边界的辨识方法
15
作者
杨益军
吴旭光
机构
西北工业大学计算机系
出处
《电光与控制》
北大核心
1999年第2期49-53,共5页
文摘
一般的辨识方法都是求系统参数的点估计。但是在鲁棒控制、鲁棒自适应控制中,不但要知道系统的标称模型,而且要求得到系统参数的不确定性区间估计^(1)。本文提出了一种用线性规划法求得系统参数不确定性间隔的方法。这种方法可以用于UBBE(Unknown But Bounded Error)系统中。该算法不但可以提高估计的精度,而且还可以给出参数的不确定性边界,从而方便了鲁棒控制系统的设计。
关键词
不确定区间
线性规划
UBBE系统
自动控制
辨识
分类号
TP13 [自动化与计算机技术—控制理论与控制工程]
在线阅读
下载PDF
职称材料
题名
机动性对分布计算的影响
16
作者
李伟华
王秋让
机构
西北工业大学计算机系
出处
《微电子学与计算机》
CSCD
北大核心
1995年第4期52-54,共3页
文摘
本文首先讨论了将机动宿主引入静态网络之后所出现的一系列新问题,提出了一个机动计算环境的系统模型,接着考察了宿主的机动性和机动宿主的物理特性对分布算法设计的影响,文章最后粗略地讨论了在此模型下如何设计分布算法。
关键词
静态网络
机动性
分布计算
分布式计算机
Keywords
Static network, Mobility,Hosts,Distributed computation
分类号
TP338.8 [自动化与计算机技术—计算机系统结构]
在线阅读
下载PDF
职称材料
题名
微机原理试题库管理系统的实现
17
作者
秦晓红
史新福
冯萍
机构
西北工业大学计算机系
出处
《现代电子技术》
2000年第10期88-90,共3页
文摘
介绍一种试题库系统的功能和实现方法 ,该系统在Windows98下 ,以VB6.0作为开发平台,利用Access作为数据库实现 ,解决了题库组织与管理、题型难度匹配、试题自动生成和图文同时输出等问题。
关键词
微机原理试题库
管理系统
VB
ACCESS
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
粗集理论中的相容关系
18
作者
祝峰
机构
西北工业大学计算机系
出处
《华侨大学学报(自然科学版)》
CAS
2001年第2期217-220,共4页
基金
国家教育部博士点基金
陕西省自然科学基金
文摘
粗集通常是由等价关系来定义的 ,相容关系是对标准粗集理论拓广的一种方法 .文中主要讨论相容关系的计数问题和代数结构问题 .
关键词
相容关系
格
布尔代数
粗集理论
Keywords
rough set, relation, consistency relation, lattice, Boolean algebra
分类号
O153.2 [理学—基础数学]
在线阅读
下载PDF
职称材料
题名
一种基于时态逻辑的有限状态系统验证方法
被引量:
2
19
作者
杜慧敏
杨红丽
高德远
韩俊刚
机构
西北工业大学
计算机
科学
系
西安邮电学院
计算机
系
出处
《西北工业大学学报》
EI
CAS
CSCD
北大核心
2000年第1期111-115,共5页
基金
国家自然科学基金!694 73 0 17
文摘
LPTL ( Linear Proposition Temporal Logic)与自动机之间有着紧密的联系 ,结合 LPTL语义和语法 ,提出一种从 LPTL公式导出 Büchi自动机的方法。导出的 Büchi自动机所接受的语言准确地表达了 LPTL公式所描述的特性。从而把由 LPTL公式描述的系统设计规范的验证问题转换成检验 Büchi自动机的包含问题。
关键词
命题时态逻辑
形式化验证
有限状态系统
自动机
Keywords
Büchi automata
linear proposition temporal logic (LPTL)
formal verification
分类号
TP301.1 [自动化与计算机技术—计算机系统结构]
在线阅读
下载PDF
职称材料
题名
UNIX SVR4 S5文件系统实时性分析
20
作者
朱庆九
谷建华
王鹏
机构
西北工业大学计算机系
出处
《微电子学与计算机》
CSCD
北大核心
1995年第4期42-44,共3页
文摘
本文在深入剖析AT&.TUNIXSVR4的SS文件系统核心源代码的基础上,分析SS的实时性,找出影响其实时性能的症结所在,并根据有关UNIX实时扩展的国际标准提出了实时化改造的设计思想。
关键词
UNIX
操作系统
实时任务
文件系统
Keywords
UNIX,Real time performance,Continuous file.File preallocation
分类号
TP316 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
非相似余度计算机系统及其可靠性分析
臧红伟
韩炜
《航空计算技术》
2003
4
在线阅读
下载PDF
职称材料
2
叶栅风洞计算机测控系统
张森社
赵旭民
危建国
张隽
《航空计算技术》
2000
0
在线阅读
下载PDF
职称材料
3
一种双行阵列蛀孔式超并行计算机系统结构
康继昌
洪远麟
朱怡安
苗克坚
《航空计算技术》
1993
4
全文增补中
4
某导航计算机系统的设计与实现
董宪军
黄韬
高睿华
温会锋
《航空计算技术》
2004
2
在线阅读
下载PDF
职称材料
5
基于广播共享存贮器的并行计算机EP—860的研究与实现
朱怡安
谢澎
康继昌
《微电子学与计算机》
CSCD
北大核心
1996
0
在线阅读
下载PDF
职称材料
6
计算机组成原理实验的开发和提高
姬亚利
《现代电子技术》
1996
1
在线阅读
下载PDF
职称材料
7
i860+T805:一种并行计算机异种机节点结构
谢澎
朱怡安
康继昌
《微电子学与计算机》
CSCD
北大核心
1996
0
在线阅读
下载PDF
职称材料
8
PD-100并行仿真计算机硬件测试
肖丽
康继昌
洪远麟
《航空计算技术》
1991
0
全文增补中
9
分布式系统研究进展
房鼎益
周兴社
康继昌
《微电子学与计算机》
CSCD
北大核心
2000
9
在线阅读
下载PDF
职称材料
10
MMail系统的设计与实现
王丽芳
蒋泽军
齐承军
《微电子学与计算机》
CSCD
北大核心
1998
1
在线阅读
下载PDF
职称材料
11
UNIX文件系统实时化的实现
谷建华
朱庆九
王鹏
《微电子学与计算机》
CSCD
北大核心
1995
1
在线阅读
下载PDF
职称材料
12
网络型CAI系统的研究与实现
杨志义
《微电子学与计算机》
CSCD
北大核心
1996
4
在线阅读
下载PDF
职称材料
13
远程通信铁路机车运用状态实时监测系统的研究
彭英慧
梁晋
王备战
《石家庄铁道学院学报》
2005
2
在线阅读
下载PDF
职称材料
14
智能化地震震源同步系统的数据编码与其接收方法
吕养天
《现代电子技术》
1996
1
在线阅读
下载PDF
职称材料
15
基于线性规划的不确定系统参数及其边界的辨识方法
杨益军
吴旭光
《电光与控制》
北大核心
1999
0
在线阅读
下载PDF
职称材料
16
机动性对分布计算的影响
李伟华
王秋让
《微电子学与计算机》
CSCD
北大核心
1995
0
在线阅读
下载PDF
职称材料
17
微机原理试题库管理系统的实现
秦晓红
史新福
冯萍
《现代电子技术》
2000
0
在线阅读
下载PDF
职称材料
18
粗集理论中的相容关系
祝峰
《华侨大学学报(自然科学版)》
CAS
2001
0
在线阅读
下载PDF
职称材料
19
一种基于时态逻辑的有限状态系统验证方法
杜慧敏
杨红丽
高德远
韩俊刚
《西北工业大学学报》
EI
CAS
CSCD
北大核心
2000
2
在线阅读
下载PDF
职称材料
20
UNIX SVR4 S5文件系统实时性分析
朱庆九
谷建华
王鹏
《微电子学与计算机》
CSCD
北大核心
1995
0
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
2
…
4
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部