-
题名机器辅助下的形式化规格说明求精技术
- 1
-
-
作者
袁晓东
郑国梁
-
机构
电力部电力自动化研究院仿真室
南京大学计算机软件新技术国家重点实验室
-
出处
《计算机科学》
CSCD
北大核心
1998年第6期19-23,共5页
-
基金
国家九五攻关项目
国家自然科学基金
-
文摘
形式化规格说明为我们提供一个简洁、精确且能被很好理解的系统描述。但我们还需要从规格说明得到其合适的代码实现,这一开发过程称为形式化规格说明的求精[lj。规格说明的求精技术已经有比较深入的研究,一般要通过数据求精和操作求精逐步精化的过程,逐步降低抽象级,最终得到规格说明的程序实现代码。但现有的精化理论较少考虑机器辅助技术的应用。
-
关键词
形式化规格说明
机器辅助
求精技术
形式语言
-
Keywords
Formal specification, COOZ,C + + ,Refinement, Machine-aided
-
分类号
TP301.2
[自动化与计算机技术—计算机系统结构]
-
-
题名计算机网络防御策略求精关键技术研究
被引量:1
- 2
-
-
作者
刘智勇
-
机构
长春金融高等专科学校现代教育中心
-
出处
《农村经济与科技》
2018年第6期273-273,275,共2页
-
文摘
构建面向计算机网络防御策略的求精办法,是当前社会各界关注的重心。本文研究了计算机网络防御策略求精办法,构建完善的计算机网络防御策略体系建模,验证防御策略方法的有效性,并根据计算机网络安全的主要特点,对求精系统进行提升,从而保证计算机的有效运行。
-
关键词
计算机网络
防御策略
求精技术
建模
-
分类号
TP393.08
[自动化与计算机技术—计算机应用技术]
-
-
题名浅析计算机网络防御策略求精关键技术
被引量:1
- 3
-
-
作者
于文鹏
-
机构
渤海大学信息科学与技术学院
-
出处
《信息技术与信息化》
2016年第12期78-80,共3页
-
文摘
社会经济在快速发展建设过程中,科学技术更新换代时间在逐渐缩短,计算机网络技术在开始逐渐在社会内应用,在这种背景之下,计算机网络攻击手段也开始逐渐向多样化方向发展,网络攻击手段开始呈现出十分显著复杂化及多样化的特征,这样就造成人们在应用计算机网络过程中,需要面对较多不良因素的影响,计算机网络安全性能也显著下降。计算机网络防御过程中要是还应用传统人工管理模式,计算机设备在实际应用过程中非常容易出现较大的安全漏洞,在这种情况下计算机要是还没有网络防御系统,计算机内数据信息丢失可能性将会较高。构建计算机网络防御策略,对于计算机网络而言十分关键。所以,本文就对于计算机网络防御策略内求精关键技术进行分析研究,并且提出针对性意见。
-
关键词
计算机网络
防御策略
求精技术
-
分类号
TP393.08
[自动化与计算机技术—计算机应用技术]
-
-
题名关于计算机网络防御策略求精关键技术研究
被引量:3
- 4
-
-
作者
于大为
-
机构
哈尔滨盛世华博科技发展有限公司
-
出处
《科技创新与应用》
2016年第29期95-95,共1页
-
文摘
现今计算机网络技术飞速发展,计算机应用规模逐渐扩大,移动互联时代的到来使得计算机网络影响着当代人生活的方方面面。然而因为人们对计算机网络的依赖以及过多的"信任",使得一部分人借用计算机技术对用户进行恶意的攻击,计算机在带给我们便利的同时也隐藏着巨大的安全隐患。藉此,文章立足于现今计算机网络技术发展现状,对计算机网络防御策略的求精技术进行了深刻的研究,并给出了计算机求精技术完善的相关建议。
-
关键词
计算机网络
求精技术
防御策略
-
分类号
TP393
[自动化与计算机技术—计算机应用技术]
-
-
题名浅析计算机网络防御策略及求精关键技术
被引量:12
- 5
-
-
作者
何健
-
机构
宜春市袁州区金瑞镇金瑞小学
-
出处
《无线互联科技》
2015年第23期77-79,共3页
-
文摘
在计算机网络技术和应用规模不断发展的现阶段,网络攻击手段逐渐呈现出复杂化和多样化的特点,使得网络环境中的不安全因素变得越来越多,传统的依赖管理人员的工作配置方式使得安全设备出现较大的漏洞,无法对威胁因素实现强而有力的防御,如何构建高效的网络防御策略已经成为十分重要的工作。为此,文章对计算机网络防御策略及求精关键技术进行了分析,并提出了进一步完善的措施。
-
关键词
计算机网络
防御策略
求精技术
-
Keywords
computer network
defense strategy
refinement technology
-
分类号
TP393.08
[自动化与计算机技术—计算机应用技术]
-
-
题名计算机网络防御策略求精关键技术探析
被引量:5
- 6
-
-
作者
罗敏
张毅文
-
机构
河南医学高等专科学校现代教育技术中心
-
出处
《电脑知识与技术(过刊)》
2016年第7X期46-48,共3页
-
文摘
目前,我国的计算机网络技术与其应用规模都处在快速发展的时期,计算机网络也已经影响着人们生活的方方面面。不仅如此,网络上的攻击手段也开始出现多样化及复杂化的特性,这些都使得在网络环境下存在的不安全因素逐渐增加。在面对网络的攻击手段,以往我们会选择用传统的依靠管理人员来进行防御,但在多样化及复杂化的攻击手段面前,传统的安全设备存在着较大的漏洞,无法在面对威胁的时候做出准确有效的抵挡和防御。因此,怎样才能构架快速有效的网络防御手段已然成为目前互联网方面的重要任务。本篇文章主要研究计算机网络防御策略以及求精关键技术,并且再次基础上了分析出完善的措施。
-
关键词
计算机网络
防御策略
求精技术
探析
-
分类号
TP393.08
[自动化与计算机技术—计算机应用技术]
-
-
题名计算机网络防御策略求精关键技术的分析
被引量:1
- 7
-
-
作者
苏采兵
-
机构
黑龙江广播电视大学富拉尔基分校
-
出处
《电子世界》
2017年第16期52-52,共1页
-
文摘
现阶段,我国正在全力信息化及现代化建设,计算机快速发展建设,同时在各领域内广泛应用,人们在借助计算机高效及便捷优势情况下,也开始逐渐认识到网络攻击等问题,这对于计算机网络正常运行造成严重影响。在这种情况之下,计算机网络防御策略求精关键技术也就产生。因此,本文对计算机网络防御策略求精关键技术作用进行分析研究,进而对关键技术落实提出几点思考。
-
关键词
计算机
网络防御策略
求精关键技术
-
分类号
TP393
[自动化与计算机技术—计算机应用技术]
-
-
题名计算机网络防御策略求精关键技术研究
- 8
-
-
作者
杜国真
-
机构
河南护理职业学院
-
出处
《通讯世界》
2017年第3期90-91,共2页
-
文摘
伴随着我国科学技术快速发展建设,网络现在已经广泛应用到人们的生活工作之中,网络资源已经融入到人们衣食住行各个方面,也就是说,人们现在生活工作都已经离不开网络了。但是,网络自身具有共享性,这样就造成网络在实际应用中,存在一定安全隐患,特别是现代网络攻击方式多样化,想要有效保证网络内信息数据安全存在较高难度。基于这种背景,本文就对于计算机网络防御策略求精关键技术进行研究,进而提出针对性意见,主要目的就是希望能够提高计算机网络安全性能,满足人们对于网络应用的要求。
-
关键词
计算机网络
求精技术
防火墙
-
分类号
TP393
[自动化与计算机技术—计算机应用技术]
-
-
题名计算机网络防御策略求精关键技术研究
- 9
-
-
作者
李炜
-
机构
河南省义马煤炭高级技工学校
-
出处
《信息与电脑》
2016年第13期209-210,共2页
-
文摘
随着科技的快速发展,网络在人们的生活中得到广泛应用,网络已融入人们的衣食住行等各个方面,换句话说,现代人们的工作和生活都已离不开网络的支持。但是,由于网络的共享性特点,使得网络在使用过程中,很难确保其安全性。尤其是现代网络攻击手段变幻莫测,想要确保网络中各种数据的安全十分困难。基于此,首先简单分析了计算机网络防御策略求精关键技术,并提出了几点完善对策,旨在提高计算机网络的安全性,净化网络环境,满足广大群众对计算机网络安全需求。
-
关键词
计算机网络
求精技术
防火墙
-
分类号
TP393.08
[自动化与计算机技术—计算机应用技术]
-
-
题名计算机网络防御策略求精关键技术研究
被引量:4
- 10
-
-
作者
杨芳华
-
机构
广东慧讯计算机网络工程有限公司
-
出处
《信息与电脑》
2016年第10期141-142,共2页
-
文摘
随着计算机网络应用范围不断扩大,计算机网络系统的规模也越来越大,随之出现的各种网络攻击也越来越趋于复杂化,利用普通的防御策略难以有效抵御。因此,面对计算机网络技术的发展状况,做好防御工作成为了首要任务。笔者主要探讨了当今计算机网络防御策略求精的方法和关键技术,并针对防御策略求精提出了完善措施。
-
关键词
计算机
网络防御策略
求精关键技术
-
分类号
TP393.08
[自动化与计算机技术—计算机应用技术]
-
-
题名计算机网络防御策略求精关键技术分析
被引量:2
- 11
-
-
作者
徐茂淑
-
机构
山东电子职业技术学院
-
出处
《信息与电脑》
2020年第20期203-205,共3页
-
文摘
随着计算机信息的日渐丰富和复杂化,对于网络防御的要求也越来高,因此,在计算机网络安全管理中提出"求精"理念,并积极研究和完善网络防御求精关键技术。本文则围绕计算机网络防御中的求精关键技术展开论述,以更为准确地应对互联网黑客、病毒等的攻击,保障计算机数据信息存储及传输过程中的安全。
-
关键词
计算机
网络防御
求精关键技术
-
Keywords
computer
network defense
key technology for refinement
-
分类号
TP393.08
[自动化与计算机技术—计算机应用技术]
-
-
题名计算机网络防御策略求精关键技术研究
被引量:2
- 12
-
-
作者
张舒杰
-
机构
武警甘肃省总队
-
出处
《中国新通信》
2016年第17期45-45,共1页
-
文摘
本文从计算机网络防御策略和求精途径入手,对计算机网络防御策略求精关键技术模型展开了详细论述,希望对提升我国网络防御功能起到促进作用。
-
关键词
计算机网络
防御策略
求精关键技术
研究
-
分类号
TP393.08
[自动化与计算机技术—计算机应用技术]
-
-
题名计算机网络防御策略求精关键技术探究
- 13
-
-
作者
邹璐
向月梅
朱泽南
-
机构
武汉东湖学院
-
出处
《中国设备工程》
2018年第8期112-113,共2页
-
文摘
当今互联网的应用逐渐普及,其在人们日常生活工作中提供着重要的帮助。本文首先分析并讨论了计算机网络预防策略求精技术的相关问题,然后结合当今的社会需求,通过研究目前计算机网络的相关发展及应用,根据实际问题具体分析并得出相关计算机网络预防策略求精关键技术的可靠方法。
-
关键词
计算机
网络预防策略
求精关键技术
-
分类号
TP393.08
[自动化与计算机技术—计算机应用技术]
-
-
题名计算机网络防御策略求精关键技术的分析
- 14
-
-
作者
铁融
-
机构
湖南省公安厅
-
出处
《信息与电脑》
2016年第24期114-116,共3页
-
文摘
当前我国正致力于现代化、信息化建设,计算机和互联网的发展势头迅猛,并且已经被广泛运用在各行各业当中,人们在充分运用其独有的便捷、高效特点的同时也逐渐意识到由此产生的网络攻击等一系列问题,其对于计算机网络的正常运行造成了极大影响。而在此背景之下,计算机网络防御策略求精技术应运而生,为此,笔者将通过简单对计算机网络防御策略求精关键技术的重要作用进行介绍,重点分析计算机网络防御策略求精关键技术,并针对如何落实好关键技术提出几点相关思考。
-
关键词
计算机
网络防御策略
求精关键技术
-
分类号
TP393.08
[自动化与计算机技术—计算机应用技术]
-
-
题名计算机网络防御策略求精关键技术思索
- 15
-
-
作者
伍雄
-
机构
东莞市广播电视大学
-
出处
《数字技术与应用》
2016年第12期210-210,212,共2页
-
文摘
随着社会经济的发展以及科学技术的进步,互联网技术已经走进我们生活中的各个领域,计算机已经在千家万户中得到应用。21世纪是互联网技术高度繁荣的世界,在这样的时代背景下,计算机网络防御工作就得到了人们广泛的关注和重视。本文就计算机网络防御策略求精关键技术的必要性展开讨论,在这一基础上展开对相关技术发展的现状分析,希望能够对计算机网络未来的防御工作提供帮助。
-
关键词
计算机
网络防御技术
求精关键技术
-
分类号
TP3
[自动化与计算机技术—计算机科学与技术]
-
-
题名计算机网络防御策略求精关键技术的分析
- 16
-
-
作者
蓝宏宇
-
机构
中国地质大学(北京)
-
出处
《计算机产品与流通》
2019年第6期40-40,共1页
-
文摘
本文首先从防御策略求精模型、求精规则、以CNDPR为核心的求精算法三方面,分析了计算机网络防御策略求精关键技术,其次从设置安全服务器、构建管理体系、应用扫描技术与反病毒技术三方面,对完善计算机网络防御策略求精关键技术的方法进行探讨,希望为相关人员提供有效参考,提升计算机网络安全性能。
-
关键词
计算机
网络防御策略
求精关键技术
求精模型
-
分类号
TP393.08
[自动化与计算机技术—计算机应用技术]
-
-
题名计算机网络防御策略求精关键技术
被引量:17
- 17
-
-
作者
吴月红
-
机构
长沙航空职业技术学院
-
出处
《信息与电脑(理论版)》
2015年第8期77-78,共2页
-
文摘
计算机网络防御策略求精关键技术对计算机网络安全的发展具有重要影响,是一种对计算机网络安全进行的检测方式,需要构建完善的计算机网络防御体系模型,根据计算机网络安全特点,强化求精系统,提升计算机运行的有效性。
-
关键词
计算机
网络防御策略
求精关键技术
-
分类号
TP393.08
[自动化与计算机技术—计算机应用技术]
-
-
题名浅谈计算机网络防御策略求精关键技术
被引量:1
- 18
-
-
作者
闫雨石
-
机构
吉林广播电视大学
-
出处
《吉林广播电视大学学报》
2016年第12期65-66,共2页
-
文摘
随着计算机网络的出现和发展,计算机已经融入到人们的生活之中,成为了人们生活中的支撑性发展技术。在这种形势下,计算机面对的安全威胁也越来越多,因此计算机网络的防御策略需要不断进行加强和改进。本文主要对目前的计算机网络防御策略技术进行了分析,并提出了相应的改进策略和方法,以期提升计算机网络的安全性。
-
关键词
计算机网络
网络防御
求精技术
-
分类号
TP393
[自动化与计算机技术—计算机应用技术]
-
-
题名计算机网络防御策略求精关键技术的分析
被引量:1
- 19
-
-
作者
张婷
姚仿秋
-
机构
岳阳职业技术学院
湖南华容农村商业银行股份有限公司
-
出处
《科学家》
2017年第12期102-103,共2页
-
文摘
计算机网络防御,是减少和避免出现网络安全事故的重要手段和方法。随着计算机网络的发展,防御策略逐渐转向求精技术方向进行发展,从细微处杜绝安全问题的产生。因此,本文主要针对防御策略求精关键技术的相关内容进行分析。首先分析我国计算机网络防御策略目前存在的问题,主要集中在求精技术的算法以及建模不完善之处,其次,则是针对这两点问题进行分析和阐述,最后,提出解决办法,建立完善的模型和精准的算法。
-
关键词
防御策略
求精关键技术
算法
建模
-
分类号
TP2
[自动化与计算机技术—检测技术与自动化装置]
-