简介：本文对欧洲高等院校的计算机相关专业形式化方法教育进行了介绍，主要包括形式化方法课程的知识体系、形式化方法教育的课程及其内容。

简介：提升计算机实践教学的质量对于培养和造就高水平计算机科学与技术专业人才具有重要意义。文章结合多年教学实践,探讨计算机实践教学中容易出现的现象和问题,提出＂引入门、扶上马、撒开手＂的＂三步走＂计算机专业实践教学方法,并介绍一些具体措施。

简介：程序设计中的主观题自动评判历来是一个难题，我们提出了一个全新的程序设计主观题自动评判方案，并完成了系统的设计开发。本文则较为详细地给出了改革的主导思想、系统的功能和使用效果。

简介：鉴于在中国科学院软件研究所长期从事的安胜安全操作系统的研发经验和成果，我们从模块化知识体系和工程实践角度，采取了集课堂讲授、讨论交流、实例演示、实验和课程项目为一体的多模式教学方法。本文介绍了我们的研究成果。

简介：企业不但要求商业智能对历史数据进行准确展现、查询、分析，更希望对历史数据做前瞻性分析，以预测未来可能发生的状况。

简介：十字交叉口作为城市交通的枢纽．随着车辆的增多．原有的一些控制方法已经不能有效的缓解十字交叉口的交通压力。经过对十字交叉口交通信号控制方法进行研究，提出一种基于车辆排队长度和车辆等待时间的实时可变相位的十字交叉口信号控制方法．并利用VISSIM交通仿真软件进行仿真。

简介：在flashcs6的默认情况下,Flashcs6只支持flv和f4v格式的视频.如果不是这种格式的视频,我们可以使用Flashcs6自带的视频转换组件AdobeMediaEncoder将其他视频格式转换成FLV和F4V格式.本文主要讲解如何使用flash自带的AdobeMediaEncoder组件进行视频文件的转换,导入和使用.

简介：当前,计算机网络深深进入人们的社会生活,计算机和网络技术不断提升,大大改变了人们的生活方式、学习方式、社交方式。随着网络的深入发展,越来越多的人开始接触网络,应用网络,因此,在这一过程中,人们也会遇到各种各样的网络问题。当今,网络故障随时随处可见,影响了人们对于网络的使用,提升了网络的使用门槛。因此,对于网络故障的准确定位、及时解决成为当前的重要议题。该文针对这样的情况,对日常常见的网络故障进行了系统的阐述和总结,并且提出了常用而方便的排查方法及解决方案,具有一定的参考价值和实际应用意义。

简介：针对目前公共计算机课程成绩考核与评价方法中存在的弊端,把公共计算机课程成绩评价与标准分制度有机结合,应用数理统计学理论与方法,深入探讨计算标准分时应该考虑的各种因素及具体实施措施,提出适合公共计算机课程的标准化成绩评价算法,对学生学习过程进行监控,尽量客观地反映学生的真实学习效果,形成客观公平的考核评价模式。

简介：随着科技发展,高低温试验箱应用越来越广泛,其能营造满足试验要求的高低温环境,保证试验的顺利进行,有关高低温试验箱控制方法的研究因而受到越来越多业内人士的关注。本文对高低温试验箱中PID控制新方法进行分析,探讨相关应用,以供参考。

简介：简述一种具有保持光纤直放站输出功率恒定输出的实现方法,从而大大提高了GSM-R网络信号覆盖的稳定性与可靠性。

简介：“兴趣是好的老师”，是推动学生自主学习的直接动力。在语文教学中，要实现学生学习方式的转变，没有“兴趣”作保障，要充分调动学生学习兴趣是决不可能实现的。只有全方位调动了学生学习的兴趣，营造出积极、主动学习的课堂气氛，才能实现学生自主探究、参与合作等学习方式的改变。

简介：为提高学生学习兴趣和改进教师教学效果,探讨在软件工程类课程中运用一些增强趣味性的教学方法,如角色扮演方法、以调动学生思考为着眼点的苏格拉底教学法、鼓励课堂讨论的策略、案例教学法以及引用、比喻的使用等。

简介：本文提出了基于建构主义的高职计算机实践教学新思路，注重以学生为中心，从高职教育的特点、计算机专业发展和高职学生特点的实际情况出发，对实践教学的方法进行了深入探讨并分别进行了举例说明。

简介：3D游戏已经成为电脑游戏的主流产品。在3D游戏开发过程中引擎程序设计的一个重要环节就是需要确定运动着的物体和环境之间,物体和物体之间在什么时候发生碰撞,从而有效地控制物体运动的过程。该文从环境碰撞和实体碰撞二个方面论述了游戏引擎程序设计中碰撞检测的数学基本方法,为游戏开发中的引擎程序设计的碰撞检测算法的提供数学解决方案。

简介：相位非线性误差是微波模块的一项重要指标，通过全面分析相位数据的特征，提出一种对相位数据进行拟合前翻转预处理，再利用最小二乘法进行直线拟合，从而计算出微波模块相位非线性误差的新型测量方法，该方法通过软件仿真实现，将这种计算方法运用于多种微波模块测试，实际测试结果在测试指标范围内。

简介：在教育面向现代化、信息化的背景下，充分结合信息技术教育手段，激发儿童写作学习兴趣，为小学语文作文课注入新鲜血液，进而提升写作教学的有效性是势在必行的。以下本文就结合当前的小学语文写作教学现状，谈一谈教师课堂引导的“信”方法、新路径。

简介：当前，各个系统的架构设计越来越复杂，应用程序也不再是单一的架构了，系统运行缓慢成为一个普遍存在的问题。时间都去哪儿了？也许花在程序逻辑处理上，也许花在前台中间件交互上，也许花在网络传输上，也许花在数据库模块调用上，也许花在存储的IO处理上……此外，不仅是系统本身愈发复杂，系统的接口也愈发繁多。时间还可能去这儿了：你的程序调用了外系统的客户资料系统，接着又调用了外系统的计费系统,接着又调用了外系统的渠道系统,接着又……面对性能问题你可能无所适从，因为我们无法判断是自己的系统花费的时间多，还是别人系统花费的时间多？

简介：针对留学生基础偏弱、数字媒体类课程实践性较强等问题,分析目前面向留学生的数字媒体类课程全英文教学中的矛盾,基于3年的教学实践,探讨以任务驱动为主的启发式教学方法。

简介：针对研究性大学计算机类专业的培养目标和定位,提出问题导向的计算机网络课程内容体系,即以构造性思维代替解析性思维,引导学生面向问题,从需求出发,一步一步地设计网络的相关构件和要素,构造出满足应用要求的计算机网络,以培养学生的系统思维和创新思维。