形式化方法在藏文软件开发中的应用研究

形式化方法有助于软件开发中发现其它方法不容易发现的系统描述的不一致、不明确或不完整,增加软件开发人员对系统的理解,利用形式化方法开发的软件系统具有较高的可信度和正确性,并能使系统具有良好的结构,使其易维护,关键是能较好地满足用户需求.主要研究利用形式化方法开发藏文软件需要考虑的关键问题和实施方案,以及形式化方法对提高藏文软件系统的安全性与可靠性的作用.     

软件开发中的形式化方法介绍

软件工程中的形式化方法就是依靠数学模型和计算来描述和验证一个目标软件系统的行为和特性,包括需求规格、设计和实现等,其最根本的一点就是建立在严格的数学基础上的方法.使用形式化方法可以帮助开发者获得对其所描述的系统的深刻而正确的理解,发现并及时更正设计中的错误和缺陷.众多的形式化方法在功能上可以实现互补.目前软件开发中的形式化方法主要是形式化规范说明语言,有Z语言、VDM语言和RAISE语言等.     

形式化概念分析在信息检索中的应用

互联网上的信息量每天都在以惊人的速度膨胀,搜索任务变得越来越艰巨。如何能够在如此大的海量数据中检索到符合用户需求的信息,成为信息检索领域的主要问题。通过形式化概念分析方法,将信息进行归类组合,变为有结构有意义的领域知识,并用二维表表示出领域知识的形式背景,基于此二维表构建对应概念格模型,将其作为下一步检索的基础库,并利用此模型完成基于输入关键词的信息检索,对此进行了论述。     

数字系统的形式化验证方法

成功设计一个复杂数字系统要求在设计的各个阶段验证实现的正确性,传统的模拟验证已不能完全满足需要,形式验证技术成为了重要的补充.研究了国内外形式验证技术的研究成果,对主要方法进行了分析和比较并对新的热点进行了展望.     

模型方法与形式化

研究表明，直观与逻辑矛盾的加剧源于非欧几何的发展，因而在数学中推出了模型方法与形式化并试图以此避开悖论．     

硬件设计中的形式化方法

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

形式化B方法数学基础的实例研究

对免疫系统中的体液免疫用数学方程来表示抗体产生的规律,再用形式化B方法的抽象机来描述这一方程,所得结论与生物学体液免疫的一般规律相符．     

形式化在中学数学教学中的应用

形式化贯串于中学数学的始终，可以说，学习数学就是学习一种有特定涵义的形式化的语言．以及用形式化语言去解决各种问题，本文主要讨论形式化在数学概念教学与解题教学方面的应用.     

软件体系结构形式化方法的适用性考察

论文以一个销售管理系统形式化建模为例,考察了采用形式化方法的适用性原则并探讨了存在的问题。通过遵循试验证明,所提议的规则可以促进模型的简化、强化抽象概念的提取和明确抽象模型与具体模型的区别。在下一步工作中,需要讨论开发过程多阶段的形式化描述以及如何关联多阶段模型。     

基于FPGA的集成电路形式化验证加速

OpenCoho是一个通过可达性分析及计算对集成电路设计进行形式化验证的软件工具。它可以验证由非线性常微分方程建模的电路系统的正确性。提出基于FPGA的验证算法硬件加速方法,探讨环形振荡器电路有效性验证,通过仿真说明该方法的可行性和意义。实验结果表明,利用该方法平均验证速度提高了约10倍。     

教材语言调查研究方法的发展——基于基础教育新课标人教版、苏教版、北师大、语文版

在教材语言研究的过程中,开始我们多使用频率、频次和累计频率等统计方法。统计的项目包括汉字字符次、汉字总量以及不同教材之间出现汉字的比较和分析等。接着在频率统计的基础之上,我们更多地思考教材语言各要素的文本数和分布情况。教材语言的各要素在教材中的分布情况如何,加深了我们对教材语言的认识。由于教材语言有限性和有序性的特点,我们对教材语言的研究进一步发展到对教材汉字词汇首现和复现的研究。语言各成分的使用频次、频率+文本分布+复现频率和频段,成为教材语言研究中特有的方法。     

基于实时语言的多视点形式化实时开发模式

实时编程语言提供了运行时实时约束支持机制,而形式化方法的精化及推理机制可以最大限度地保证分析设计阶段系统的正确性和一致性,多视点软件开发思想则改进了软件开发过程的复杂性.本文提出了一种基于多视点方法,利用了PEARL语言的特征和RT-Z的语法、语义和结构特点的方法.该方法将RT-Z和PEARL独立于硬件和应用环境,同时对实时约束灵活的分解降低了系统开发的难度.     

试论藏区方言和藏语言的发展

藏语有三大方言区,本文将其统而分为牧区方言和农区方言两种方言,并分别对二者在各方言区的差别以及境内方言和境外方言作了比较和分析;明确了大力推广通用藏语,重视民族语文工作的重要意义;在藏语的发展趋势、统一藏语的方法即藏语研究的条件等方面提出了笔者独到的见解。     

软件开发方法与环境的选择

从软件工程的角度,在分析传统软件开发方法的基础上,结合当前流行的Ｃ／Ｓ、Ｂ／Ｓ体系结构,进一步阐述目前软件开发中开发方法与环境的选择     

基于Linux教育城域网的软件平台开发研究

本文对基于Linux操作系统,采用J2EE架构开发和设计的跨平台、稳定实用、功能强大的教育城域网的软件平台系统进行了较为详尽地分析研究.并对该系统中的关键技术进行了详细说明.     

GIS应用软件开发方法探讨

为了使GIS得到进一步的普及和应用 ,选择合适的开发方法和模式显得日益重要 ,本文提出了一种组件技术与快速原型法相结合的开发方法和模式 ,它能较好地解决传统的GIS应用软件开发方法和模式所存在的问题 .     

Matlab软件在《环境化学》教学中的应用与研究

本论文研究和分析了Matlab软件在优化各种化学方程式和表达式的具体案例。通过借助Matlab软件不仅可以简明扼要地讲明授课的重要内容,而且以立体的情境明确地表达出知识脉络,并让学生以最简单的方式理解和吸收,有助于提高学习效率。