形式化语言相关论文
<正> 为了实现把数学还原为逻辑这一逻辑主义的基本纲领,弗雷格发明了一种表意文字,并用这种文字建立了一个表达逻辑规律和推理规......
W3C提出的OWL-S是面向服务的本体描述语言。它提出的目的是通过OWL-S的语义描述能力来实现服务发现、服务调用、服务组合、服务验......
鉴于传统的生成功能测试用例技术存在非形式化、忽视问题领域约束等不足,本文提出了基于改进z-precondition算法的功能测试用例生......
1 预备知识谁都知道汉语、英语等这些自然语言是人们交流思想的工具,它既可以表达精确而深刻的思想;又能表达模棱两可的糊涂观念.......
软件著作权的客体是指软件著作权保护的对象,也即所获得著作权的软件。《计算机软件保护条例》规定:“计算机软件是指计算机程序及......
信息系统在政府、企业管理中的作用越来越大,报表在信息系统中占有重要地位。 信息系统的任务主要有:完成业务上的事务处理,为管理......
不同的形式化方法不仅在学术研究中得到支持与倡导,而且目前已经广泛应用到实际工业项目的各个方面。由于计算机系统越来越复杂,可......
时间是数据的客观属性。随着数据库技术的深入和发展,时态在数据库系统中扮演着日益重要的角色。数据库技术发展到今天,仅仅使用数据......
随着软件技术的快速发展和软件应用范围的不断扩大,软件系统规模越来越大,软件功能日趋复杂,软件的需求获取变得更加困难,这表明需......
从上世纪五十年代软件诞生开始,软件设计一直是软件系统开发的核心内容,好的软件设计有助于软件开发人员提高工作效率,减少不必要的开......
课前先放一段十强赛中的精彩片段,最后定格在米卢教练布置战术的画面上。〔评析:课前先放一段足球赛录像,让中国队在十强赛中的胜利场......
一、计算机软件主要是著作权法的保护范围计算机软件是指计算机程序及其有关文档。计算机程序包括源程序和目标程序。同一程序的......
模型验证是数理逻辑在现实中的一个重要应用。文章基于Promela语言,用spin工具检验数理逻辑的一个经典案例——狼和白菜过河问题。......
随着社会的不断发展以及外来文化与本土文化的融合,符号也开始发生一定的延伸与转变,逐渐形成新的学科,即符号学。由于这些符号在......
X.400协议是OSI应用层最为成熟的一套关于信报处理的应用协议,目前已涌现大量的X.400协议实现。为了验证这些协议实现的正确性及相互连接、相互操......
ASN.1是由ISO和CCTT定义的以支持描述网际通讯协议中规定类型、类型值和传送格式的形式化语言。本文旨在研究ASN.1描述数据类型的抽象符号、数据类型......
主流心理学接受物理科学的实在观 ,认为“心”完全具有实证主义意义上的决定论色彩。在其形式化语言的表述中 ,心理学完全丧失了人......
纵观近几年各类考试,有一种几何画图题,犹如一道亮丽的风景,从注重考查基本的尺规作图,发展到基于具体问题情境中运用无刻度直尺的......
数学是研究现实世界空间形式和数量关系的科学,考生能够准确地用形式化语言来表述内容并解决数学问题是高考追求的考查目标之一.阅......
幼年时我喜欢吃家乡的豌豆凉粉。豌豆凉粉有晶莹丝薄而透亮的质感,滴上鲜艳的红油,配上翠绿的葱花,偶尔也洒点麻油,那酸酸辣辣,入......
一、对比赛现场数据录入的要求: 现场数据录入是根据所求信息的不同。在比赛现场对比赛中确定的技战术情况进行记录。对微机统计......
蔡金法教授认为,连贯性是增强学生数学学习能力的一个非常重要的因素,教师在数学课堂教学中的连贯性能够促进教学效果,促进学生思......
适度形式化是《课标》的基本理念之一,已成为数学教育中的一条重要教学原则,也是高考所追求的考查目标之一.传统数学考试过分强调......
分析了当前一些国际团体在网络管理方面的研究工作和遇到的主要困难。介绍了开放分布处理(ODP)技术,以及将ODP方法引入网络管理所带来的好处......
本文论述了计算机网络协议描述的一些方法,并介绍了时序逻辑理论,还应用该方法对能源部颁布的电力系统实时数据传输应用层协议进行......
W3C提出的OWL-S是面向服务的本体描述语言。它提出的目的是通过OWL-S的语义描述能力来实现服务发现、服务调用、服务组合、服务验......
IPv6作为下一代Internet的基础,经过几年的开发和实验,正在走向广泛的实际应用.本文介绍了新一代Internet协议IPv6,指出了目前Inte......
文章研究了多年来Agent理论模型的研究成果.用形式化语言详细地描述了Agent理论模型,给出了模型中各个认知成分的语意定义,为系统......
VHDL是一种用于电子系统设计全过程的形式化语言,它为电子系统的设计和模拟提供了极大的方便性。该文介绍了在CAD软件包Workview Plus上,使用VHDL语言对一个......
兼有数学模型和知识模型、采用模块化构造的大系统控制论模型已被证明适于复杂社会经济系统的分析和辅助决策。本文主要讨论这种模......
数学与电子计算机在医学研究中的应用日益广泛,数理统计方法成为医学领域中不可缺少的手段。解决复杂问题的统计方法往往计算复杂......
概述了多作用体系统(MAS)的组织与结构,MAS中的通信机制,合作与冲突消解,控制与管理,面向作用体的编程语言以及MAS的应用。
The o......
一、初中数学思想方法教学的必要性1.数学思想方法是知识转化为能力的桥梁数学思想是具有总结性的奠基性的数学思维成果,初中数学......
编译理论和技术是计算机领域中的核心理论与技术之一。在编译器设计中,涉及到多项相关理论和技术,如形式化语言、自动机理论、形式化......
UML作为面向对象分析和设计建模语言的标准,有广泛的应用和扩展背景,通过UML的扩展机制使其支持面向方面状态图的建模,但UML建模的......
欧洲铁路运输管理系统(ERTMS)和欧洲列车控制系统(ETCS)是欧盟委员会(EU)和国际铁路联盟(UIC)为实现全欧洲高速铁路网互联运输,组织......
本体论最初是哲学领域的研究范畴,随着信息技术的应用与发展,本体论在信息科学领域中日益受到重视,并广泛应用于知识工程、信息建......
由于 3G协议规范的复杂性 ,3GPP方法论指导方针中鼓励使用标准的形式化语言来进行UMTS产品的设计、开发与测试。文中概要性地描述......
遗传算法(Genetic Algorithm)是一类借鉴生物界的进化规律(适者生存,优胜劣汰遗传机制)演化而来的随机化搜索方法.其主要特点是直......
传统数学考试过分强调和依赖形式化的考查,过度追求形式化,造成学生过度注重对知识的单纯形成化背记.......