形式Peano算术的G(o)del不完备性定理的一个简单证明

给出了形式Peano算术的Godel不完备性定理的一个简单证明.     

忠实实践“三个代表”重要思想,以科技为先导推动内蒙古农牧交错带可持续发展战略的实施

作者以十六大精神为指导 ,论述了农牧交错带草原的特征、演变与现状 ,分析了造成内蒙古农牧交错带地区生态退化的原因 ,提出了以科技为先导 ,走合理开发和节约使用之路的对策。     

图的曲面嵌入

提供了曲面的一种多边形表示，它虽然由多面形表示演化而来，但使得图的曲面嵌入的存在性、计数、确定最大亏格等问题变得十分简单。多面形表示源于Heffter^[1],Hilbert和Cohn—Vossen提出过引线问题并将它与Heawood的地图着色猜想联系^[2]，经过近百年直至Ringal等获得证明^[3,4]。Edmonds(1960)^[5]的多面形表示曾被广泛引用．但30余年后，才发现是Heffter的对偶形式。虽然多边形表示始于本文作者的专著^[6,7]，但至今才发现它在处理上述问题的效力。这就导致此文并为过渡到组合地图理论搭起一座桥梁。     

浅谈科技社团在政府职能转换中的定位

加入WTO对科技社团带来了新的机遇和挑战。本文通过对科技社团功能作用及趋势发展面临挑战的分析，说明科技社团的发展在于积极争取政府职能。同时，科技社团只有加强自身建设，抓住机遇，做好承接政府职能转移的大文章，才能增强实力，赢得发展。     

计算网格的抽象定义

计算网格是第三代因特网和高性能并行计算的研究热点,它提供了一个有效的平台,共享资源,支持全球范围内分布异构应用程序的运行,其动机和目标是明显的,并被人们广泛认同和接受。但是目前网格系统尚无一个清楚的定义,因此基于网格语义,通过高层抽象,用谓词/变迁系统给出计算网格的框架模型。     

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

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

黄土地区深路堑、高路堤合理横断面的评价方法

将灰色关联决策方法引入黄土地区深路堑、高路堤合理横断面的系统评价中,为黄土地区深路堑、高路堤合理横断面的确定提供更加客观和科学的依据。     

文山师专图书馆发展刍议

文章指出了文山师专图书馆当前存在的主要问题和解决问题的措施和方法。     

创新思维与新闻写作

创新是新闻写作的生命 ,要实现校报新闻写作的创新 ,就要突破思维定式 ,培养创新思维 ,以创新思维去实践校报新闻内容、新闻形式、新闻语言的创新。     

农业产业化经营组织形式问题及其完善的对策

农业产业化经营组织形式是产业化发展的载体,它的健全和完善就是产业化发展的健全和完善。我国是一个以千家万户为生产经营单元的农业大国,存在生产规模小、经营分散、信息不灵、和市场脱节等弊端,在加入WTO后,难以参与国际市场的竞争。如何把农民组织起来、引导农业进入市场、参与国际竞争、探索新形势下农业产业化组织形式,意义特别重大。一、国外的农业产业化发展与组织形式发达国家的农业一体化经营兴起于20世纪50年代初,是在市场经济充分发育成熟、农业实现了现代化和高度商品化的技术与经济条件下产生的。当时发达国家面临食品消费…