可视化的PLC程序使用XML

由于PLC程序日益复杂,在PLC应用方面有越来越多的兴趣爱好者。而采用相关的形式化方法,可以让僵化的证明系统属性被核查和验证。其中,一个传统思路的方法就是在PLC编程中设立一个正式的设计方法。不过,现有的软件已被优化、改变或移植到新系统,因此,有必要找到从某一PLC程序开始的方法。因此,规范PLC程序是一个现在研究的热点。本文概述了基于形式化的PLC程序基础上从新启动的方法,转型成为一个独立的格式和可视化的结构,在这个过程中,PLC程序的确定是作为这项措施的重要中间步骤。这表明如何XML和相应的技术可用于形式化和可视化现有的PLC程序。     

浅谈对计算机操作系统的认识

从第一台计算机的诞生,到目前越来越小型化的计算机,其中经历过的十几年的发展都是借助在不断发展、不断进步的科学技术的基础上实现的。目前,计算机已经展现出智能化、超高速等特点。特别是在计算机技术不断发展的当下,想要从目前的发展现状中展现出计算机更加稳定、更加高效的性能,就需要从基本的角度再次对计算机进行分析。计算机操作系统是一个管理电脑硬件与软件的程序,是计算机的核心。本文对计算机的操作系统进行分析,在分析其基本概念与功能的基础上,以安全为实例进行理论与实践的结合分析。     

控制我国银行业中道德风险的随机监督策略:一个博弈分析框架

目前由于信息不对称与有成本核查所引致的道德风险问题在银行业中很严重。本文用瞒报概率和核查力度分别测度企业道德风险与银行核查力度，构建了一个银企不完全信息博弈分析框架。基于这一框架，我们分析了影响企业道德风险和银行核查力度的微观决定因素以及银行控制企业道德风险的随机监督策略。     

小议计算机编程教学中算法的选择

随着计算机科学技术水平的进步,计算机软件开发理论与方法不断涌现。从原有的结构化、模块化程序设计的方法到现在的面向对象的程序开发,计算机软件开发的技术与方法在不断的发展,但是如何能够开发出一个既实用又受欢迎的计算机软件,或是如何才能让学生掌握用最简单     

中专、中小学计算机教育的现状与未来

在现代社会中 ,计算机的普及率日益提高 ,已深入到人们的日常生活中 ,那么如何学好计算机的操作与应用已经成为大家关心的问题 ,本文从几个方面对计算机在中专、中小学的教学问题 ,发展状况进行了探讨 ,从而提出了一些教学上的理论思路     

领域本体的建立及应用

以Protege作为知识建模工具,利用本体对特定领域之中某套概念及其相互之间关系形式化表达的本质,在概念共享方面形式化的、明确的的优点,建立了计算机的领域本体,并将之应用于计算机供应链。     

高可靠软件研究:向信息技术的未来投资

随着社会对信息技术的依赖性日益增长,如何提高处于信息技术核心的计算机软件的可靠性成为一个紧迫的问题。测试仍然是目前工业界广泛采用的确认软件是否正确可靠的主要手段,而形式化方法被认为是非常有希望的新途径。高可靠软件的研究将直接影响到下一代软件技术的形成。     

多媒体教学在西方经济学教学中应用的探索

随着现代科学技术的发展，计算机已进入我国的教育领域，并得到迅速的发展。计算机在教育上的应用，使得教学手段、教学方法、教材观念与形式、课堂教学结构、以至教学思想与教学理论都发生了变革。计算机发展到今天，多媒体技术应用于教学已成为现实，本文从三方面对多媒体在西方经济学教学中的应用进行论述。     

形式化方法应用于软件再工程

介绍软件再工程与形式化方法之后,对形式化方法应用于软件再工程过程的国内外现状进行了总结,接着概括了形式化方法支持软件再工程过程的理论与实践基础,探讨了与形式化方法、软件再工程过程相关的主流技术,包括图形化技术、构件技术、复用技术、中间件技术、设计模式抽取技术,得出在软件再工程过程中,将形式化方法与各种技术相结合才能使其顺利实施的结论.     

浅谈案例教学法在计算机教学中的应用

随着现代化教育的不断发展,计算机教学的理论及理念也在快速发展着。如今在计算机教学中应当做到让学生积极参与到课程中来,引导学生主动提出问题并分析问题,从而提高计算机教学效率。本文对案例教学法在计算机教学中的运用展开了简要的阐述。     

基于社会资本的合作演化研究——"基于主体建模"方法的博弈推演

如何解释人类社会在非亲缘关系中,尤其是在大尺度社会中的合作现象?经验研究指出社会资本对于社会合作的形成具有重要作用.本文以形式化的社会资本变量为基础建立了一个新的合作演化模型,并利用"基于主体建模(Agent-based Modeling)"方法进行计算机模拟,推演社会合作与社会资本互动的演化过程,在形式逻辑的基础上解释大尺度社会下的合作现象.     

浅析计算机审计

计算机审计是审计领域的新生事物,代表了审计理论与实践的发展方向,具有传统的手工审计不可比拟的优势。本文从不同的方面对计算机审计进行了深入、细致的研究,对己有的计算机审计理论研究进行了总结,明确了“计算机审计”的定义,在分析我国计算机现状的基础上,提出了我国计算机审计的发展思路及对策。     

民机全机有限元模型数据核查技术

民用飞机设计过程中,全机有限元模型的有效性和准确性直接关系到飞机结构强度设计的正确性。本文根据民机结构及有限元模型特点,建立了模型数据核查的方法和流程,并基于前处理软件HyperMesh,开发了一套有限元模型数据核查工具,极大地提高了全机有限元模型核查质量和效率。     

生本教育在职校计算机课堂中的运用

首先介绍了生本教育理论的发展经历,陈述了职校计算机教育的常见问题,给出了生本教育理论运用到职校计算机课堂的具体方法。     

高职院校计算机教学中学生创新能力研究

网络的发展使得互联网渐渐融入到居民的生活中,高校中也逐渐开设了计算机课程,意在培养学生的创新能力。但是,现阶段计算机教学中仍然有许多问题,偏向理论、实践较少等问题限制了学生的创新能力发展。本文将首先介绍高校计算机教学发展现况,再介绍在高校计算机课程中,应当使用什么策略培养学生的创新能力。     

浅谈初学概率论

概率论与数理统计是现代数学的一个重要分支。近二十年来,随着计算机的发展以及各种统计软件的开发,概率统计方法在金融、保险、生物、医学、经济、运筹管理和工程技术等领域得到了广泛应用。可以通过数学建模,理论分析、推导,数值计算以及计算机模拟等理论分析、统计分析和模拟分析,以求研究和分析所涉及的理论问题和实际问题。本文浅谈了概率论的产生和发展,并以彩票为例说明了概率的应用。     

安全协议形式化分析理论与方法研究综述

综述目前安全协议形式化分析的理论与方法 ,包括安全协议的分类与模型 ,安全协议形式化分析的 3种典型方法 (基于推理的结构性方法 ,基于攻击的结构性方法 ,基于证明的结构性方法 ) ,安全协议分析的形式化语言 ,安全协议设计的形式化方法 ,以及安全协议形式化分析面临的挑战     

关于中职计算机基础理论课程教学的思考

近几年中等职业教育快速发展,计算机学科作为一门基础课程已经进入了中职教育的非计算机专业课程教学中,计算机基础理论教学成为素质教育的一个重要组成部分。本文以某中职学校为例主要从建立教学体系、多种教学方式相结合、培养学生兴趣、优化考核方式及重视教材改革等方面分别详细地阐述了如何提高中职计算机基础理论课程教学。     

高职学院计算机应用基础教学改革初探

计算机应用基础教学作为高等教育中的一个重要内容,它是现代信息交流技术发展到一定阶段的必然产物。现代社会是一个信息快速更迭的社会,计算机的普及迫切要求学生们通过计算机应用基础教学去掌握基本的计算机运用技能。本文在提出计算机应用基础教学中存在的一些问题之后也提出了一些切实可行的改革建议。     

建筑概论

土木工程是一个庞大的学科,它涉及到人们的生活的各个方面,现代科学日益进步,从而为进一步发展提供了强大的动力和物质基础,理论的发展,新材料的出现,计算机的应用,高新技术的引入等都将使土木工程有一个新的飞跃.