论文部分内容阅读
随着科技时代的不断推进,我国软件行业的发展起到了更加的作用。人们对于软件的要求在不断的提升,比如软件的可靠性、安全性和保密性等可信性质都是人们关注的重点。本文主要对高可信软件工程技术的发展现状以及发展过程中所要面对的困难进行了讨论,同时提出了高可信软件的发展趋势。
高可信软件工程技术
【摘 要】
：
随着科技时代的不断推进,我国软件行业的发展起到了更加的作用。人们对于软件的要求在不断的提升,比如软件的可靠性、安全性和保密性等可信性质都是人们关注的重点。本文主要对高可信软件工程技术的发展现状以及发展过程中所要面对的困难进行了讨论,同时提出了高可信软件的发展趋势。
【机 构】
：
天津港信息技术发展有限公司
【出 处】
：
电子技术与软件工程
【发表日期】
：
2017年04期
其他文献
棕黄蓟马（棕榈蓟马、节瓜蓟马）是节瓜、冬瓜、苦瓜、西瓜和茄子生产中的主要害虫，以成、若虫锉吸植株的嫩梢、嫩叶、花和幼果的汁液，使嫩芽、嫩叶卷缩，心叶不能张开，生长点皱缩变黑
设计了一个基于深度学习技术的恶意应用程序检测系统。该系统的实现主要由三大部分组成:安全与恶意APK代码特征的提取模块、深度学习模型的"训练"模块、深度学习模型检测未知APK样本模块。系统协助设备用户有效应对大数据人工智能时代的恶意入侵威胁和个人隐私信息泄露威胁。
针对去除干扰源需要干扰源位置信息的需求,本文基于阵列信号处理、MUSIC谱估计和双基站AOA定位技术提出了一种干扰源定位算法,用于估计干扰源位置信息。
为深入贯彻落实全国宣传思想工作会议精神和习近平总书记在会议上的重要讲话精神，前不久自治区党委召开了全区宣传思想工作会议。会上，自治区党委书记王君作了重要讲话。自治区
大棚西瓜、黄瓜、番茄、茄子等春提早蔬菜6～7月陆续让茬后，可充分利用大棚设施保留棚顶部薄膜，并根据需要覆盖遮阳网、防虫网等进行避雨、遮荫、降温、防虫，抢种夏大白菜、小青菜
干式空心电抗器电作为电力系统中的重要设备,由于故障率偏高,传统的电感量测量法灵敏度偏低,近年来相继出现了阻尼振荡波法、阻抗频响法等离线手段,在线测量主要采用振动和红外测量等,本文对这些新技术进行了比较分析,提出了一种响应电流频谱法用于匝间绝缘检测的方法,并通过实施案例展开讨论,浅析了电流频谱法在带电检测中的可行性。
黄瓜炭疽病[Colletotrichum lagenarium（Pass．）Ell．et Halst．]是黄瓜上的主要病害之一，目前对该病大多采用多菌灵类药剂进行防治。由于长期单一使用此类药剂，导致病原菌产生抗药性，其
【内容提要】摄影艺术是用静态的图片来反映客观现实，在拍摄实践中，使用不同的快门速度拍摄，以及照相机的操控状态，都会影响被摄对象并产生不同的画面效果。对于运动物体的拍摄而言，存在一定的拍摄技巧和表现方法，本文主要介绍高速连拍法、慢门拍摄法、追随拍摄法、变焦拍摄法和长时间曝光拍摄法五种拍摄技巧。 【关键词】快门高低 运动物体 拍摄方法 动感效果 用照相机拍摄影像过程称为曝光，一般受四个因素影响：一
公共停车场管理是社会市场管理的热点及难点。为了精准停车场的车位管理和提高停车效率问题,通过嵌入式单片机技术平台开发程序、组合射频短信、传感器等模块,设计一种具有实时监控停车位情况、火情报警功能的智能系统,实现快速停车、智能化管理的功能,具有广阔的应用前景。