计算机形式验证方法研究综述

对形式验证方法进行了综述和讨论,介绍了基于符号处理的形式推理方法,并详细讨论了时序电路、组合逻辑电路等价性的检验方法.     

基于参数修正模型的收入对消费影响研究

居民的自发性消费和边际消费倾向随时间的不同而不同,所以常系数线性回归模型不能理想地刻画收入对消费的影响.文章在传统变参数模型的基础上,提出了参数修正模型,并利用实际数据进行了实证研究.研究表明,参数修正模型能够改善模型的异方差性,模型估计精度更高,预测更准确,能够刻画不同时期收入对消费的影响,并能预测未来自发性消费和边际消费的倾向.     

产品质量监督检验工作在名牌战略中的地位和作用

加入世界贸易组织后,我国经济开始在全新的平台上与世界各国竞争。名牌产品代表着一个国家的经济水平,乃至代表着整个国家的先进生产力。而质量监督检验工作是国家实施名牌战略的关键环节,其地位和作用极其重要。     

产品质量监督检验工作在名牌战略中的地位和作用

加入世界贸易组织后,我国经济开始在全新的平台上与世界各国竞争。名牌产品代表着一个国家的经济水平,乃至代表着整个国家的先进生产力。而质量监督检验工作是国家实施名牌战略的关键环节,其地位和作用极其重要。     

山东工商学院学报2011年总目次(第25卷总第102～107期)

<正>~~     

“一企一策”打造服务发展先行区——扬州检验检疫局强力助推森萨塔公司全球战略性收购

近日,森萨塔科技（宝应）公司老总给扬州检验检疫局送来了一面锦旗,感谢其＂一企一策＂服务模式强力助推了该公司全球战略性收购,帮助其在一年之内完成了日本、匈牙利、巴西、墨西哥等国外基地10条生产线的搬迁,促进了森萨塔宝应工业园的快速发展,形成了年产10亿元的规模生产集聚效应,为地方外向型经济的健康发展保驾护航。     

HS编码分类争议磋商初探

HS编码作为各国海关、商品出入境管理机构确认商品类别、进行商品分类管理、审核关税标准、检验等的基本要素。其分类准确与否对商品的管理模式、检验标准的适用、计费、计税、统计等各方面的业务有重大的影响。目前,在国际贸易和我同进出口环节中，多多少少存在着HS编码分类争议。     

苏州检验检疫局：“三查三看”推动创先争优出实效

2010年以来，苏州检验检疫局紧紧围绕“推进‘两大’建设作表率、践行国检引航当先锋”的主题，大力开展以“查工作，看爱岗敬业勇于奉献精神好不好；查学习，看精通业务开拓创新意识强不强；查作风，     

完善检验检疫标准提高家用纺织品竞争力

如今，家用纺织品已成为我国纺织业中最具发展前景的产品之一。面对巨大的国际家纺市场，企业在追求出口规模的同时，更应注重提高质量水平，提升产品竞争力。目前实施的各种合格评定活动，以技术标准为依据，向消费者提供质量安全保证，同时对企业生产和经营及规避外贸风险具有一定指导作用。     

对《工业管道定期检验规程》（试行）部分条款的探讨

本文通过作者对《工业管道定期检验规程》（试行）的研读及实践,对其部分条文提出自己的看法,并对修改条文时提出建议,供大家参考。