我国区域水足迹影响因素分析

文章通过研究我国水资源的现状,根据水足迹的相关情况建立面板数据模型,根据模型检验结果,确定固定模型;实现参数估计与分析,得到整体上影响我国水足迹的因素,按照程度由高到低分别是国内生产总值、技术水平、第三产业和对外贸易情况;从平均国内生产总值、技术水平、第三产业和对外贸易情况来看,不同的因素对东部、中部、西部的影响程度不同。

超越对数成本函数的模型设定研究——来自我国肉制品企业面板数据的实证分析

超越对数成本函数在食品安全生产实证研究中起着重要作用.在拓展之后的框架下,文章结合面板数据对扰动项进行稳健标准差检验,并对模型形式的选择进行了检验;同时,为保留无法观测的食品安全变量,对固定效应模型作出展开式的一种新表达;运用幂阶梯转换同时处理严重多重共线性和模型识别问题.在采用面板似不相关迭代回归和最小距离估计之后,得到系统简化模型的结果,发现食品安全内生时的模型更优越;由模型模拟出食品安全水平的数据,得出2004-2007年中国肉制品行业的食品安全平均水平分别为1.2062、1.3145、1.1918和1.2327,且数据具有良好的分布.本文的研究对超越对数成本函数的模型设定可提供重要借鉴.

形式化模型检验在飞机系统演绎式安全分析中的应用研究

随着飞机系统复杂度的日益增长,对飞机设计人员和安全性分析人员能力的提升也提出了相应要求。但是传统的安全性分析方法都存在一些弊端:高度主观并且依赖分析人员的技能和经验,而且不太可能做到完整无错。形式化验证技术,如模型检验方法,能够很好地处理复杂度较高的系统,并且能在一定程度上克服这些弊端。本文运用模型检验的方法对系统进行演绎式安全性分析,得到定性的结果。

径山茶标准化体系的研究应用

一、标准化体系的研究扣建立1、统一了品牌余杭名茶的品牌颇多,除传统名茶——径山茶外,还有省级名茶"谷雨春"、"双径雨前"、"娘娘山茶"、"余杭雀舌"等。现统一品牌后统称"径山茶",下含"径山毛峰"、"径山玉露"和"径山龙井"三大花色品种。其中:径山毛峰属烘青绿茶类,分特级1等、特级2等、特级3等、1级、2级和3级共6个等级,特级的品质特征是:条索纤细、色泽绿翠。

容错技术、误差校验、故障诊断、计算机安全

Y2000-62123-472 0013367采用测试仪的功率模拟试验分析=Power simulationusing test sets:an experimental analysis[会,英]/Macii,A.& Macii,E.//1999 LEEE Pacific Rim Confer-ence.—472～474(PC)Y2000-62150-307 0013368测试与形式检验=Session 11B:testing 2:testing andformal verification[会,英]//Proceedings of the Asia andSouth Pacific Design Automation Confereace 1999(ASP-DAC’99).—307～322(PC)