企业内部审计信息化的思考——如何利用公司现有信息资源开展内部审计工作

随着信息化特别是信息网络化、数字化的发展，电子商务、网上结算、会计信息电子化日趋普遍。财务管理和会计核算已经突破了现实意义上的时空界限；而作为监督职能审计的审计环境、审计对象、审计标准、审计方式、审计手段等已是革命性的变革。如果不在先进的技术和手段上下工夫。审计工作将无从下手，对履行其监督职能将是严重的阻滞。     

高职高专院校数字图书馆的建设思路

在介绍了数字图书馆概念的基础上 ,指出建设数字图书馆既是时代发展的客观要求 ,也是图书馆可持续发展的需要 ,提出高职高专学校建设数字图书馆的基本思路。     

大学英语课程资源的开发与利用

高校新一轮课程改革重视课程资源的开发与利用，积极开发和利用英语课程资源是保证新课程实施的基本条件。要开发与利用英语课程资源的，首先要利用好教材，发挥教材的多种功能，在此基础上，整合报刊网络信息资源，倡导生动活泼的自主学习方式；同时通过开展丰富的语言实践活动，创建有利于英语学习的校园环境。     

论现代物流的资源整合

目前,有关物流资源的整合问题已成为物流界较为热门的话题.文章从现代管理理念、客户资源、能力资源、信息资源和物流流程等方面,对现代物流资源整合所需要解决的问题进行探讨.     

多变量非线性非定常气动力的模糊逻辑模型

应用模糊逻辑算法，建立了带升降舵偏角影响的非线性非定常气动力模型逻辑模型，并进行了验证，结果表明：所建立的非定常气动力模型逻辑模型有较强的预测能力，此方法为今后建立多变量、复杂运动的非线性非定常气动力学数学模型，提供很好的借鉴。     

中介时序逻辑系统MTL的模型性性质

时序逻辑作为一种把时间概念直接引入其形式系统的逻辑系统，它具有较强的表达能力，近年来在计算机科学领域获得了广泛的应用。基于中介逻辑对时序逻辑进行多值扩充，建立了一种中介时序逻辑系统ＭＴＬ。讨论了它的形式系统和语义解释，但未论及其完备性。本文对ＭＴＬ系统作进一步的讨论。在一可传结构下，讨论了它的可传、连通和过滤等模型论性质，为进一步讨论ＭＴＬ系统的完备性作了理论上的准备。     

中介时序逻辑系统MTL的模型论性质

时序逻辑作为一种把时间概念直接引入其形式系统的逻辑系统,它具有较强的表达能力,近年来在计算机科学领域获得了广泛的应用.基于中介逻辑对时序逻辑进行多值扩充,建立了一种中介时序逻辑系统MTL(Medium Temporal Logic).讨论了它的形式系统和语义解释,但未论及其完备性.本文对MTL系统作进一步的讨论.在一可传结构下,讨论了它的可传、连通和过滤等模型论性质,为进一步讨论MTL系统的完备性作了理论上的准备.     

基于中介逻辑的多模态逻辑系统

多模态逻辑作为模态逻辑的扩充，是模态逻辑进行时态和动态扩充的基础。中介逻辑是一个新的逻辑系统，自创立后得到了很大发展，并在数理逻辑及计算机科学领域中得到广泛应用。为将中介逻辑进行时态和动态扩充，本文构造了一种基于中介逻辑的多模态逻辑系统ＭＭＫ，讨论了它的推理规则和语义解释，并证明了ＭＭＫ的可靠性和完备性，在此基础上给出了一种基于中介逻辑的时态逻辑系统ＭＴ，对它的可靠性和完备性进行了讨论。最后，分析了相应的经典多模态逻辑系统与ＭＭＫ系统及经典时态逻辑系统和ＭＴ系统之间的关系。     

我国民航运输机场格局与旅游资源分布状况初探

以机场所在地的旅游资源分布状况为研究对象,探讨民航机场格局与区域旅游资源分布状况的交互作用.研究表明:1)我国现有民航机场格局与各地旅游资源开发水平比较吻合,均呈现明显地域分异,但与旅游资源自然分布存在较大冲突;2)差异性旅游资源分布状况产生的区际旅游客流能积极改变航空网络格局;3)民航运输对于旅游资源开发属于后发性要素,先期性上相关性不强;4)我国机场布局与旅游资源开发目前互动尚不明显,联系存在失衡,但具备极大改进空间.     

都江堰市 一座您来过就会永远将她刻在心上的城市

都江堰市旅游资源概况 举世无双的中国古代水利工程都江堰．位于四川省成都平原西北边缘，距省会成都市38公里。因堰而得名的都江堰市，系最佳中国魅力城市、首批中国优秀旅游城市．全国历史文化名城。全市幅员面积1207平方公里．人口62万．年平均气温约15．2℃．年降水量约1230毫米。城区海拔约700米．全市森林覆盖率达59％。