DSM系统中共享存储抽象机制的实现

虽然ＤＳＭ系统相互之间差异很大，但ＤＳＭ存在一个共同特征，即提供共享存储抽象机制。本文分析了ＤＳＭ系统共享存储抽象机制的实现，总结了各种不同的实现途径、实现细节及各自的优缺点，指出了ＤＳＭ发展的趋势及一些亟待解决的问题。

程序设计语言抽象机制研究

论述了抽象机制在计算机解决问题中的作用和必要性,并对面向过程和面向对象两类程序设计语言的抽象机制进行分析研究,讨论了它们之间的区别和联系,旨在引导计算机学习者掌握抽象工具解决实际问题.

几种软件抽象机制及其开发技术的分析比较

软件抽象机制是软件技术的基础,其发展具有继承性,对象是过程抽象的发展,agent是对象的进化和发展。文中分析了过程、对象、agent等三种重要的软件抽象机制的特点及相应开发技术,讨论了它们之间的区别和联系,揭示了软件抽象机制发展的趋势。

一种抽象泛型机制的新型Java实现

泛型程序设计可大幅度提高程序的可重用性、可靠性和开发效率,高抽象的泛型机制则有助于降低泛型编程的复杂度.该文介绍了一种抽象泛型机制的核心思想和编程技术,分析了新型Java中与之对应的实现机理,并归纳出相应的转换规则,且在既有平台中实现了抽象泛型程序到新型Java泛型程序的自动转换和运行,最后通过一个Kleen算法实例,展示了抽象泛型机制的实际运用和相应Java程序的自动生成.抽象泛型机制的新型Java实现,在降低可重用算法构件的设计复杂度、提高算法构件可靠性的同时,也为泛型构件的设计和描述提供了行之有效的新途径.

现代性的意象:例子、话语与建筑(下Ⅱ)

本文是“现代性的意象:例子、话语与建筑(下)”的第二部分,将继续针对“建筑中的抽象”议题,讨论现代性工具理性逻辑如何对历史与学科中的建筑学范式产生了影响。如果说“观念”“经济”“技术”“军事”“结构”五个维度是上文的要点,那么战后现代建筑的“意识形态”转向将是本文的关键词。本文以“白墙的涌现”作为具体的问题线索,通过多个相对深入的范式性案例分析,对现代建筑的意识形态运动与抽象机制进行了批判性检视与当代反思。

支持IPv6试验和部署的新型数据平面结构研究

为了解决IPv4网络体系结构和设备难以满足IPv6网络在数据包解析、匹配、动作执行等方面的问题,提出了一种支持IPv6试验和部署的新型数据平面结构.该结构包含一种同时支持策略和功能的数据平面抽象机制以及一种应用于IPv6下一代互联网的数据平面硬件结构,支持多种创新网络体系结构在同一网络中共存,实现对新型协议的试验和验证,支持可定制的协议解析、灵活可编程的分组处理以及内部资源的动态组合,以支撑未来网络功能的试验、部署和评估.通过系统试验和分析,验证了该结构在可接受资源开销的情况下具有较高的转发性能.

基于假设学习轨迹发展学生数学抽象能力的案例分析

从案例分析的视角,梳理国外长方体体积测量公式的假设学习轨迹,并对假设学习轨迹下的数学抽象以及数学抽象机制进行阐释,明确了基于假设学习轨迹发展学生数学抽象能力,促进数学抽象素养培养的实践意义。假设学习轨迹能促进数学抽象发生的顺序性和连贯性;基于假设学习轨迹的数学探究活动利于数学抽象能力的发展;假设学习轨迹可以规划数学抽象素养的形成和发展。