基于模型驱动的航电系统安全性分析技术研究

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

针对综合化航空电子系统安全性分析存在的失效模式完备性和动态失效问题以及数据一致性问题,将航电系统分为3个层次:应用操作层、功能层和资源层,采用形式化方法分别对每个层次进行建模,利用模型转换技术实现3个层次之间的语义转换,确保语义的一致性。利用Event-B语言对系统应用操作和功能… …   相似文献

谷青范  王国庆  张丽花  翟鸣 《计算机科学》2015,42(3):124-127, 143

前进中的浙江大学CAD＆CG国家重点实验室

下载全文  

前进中的浙江大学ＣＡＤ＆ＣＧ国家重点实验室１９９４年１２月２２日国家计委在北京召开了国家重点实验室十周年总结表彰大会,浙江大学ＣＡＤｈｏＧ（计算机辅助设计和图形学）国家重点实验室获先进集体金牛奖,实验室彭群生教授获先进个人金牛奖,实验室主任石教英教授...  相似文献

石教英 《中国图象图形学报》1996,1(4):351-352

面向索引图的大容量信息隐藏方法

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

嵌入容量是衡量信息隐藏方法的重要指标之一。为了提高嵌入容量,提出一种面向矢量量化索引图邻块编码的信息隐藏改进算法,利用当前块的四邻块的空间相对位置关系和邻块与当前块索引差值的数值范围进行信息隐藏。实验结果表明,改进后的算法能够显著提高嵌入容量,在比特率仅增加5.13%13.10%… …   相似文献

邓晓曼  潘志斌  乔瑞萍  高风娟 《中国图象图形学报》2011,16(9):1583-1591

无线网络中的干扰攻击

下载全文  

在无线网络中,媒介的广播、共享特性使其易于受到干扰性质的拒绝服务攻击,严重影响着网络的性能和安全.分析了当前存在的干扰攻击测度标准和攻击模型;从干扰攻击的检测、防御以及干扰源定位3个方面对当前具有代表性的研究工作进行了详细的分析和总结.最后给出未来可能的研究方向和研究重点,… …   相似文献

孙言强  王晓东  周兴铭 《软件学报》2012,23(5):1207-1221

一种分布式吴方法计算模型

下载全文  

吴方法是由我国科学家吴文俊院士开创的一个新兴研究领域.考虑到吴方法\"分而治之\"的思想非常适合分布式计算,将分布式计算技术引入到该方法的计算过程中,给出一种既可以在集群环境下,也可以在网格环境下实现的分布式吴方法计算框架.首先分析了吴方法分布式计算需求,并以特征列计算为例来说明… …   相似文献

武永卫  杨广文  杨宏  郑纬民  林东岱 《软件学报》2005,16(3):384-391

XML数据的路径表达式查询优化技术

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

路径表达式作为XML数据查询语言的核心部分,关于它的计算方法的研究成果已有很多,然而针对路径表达式本身进行优化的研究却相对较少.提出了两种针对路径表达式的优化策略:路径缩短策略和补路径策略,从而提高了XML路径查询效率.路径缩短策略根据XML文档模式信息,将路径表达式查询长度缩短… …   相似文献

吕建华  王国仁  于戈 《软件学报》2003,14(9):1615-1620

大规模交易数据库的一种有效聚类算法

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

研究大规模交易数据库的聚类问题,提出了一种二次聚类算法——CATD.该算法首先将数据库划分成若干分区,在每个分区内利用层次聚类算法进行局部聚类,把交易初步划分成若干亚聚类,亚聚类的个数由聚类间的距离参数控制.然后对所有的亚聚类进行全局聚类,同时识别出噪声.由于采用了分区方法和聚类… …   相似文献

陈宁  陈安  周龙骧 《软件学报》2001,12(4):475-484

一种基于数字高程模型DEM的淹没区灾害评估方法

下载全文  总被引：20，自引：2，他引：18

采用数字高程DEM来进行洪水淹没分析和灾害评估是GIS水利应用领域的研究前沿,通过对基于种子蔓延算法的淹没区计算及灾害评估方法的分析,将淹没分为有源淹没和无源淹没两种,进而论述了淹没区计算方法的精度及灾害评估和预测的准确性主要取决于数字地面模型DEM空间数据精度和社会经济信息数据… …   相似文献

刘仁义  刘南 《中国图象图形学报》2001,6(2):118-122

双层随机游走半监督聚类

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

半监督聚类旨在根据用户给出的必连和不连约束,把所有数据点划分到不同的簇中,从而获得更准确、更加符合用户要求的聚类结果.目前的半监督聚类算法大多数通过修改已有的聚类算法或者结合度规学习,使聚类结果与点对约束尽可能地保持一致,却很少考虑点对约束对周围无约束数据的显式影响程度.提出一种… …   相似文献

何萍  徐晓华  陆林  陈崚 《软件学报》2014,25(5):997-1013

NKI中的本体、框架和逻辑理论

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

NKI(国家知识基础设施)是一个大规模知识库,它用框架来表示本体中的概念,用Hom逻辑程序作为自动推理.给出NKI中的本体、框架和逻辑理论的形式表示以及形式表示之间的转换,并证明如果将本体、框架和逻辑理论看作是3个范畴,则这些转换是这3个范畴之间的函子.这个结果保证了在NKI中,… …   相似文献

眭跃飞  高颖  曹存根 《软件学报》2005,16(12):2045-2053

基于判别式受限玻尔兹曼机的医学图像分类法

  

随着计算机技术的发展,越来越多的医学图像分析技术应运而生.利用数据挖掘方法对医学图像做分析是目前研究的热点之一,该方法首先从医学图像中提取统计特征,在此基础上进一步挖掘,这种方法对所提取的特征有很强的依赖性而且受到经验等主观因素的影响.针对乳腺X光图像,采用一种可以从图像中自动学… …   相似文献

陈娜  蒋芸  邹丽  沈建  胡学伟  李志磊 《计算机科学》2015,42(5):315-319

基于纹理映射与Phong光照模型的体绘制加速算法

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

为了提高体绘制速度,提出了一种基于纹理映射、具有Phong光照效果的体绘制加速算法．该算法是根据Phong光照模型,利用一单位球面体来仿真相同光照绘制条件下的每一个体素的反射光强,首先形成一个以法线矢量为索引值的反射光强查寻表,再应用窗值变换的加速算法来计算体素的不透明度;然后采… …   相似文献

张尤赛  陈福民 《中国图象图形学报》2003,8(9):1048-1054

基于物理模型的虚拟颜色空间

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

传统的色度学系统是建立在人类视觉系统的心理物理实验基础上的,共有基于实验的色标系统（如MUNSELL颜色体系）和基于实验的经验公式系统（如CIELAB,CIELUV体系）二类体系。但是,人类颜色视觉系统的色度学体系及相应的颜色测量方法并不适合于机器视觉系统,因为人类色度学体系的颜… …   相似文献

陶霖密  徐光祐 《中国图象图形学报》2001,6(4):396-401

基于彩色编码的多态蠕虫特征自动提取方法

下载全文  

快速而准确地提取蠕虫特征对于有效防御多态蠕虫的传播至关重要,但是目前的特征产生方法在噪音干扰下无法产生正确的蠕虫特征.提出基于彩色编码的特征自动提取算法CCSF(color coding signature finding)来解决有噪音干扰情况下的多态蠕虫特征提取问题.CCSF算法将可疑池中的n条序列分成m组,然后运用彩色编码对每组序列进行特征提取.通过对每组提取出来的特征集合进行过滤筛选,最终产生正确的蠕虫特征.采用多类蠕虫对CCSF算法进行测试,并与其他蠕虫特征提取方法进行比较,结果表明,CCSF算法能够在有噪音干扰的条件下准确地提取出多态蠕虫的特征,该特征不包含碎片,易于应用到IDS(intrusion detection system)中对多态蠕虫进行检测.… …   相似文献

汪洁  王建新  陈建二 《软件学报》2010,21(10):2599-2609

一种高精度估计的基础矩阵的线性算法

下载全文  总被引：10，自引：1，他引：9

通过引入与余差有关的代价函数,给出了一种高精度估计基础矩阵的线性算法--加权平移算法.首先将原始输入数据加权,计算加权后数据的重心坐标,将坐标原点平移到该重心坐标,再作归一化处理.然后用8点算法求出基础矩阵F阵的8个参数,实现了F阵的高精度估计.实验结果表明,此算法具有良好的鲁棒… …   相似文献

陈泽志  吴成柯 《软件学报》2002,13(4):840-845

基于双语词汇Web间接关联的无指导译文消歧

下载全文  

为解决困扰词义消歧及译文消歧任务中存在的数据稀疏及知识获取问题,提出一种利用双语词汇Web间接关联的完全无指导消歧方法.首先做出词汇歧义可由双语词汇的间接关联度决定的假设,为译文消歧提供了一种新的知识.在此基础上,对4种常用计算间接关联的方法进了改造并定义了双语词汇Web间接关联.随后进行基于Web的词汇消歧知识获取并设计了3种消歧决策方法.最后,在国际语义评测SemEval-2007中的Multilingual Chinese English Lexical Sample Task测试集进行了测试.该方法的P_mar值为44.4%,超过了该评测上最好的无指导系统的结果.… …   相似文献

刘鹏远  赵铁军 《软件学报》2010,21(4):575-585

计算思维与计算机导论

  总被引：14，自引：1，他引：13

计算思维是目前国际计算机界广为关注的一个重要概念.2008年6月,ACM提交的报告(草案)将计算思维与计算机导论课程绑定在一起,明确要求计算机导论课程讲授计算思维的本质.根据ACM的要求,分别介绍了以计算思维和学科思想与方法为基础的两类计算机导论课程,给出了两类计算机导论课程的讲授提纲,指出了它们的不同点以及课程讲授本质上的一致性.最后认为,两类课程各有所长,值得相互吸收和借鉴,同时,也有助于以计算思维能力培养为核心的计算机导论课程的教学改革,并为计算学科其他课程的教学提供一种可以借鉴的改革模式.… …   相似文献

董荣胜 《计算机科学》2009,36(4):50-52

重组的遗传漂移分析

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

进化计算中存在的遗传漂移现象导致种群均匀地收敛于单一个体,产生早熟收敛或丢失可选的全局(或局部)最优解.遗传漂移起源于选择压、选择的采样误差和重组算子的作用.多父代重组算子是多种交叉和重组算子的广义化.以多父代重组算子为对象,研究重组的遗传漂移现象.通过基因频率分析,严格地证明多… …   相似文献

郭观七  喻寿益 《软件学报》2003,14(11):1875-1881

Web挖掘研究综述

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

1 引言今天Web已成为信息发布、交互及获取的主要工具,Web上的信息量正以惊人的速度增加着,人们迫切需要能自动地从Web上发现、抽取和过滤信息的工具。同时,近年来,由于电子商务的快速发展,许多公司借助Internet进行在线交易,企业管理者需要分析大量的在线交易数据,从而发现用… …   相似文献

宋爱波  董逸生等 《计算机科学》2001,28(11):13-16

一种基于E-Chunk的机器翻译模型

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

提出了一种基于E-Chunk的多引擎机器翻译模型.该模型以中心语驱动的分析技术为基础,通过词汇相似特征计算E-Chunk的匹配代价,自底向上地完成最优E-Chunk覆盖的构造,并以E-Chunk为基本翻译单元完成机器翻译过程.初步的实验结果显示,该方法在面向领域文本的自动翻译方面… …   相似文献

李沐  吕学强  姚天顺 《软件学报》2002,13(4):669-676