高校开展国防教育之我见

高校国防教育要牢牢把握教育的内容,即不断深入爱国主义教育;加强居安思危教育;开展革命英雄主义教育;牢固树立国家利益高于一切的观念和“以史为鉴”,加强教育效果。同时,还应运用丰富多样的教育形式使国防教育内容深深印入学生的脑海。     

溪洛渡施工总布置三维动态可视化图形仿真研究

溪洛渡水电站是在金沙江拟建的最大水电站，为直观准确地描述其施工总布置设计所涉及的各施工环节之间复杂的动态空间关系，将施工总布置系统分为若干子系统，对整个设计施工过程进行动态可视化图形仿真研究。设计3维动态图形仿真数据流向，将溪洛渡施工总布置动态图形仿真数据分为空间数据和属性数据，以GIS为平台组织数据结构，构造施工总布置3维动态可视化数字模型；在3维动态可视化数字基础上实现施工总布置3维动态可视化图形仿真演示和动态图形仿真数据可视化查询，给施工总布置设计与决策提供一个科学、直观的可视化分析途径。     

形式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年代初,是在市场经济充分发育成熟、农业实现了现代化和高度商品化的技术与经济条件下产生的。当时发达国家面临食品消费…