基于证据推理的嵌入式软件可信性评估方法

传统的可信性评估模型通常使用软件度量或逻辑验证方法进行定量估计,在应用于体系结构复杂、可信度要求较高的嵌入式软件时,依然存在可信需求不明确、专家主观认知无法集成等问题。在分析嵌入式软件可信需求的基础上,构建一种基于证据推理方法的嵌入式软件可信性评估模型,并定义证据合成算子和效用估算模型以实现多样化可信证据的一致融合与量化。仿真实验验证了该模型在解决嵌入式软件可信性评估问题时的合理性与有效性。

人脸识别研究综述

该文对人脸识别的主要方法进行了系统的介绍,阐述了人脸识别研究的发展历史中技术和方法的演变以及国内外的研究现状,并对人脸识别研究可能的发展趋势作了展望。

BBS BLOG WIKI助力教师再学习

在终身学习的前提下,教师不再具有原来的知识优势,这就需要教师在不断学习中获得教师身份的认同。多媒体和网络技术以其特有的功能为学习的终身化、全民化和个性化提供了有效实施的途径和方式,并在不断的发展中打造一个融生活、学习和工作一体化的人类生存与发展的崭新格局。利用网络进行再学习是教师的重要选择。

高职计算机教育网络化管理方法探析

随着社会不断发展,教育事业的不断创新和改革,高职教育体系也应该不断完善。该文主要围绕高职计算机教育的网络化的管理方法展开讨论,就其中存在的问题提出改进方案,并列举出高职计算机教育网络化管理的优点。

基于网络的合作学习模式综述

现代人所生活的世界是一个日益多元,相互依赖,急速变化而存在冲突的世界,合作不仅是人们工作,学习的手段,更是人们的需要,多媒体网络技术的发展为教育提供了许多新形式。基于网络的合作学习被视为极有发展和应用前景的网络教学之一。

形态学联想记忆网络的进展研究

20多年来,形态学联想记忆的研究得到了长足的发展。从形态学联想记忆的基本原理、研究新成果等方面对形态学联想记忆网络的进展进行了研究。期望对形态学联想记忆方面的研究带来裨益。

基于客观赋权法的嵌入式软件可信性评估方法研究

以基于证据推理方法的嵌入式软件可信性评估理论为基础,分析需求驱动的嵌入式软件可信性评估过程,并针对评估过程中存在的可信指标间相对权重难量化问题,提出一种基于可信证据熵的客观权重计算方法,用以改进传统方法中常用的主观判断方式。算例分析验证了该方法的合理性和有效性。

构建完善的质量监控体系,规范毕业设计教学

随着高职高专教学改革的深入，实践教学的改革，特别是毕业设计的改革越来越被重视，因为毕业设计是重要的综合实践教学环节，是学生综合能力的检验，也是对高职院校教学质量的检验。在对毕业设计教学存在的问题及原因剖析后发现：教育观念跟不上高职教育的发展要求；毕业设计教学与高职教育的培养目标相脱节；管理不规范，制约机制不健全。无论是形势所迫，还是岗位需求，都必须改革。

基于Java Swing的计算器的设计与实现

计算器作为一种计算工具使用率非常高。本文利用Java语言的Swing、动作事件处理机制等技术开发了一个计算器,对于学习Java程序设计具有很大帮助,尤其对于《Java程序设计》课程的教学具有重要的指导作用。

高职课堂教学中CAI课件制作工具的比较与分析

本文通过对常用课件制作工具的介绍,分析和比较了它们各自的特性,提出了在高职课堂教学中选用课件制作工具几种策略和建议。

单片机控制的交流调压器电路设计

分析了单片机控制的交流调压器的电路组成、元件作用及电路工作原理,阐述了单片机控制的交流调压器的作用及优点。

决策树技术在学生考试成绩数据库中的应用

数据挖掘技术是对一组数据应用一种数据挖掘策略,一个特定的数据挖掘技术是由一个算法和一个相关知识结构来定义的。目前,受到最为广泛探讨的是决策树技术。本文试对学生考试成绩数据库进行处理分析,确定该数据库中数据的决策树模型,并提取一定的规则。

BBS、Blog、Wiki助力教师再学习

在终身学习的前提下,教师不再具有原来的知识优势,这就需要教师在不断学习中获得教师身份的认同。多媒体和网络技术以其特有的功能为学习的终身化、全民化和个性化提供了有效实施的途径和方式,并在不断的发展中打遣一个融生活,学习和工作一体化的人类生存与发展的崭新格局。利用网络进行再学习是教师的重要选择。

混合“云存储”的前景展望

随着服务器虚拟化的广泛应用,云计算技术已经成为效用计算的下一个发展方向。在云计算时代,我们能够像使用电力资源一样消费信息资源,并且按需付费。"云存储"的应用则脱胎于Amazon的S3服务(Simple Storage Service),而且很快就被其他服务运营商所效仿。然而,较差的性能以及出于对安全问题的担忧始终笼罩着"云存储",让它的众多优点黯然失色,同时也阻碍了这项技术进入主流的企业级市场。"云存储"最早的一批用户主要是创业型公司、开发团队以及消费类用户。不过,"云存储"自身也在不断发展,并且有望成为数据中心应用的一个重要的有效方式。