Çince sözlükte "形式化方法" sözcüğünün anlamı

ÇINCE DİLİNDE 形式化方法 SÖZCÜĞÜNÜN OKUNUŞU

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

形式化方法 SÖZCÜĞÜ ÇINCE DİLİNDE NE ANLAMA GELİR?

Resmi yöntem

形式化方法

Resmi yöntemler, resmi yöntem olarak da bilinen Çin, resmi yöntemler. Bilgisayar bilimi ve yazılım mühendisliği alanında resmi yöntem, yazılım ve donanım sisteminin tanımlanması, geliştirilmesi ve doğrulanması için uygun olan, matematiğin özel teknolojisine dayalıdır. Yazılım ve donanım tasarımı için resmi yöntemlerin kullanılması, diğer mühendislik disiplinlerinin yaptığı gibi, tasarım güvenilirliğini ve sağlamlığı artırmak için uygun matematiksel analiz kullanabilmelidir. Bununla birlikte, resmi yöntemleri kullanma maliyetinin yüksek olması, genellikle yalnızca güvenlik odaklı yüksek entegre sistemler geliştirmek için kullanıldığı anlamına gelir. ...

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

Çince sözlükte 形式化方法 sözcüğünün tanımı

Biçimsel yöntem Kavram, yargılama ve akıl yürütme özel biçim sembollerine dönüştürüldükten sonra, resmi sembolik anlatım sistemi incelenir. Doğal dilin belirsizliğini ve genellemesini ortadan kaldırabilir ve farklı disiplinler için evrensel uygulanabilirliğin ortak bir mantıksal biçimini sağlayabilir, bu da yeni bağlantıları ortaya çıkarmaya ve yeni keşiflere götürmeye yardımcı olacaktır.

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

形式化方法 SÖZCÜĞÜNÜN ÇEVİRİSİ

Çok dilli Çince çevirmenimiz ile 形式化方法 sözcüğünün 25 dile çevirisini bulun.

Bu bölümde verilen 形式化方法 sözcüğünün Çince dilinden diğer dillere çevirisi otomatik istatistiksel çeviri ile elde edilmiştir ve temel alınan çeviri birimi Çince dilindeki «形式化方法» sözcüğüdür.

• Çince: 形式化方法
• Çince - İspanyolca Çevirmen: Métodos Formales
• Çince - İngilizce Çevirmen: Formal Methods
• Çince - Hintçe Çevirmen: औपचारिक तरीके
• Çince - Arapça Çevirmen: طرق رسمية
• Çince - Rusça Çevirmen: Формальные методы
• Çince - Portekizce Çevirmen: Métodos Formais
• Çince - Bengalce Çevirmen: আনুষ্ঠানিক পদ্ধতি
• Çince - Fransızca Çevirmen: Méthodes formelles
• Çince - Malezya Dili Çevirmen: Kaedah formal
• Çince - Almanca Çevirmen: Formale Methoden
• Çince - Japonca Çevirmen: フォーマルメソッド
• Çince - Korece Çevirmen: 공식적인 방법
• Çince - Cava Dili Çevirmen: Metode formal
• Çince - Vietnamca Çevirmen: Phương pháp chính thức
• Çince - Tamil Çevirmen: முறையான முறைகள்
• Çince - Marathi Çevirmen: औपचारिक पद्धती
• Çince - Türkçe Çevirmen: Biçimsel Yöntemler
• Çince - İtalyanca Çevirmen: Metodi Formali
• Çince - Lehçe Çevirmen: Metody formalne
• Çince - Ukraynaca Çevirmen: формальні методи
• Çince - Romence Çevirmen: Metode formale
• Çince - Yunanca Çevirmen: Τυπικές Μέθοδοι
• Çince - Afrika Dili Çevirmen: formele metodes
• Çince - İsveççe Çevirmen: formella metoder
• Çince - Norveççe Çevirmen: Formelle metoder

«形式化方法» İLE İLİŞKİLİ ÇINCE KİTAPLAR

形式化方法 sözcüğünün kullanımını aşağıdaki kaynakça seçkisinde keşfedin. 形式化方法 ile ilişkili kitaplar ve Çince edebiyattaki kullanımı ile ilgili bağlam sağlaması için küçük metinler.

软件开发的形式化方法

高等学校研究生系列教材

古天龙, 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

«形式化方法» TERİMİNİ İÇEREN HABERLER

Ulusal ve uluslararası basında konuşulanları ve 形式化方法 teriminin aşağıdaki haberlerde hangi bağlamda kullanıldığını keşfedin.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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