排序方式: 共有6条查询结果,搜索用时 15 毫秒
1
1.
形式化方法在程序验证、模型检测的研究有着重要作用,集成形式化方法是形式化方法发展的一个方向.BCCS模型是集成B方法和进程代数CCS构建的一个混成模型,模型中给出了一个轻量级的描述语言,但缺少语义的支持.为了保证这个描述语言的完备性和一致性,本文则在传值CCS操作语义的基础上,结合B方法对抽象数据结构的定义、系统的限制以及功能处理,给出了BCCS的操作语义,进一步刻画BCCS模型. 相似文献
2.
概述了目前职业学校计算机基础教育的现况,从多个角度对目前职业学校计算机基础教育存在的问题进行了分析。并针对这些问题提出了相应的解决方案,对职业学校的计算机基础教育改革的顺利进行具有一定的参考价值。 相似文献
3.
网络自主学习监控的分析与设计 总被引:1,自引:0,他引:1
基于网络的自主学习对学生来说,是一种新的学习方式,教师如何在网络教育平台中实施远程监控是网络教育的新问题。本简要分析了网络自主学习的特点,实现网络自主学习监控的目的、途径及技术实现。 相似文献
4.
近年来,随着数字化节目源的不断增多,对原有的节目播出控制系统提出了新的挑战.本文对视频播出控制系统的需求和数字化节目的特点进行了分析,提出了一套基于网络的数字化播出和控制系统的设计方案,在此基础上对各个模块的流程进行了描述,并详细介绍了各个模块的功能,最后提出了模块的实现方案.该系统的实现和运用将会提高公司或企事业单位节目播出的效率,在一定程度上提高数字化节目的播出率. 相似文献
5.
根据高校学生管理工作的现状,针对性地分析了高校学生管理工作考核的原则和内容,设计并实现了基于B/S结构的学生管理工作考核平台,其中的评价模块采用因子分析法,该平台能够根据考核指标对院系学生管理工作做出较为客观的评价,并能适应考核指标体系的变化,能提高学生管理工作的效率和信息化程度. 相似文献
6.
谈中职校的教育信息化建设 总被引:1,自引:0,他引:1
目前,大部分中等职业学校特别是中专学校开始建设或已建成校园网,少数学校已接人中国教育和科研网.随着办学投入的加大,以计算机为代表的教学辅助设备大量购入,并开始更新换代.中等职业学校在全球信息化的浪潮中,要生存发展下去,就要实现教育现代化,面向市场培养人才,走一条以现代教育技术振兴中职教育之路.…… 相似文献
1