软件需求定义语言NDRDL

  总被引：7，自引：0，他引：7

ＮＤＲＤＬ语言是一种图形化的软件需求定义语言,用于书写软件需求定义,其特点是：形象直观,表达力强,实用性好,可靠性高。本文是该语言的试用文本。  相似文献

董丽君  费宗铭 《计算机科学》1995,22(5):45-53

面向对象程序设计的专家系统研究

  总被引：7，自引：0，他引：7

面向对象程序设计语言(OOP)的特点十分适宜于建造知识库专家系统。本文是在OOP的软件环境Smalltalk/v基础上联系土木工程结构抗震专题探讨建造专家系统过程中的知识表示、推理及人-机界面等关键问题的处理方法。  相似文献

陆伟民 《计算机科学》1990,17(5):67-70

软件安全性研究综述

  总被引：7，自引：2，他引：5

软件是安全性关键的软件密集型系统(比如综合航电系统)的一个重要安全因子,软件安全性已逐渐成为软件工程和安全工程交又领域的研究热点之一。对软件安全性的内涵与外延进行了剖析,给出了软件安全性定义。讨论了软件安全性的度量模型。着重从软件工程的视角对软件安全性的开发过程、设计方案、评估方… …   相似文献

樊晓光  褚文奎  张凤鸣 《计算机科学》2011,38(5):8-13

Trace 演算

下载全文  总被引：7，自引：4，他引：3

文章定义了基于踪迹(trace)的逻辑语言L_Trace,它是一阶线性时序逻辑语言的扩充,同时也是“对象演算”研究工作的基础.Trace演算所述的“对象”用来刻画具有内部状态和外部行为的动态实体,语法上由对象标记表示.对象标记Ω=(S,F,A,E)包含4个部分:数据类型S、函数F、属性A和动作E.Σ=(S,F)构成通常代数规范意义下的标记,可将动作看成一广义数据类型,从而得到标记Σ的动作扩充ΣE.对象标记的语义解释结构由关于标记ΣE的代数、映射和动作与踪迹的关系定义.ΣE-代数给出关于数据参数的解释;映射给出属性在动作踪迹中所取的值;而动作与踪迹的关系则给出执行一有限踪迹以后该动作是否允许执行.在定义了Trace演算的语法和语义之后,文章给出了Trace演算的公理系统及其可靠性证明.… …   相似文献

黄涛  钱军  倪彬 《软件学报》1999,10(8):790-799

企业MIS面向对象分析和实现

  总被引：7，自引：0，他引：7

This paper presents the idea of software reuse and object-oriented analysis technology and disscusses the development step of object-oriente… …   相似文献

张凤荔  周明天 《计算机科学》1999,26(6):75-77

WWW与数据库互连技术分析

  总被引：7，自引：0，他引：7

Ｉｎｅｒａｎｅｔ的发展为企业管理信息系统提出了新的要求和挑战,ＷＷＷ技术与传统关键数据库的互连成为其关键,这篇文章在分析其互连结构的基础之上,对两种互连方法ＣＧＬ和ＡＰＩ进行介绍了评价。  相似文献

郭戈  涂玉平 《小型微型计算机系统》1997,18(9):58-60

星上MF-TDMA系统信道管理方法

下载全文  总被引：7，自引：0，他引：7

MF-TDMA被广泛应用于现代宽带通信卫星系统的上行链路设计中,而时隙分配算法是系统资源利用率的重要保证。针对MF-TDMA时隙分配复杂,时隙资源浪费严重等难题,该文给出一种可动态调整载波信道的MF-TDMA系统时隙分配算法,算法将天基移动通信系统用户接入时隙分配问题分解为载波确… …   相似文献

董启甲  张军  张涛 《电子与信息学报》2009,31(10):2378-2384

一种新的用于语音主观质量评价的谱失真参数

下载全文  总被引：7，自引：0，他引：7

该文分析和讨论了各种语音主观质量评价的客观方法,提出了一种考虑了人耳的屏蔽效应,且正比于人耳听觉的Bark域谱失真参数PBSD(Perception-based Bark Spectral Distortion),用来映射语音的主观MOS分值。实验表明,基于该参数及其主客观映射关… …   相似文献

杨震  毕厚杰 《电子与信息学报》2001,23(7):669-676

通信网络宏观可靠性指标的全代数化算法

下载全文  总被引：7，自引：0，他引：7

为了更全面和客观地评价宽带大容量通信网络的可靠性能,引入宏观可靠性指标--总容量归一化加权可靠性指标概念,它是把通信容量和链路可靠性参数有机地综合在一起的指标.解决该指标全代数化计算的关键问题是寻找能够算出网络各节点之间全部路由的代数化路由算法.研究出一种逻辑代数化网络路由算法,… …   相似文献

戴伏生  毛兴鹏 《电子与信息学报》2005,27(8):1290-1294

量子密码中BB84协议的信息论研究

  总被引：7，自引：1，他引：6

本文在量子密码中首次引入量子测量信道的概念,并以此计算了量子保密通信中敌手所能获得的信息量,从而为佥者的安全通信和对敌手的检测提供理论依据和标准。  相似文献

曾贵华  诸鸿文  王新梅 《通信学报》2000,21(6):70-73

基于小波包变换的非高斯噪声信号结构分析

下载全文  总被引：7，自引：0，他引：7

该文利用小波包变换的时频局部分析能力,研究了非高斯分布平稳随机噪声的统计特性,揭示了 非高斯噪声信号的信号结构。在此基础上,将经典最优检测器的结论推广到背景噪声为非高斯分布的情况, 提出了一种基于小波包变换的非高斯噪声下的信号检测方法。仿真实验验证了该方法是正确的。  相似文献

向前  林春生  龚沈光 《电子与信息学报》2004,26(1):60-64

利用背景知识提高web语音浏览中的识别精度的方法

下载全文  总被引：7，自引：0，他引：7

语音识别的精度不够高一直是阻碍语音技术得以广泛应用的瓶颈,在具体的应用中充分利用背景知识是解决此问题的一种有效方法.在web语音浏览中,用户的语音输入为某个有限集的元素之一,本文利用这个特点,首先定义了一种文本字符串之间的相似度,利用相似度对识别引擎的识别结果进行后处理,进而给出… …   相似文献

李红莲  王春花  袁保宗 《电子学报》2002,30(12):1836-1839

基于EMD的齿轮故障识别研究

下载全文  总被引：7，自引：0，他引：7

EMD(Emirical Moe Decompoition)方法是一种自适应的信号分解方法,该文根据齿轮故障振动信号的特点,将EMD方法应用于齿轮故障诊断中。研究结果表明,EMD方法可以有效地提取齿轮故障振动信号的特征。  相似文献

程军圣  于德介  杨宇  邓乾旺  陈源 《电子与信息学报》2004,26(5):825-829

直方图均衡化的数学模型研究

下载全文  总被引：7，自引：0，他引：7

从图像最优对比度出发,提出直方图均衡化的一类最优化数学模型及其增强方法.针对线性规划求解基于最优对比度的图像增强法效率极低的不足,首先对传统直方图均衡化方法建立灰度级映射的最优化数学模型;其次提出了传统直方图均衡化的一种改进型灰度级映射最优化模型;最后探讨了灰度级映射最优化模型解… …   相似文献

吴成茂 《电子学报》2013,41(3):598

基于模糊故障特征信息的随机集度量信息融合诊断方法

下载全文  总被引：7，自引：0，他引：7

该文给出一种基于模糊故障特征信息随机集度量的信息融合诊断方法。针对信号采集与故障特征提取中的模糊性,首先用模糊隶属度函数分别表示故障档案库中的多种故障样板模式和从不同传感器观测中提取的多类故障特征亦即待检模式,进而基于模糊集的随机集模型,得到样板模式与待检模式的匹配度,即基本概率… …   相似文献

徐晓滨  文成林  王迎昌 《电子与信息学报》2009,31(7):1635-1640

MPSK信号的最大似然SNR估计方法

下载全文  总被引：7，自引：1，他引：6

该文利用最大似然准则分别推导了对于MPSK信号的数据辅助SNR估计方法、判决指向SNR估计方法和一种新的盲信噪比估计方法。文章对这些算法的性能进行了分析和计算机仿真,并与其它一些SNR估计算法进行了比较。分析和仿真的结果显示数据辅助的SNR方法性能优越,很好地符合了信噪比估计性能… …   相似文献

许华  郑辉 《电子与信息学报》2005,27(4):527-531

具有特征排序功能的鲁棒性模糊聚类方法

下载全文  总被引：7，自引：0，他引：7

提出了一种加权模糊聚类算法, 其优势在于能在实现有效聚类的同时, 对样本噪音进行识别和按样本特征对聚类的贡献程度进行排序. 因此, 本文所提出的方法具有鲁棒性, 并可对所得的特征排序进行特征选择, 实验结果表明了该方法具有上述优势.  相似文献

皋军  王士同 《自动化学报》2009,35(2):145-153

一种基于似然BP的网络安全态势预测方法

  总被引：7，自引：0，他引：7

态势预测是网络安全态势感知的高级阶段.为了解决依赖于专家赋予权值、缺乏自学习的态势数据处理方法在复杂网络系统中的局限,提出了一种基于似然BP的网络安全态势预测方法,将BP神经网络引入态势预测领域,并用极大似然误差函数代替传统的误差函数,通过态势评估模型建立的态势序列作为训练输入序… …   相似文献

唐成华  余顺争 《计算机科学》2009,36(11):97-100

大中城市公交线路查询的数据结构及其算法的实现

下载全文  总被引：7，自引：1，他引：6

给出了公交线路查询的数据结构.可以进行N次换乘的线路查询.利用动态SQL查询技术,在数据库SQLServer中,给出了一个优化实现的公交线路查询的实例,并求出了整个线路网络的换乘次数上确界.  相似文献

王世祥  饶维亚 《计算机系统应用》2007,16(9):63-67

基于系统调用和齐次Markov链模型的程序行为异常检测

  总被引：7，自引：0，他引：7

异常检测是目前入侵检测领域研究的热点内容.提出一种新的基于系统调用和Markov链模型的程序行为异常检测方法,该方法利用一阶齐次Markov链对主机系统中特权程序的正常行为进行建模,将Markov链的状态同特权程序运行时所产生的系统调用联系在一起,并引入一个附加状态;Markov… …   相似文献

田新广  高立志  孙春来  张尔扬 《计算机研究与发展》2007,44(9):1538-1544