排序方式: 共有8条查询结果,搜索用时 0 毫秒
1
1.
现阶段,学校与社会上的各种考试大都采用传统的考试方式,在此方式下,组织一次考试至少要经过五个步骤,即人工出卷、考生考试、人工阅卷、成绩评估和试卷分析。显然,考试工作将是一件十分烦琐和非常容易出错的事情,可以说传统的考试方式已经不能适应现代考试的需要。 相似文献
2.
罗保山 《数字社区&智能家居》2007,(12):1290-1292
形式化方法作为一种以数学为基础的方法,能够清晰、精确、抽象、简明地规范和验证软件系统及其性质,能够极大地提高软件的安全性和可靠性。本文从形式化方法的研究内容、分类以及发展等方面出发,对基于形式化方法的软件开发的基本思想作了介绍,分析了使用形式化开发软件系统的优势和可靠性. 相似文献
3.
罗保山 《数字社区&智能家居》2007,(23)
形式化方法作为一种以数学为基础的方法,能够清晰、精确、抽象、简明地规范和验证软件系统及其性质,能够极大地提高软件的安全性和可靠性.本文从形式化方法的研究内容、分类以及发展等方面出发,对基于形式化方法的软件开发的基本思想作了介绍,分析了使用形式化开发软件系统的优势和可靠性. 相似文献
4.
为了确保光纤预警系统数据的安全传输和告警信息的实时预警,提出了一种基于GPRS的光纤预警系统的设计与实现,重点阐述了基于GPRS的光纤预警系统应用组网、光纤预警探测终端硬件系统设计、通信协议的设计和软件系统的设计。 相似文献
5.
以依托软件技术科技研究所成立科技开发公司为例,分析了高职院校社会服务能力建设该条路径的可行性,提出了高职院校社会服务能力建设应注意发挥院校的特点和优势,处理好社会服务能力建设与专业建设、发挥院校示范作用等方面的关系。 相似文献
6.
如何进行合理的资源分配,使操作系统的主要任务之一。本文将着重讨论操作系统在处理资源分配过程中的死锁问题,并给出适当的解决方法。 相似文献
7.
针对目前LBSN中,用户只对少数兴趣点进行签到,使得用户签到历史数据及其上下文信息(如评论文本)极其稀疏,同时传统的评分推荐系统只考虑用户和评分二元信息,具有一定的局限性。为此,提出一种基于评分矩阵局部低秩假设的局部协同排名兴趣点推荐算法。首先,假设用户-兴趣点矩阵在由用户-兴趣点对所定义度量空间中某些邻域内是低秩;其次,对于地理信息建模采用一种自适应二维核密度方法,然后,对于文本信息利用潜在狄利克雷分配模型挖掘兴趣点相关的文本信息建模用户的兴趣主题;最后,基于局部协同排名模型将兴趣点的地理信息和评论文本信息有效融合。实验结果表明:该模型的性能优于主流先进兴趣点推荐算法。 相似文献
8.
现阶段,学校与社会上的各种考试大都采用传统的考试方式,在此方式下,组织一次考试至少要经过五个步骤,即人工出卷、考生考试、人工阅卷、成绩评估和试卷分析.显然,考试工作将是一件十分烦琐和非常容易出错的事情,可以说传统的考试方式已经不能适应现代考试的需要. 相似文献
1