下载 >  课程资源 >  专业指导 > 研究汉语语序的形式化推导方法

研究汉语语序的形式化推导方法 评分:

_lubinfu_研究汉语语序的形式化推导方法 _lubinfu_研究汉语语序的形式化推导方法
2009-05-28 上传大小:57KB
分享
收藏 举报
形式化方法论文集合

有关形式化方法著名论文的集合,由日本九州大学的教授整理的

立即下载
B语言与方法_实用形式化开发指南

B语言与方法 / (英)K. Lano著 , 鲍涌等译 高等教育出版社 出版日期: 1998.7 目录: 第一章 引言 1.1 形式化方法

立即下载
后序遍历二叉树非递归算法的推导形式化证明

后序遍历二叉树非递归算法的推导及形式化证明,难得的期刊论文资料,对研究二叉树的非递归性遍历有很大帮助

立即下载
软件开发中的形式化方法

基于研究的角度,讨论了在软件开发过程各阶段使用形式化方法的可能及困难,进而研究了形式化方法在理论上和应用上的能力、局限性及其产生原因,以及由此产生的对形式化方法的讨论。

立即下载
VDM_JML转换方法研究

VDM_JML转换方法的研究及其在开发过程中的应用 面向对象的形式化方法

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

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

立即下载
基于HMM汉语数字语音识别系统的研究

基于HMM汉语数字语音识别系统的研究

立即下载
软件形式化方法视频教程1-4讲

软件形式化方法视频教程,非常好,付费购买某视频网站。软件形式化方法是指建立在严格数学基础上的软件开发方法。形式化方法模型的主要活动是生成计算机软件形式化的数学规格说明。形式化方法使软件开发人员可以应用严格的数学符号来说明、开发和验证基于计算机的系统。

立即下载
软件形式化方法视频课程5-8

软件形式化方法视频教程,非常好,付费购买某视频网站。软件形式化方法是指建立在严格数学基础上的软件开发方法。形式化方法模型的主要活动是生成计算机软件形式化的数学规格说明。形式化方法使软件开发人员可以应用严格的数学符号来说明、开发和验证基于计算机的系统。

立即下载
形式化方法在软件工程中的应用研究

关于Z语言的文章.探讨了形式化方法的基本概念,重点研究了形式化方法的数学理论基础和其在软件工程各 阶段的应用情况,分析了形式化方法在理论研究和工程实践上的优势和局限性及其原因,并指出了 形式化方法发展的几个方向,最后对形式化方法在软件工程中的应用做了评价。

立即下载
软件开发的形式化方法

软件开发的形式化方法 软件开发的形式化方法

立即下载
论文研究-基于对象知识网的企业信息系统形式化表达研究.pdf

为了形式化地研究企业信息系统,提出了基于对象知识网的企业信息系统形式化方法。首先,研究了对象知识网及信息传递关系网的数学描述,分析了对象知识网表达信息系统的规则;然后给出了对象知识网构建的算法以及企业信息系统形式化表达的方法;最后,通过对象知识网在某企业生产管理信息系统形式化中的应用,验证了基于对象知识网的形式化方法的可行性及有效性,为企业信息系统的定量研究提供了数学理论的支持,奠定了信息系统优化的理论基础。

立即下载
形式化规约——Z语言

形式化规约,形式化方法,Z语言,主要与软件开发的形式化方法有关。

立即下载
智能交通信号灯形式化建模

描述智能交通信号灯形式化建模方法,描述智能交通信号灯形式化建模方法,描述智能交通信号灯形式化建模方法,

立即下载
形式化方法

形式化方法:通过数学逻辑来表述一个软件开发,最终还可以通过验证来证明软件开发的可行性。

立即下载
神经网络语言模型nnlm

包含windows,linux上的两个版本,供参考和大家一起学习讨论~

立即下载
大型软件形式化开发方法及CASE工具ZIPC

大型软件形式化开发方法及CASE工具ZIPC 软件开发方法PPT

立即下载
形式化方法 -从模型到代码的实践应用.pdf (Formal Method-Industrial Use From Model to the Code)

形式化方法简介,着重介绍了B方法及工具、SIMULINK和SCADE在形式化方法中的应用。

立即下载
形式化方法与自动机 中科院研究生院课程

中科院研究生院教程 形式化方法与自动机 详尽资料

立即下载
论文研究-CIM建模及模型形式化方法研究综述.pdf

以模型为驱动的开发方法是当前软件工程领域研究的热点,计算无关模型(computation independent model,CIM)在模型驱动架构中关注系统的需求和环境,其有效的建模方法和模型形式化是实现高层概念模型至代码自动转换的关键。首先介绍了现有CIM建模内容和方法;然后分析了现有CIM模型形式化方法现状与不足;最后探讨了针对不同应用系统可行的多视图多层次CIM建模方法及一致性问题研究,并提出CIM完全形式化方法研究的可行方案。

立即下载

热点文章

img

spring mvc+mybatis+mysql+maven+bootstrap 整合实现增删查改简单实例.zip

资源所需积分/C币 当前拥有积分 当前拥有C币
5 0 0
点击完成任务获取下载码
输入下载码
为了良好体验,不建议使用迅雷下载
img

研究汉语语序的形式化推导方法

会员到期时间: 剩余下载个数: 剩余C币: 剩余积分:0
为了良好体验,不建议使用迅雷下载
VIP下载
您今日下载次数已达上限(为了良好下载体验及使用,每位用户24小时之内最多可下载20个资源)

积分不足!

资源所需积分/C币 当前拥有积分
您可以选择
开通VIP
4000万
程序员的必选
600万
绿色安全资源
现在开通
立省522元
或者
购买C币兑换积分 C币抽奖
img

资源所需积分/C币 当前拥有积分 当前拥有C币
5 4 45
为了良好体验,不建议使用迅雷下载
确认下载
img

资源所需积分/C币 当前拥有积分 当前拥有C币
3 0 0
为了良好体验,不建议使用迅雷下载
VIP和C币套餐优惠
img

资源所需积分/C币 当前拥有积分 当前拥有C币
5 4 45
您的积分不足,将扣除 10 C币
为了良好体验,不建议使用迅雷下载
确认下载
下载
您还未下载过该资源
无法举报自己的资源

兑换成功

你当前的下载分为234开始下载资源
你还不是VIP会员
开通VIP会员权限,免积分下载
立即开通

你下载资源过于频繁,请输入验证码

您因违反CSDN下载频道规则而被锁定帐户,如有疑问,请联络:webmaster@csdn.net!

举报

  • 举报人:
  • 被举报人:
  • *类型:
    • *投诉人姓名:
    • *投诉人联系方式:
    • *版权证明:
  • *详细原因: