Significato di "形式化方法" sul dizionario di cinese

PRONUNCIA DI 形式化方法 IN CINESE

形	式	化	方	法
xíng	shì	huà	fāng	fǎ

CHE SIGNIFICA 形式化方法 IN CINESE

Metodo formale

形式化方法

Metodi formali, cinesi noti anche come metodi formali, metodi formali. Nel campo dell'informatica e dell'ingegneria del software, il metodo formale si basa sulla tecnologia speciale della matematica, adatta alla descrizione, allo sviluppo e alla verifica del software e dell'hardware. Si prevede che l'uso di metodi formali per la progettazione di software e hardware sia in grado di utilizzare un'analisi matematica appropriata per migliorare l'affidabilità e la robustezza del progetto, come fanno altre discipline di ingegneria. Tuttavia, l'elevato costo di utilizzo dei metodi formali significa che solitamente vengono utilizzati solo per sviluppare sistemi altamente integrati che si concentrano sulla sicurezza. ...

形式化方法，中文也稱為形式方法，正規方法。在计算机科学和软件工程领域，形式化方法是基于数学的特种技术，适合于软件和硬件系统的描述、开发和验证。将形式化方法用于软件和硬件设计，是期望能够像其它工程学科一样，使用适当的数学分析以提高设计的可靠性和鲁棒性。但是，由于采用形式化方法的成本高意味着它们通常只用于开发注重安全性的高度整合的系统。...

definizione di 形式化方法 nel dizionario cinese

Metodi formali al concetto, giudizio, ragionamento in una forma speciale di simboli, il sistema formale di espressione simbolica per studiare il metodo. Può eliminare l'ambiguità e la non universalità del linguaggio naturale e fornire forme logiche comuni universalmente applicabili per diverse discipline, che possono aiutare a rivelare nuove connessioni e portare a nuove scoperte.

形式化方法 把概念、判断、推理转化成特制的形式符号后，对形式符号表达系统进行研究的方法。它可以消除自然语言的歧义性、不通用性，为不同学科提供具有普遍适用性的共同逻辑形式，有利于揭示新联系，导致新发现。

TRADUZIONE DI 形式化方法

Conosci la traduzione di 形式化方法 in 25 lingue con il nostro traduttore cinese multilingue.

Le traduzioni di 形式化方法 verso altre lingue presenti in questa sezione sono il risultato di una traduzione automatica statistica; dove l'unità essenziale della traduzione è la parola «形式化方法» in cinese.

• cinese: 形式化方法
• Traduttore italiano - spagnolo: Métodos Formales
• Traduttore italiano - inglese: Formal Methods
• Traduttore italiano - hindi: औपचारिक तरीके
• Traduttore italiano - arabo: طرق رسمية
• Traduttore italiano - russo: Формальные методы
• Traduttore italiano - portoghese: Métodos Formais
• Traduttore italiano - bengalese: আনুষ্ঠানিক পদ্ধতি
• Traduttore italiano - francese: Méthodes formelles
• Traduttore italiano - malese: Kaedah formal
• Traduttore italiano - tedesco: Formale Methoden
• Traduttore italiano - giapponese: フォーマルメソッド
• Traduttore italiano - coreano: 공식적인 방법
• Traduttore italiano - giavanese: Metode formal
• Traduttore italiano - vietnamita: Phương pháp chính thức
• Traduttore italiano - tamil: முறையான முறைகள்
• Traduttore italiano - marathi: औपचारिक पद्धती
• Traduttore italiano - turco: Biçimsel Yöntemler
• Traduttore italiano - italiano: Metodi Formali
• Traduttore italiano - polacco: Metody formalne
• Traduttore italiano - ucraino: формальні методи
• Traduttore italiano - rumeno: Metode formale
• Traduttore italiano - greco: Τυπικές Μέθοδοι
• Traduttore italiano - afrikaans: formele metodes
• Traduttore italiano - svedese: formella metoder
• Traduttore italiano - norvegese: Formelle metoder

10 LIBRI IN CINESE ASSOCIATI CON «形式化方法»

Scopri l'uso di 形式化方法 nella seguente selezione bibliografica. Libri associati con 形式化方法 e piccoli estratti per contestualizzare il loro uso nella letteratura.

软件开发的形式化方法

高等学校研究生系列教材

古天龙, 2005

软件工程 - 第 23 页

1.5.5 形式化方法模型形式化方法模型包含了一组活动,它们带来了计算机软件用数学描述的方法。形式化方法使得软件开发人员能够通过采用一个严格的、数学的表示体系来说明、开发和验证基于计算机的系统。这种方法有一个变种,称为净室软件工程 ...

张玲, ‎丁莉, ‎李娜, 2005

软件工程 - 第 17 页

... 方法包括, 0 根据系统分析设计方法进行划分,可以分为结构化方法、面向对象方法; 0 根据系统分析设计的描述形式进行划分,可以划分为形式化方法、半形式化方法和非形式化方法; 0 根据系统开发活动的组织方式进行划分,可以分为顺序开发方法、 ...

叶俊民, 2006

信息隐藏: 理论与技术 - 第 128 页

一般地,形式化方法比起非形式化的方法来说更深刻,时间消耗上更多,而且需要更多的知识以及对使用技术及被测试系统的更多理解。为了可证明安全以及准确性的需要,数学证明和自动机制等都可提供一定的技术支持。 6 )形式化验证形式化验证是以上 ...

王育民, 2006

人工智能原理 - 第 84 页

2 ·不确定推理方法的分类不确定推理方法可分为形式化方法和非形式化方法。形式化方法有逻辑法、新计算法和新概率法。逻辑法是非数值方法,采用多值逻辑、非单调逻辑来处理不确定性。新计算法认为概率法不足以描述不确定性,从而出现了 ...

石纯一, ‎黄昌宁, 1993

计算机网络教程 - 第 39 页

用测试的方法来检查协议实现是否满足要求,包括一致性测试( conformancete 如 ng )、互操作性测试( ... 一种形式化方法总是以一种形式体系为基础·只是在具体应用时·大都做了便于描述的改进和扩充。常用的形式化方法有以下几种。( 1 )有限状态机叫 ...

黄永峰, ‎李星, 2006

实用软件工程

在软件系统需求说明方面也有了新的发展,要求用非形式化、半形式化和形式化的规格说明来定义软件系统的需求。用自然语言描述需求规格说明,是典型的非形式化方法。用数据流图、实体-关系图建立模型,是典型的半形式化方法。形式化规格说明使用 ...

陆惠恩, 2006

何谓逻辑学:

于是乎,我们不管研究什么对象都不加反思地运用这种方法。其结果就会通过抽象的形式化将人的意义“物化”,将人的存在工具化。西方逻辑的工具化危机和中国逻辑的西方化危机,这两者都是当代逻辑学发展的大敌,不仅使西方逻辑学走进了死胡同,也使 ...

王晓菊, 2015

人工智能基础教程 - 第 184 页

归纳法推理正逐渐应用于程序综合、程序验证、软件系统和硬件系统的变换与验证等领域。归纳法推理还成齿一种重要的形式化方法和工具。但目前真正将归纳法推理应用于实际工程的极少。应用归纳法推理正确性的关键是,对应用领域进行正确的形式 ...

朱福喜, ‎朱三元, ‎伍春香, 2006

逻辑图表论:

从讲授《形式逻辑》开始,为了服务于教学,我大量搜集资料。从苏格拉底、柏拉图、亚里斯多德、莱布尼茨、罗素到金岳霖,从古希腊罗马逻辑、经院逻辑到西方近代逻辑,从西方古典形式逻辑、印度因明 ... 目前,人们在运用形式化方法的同时,更加关注日常 ...

李贤军, 2015

10 NOTIZIE DOVE SI INCLUDE IL TERMINE «形式化方法»

Vedi di che si parla nei media nazionali e internazionali e come viene utilizzato il termine ino 形式化方法 nel contesto delle seguenti notizie.

2016年考研管理类联考逻辑大纲解析

这些内容可以说是逻辑基础知识，这些基础知识使考生在阅读时需要抓住关键词，关键词的存在使解题称为形式化的工作。它与推理中的形式化方法具有一脉相承的 ... «MBA中国网, set 15»

DARPA想要开发出能运行百年的软件系统

实现长寿软件系统将需要开发新的语言抽象，形式化方法和资源敏感程序分析去发现和指定程序转变，以及设计监视数字生态系统环境变化的系统。 0. 0. 来自: Solidot. «博客园, apr 15»

李德毅：大数据突破点在于聚类

人脑的认知能力不能够全部、完整、统一地形式化，但特定的情境下的认知能力是否 .... 大数据对形式化方法的挑战是非常严峻的，在数据密集型的网络时代，任何传统 ... «腾讯网, apr 15»

蒋昌俊任东华大学校长此前任职同济大学(图)

长期从事并发理论、形式化方法与大规模信息服务的工程应用研究工作。作为项目负责人先后承担了国家自然科学基金(重大计划、重点、面上)、973计划、863计划和 ... «腾讯网, mar 15»

R2013b，一个你所不知道的MATLAB & Simulink

魏奋说，两款新工具的最大优势在于使用了形式化方法(formalization method)，这是一种推导而非穷举的数学验证方式，确保一定找出并验证所有的运行式错误，这对 ... «电子工程专辑, dic 13»

MathWorks 引入两款Polyspace 代码验证新产品

Polyspace Code Prover 是一款基于形式化方法的验证工具，用于证明代码的正确性。负责代码安全和认证的工程师可以使用Polyspace Code Prover 来确定何处会 ... «电子产品世界, set 13»

为程序员量身定制的12个目标

形式语言：按一定规律构成的句子或符号串的有限或无限的集合。 自动机：是有线状态 ... 形式化方法：在逻辑科学中是指分析、研究思维形式结构的方法。 语义学：研究 ... «cnBeta, gen 12»

吴尽昭：“学术探索让我永远年轻”

随着理论层次的不断提高，吴尽昭决定出国学习，对先进的形式化方法理论进行研究。1997年初，他加入美国德克萨斯大学电子工程系，主攻逻辑程序设计。翌年，他转 ... «中国教育报, ott 11»

国家电网欲创“四网融合”格局电力光纤入户

可以说，对于物联网产业甚至整个信息通信产业的发展而言，电网智能化将产生强大 ... 的形式化方法和算法理论的研究，开展创新密码算法、安全协议的形式化描述和 ... «千家网, lug 11»

中国高校计算机专业十强院校榜清华未进前三(组图)

优势领域包括软件自动化与形式化方法，分布计算与并行处理，系统软件及其信息安全，多媒体技术，人工智能与知识工程，数据库技术，语言信息处理等。拥有软件新 ... «凤凰网, mag 11»