基于非线性和测试覆盖率的软件可靠性增长模型

软件可靠性增长模型一般假设故障是独立的,且检测到的故障能够被排除。但在工程中,一些检测到的故障可能无法排除,在排除过程中也可能会引入新的故障。考虑上述因素,本文假设故障的引入过程与时间呈现非线性关系,通过测试覆盖率函数来表示软件故障检测率,建立了基于非齐次泊松过程(non-homogeneous Poisson process, NHPP)的软件可靠性增长模型。为规避参数估计过程中模型函数导数连续性和存在性的限制,应用一个自适应变化的实值遗传算法进行计算。最后通过一个真实软件失效数据集对模型参数进行计算,利用不同的评价准则将所提模型和现有模型进行比较,说明所提模型的优越性和准确性。     

一种改进的SRAM故障内建自检测算法

面向March C+算法故障覆盖率的问题,本文提出一种改进的March CS算法来完成存储器SRAM的内建自测试.通过增加原算法元素的读写操作来敏化存储单元的故障,检测原算法不能敏化的静态故障和动态故障,从而提高故障覆盖率.最后,通过对1 024*32位静态随机存储器进行故障仿真验证,以及FPGA对SRAM芯片的应用性测试,March CS算法检测静态故障和动态故障的覆盖率分别达到91.67%和76.93%.     

否定选择算法的自体半径分析

对于异常检测问题,负选择算法有着显著的检测效果,其检测性能受多个参数的影响,如自体半径和预期覆盖率等.传统的否定选择过程在检测器生成阶段的参数是根据经验选择的,这使得检测性能各不相同.对NSA参数提出一组新的方法评估分析,将自体边界通过迭代算法计算最佳自体半径,并生成不同参数的可变半径检测器.通过实验获取最佳自体半径的同时,还能同时提高检测器对非自体区域的覆盖面积.     

GATEST: 使用遗传算法自动生成模拟矢量的验证平台

对硬件设计进行功能验证的一个关键问题是需要大量的模拟矢量来保证验证的充分性.本文针对Verilog语言,采用遗传算法(Genetic Algorithm, GA)作为解决方案,设计了一个使用遗传算法自动生成模拟矢量的验证平台GATEST.该平台的一个特点是,根据指定的关键信号使用数据流分析产生关键路径集合,并采用基于该集合的路径覆盖率作为适应度函数引导模拟矢量的生成.使用该验证平台对北大众志-863系统芯片的功能模块进行实验,并详细分析了不同控制参数配置下的实验结果,说明该平台具有一定的有效性.     

基于A适应遗传算法的无线传感网络节点布局优化

无线传感器网络的传感节点布局优化,直接关系到无线传感器网络覆盖率的提高。文中提出自适应遗传算法求解无线传感器网络覆盖率优化问题。自适应遗传算法的编码方式是传感器节点二维坐标的二进制表达式,交叉方式为字符串整体交叉,变异方式为位变异,交叉概率和变异概率根据个体适应度自动重构。仿真实验结果表明,自适应遗传算法有效解决了无线传感器网络节点布局优化问题。与传统遗传算法相比,本算法进化收敛速度快,网络覆盖率显著提高。     

北投温泉:顶级的泡汤享受

正来到台湾,一定不能放过到北投泡温泉的机会!北投给人一种很闲适的感觉,常常看到散步的老人。这里的植被覆盖率很高,所以空气也格外的好。在阳明山的山脚下看到了温泉博物馆,司机师傅很热情地给我们做知识普及:北投温泉博物馆是1998年成立的,前身是废弃的很有历史的公共浴场。这里的榻榻米大厅经常会组织些小型活动,一层罗马式浴池不是很大,但房间非常高,有气势,另外还有华丽的彩色蒂凡尼玻璃窗。有兴趣的朋友可以去逛逛。沿着30°的小路往山上开10分钟左右就到了。这里的酒店几乎全是温泉酒店,浴室里配备了一个大池子,专供游人在酒店里充分享受私汤。而且这里提供的温泉     

协调产学研关系 促进产业化发展——麻城黑山羊产业化发展经验谈

麻城市地处鄂东北大别山南麓,拥有南北兼具的气候特点,有利于各种植物的生长,植被覆盖率高。草场面积198.64万亩,其中万亩以上成片草场18处,大部分为2等2级草场。牧草和灌木品种主要有杜鹃、胡枝子、白芽、黄背草、狗牙根、马唐等。     

刍议《新闻联播》的“字正腔圆”

中央电视台的《新闻联播》从1978年元旦正式开播以来，以每天相对固定的对党和国家领导人的政治活动及国内重要会议、各行业进展和国内外重大事件的“全景式扫描”，实践着“发布新闻，传达政令，介绍各条战线的新成就、新发明、新创造，宣传各地涌现的先进人物和创造的先进经验，报道发生在世界各地的重大新闻事件”的宣传意图，是国内目前覆盖率和收视率最高、影响力最大的电视新闻栏目。     

密云 科技助力下的生态旅游

“北京山水大观，首都郊野公园”，从这个美誉之中我们就可以想见北京密云之美、旅游资源之丰富。密云县环境得天独厚，美丽的密云水库宛若明珠镶嵌在燕山群峰环抱之中，全县林木覆盖率达到60．3％，水体质量达到国家二级标准，空气质量达到国家一级标准，这二项指标居北京市各区县之首，密云县已成为净水、净土、净气、无公害的绿色乐园。     

油田矿区住宅小区绿化建设的思考

在＂建设平安和谐示范矿区＂的大框架下,＂以人为本＂的改善油田员工人居环境也列入了油田总体规划系统的重点问题,而舒适人居环境中,小区绿化占有绝对的比重。因此提高油田矿区住宅小区绿地的生态功能和绿地景观建设水平,建立完善的矿区绿地系统是现代油城后勤保障的发展的必然趋势。而在整个系统中,小区绿化的规划、建设,是能否形成良性循环和可持续发展的重要环节。