移动分布式数据库系统中合作事务恢复技术

形式地给出了合作事务定义及事务间由于消息交换而形成的各务间的检验点依赖和恢复依赖，基于这些定义，某一事务记检验点时，所有检验点依赖于该事务也记检验点，当某一事务恢复时，所有恢复依赖于该事务的事务也恢复到其检验点的状态，开发了一种适合于移动环境的事务恢复技术，；在事务正常的消息传送中，通过额外的一点带宽附加传送事务间的依赖关系，在事务记检验点时，尽可能并行地通知所有相关的事务记检验点，实验表明，该事务恢复技术能减少系统检验点的响应时间，提高系统的恢复速度及系统吞吐率，对网络带宽的要求基本没有增加。     

公诉证明标准的重塑——从证明标准的概念谈起

廓清了证明标准与证明要求的关系,在"案件事实清楚,证据确实、充分"这一证明要求的旗帜下,从两个层次上对公诉证明标准进行了阐述,提出了"有足够证据"这一表述方式,并对如何具体把握作了进一步的探讨,以期从庞杂的证明标准体系中理出一点头绪。     

“学校课程”的建构

澄清作为三级课程体制结构中的"学校课程"概念,分析"学校课程"的缘由和要义,参照泰勒提出的课程与指导原理,结合中国课程实际情况,初步梳理学校自主设计课程的思路、程序和相应的教师专业化、课程管理的要求。     

浅谈人的全面自由发展

自由是对必然的认识和对客观世界的改造,它是一个历史发展的过程,没有绝对的自由。马克思主义人的全面自由发展理论不是空想,而有直接的现实意义。     

有交流的博弈及其特点

从有交流的策略形式的博奕(strategic-form game)和有交流的贝叶斯博奕(Bayesian game)两个方面介绍了引入有交流的博奕(Game With Communication)的概念能极大地简化博奕模型，而且能够得出更易于分析的均衡解，并指出了有交流的博奕的概念在经济活动中设计激励相容的协调机制中的重要应用价值。     

基于移动Agent的CORBA体系结构模型

CORBA技术和移动Agent技术是目前国内外研究开发的热点,将这2种技术融合,使CORBA中对象具有移动Agent的特点是研究设计的主要思想。为此,文章给出了一种基于移动Agent的CORBA系统体系结构及原型系统,这种新型体系结构具有较好的应用前景,尤其能在无线网络、移动计算及主动网络等领域发挥重要的作用。     

一类二阶时变系数线性微分方程的积分解

对一类二阶时变系数线性齐次微分方程和非齐次微分方程引入了特征方程的概念，给出了由其特征根确定通解和特解的积分表达式，推广了经典的二阶常系数线性微分方程和Euler方程的解法．     

煤矿开采沉陷预测的数值模拟

运用求解非线性大变形问题有限差分法（FLAC），对开采引起的岩体移动和地表沉陷进行了研究，总结出了岩体移动的基本特征和地表沉陷和相关参数，所得结果对现场开采具有一定的指导作用，对开采所致的地表沉陷的治理提供了科学依据。     

一种异步计数器的设计方法

数字电子技术中,设计一个时序电路的关键是根据状态转换图求出其状态方程和触发器的激励方程.异步计数器电路中,各触发器的时钟端不是连接在一起的,因而,要想由状态转换图求出各个触发器对于各自本身时钟的状态方程是比较困难的.在一般的数字电路文献中给出了求解方法,但比较繁琐,也不容易掌握.笔者在分析异步计数器电路时,提出了时钟变量的概念和求解方法,并导出了以统一外时钟为基准的各触发器的状态方程.利用这种状     

继承千年学府优秀传统 提高大学生文化素质

本文是作者应激在国家季主办的全国第二届大学生文化素质教育试点学校工作会议上所作的大会发言，文章以湖南大学的实践为基础，讨论提高大学生文化素质的问题。着重论述了继承由岳麓书院一脉相承的千年学府的优秀教育传统进行素质教育的课题。