浅析数字化校园及其应用系统的构建

数字化校园是在高等教育信息化快速发展过程中出现的一个崭新概念。本文介绍了数字化校园的内涵、数字化校园建设的主要内容,分析和评价了一些构建数字化校园应用系统的技术,对目前正在兴起的数字化校园建设具有一定的参考意义。     

逻辑演算与形式化方法

逻辑演算对推理形式有效性的研究 ,比传统逻辑更抽象、更严格 ,其原因是形式化方法的运用。形式化方法包括构造形式系统 (语法的 )和对该系统进行解释 (语义的 )两个阶段。以一阶逻辑演算KL 系统为例 ,形式化方法的前期阶段 ,又包括符号化和系统化两个步骤 :符号化是用特制的人工语言符号将推理形式或演绎关系公式化 ;系统化是在符号化基础上构造形式系统 ,即用系统给定的公理和变形规则推导出一系列定理的形式证明系统 ,这是逻辑演算的主要内容。形式化方法的后期阶段或第三步骤是对系统的解释 ,也称模型化。经过解释 ,该系统的符号、公式有了内涵 ,从而就有了更普遍的适用价值。纯形式的逻辑演算的性质、意义和作用也因此变得十分清晰     

论电信企业客户信用管理系统的构建

电信业发展过程中,呆坏账是一个普遍的问题,而且给电信企业的经营也带来了不小的影响。尽管形成我国电信呆坏账的原因有许多,但信用大环境的缺失和电信企业对客户信用管理的不足是最主要的方面。电信企业应在清醒认识信用本体和自身管理方面不足之后,采取措施,逐步建立起有效、动态的企业客户信用管理系统,改善当前的信用管理,才能较好地解决问题。     

经济系统的演化与政策作用

该文根据耗散结构的基本原理 ,将经济系统划分为平衡态、过渡态和自组织状态。并将政策因素看成是一种外部调控手段 ,分析了在经济系统的不同状态下 ,政策因素对改变系统的结构及变化趋势所起的不同作用     

从系统的视角看构建社会主义和谐社会

从系统的视角看,构建社会主义和谐社会是一项复杂的系统工程。社会主义和谐社会是一种远离平衡态的稳定有序的社会系统状态,社会和谐的系统评价必须体现系统减熵增序的认识原则,构建社会主义和谐社会就是要建立健全和整合协调各种社会机制,以推动社会系统向更加有序和稳定的方向发展。     

基于VB的计算机考试系统的设计与实现

介绍了网络环境下的基于Visual Basic计算机考试系统的基本组成和功能结构,同时,就题库的建立和管理、随机成卷系统和评分系统等研制的难点进行了分析,并针对其中的关键技术,提出相应的解决方法。     

我国公司财务治理的现状、存在问题及完善途径

建立健全的公司财务治理结构,是提高公司财务决策效率、提升企业生产经营效率的重要手段。本文分析了我国财务治理中的现存问题,从财务主体的界定、公司激励与约束制度的建立、分层财务决策机制的建立等多个角度提出了完善财务治理的途径。     

区域贸易协定发展趋势对多边贸易体制的挑战

随着WTO的多边贸易体制受到重大挫折,经济全球化的步伐有所放慢,而区域贸易协议已成为当今国际经济关系的主流形式之一。现分析区域贸易协定的迅猛的发展趋势以及对WTO为代表的多边贸易体制提出挑战。面对挑战,当务之急,各区域贸易协定必须接受WTO的一定程序上的规制,最主要的要确保区域贸易协定对WTO多边贸易体制的健康发展。     

法国会计模式的分析及对中国的借鉴

该文分析了法国会计模式的特点和影响因素 ,认为法国会计模式与中国会计模式存在相似之处 ,并借鉴法国 1 996年以来会计改革的经验 ,对完善我国会计模式提出了建议     

实施干部任用“票决制”应抓好的几个环节

干部任用“票决制”以其特有的优越性与合理性被广泛采用，但在实践中存在消极依赖、简单化操作等倾向，导致票决结果的失真。实施干部任用工作票决制，应抓好民主推荐、组织考察、酝酿协商和集体票决等环节。