摘要：在分析嵌入式实时数据库数据和事务特征的基础上,讨论了嵌入式实时数据及事务的一致性约束,包括内部一致性、时间一致性(外部一致性和相互一致性).为满足各种一致性,针对不同类型的数据和事务给出了识时恢复的正确性准则.基于这些约束,设计了实时日志及相应的恢复算法.性能分析结果表明,所给出的恢复方法在减低超截止期事务比率、节省系统开销等方面都具有较好性能.

摘要：基于C/S模型分析了分布式实时计算环境中多数据流并发处理的事务问题.采用复杂事件驱动技术,设计了一个适于多数据流并发协作处理的事务机制ARTs-MDS,能够自组织地将对分布式实时数据产生作用的并发任务组成一个原子的事务单位.系统维护着一个永久性的请求/响应队列将物理的设备的实操作与实时事务相分离,通过保证并发协作任务的事务特性获得以分布式局部采集数据为基础产生的微观层操作行为协作产生的整体效果的原子性.测试结果分析表明:该系统能提高对连续的外部采集数据进行协作处理的实时响应,减少了数据丢失.

摘要：开展组合建模技术的研究是实现动态在线仿真开发的基础,并进一步为实时作战决策的制定提供支持。就可组合仿真系统的概念框架进行了研究,为后续工作提供指导。首先,对可组合性的基本概念和关键技术进行深入的分析和探讨;然后,进行具体的概念框架设计,建立了一个用户级、组件级和应用级的三层结构,分析了其功能特性;最后,初步研究了网格环境下组合仿真应用实现的可行性。

摘要：用户接口是任何一个现代软件系统的关键组成部分,它的设计与实现常常要花费大量的工作。本文提出一个面向对象的用户接口模型,给出了它的概念与结构;介绍了一个基于该模型的用户接口系统 O^2MS,它运用面向对象的程序设计技术为菜单式接口的设计、实现与维护提供了一个开发支撑环境,同时为应用开发提供了有力支持。

摘要：《中元夜》表现了余光中从李贺诗歌中攫取怪诞意象,抒发人生喟叹的高超诗艺。表达了对生命意义的冷静思考,对人的存在的悲悯谛视;透露出对时代和社会的悲剧感受。全诗既是古典的,又是现代的,以古典的方式呈现现代的艺术精神,完成了古典艺术经验的现代转换是传统精神的深化和现代意义的再塑。

摘要：教育评价具有三个向度,第Ⅰ向度是"关于教育的评价",追求价值判断的科学精准;第Ⅱ向度是"促进教育的评价",追求促成价值的目标实现;第Ⅲ向度是"作为教育的评价",追求价值创造的开放生产。运用教育评价向度分析方法对新一轮普通高等学校本科教育教学审核评估政策措施进行分析发现,在教育评价的第Ⅰ向度、第Ⅱ向度、第Ⅲ向度都设计了相应的政策及配套措施,只是第Ⅲ向度的政策多属倡导性质,措施力度也相对较弱。高等学校可有针对性地选择行动策略,因应"关于教育的评价",用好"促进教育的评价",落实"作为教育的评价"。审核评估的生命力在于实践探索,实施新一轮审核评估,还需在审核评估意愿、能力、组织,尤其是第Ⅲ向度"创生价值"上下功夫,高等学校也要主动适应新变化,开展新探索,做到同频共振。

摘要：本文指出了巴班斯基教学过程最优化理论的两个重要缺陷；一是忽视“学是教学矛盾发 展的主体”，侧重于社会的、教师的外国建构教学系统；二是以僵死的“既定标准”来判断最优化问题， 单一地采用了难以适应复杂教学系统的线性设计。并在此基础上报出，当今以信息化为特征的“所教 育”要从学习最优化入手，以全面现实的标准和多极次非线性的思路来优化设计和进行方案检测。

摘要：农地股份制自始即存在两大目标:农业现代化与城市化。不同维向决定了股份制改革的不同目标定位。土地的区域性差异和农户的行为偏好共同决定了农村土地股份制改革必然呈多元化路径发展。根据目前的民间实践,农地股份制改革需尊重民间智慧,允许多元化路径探索和模式选择,不宜推行自上而下的大一统、一盘棋模式。农村土地股份制改革的时代价值主要体现在:从"他者"走向"自我";从"内部人"走向"社会人";从社群管理走向社会治理;从社会区隔走向社会开放;从"民本"走向"民主"。

摘要：教育基础性制度体系是由教育制度中居于基础位置,能够起到制约、派生或影响其他制度的原生性行为规则构建起来的体系。当代中国建立教育基础性制度体系,是全面深化改革的目标要求,是教育新形势新任务的迫切需要,是现代教育制度变迁的历史必然,是教育体制机制改革的内生需求。这个制度体系包括系统化育人制度、多样化办学制度、法治化管理制度和立体化保障制度,具有鲜明的政治属性、全面的服务特性、深刻的合规定性、多元的价值统一性、系统的力量整合性、积极的现实干预性。建立教育基础性制度体系可按照统筹设计、改革推进、实践博弈、立法固化、持续完善的工作链条进行。

摘要：本文给出一种层次关系数据库设计法.它考虑了包含语义及结构信息的自然层次联系,提出层次依赖与关系层次树的概念,引入关系的分层结构思想来构造数据库视图.文中给出了完整的设计过程与详细的算法,以表示层次、群体与凝聚联系的最小基本依赖集为基础,对初始关系模式逐步求精分解而建立关系层次树,最后转换成层次关系数据库模式.