基于事务形式验证(TBFV)及8051的TBFV模型

提出了一种基于事务的形式验证方法(TBFV)，为待验证的系统构造功能验证模型，每个模型包括指令序列、输入变量、输出变量、输出函数、输出判定函数．这些可用Kripke结构来描述．这些功能验证模型实现了特定的事务，从而可以将一般的验证要求映射为具体的实现属性．这样，验证者无需了解设计的细节，可在较高层次上对系统行为进行验证．为了证明该方法的效率，分别用该方法和传统的形式验证方法验证了8051的RTL实现．8051中所有的指令都进行了验证，并给出了相应的功能验证模型．实验结果表明，采用该方法可大大节省验证工程师的时间．功能验证模型和验证指令可以在其他设计中复用．     

数控机床的电器故障诊断及维修

与传统机床维修方式相比，数控机床在维修理论、技术和手段上有了巨大的变化。维修前要做好技术、工具与备件的准备。进行故障现场调查与检查，归纳可能造成故障的所有原因，确定故障产生原因。     

农民问题在马克思主义中国化中所处重要地位的历史原因

农民问题是中国革命和建设的基本问题，在马克思主义中国化历程中占有重要的历史地位。就其原因，农民问题是马克思主义的一个基本问题，农民问题是中国的基本国情，农民问题的重要性还有着深层次的文化渊源。     

房屋增层事故原因及预防措施

房屋增层是近年我国各城市为提高房屋利用所采用的一种行之有效的方法，并且已取得了很好的经济效益，文章中列举了国内的一些房屋增层所出现的事故，并对其作出分析，最后又提出了预防事故发生的措施。     

建议定名为AUP

今年 2月与洪涛教授同去广州时 ,广州已有“非典”这个名词。据说当时已有人提出用“原因不明肺炎” ,但因为“原因不明”有可能引起群众恐慌心理 ,所以使用了“非典”。我认为 ,“非典”和“SARS”都不是好名词 ,缺乏科学性。这两个名称都说明了一个问题 ,人们面对这个新疾病是仓促上阵的 ,连它的名字都没起好。3月 8日 ,我国有关部门和人士同WHO第二批代表团进行会谈 ,这也是我国科学家第一次就SARS(本文暂用SARS表示这次疾病 )同WHO代表交流。当时我代表中国作“流行病学报告” ,我使用了AUP(acuteun specifiedpneumonia) ,可译…     

鼓励专利申请促进专利发展

衡量专利发展状况最基础的指标是专利的申请量，通过最近三年我省专利申请量的有关数据来看差距、分析原因，采取对策。     

真实性是统计工作的生命

文章通过对统计信息失真的成因分析，提出在现阶段要实现统计信息的真实性。     

关于"李约瑟问题"与"诺贝尔现象"的思考

一、对“李约瑟问题”的反思上个世纪 ,著名的科学家李约瑟曾经提出一个问题 :在公元前１世纪到公元１４世纪的漫长岁月中 ,中国科学和技术曾处于世界领先地位 ,并对整个人类文明做出了许多原创性的贡献。但在近三四百年中 ,中国社会为什么没有能够孕育出近代科学和技术？是什么原因导致近代中国科学和技术落后于西方的？这就是所谓的“李约瑟问题”。围绕“李约瑟问题” ,中外学者不但从不同的角度探讨了中国科学和技术本身所存在的缺陷 ,而且更多地讨论了中国社会和文化在政治、经济、文化等方面存在的种种不足和局限。这些讨论对于中国科…     

煤矿瓦斯爆炸参数的突变与混沌研究

煤矿发生瓦斯爆炸的过程实质是井下气体状态发生突变的过程，本文首先采用突变理论建立了瓦斯爆炸数学模型，然后利用混沌理论和方法分析计算了有关瓦斯爆炸安全参数及条件，得到了瓦斯感应期，引爆参数等随井下条件的不同具有一定的混沌性质，理论上证明一些新的结论并验证了一些实验结果，为理论分析和实践提供了理论依据。     

垞城煤矿井下氮气窒息事故原因分析

我国有多个煤矿发生过氮气缺氧窒息伤亡事故，一般认为是由于瓦斯风化带中的N2涌出所致。但在徐州垞城煤矿，氮气窒息事故不仅在浅部，也在深部采区发生。分析该矿煤系地层后发现，在氮气窒息事故发生的地点，煤层上方均有红层。根据地球化学理论，可以认为该矿煤系地层中氮气的来源于红层的氧化作用，即成煤物质中的氮元素在成煤阶段形成NH3，上升遇到红层时，可被红层中的Fe2O3氧化生成N2，并赋存在岩层之中。岩石中赋存的N2可通过断层裂隙进入采矿空间，从而造成氮气窒息事故。