构建软件课程网络体系提高学生综合设计能力     

傅秀芬  汤庸 《高等工程教育研究》1998,(2):38-41,50

  相似文献   

对我国女子体操一线队伍人员结构、层次递升、技术发展问题的研究     

王萍  温小铁  赵惠莹  彭伟  宁克  汤庸 《体育科学》1992,(6)

采用跟踪调查法、《A&B》难度实力评分法及数据库原理,以1968至1980年出生的12个年龄组109名不同技术层次的运动员为研究对象,对我国女子体操一线队伍人员结构、层次递升、技术发展的现状及其运动变化的某些规律进行了历时四年的跟踪调查研究,基本掌握了当前中国女子体操一线队伍人员年龄、地区、技术结构状况;归纳出影响层次递升节奏的三大制约因素;指出了技术发展中的成绩与问题。并在此基础上提出了有关体操发展战略和训练道路的若干建议。  相似文献   

自然语言时态句型的模态Lambek演算     

刘冬宁  汤庸 《中山大学学报论丛》2008,1(3)

1958年,Joachim Lambek提出了Lambek演算,进一步推动了逻辑学、语言学、计算机科学等学界的纵深和交叉发展.然而在语法分析方面,Lambek演算与范畴语法的结合仍存在小足,就传统的Lambek演算而苦,由于其过于刚性,因此所能处理的语法问题还有限.本文重点论述了传统Lambek演算不能处理的时态句型问题,并基于此设计了模态Lambek演算系统(Lambek Calculus with Temporal Modality,LTM系统).LTM系统红相应关系框架上是可靠的和完全的,同时在证明论方面也具有良好的性质,其不仅具有切割消除性,还具有判定件.鉴于Lambek演算与Montague内涵语义理论的对应衔接,使得语法和语义的衔接采用了同样的文法(Lambck演算),这为计算机界研发自然语言的编译工具提供了有力支撑.由此,我们希望所设计出相应的LTM演算系统,也终将能推动计算机编译系统对时态问题进行处理.  相似文献   

《软件工程》实例化教学探索   总被引：6，自引：0，他引：6  

余阳  汤庸 《中山大学学报论丛》2003,23(5):8-13

《软件工程》是计算机本科教育中惟一涉及工程化管理和技术的课程，以往的教学注重理论而忽略了实践。总结了作者进行实例化教学的方法和思考，对软件工程教学改革作了有益的探索。  相似文献   

基于学者网课程平台的混合在线教学模式     

林吉红  汤庸  刘海  常超  李建国 《教育技术导刊》2020,19(3):257-260

新型冠状病毒疫情防控期间,教育部提倡“停课不停学”,如何应用在线教学平台成为实现课程教学的关键问题。讨论实现在线课程教学的基本条件,介绍学者网课程平台构建课程空间、组织在线教学特色和优点,提出基于学者网平台融合成熟在线视频系统的混合在线课程教学模式。相对传统在线课程教学而言,该模式可无缝应用学者网学术社交和团队协作功能,共享学者网学术和教学资源,为开学不返校情况下开展在线课程教学提供参考。  相似文献   

用波动方法证明元函数的正确性定理     

印鉴  汤庸 《中山大学学报论丛》1996,(6)

以计算逻辑为理论基础，采用波动方法证明了计算逻辑中的一个重要定理——元函数的正确性定理．  相似文献   

基于区块链的文件存储碎片分配优化模型     

梁婉莹  朱佳  马晓东  汤庸  梁熙龙  陈善轩 《教育技术导刊》2020,19(1):216-220

为了改善原有碎片分配方案仅以节点响应效率为主而对节点分配次数、节点空间利用率、安全性能欠缺考虑的现状,提出分布式文件存储系统的碎片分配优化模型。优化模型由节点响应状况检测、大范围节点数据完整性审计和包含剩余存储空间大小、最近存储碎片时间戳以及响应时间长短的综合评估3方面构成。对其进行仿真实验,对比原有方案,优化方案没有出现节点倾斜现象,选取次数最大落差不超过95;节点效率得到了均衡,最大落差缩减至15%。优化方案提高了碎片分配的公平性、安全性和可靠性,实现了最优节点的自动化选择。  相似文献