基于自然推演下描述逻辑VL的形式化推理

描述逻辑是一簇知识表示的语言,其以结构化、形式化的方法来表示特定应用领域的知识.文中给出了描述逻辑VL的形式化自然推演系统,并以此构建形式模型证明其推理机制是完备的.     

硬件设计中的形式化方法

形式化方法是一种用于规范、设计和验证计算机系统的基于数学的方法,包括各种语言、技术和工具等。近几年来,形式化方法在硬件设计中的引入,使得模型检验方法日趋成熟。本文主要介绍了硬件设计中的模型检验这种形式化方法,及该方法的应用情况。     

A Definition Formalism of Machining Features for DFM

特征技术在设计和制造中的成功应用取决于其形式化理论的建立．本文从形式化定义和可制造性分析两个方面研究了面向制造设计中制造特征的形式化描述方法，提出了基于设计几何材料去除操作选择和规划的相关制造特征定义，给出了相应的可制造性分析算法框架．所提出的方法为基于特征的ＣＡＤ／ＣＡＭ集成，尤其是为设计自动化的实现提供了一种新的思路．     

UML状态图到B形式化规范的转换实现

统一建模语言UML在面向对象的建模技术中得到了广泛应用。但是UML模型缺乏形式化语义,难以使用数学方式对模型进行分析和验证。B方法作为一种建立在严格数学机理上的形式化方法,将可视化UML模型转换为B形式化规范,可以对模型进行形式化描述和分析,确保模型的可靠性。通过研究从UML状态图到B形式规范的转换规则,提出了一种基于XMI的状态图到B形式化规范的自动转换方法,并使用Java语言实现了自动转换工具UML2B。     

浅析软件演化过程描述语言的作用及特点

在整个软件生命周期中,软件演化已成为其中一个日益重要的研究方向.软件演化过程用来建立软件演化的整体任务框架,可以提高软件演化的效率,但其描述力不足,难以在计算机中实现.软件演化过程描述语言作为面向对象的形式化建模语言,其较强的描述力和易于在计算机中实现的特性,使它可以在不同的抽象层次上描述演化过程,且有利于对软件演化过程的控制、分析、度量和改进.     

描述逻辑ALC的公理化方法研究

描述逻辑是一族知识表示语言,其以结构化、形式化方法表示特定应用领域的知识。描述逻辑的各语言背后的逻辑是什么,能否公理化等问题在描述逻辑的研究进程中迄今没有相关研究。本文首先通过描述逻辑ALC与一阶逻辑的一个可判定片段之间的关系试图揭示描述逻辑的本质。最后给出了描述逻辑ALC的公理化方法及其演绎定理的证明。     

Web课件制作系统中知识表示的研究

针对现有Web课件制作系统知识表达能力差、智能化低、结构不清晰等问题,介绍了基于XML知识表示方法应用于Web课件制作系统的优势,给出了一个通用Web课件制作系统的体系结构,并用形式化的语言描述该系统,最后将该形式化的语言转换为XML语言.     

基于指称语义的UML序列图的语义分析

统一建模语言UML是近年来软件工程领域的重要成果之一.在UML规范中,静态语义是用OCL语言和自然语言描述的,而动态语义基本上是用自然语言来描述的,因此UML缺乏一个严格的动态语义定义.本文针对UML半形式化的特点,在采用指称语义学方法对序列图进行形式规范的基础上,采用了可扩展的标记语言XML文档格式对UML序列图进行存储,并给出了UML序列图语义处理的算法,实现了对序列图的语义分析.     

存储管理软件的设计模式探讨

设计模式在面向对象系统中解决特定的设计问题,使设计更灵活、优雅,最终具有更好的复用性。它描述了问题、解决方案、使用条件、效果以及实现要点。阐述了设计模式的基本要素、形式化描述、原则、如何解决设计问题以及在存储管理软件中的应用问题。     

数学陈述中的形式化语言

本文介绍了形式化语言在数学教学中的巨大作用,不用数理逻辑知识而用初等的方法证明了数学中常用的形式化语言的变形规律。只具备中学数学基础知识的学生便可以理解这些证明,为在数学教学中推行形式化语言提供了一个较为初等的理论基础。     

软件项目开发实训系统的设计与实现

软件项目开发实训系统的提出,旨在为高等院校计算机系学生进行符合当代软件行业标准的软件开发过程实践活动提供一个平台。实训系统以TSP作为方法基础,帮助软件开发初学人员建立团队化、网络化、自动化的敏捷软件开发过程,降低软件工程的学习门槛,树立正确地软件开发观念。本文分析了软件项目开发方法发展和教育现状,总结了团队软件开发的核心内容。在此基础上,给出软件项目实训系统的设计方案和系统实现。     

家用电器模糊控制开发平台的研究

本文对家用电器模糊控制开发平台进行分析与设计。平台利用IEC 61131—7中定义的FCL（Fuzzy Control Language）语言描述整个模糊控制系统，并且同时可自动生成标准C语言或其他高级程序设计语言描述的模糊控制系统的程序代码。应用该家用电器模糊控制开发平台大大提高了模糊控制系统设计质量，缩短设计时间。     

自动取款机智能判定系统软件设计

为了使储户安全的使用ATM机办理业务,开发了自动取款机智能判定系统,并研究了其软件设计方法。通过采用结构化程序设计方法,使用C51语言编程,自顶向下,逐步求精,完成系统的软件设计,给储户一个比较安全的环境。     

基于Z语言的形式化需求分析

介绍了形式化方法和形式化规格说明语言Z语言，利用Z语言对软件需求进行了严格定义，在严格的数学基础上进行软件开发，以获得更好的软件性能．利用形式化方法的需求分析，有助于发现需求中隐含的不一致性、二义性和不完整性，对其进行更深入精确的理解，从而进行规范化管理．     

通用软件帮助系统的实现

基于Windows平台的软件开发中,功能强大、内容丰富、使用方便的帮助系统已成为其重要的组成部分,一个高质量的商品化软件必须具备丰富、完善、使用简捷的帮助系统.本文介绍的系统以Windows操作系统作为基础平台,以Visual Basic程序设计语言、Macromedia Flash Player及Access作为设计工具,能够实现对通用软件的帮助系统方便而快捷的制作.     

基于AT89C52单片机的超声波测距器设计

目前国内超声波测距器的设计大多采用汇编语言设计。由于单片机应用系统的日趋复杂。要求所写的代码规范化,模块化,并便于多人以软件工程的形式进行协同开发,汇编语言作为传统的单片机应用系统的编程语言,已经不能满足这样的实际需要了,而C语言以其结构化和能产生高效代码满足了这样的需求,成为电子工程师进行单片机系统编程时的首先编程语言。本设计就是一种基于AT89C52单片机、采用C语言和汇编语言混合编程来实现的超声波测距器。该文较详细地论述了采用单片机技术研制而成的泊车用超声波测距仪的基本原理。测量计算方法,实现方案。使用它,可以极大的提高泊车时的安全性。     

COM技术在工业控制组态软件中的应用

COM全称组件对象模型,是微软公司在Windows操作系统中极力推广了一种技术．COM技术不是一个编程语言,而是一种编程规范和方法．采用COM技术可以开发功能强大的软件,有利于分布式应用技术的实现,有利于多人合作开发,也可以帮助我们理解Windows系统本身。随着工业控制领域的飞速发展,为方便、有效的降低风险、提供灵活的接口功能,越来越显示出COM技术的重要。作者就COM技术在工业控制组态软件中的应用谈了几点想法．     

基于超图的软件进化模型

原型法在开发大型软件系统、理解其开发和进化过程方面是最好方法,但由于不同系统的开发环境和过程不同,很多形式模型在实现中都有技术上的困难.用基于超图的软件进化模型表示和研究有多维分层结构的复杂软件的进化过程,可以有效地帮助开发者描述、理解和控制软件的进化过程.经开发多媒体系统的实践证明,这一模型在需求多变的软件开发中进行软件进化控制效果良好.