简介：Inthestudyofprocesscalculi,encodingbetweendifferentcalculiisaneffectivewaytocomparetheexpressivepowerofcalculiandcanshedlightontheessenceofwherethedifferencelies.ThomsenandSangiorgihaveworkedonthehigher-ordercalculi(higher-orderCalculusofCommunicatingSystems(CCS)andhigher-orderπ-calculus,respectively)andtheencodingfromandtofirst-orderπ-calculus.Howeverafullyabstractencodingoffirst-orderπ-calculuswithhigher-orderCCSisnotavailableup-today.Thisiswhatweintendtosettleinthispaper.Wefollowtheencodingstrategy,firstproposedbyThomsen,oftranslatingfirst-orderπ-calculusintoPlainCHOCS.Weshowthattheencodingstrategyisfullyabstractwithrespecttoearlybisimilarity(first-orderπ-calculus)andwiredbisimilarity(PlainCHOCS)(whichisabisimulationdefinedonwiredprocessesonlysendingandreceivingwires),thatisthecoreoftheencodingstrategy.Moreoverfromthefactthatthewiredbisimilarityiscontainedbythewell-establishedcontextbisimilarity,wesecurethesoundnessoftheencoding,withrespecttoearlybisimilarityandcontextbisimilarity.Weuseindextechniquetogetaroundallthetechnicaldetailstoreachthesemainresultsofthispaper.Finally,wemakesomediscussiononourworkandsuggestsomefuturework.

简介：网络程序设计是计算机本科专业实践性较强的一门课程,该课程内容庞杂、课时有限,因此教学难度较大,教学效果欠佳。文章针对课程特点,探讨设计面向MOOC的网络程序设计教学模式,提出以案例教学为主、在线教学为辅的方案,合理有效地利用在线资源增强学生主动学习与互动学习的能力,对课堂教学进行必要补充。

简介：本文指出了C#语言教学中存在的一些问题，探讨了C#教学中所采用的教学模式，强调了培养面向对象的编程思想和正确的教学方法在C#语言教学中的重要性。

简介：该文研究了一个多模式流量监控系统的设计和实现,该系统可监控PC上各个进程的网速情况,根据用户需求对流量进行控制。系统具有默认、安全、智能三种模式,普通模式是根据大众使用网络应用习惯来分配网络流量,安全模式是根据黑白名单列表来控制网络流量,杜绝网络流量的浪费和恶意软件的非法行为,智能模式根据用户使用应用软件频率列表智能识别出软件优先级再分配网络流量。本系统利用winpcap成功实现了设计要求。

简介：为了培养既懂财务又懂软件开发技术的复合型人才，根据金融财务类应用的需要，本文提出了一个面向软件课程设计的教学模型。融合计算机基础理论、软件开发技术、软件工程学原理以及CMM软件过程体系，构建了教学模式框架。该模型具有良好的课程总体结构以及动态适应新技术发展的能力，该模型适合财务类院校软件复合性人才培养的需要。

简介：当前处在社会经济和科技高速发展的状态中,移动通讯设备应用已经相对普遍,而且很多的设备在人们的生活中充当的重要的角色,给人们生活带来更加丰富多彩的体验。对于教育事业来说,新型的学习方式不断涌现,其中移动学习就是主要的一种。其主要的特点就是,采取无线移动通信技术,实现跨时空和跨地域的即时学习,完全满足当下信息化时代的发展趋势。经采取移动学习模式,可以在网络上获取众多的信息知识,将人们求知欲提升。本文对基于基于移动学习教学模式的'静态网页设计'课程改革内容进行探究,对'静态网页设计'中引入进移动学习的有效策略提供有价值的指导。

简介：《C语言程序设计》是计算机相关专业要学习的一门重要基础课程．但是很多学生因为数学中的惯性思维模式给学习这门课程带来阻碍。通过案例说明在教学中引导学生从人解决问题的思维模式向计算机解决问题的思维模式的转变方法。经过教学实践证明。该方法取得良好的教学效果。

简介：针对MOOC教学模式存在的不足,提出将MOOC与传统教学相结合的混合教学模式应用于程序设计课程,给出教学设计要点,并就混合模式下程序设计课程MOOC建设的几个问题进行讨论。

简介：本文介绍了利用网络教学资源的教学模式的设计与实践，论述了这种教改模式的特点和作用，分析整个教学活动的设计与运用。

简介：教师教学质量评价可以从多个方面开展,通过研究与设计学生课堂信息反馈处理流转模式,来扩展信息收集的方式、处理方式。目前大部分的学生评价系统以打分量化的形式为主,该系统构建学生以文字、图片、声音、视频等多媒体形式的信息反馈系统,以信息流模式在学生、督导、系部、教师等相关主体间传递、处理、反馈。

简介：针对软件设计模式课程理论内容抽象、实践内容较零散，以及学生普遍缺乏规模化软件开发经验的现状，分析“合作性学习”方式在软件设计模式课程教学中的应用必要性，提出“合作性学习”驱动的软件设计模式课堂讲授内容和实训教学环节的设计方法，说明通过强化合作实践环节的教学激励，促进学生对课程理论知识内容的深入理解，培养学生主动探索的学习能力和切实可用的软件设计模式分析与应用能力。

简介：

简介：随着计算机和网络技术的飞速发展,在线考试已成为计算机辅助教学的发展趋势之一。在分析了当前应用的一些在线考试系统实现方式的基础上,提出了基于C/S和B/S混合模式构建通用在线考试系统的方案,设计了系统的体系结构和数据库结构,探析了系统关键功能的实现策略。

简介：在计算机全面普及、信息技术突飞猛进的时代,传统的教学模式严重制约了教学质量水平的提升。针对目前军校计算机课程的教学体系以及教学模式的现状及问题,文章将目前军校计算机课程体系划分为3个层次和五大模块,针对不同的课程采取不同的教学模式,构建符合军校学员实际情况的创新性教学方法体系。

简介：针对目前军校计算机教学的现状和实际问题,深入研究军校计算机课程的体系架构和各种教学方法,提出合理优化计算机课程设置,针对不同层次、不同类型的计算机课程采取不同的教学模式,构建符合计算机课程特性和军校学员特性的全新、高效的创新性教学方法体系,以培养学员的计算机应用能力和创新能力。

简介：CC(协同通信)即为现阶段的一项热点技术,HWNS(异构通信网络)中的协同主要是在深化通信网的先决条件下,对各通信网间的通信实体进行全面的整合,使其可以协同为相同的通信过程与目标服务,进而使HWNS中的相关通信资源被最大限度的利用,在为相同的通信与目标服务的过程中,这些被全面融合的各通信实体,能够发挥出在各自独立运行状态下所不具备的能力。文章将以依附于协同模式的异构无线网络协议模型设计研究作为切入点,在此基础上予以深入的探究,相关内容如下所述。

简介：以培养学生创新性思维为核心，以互动式、启发式、案例式教学和实践平台为依托，研究学生创新性思维阶梯式培养模式的构建，介绍基于创新的“互动式＋启发式＋案例式”教学方法和基于激励机制的“分层＋分系列＋分专题”的创新实践活动，培养从事计算机研究和应用的创新型人才。

简介：针对当前＂IT企业招聘难,毕业生就业难＂的问题,提出一种新型敏捷教学模式,主要思想是随着社会对人才需求的变化,学院教学内容也快速地随之动态变化,使毕业生能够快速实现从学校到企业的角色转变,形成以就业为导向,培养适应IT企业发展的应用型人才,实现学院、学生、企业三赢的局面。

简介：基于本课题设计的教学模式,尝试以课堂教学为主的混合式学习模式,基于MOOC理念,再造教学流程,重构教学生态链,尝试以课堂教学为主的混合式学习模式,利用优质的开放教育资源及基于MOOC平台自主开发《C语言程序设计》课程对课堂教学进行改造。

简介：频繁模式的挖掘是数据挖掘领域中一个非常重要的问题，目前在高效、可扩展的频繁模式挖掘算法方面有大量研究。已有频繁模式挖掘算法大致分为两类：基于候选生成一测试策略的Apriori算法以及基于分而治之策略的频繁模式增长算法。已有的工作大多都假设待挖掘的数据是不变的。实际