RVM在SoC验证中的应用及覆盖率驱动技术

介绍了RVM的层次化验证平台的结构,描述了RVM提供的基类和它们相互之间的关系。并且以USB 为例,给出了利用RVM搭建模块级验证平台的方法,阐述了基于代码覆盖率和功能覆盖率的覆盖率驱动技术。     

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

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

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

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

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

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

探索防火问题，确保森林安全

绥阳县位于贵州省遵义市的北部．是有名的农业大县。全县土地总面积256600公顷，其中林业占地面积139118．3公顷，森林覆盖率43．87％，活立木总蓄积3886155万立方米。境内有宽阔水国家级自然保护区和七个县级自然保护区。因此，森林防火显得特别重要，但其中存在的问题还不少，需要我们林业卫士，结合我县实践，认真研究加以健康．     

园林绿地对改善城市人居环境的作用

通过对比和统计数字，说明园林植物在气温调节上的作用，并以此为切入点论述园林绿地对改善城市人居环境的作用。     

我国企业年金发展面临的困境及对策分析

企业年金是指企业及其职工在依法参加基本养老保险的基础上,自愿建立的补充养老保险制度。是我国多层次社会养老保障体系中的第二层,作用十分重要。但是,目前我国企业年金的发展却面临着诸多困境,包括政策法律方面、运作经营方面、管理协调等方面,这些因素严重制约着我国企业年金的发展,并对我国多层次社会保障体系的建立健全造成了不良的影响。透过这些现象,本文将结合发达国家社会养老保障体系的成功经验,从理论与实际相结合的角度,认真研究,科学分析,针对我国企业年金发展所面临的困境,提出相应的对策,逐一解决这些发展中所面临的问题。从而最终完成对我国企业年金发展面临的困境和对策的研究,即对此篇论文论题的研究。     

企业年金投资亏损概率模型

近年来,我国基本养老保险制度的改革、国民经济的快速发展、一系列配套政策的实施以及企业年金日益提高的收益率从外至内给发展企业年金创造了良好的条件.在发展企业年金的同时,投资风险的管理也不容忽视.本文就大多数企业年金投资组合的基准——避险型路透企业年金指数收益率提出参考其成分指数(中国债券总指数)收益率所建立的时间序列模型,并分析了不同情况下企业年金投资组合亏损概率的上界,为企业年金投资组合的风险度量做出了简要分析.     

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

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

甘肃省退休工人社会保障状况研究

随着经济社会的飞速发展,人口老龄化趋势,对我国养老保险制度造成了巨大冲击,已成为社会的主要问题。尤其在经济欠发达的甘肃省,人口老龄化问题已经开始影响该省的退休工人的社会保障。该文描述了甘肃省退休工人的社会保障现状,对该省社会保障现状的原因进行了初步探讨,并提出了一些提高退休工人社会保障水平的建议。