一种用于循环程序形式化验证的划分归纳方法

为了提高软件的可靠性,人们一直在形式化验证和软件测试两个方面进行不懈的努力。本文利用划分测试中的自动分割替代技术,针对循环程序的输入域,提出了一种划分算法,并在此算法的结果上建立一种划分归纳方法,它能简化循环程序的形式化验证过程。     

公务员的人力资本特征与政府人员规模控制

政府机构改革的主要难题之一是控制政府公职人员的规模.从人力资本的角度分析,公职人员固有的人力资本特性——厌恶风险,和公职人员在工作中积累的人力资本专用型太强,都是造成公职人员难以退出的原因.因此,通过调整人事政策和加强在职培训的多样性,可以缓解公务员流动难的困境,有利于控制政府人员规模.     

企业业绩评价指标体系创新的构想

本文分析了影响企业业绩的关键驱动因素,在此基础上提出了业绩评价体系应以企业价值最大化作为核心指标,运用平衡记分卡的基本原理,构建符合我国国情的企业业绩评价指标体系.在财务、市场、内部经营程序、学习与成长四个层面设计了基本指标和递进指标对企业实施一种结果驱动的评价.     

基于双重法的中国经济规模分析

从1995年起世界银行开始公布按汇率法和购买力平价法计算的GDP数据,用这两种方法计算出的中国GDP绝对值相差很大,难以客观合理地反映中国的真实经济规模.基于这两种方法整合出的一种新算法可以矫正对中国经济实力的认识偏差,客观地反映出中国经济规模的实际水平.     

用友和金蝶的“长板”在哪儿？

软件产业在中国的现状，与其他国家的市场相比如何呢？根据中国软件行业协会的统计，中国软件市场规模的增长率在2005年达40．3％，远超全球平均增长率12．5％，但中国软件产业在全球所占的份额却只有3．55％。可见，中国软件产业正在高速增长，仍有很大发展空间，但相对其他国家影响力依然很小。     

NHPP类软件可靠性模型的扩展

时现有的NHPP类软件可靠性模型进行了扩展,提出了一个新NHPP类软倬可靠性的模型,该模型将排除的软件错误数和引入的软件错误数都看成随机变量,并利用该模型对软件的可靠性指标进行评估,最后通过实例对一个特殊的NHPP模型进行了验证.     

国家创新能力测评五十年

世界上开展国家创新能力测评研究与实证至今已整整50年,其间经历了单指标测评向多指标测评的转变.单指标测评简便易行,但也存在不足;多指标测评可以从多个角度来衡量国家创新能力及其表现,现已成为国家创新能力测评的主流体系.目前国际上代表性的测评体系主要有OECD科技指标、欧洲创新计分牌、美国科技指标、FP&S评价方法;国内代表性的测评体系主要有中国科学技术指标、中国区域创新能力报告.针对国家创新能力与创新型国家之间的关系,结合当前国家创新能力测评体系的特点,国家创新能力测评方法体系应体现以下两种思想:和谐思想和可持续发展思想.国家创新能力的测评也应从四个维度来开展:创新投入指数、创新绩效指数、创新发展指数、创新和谐指数.     

马克思的企业理论：起源、规模与治理结构

马克思的企业理论以唯物史观为基础，深刻揭示了资本主义企业的内在规律，将企业作为资本主义经济运行过程中的一个环节和生产的微观载体，研究了资本主义企业起源、规模发展和治理结构，阐释了资本主义生产方式的完整图景。     

中国产业间的俱乐部收敛检验

文章从一个不同于以前收敛研究的角度,探讨了中国各产业间是否存在俱乐部收敛,为我国的产业划分提供了一个新的科学标准,并以此为基础探讨了我国经济发展中不同产业在生产技术特征上的共性和不同,以及不同产业的在经济发展过程中的表现和作用。     

陕西上市公司GDP贡献及可持续发展研究

选取陕西省在上海和深圳证券交易所的上市公司为样本.利用Eviews5.0对1997-2006年陕西GDP和所选上市公司净资产收益率、每股收益以及主营业务增长率进行了ADF单位根检验、Johansen协整检验和格兰杰(Granger)因果检验,发现陕西省经济发展数据和上市公司指标都是一阶平稳序列,且存在两个协整关系,上市公司的每股收益与GDP还具有反常的Granger因果关系.在陕西经济持续稳定增长的同时,上市公司的每股收益却逐年下降,可持续发展能力匮乏.