关于递归程序的验证

本文探讨递归程序的验证技术,着重阐述结构归纳法在递归程序验证中的应用。     

中国近期电影后现代性价值

中国近期电影的后现代性价值体现在追求民主、自由和平等,要求形式的多元和文化的共享,它冲击了传统观念、增加了电影类型和丰富了电影技术等方面,后现代电影满足了后现代社会人们的审美想像,对中国本土电影的发展将会产生一定的推动力量。     

农业技术进步的几个理论问题探讨

农业技术进步存在着内在的动力机制 ,但农业技术自身的特点和农业技术的应用者——农民知识技能落后、经济贫穷 ,又对其自主推进农业技术进步产生制约。政府和社会只有为农业技术发明和应用创造良好的政策环境 ,提供必要的资金支持 ,才能有效地促进农业技术进步。     

溴化锂水溶液降膜吸收强化技术的实验研究

在吸收式制冷技术中，提高溴化锂水溶液吸收蒸汽效率的手段主要是采用高效传热传质元件和添加表面活性介质。本文主要研究竖直平板流降膜吸收中添加表面活性介质的强化吸收技术。选择一种典型的表面活性介质；2－乙基－己醇，研究在一定实验工况下加入活性介质后不同降膜雷诺数Re、溶液进口温度ts,i、吸收压力、活性介质浓度以及不同降膜长度试件下的吸收强化。     

网络环境会计电算化信息系统的内部控制

随着企业组织形式的不断发展、电子商务的兴起、网络财务软件的日益普及 ,封闭型的内部控制系统不可避免地向开放型的内部控制系统转化 ,加剧了电算化系统效率与安全之间的矛盾 ,会计信息的正确性、有效性受到威胁。要使电算化系统既高效又安全地向有关各方提供完整、准确的会计信息 ,就必须强化会计电算化信息系统的内部控制 ,降低系统风险 ,提高系统可靠性、稳定性 ,建立完善的会计电算化信息系统的内部控制制度。     

皇竹草的栽培与利用技术

皇竹草是一种禾本科狼尾草属宿根多年生高产优质饲草品种,由象草和美洲狼尾草杂交育成,茎杆形似竹故称“皇竹草”。我国80年代从哥伦比亚引进,我县99年从广东引进栽培,茎节一次种植,使用多年。植株高3.5m 左右,叶长160cm 左     

浅谈网上统计调查

网上统计调查正在我国兴起 ,本文分析了网上统计调查的优势、方法及应用领域 ,并指出它将成为本世纪的一种主流调查方式。     

浅谈在市场经济条件下如何加强国有企业财务管理

一、把企业管理的中心定位于财务管理 为使企业在市场竞争中不被淘汰,企业领导和财务人员必须有风险意识、危机观念。在市场经济时代,世贸规则、专利权、商标权、专有技术和商誉、信息等知识资源和人力资源将成为经济发展的重要资源,它是知识经济时代决定企业在竞争中能否取胜的关键因素,这就要求企业必须具有知识效益和人才价值的意识。企业生产经营的最终目标是为了保值、增值,因此企业财务管理必须树立科学的理财理念,必须分析在不同时期,不同的经济环境下,确立不同的财务管理决策意识。在市场经济条件下,企业经营环境复杂多变,风险越来越大,要确保企业保值、增值,必须确立财务管理在企业管理中的核心地位,发挥财务的预测、决策、计划、控制、考核等方面的作用,企业的各项管理工作都要服从于财务管理目标,不能各自为阵。真正做到企业管理以财务管理为中心,就为企业生产经营各个方面提供了有利的保障。     

红螯虾池塘养殖技术

红螯虾适应性强、个体大、生长快、形似龙虾,肉质鲜美,养殖技术简单,经济价值较高。一般可亩产100—200公斤,最高可达402公斤。现将其池塘养成技术介绍如下:(一)生物学特性。属热带性虾类,生存水温为6—37℃,最佳生长水温