排序方式: 共有34条查询结果,搜索用时 15 毫秒
1.
2.
类型系统λω×≤的PER模型 总被引:7,自引:7,他引:0
类型系统是近年来理论计算机科学的研究热点之一 .1999年周晓聪曾在文献 [1]中提出并研究了类型系统λω× ≤ 及其性质 .类型系统λω× ≤ 是λω×的扩充 ,引入了子类型关系和受限的全称类型 .与 System F的各种扩充相比 ,它区分各种上下文 ,使得规则和性质的研究更为清晰 .研究该类型系统的 PER模型作为其语义解释 ,并说明该模型的合理性 相似文献
3.
组合计数是计算机专业离散数学课程的重要组成部分,如何在组合计数的教学中培养学生的计算思维,突显计算机专业离散数学课程的特点是一个值得探索的问题。文章探讨如何通过案例将组合计数部分的教学与离散化、模块化、层次化、系统化、公理化等计算思维相结合,强化学生利用计算机求解问题能力的培养,最后通过调查说明案例的运用在实际教学中对学生计算思维培养有较好的效果。 相似文献
4.
5.
本文实现了一个基于Internet/Intranet的远程测试系统SAIL,该系统主要用于远程学习和测试,并可以评价测试结果,根据测试者的实际能力自适应地创建练习。我们基于三层客户/服务器模型进行系统设计,使用Java语言进行系统开发,利用RMI实现客户端与服务器的数据与操作通信,采用数据与显示相分离的JFC设计用户交互界面。试运行情况表明,该系统的实现策略具有很好的可扩充性和可移植性。 相似文献
6.
在数据仓库的实化视图维护处理中,如何有效地处理并发更新是一个重要而又棘手的问题.文中阐述了P2P环境下模式与数据全面并发的典型情形,分析了因并发更新而导致视图维护异常的原因,针对这些不同的方面提出相应的纠正策略.给出了一种基于时态演算的并发更新侦测方法,以及混合更新下对关联更新进行检测的有效算法,最后提出了解决乱序提交问题的增强代理机制,确保了数据仓库与数据源的一致性. 相似文献
7.
类型系统是研究面向对象技术形式理论基础的重要工具 类型系统λω×≤ 是一个带高阶子类型关系的多态类型系统 ,对其性质和范畴论语义模型进行了研究 在此基础上 ,讨论了如何以类型系统λω× ≤ 为工具 ,研究对象、类、继承等面向对象技术的基本概念的形式语义 结合类POINT和CPOINT等例子 ,讨论了基于递归类型和基于存在类型的两种对象表示方法 ,并对它们的特点进行了总结与比较 相似文献
8.
9.
九宫格输入法是手机端常用的中文输入法之一,可将26个英文字母按顺序布局在8个数字键上,每个键上有3~4个字母.然而顺序布局显然不是最优的.本文采用统计自然语言处理计算键盘布局的平均击键次数,并采用模拟退火算法优化,在搜寻键盘数据时,对其实行哈希计算,避免重复搜索,最终找到九宫格输入法的最优键盘布局方案.结果显示,本文的最优键盘布局方案比顺序布局的输入效率明显提升,可以提高生活的便利程度和工作效率. 相似文献
10.
度量数据的分布信息对于理解和使用面向对象软件度量有重要意义.人们对面向对象软件规模度量、耦合度度量乃至继承维度的度量数据的分布都有研究,但对除内聚度缺乏度LCOM之外的内聚度度量数据的分布却缺乏研究.已有的实证研究表明,LCOM并不是好的内聚度度量,因此探讨其他内聚度度量数据分布很有必要.对包括内聚度缺乏度、基于连通性的内聚度度量和基于相似性的内聚度度量总共17个度量指标在112个Java开源软件项目的分布情况进行实证研究,对每个度量指标的每个项目数据使用幂律分布和对数正态分布进行拟合,并使用荟萃分析方法对拟合结果进行了分析.实证研究结果表明,非规范化的内聚度量可使用对数正态分布和幂律分布拟合,但规范化的基于相似性的内聚度量(包括CC、LSCC、SCOM和SCC)需要排除方法数小于等于1或字段数为0的特殊类才能使用对数正态分布拟合,而基于连通性的内聚度度量(包括TCC、LCC、DCD和DCI)则只有对应的非规范化版本的数据才符合对数正态分布或幂律分布.实证研究可帮助人们更好地理解和使用内聚度度量,特别是可以帮助人们如何利用已有的方法确定内聚度度量的阈值. 相似文献