計(jì)算機(jī)軟件高級(jí)詞匯中英對(duì)照
電腦,又稱計(jì)算機(jī),是機(jī)械的一種,現(xiàn)在使用的越來越多。接下來小編為大家整理了計(jì)算機(jī)軟件高級(jí)詞匯中英對(duì)照,希望對(duì)你有幫助哦!
軟件經(jīng)驗(yàn)數(shù)據(jù) software experience data
軟件風(fēng)險(xiǎn) software hazard
軟件庫(kù)管理員 software librarian
軟件庫(kù) software library
軟件生存周期 software life cycle
軟件維護(hù)員 software maintainer
軟件監(jiān)控程序 software monitor
軟件操作員 software operator
軟件產(chǎn)品 software product
軟件采購(gòu)員 software purchaser
軟件質(zhì)量 software quality
質(zhì)量保證 quality assurance
質(zhì)量度量學(xué) quality metrics
軟件度量學(xué) software metrics
軟件質(zhì)量保證 software quality assurance
軟件質(zhì)量評(píng)判準(zhǔn)則 software quality criteria
軟件可靠性 software reliability
軟件注冊(cè)員 software registrar
軟件儲(chǔ)藏庫(kù) software repository
軟件復(fù)用 software reuse
軟件安全性 software safety
軟件潛行分析 software sneak analysis
軟件單元 software unit
軟件驗(yàn)證程序 software verifier
規(guī)約語(yǔ)言 specification language
規(guī)約驗(yàn)證 specification verification
穩(wěn)定性 stability
供方 supplier
支持軟件 support software
符號(hào)執(zhí)行 symbolic execution
系統(tǒng)體系結(jié)構(gòu) system architecture
系統(tǒng)設(shè)計(jì) system design
系統(tǒng)文檔 system documentation
系統(tǒng)庫(kù) system library
系統(tǒng)可靠性 system reliability
系統(tǒng)軟件 system software
系統(tǒng)確認(rèn) system validation
系統(tǒng)驗(yàn)證 system verification
終止性證明 termination proof
測(cè)試用例生成程序 test case generator
測(cè)試覆蓋 test coverage
測(cè)試數(shù)據(jù)生成程序 test data generator
測(cè)試驅(qū)動(dòng)程序 test driver
測(cè)試階段 test phase
測(cè)試過程 test procedure
測(cè)試可重復(fù)性 test repeatability
測(cè)試報(bào)告 test report
分時(shí) time sharing
計(jì)時(shí)分析程序 timing analyzer
追蹤程序 tracer
培訓(xùn) training
類型 type
軟件性能 software performance
自適應(yīng)性 adaptability
內(nèi)聚性 cohesion
模塊性 modularity
可復(fù)用性 reusability
部分正確性 partial correctness
完全正確性 total correctness
有效性 validity
用戶合同管理員 user contract administrator
用戶文檔 user documentation
實(shí)用軟件 utility software
版本控制 version control
更改控制 change control
基線 baseline
原型 prototype
原型制作 prototyping
原型速成 rapid prototyping
領(lǐng)域建模 domain modeling, DM
體系結(jié)構(gòu)建模 architecture modeling, AM
黑箱 black-box
白箱 white-box
領(lǐng)域工程師 domain engineer
軟件體系結(jié)構(gòu) software architecture
軟件再工程 software reengineering
軟件過程 software process
可復(fù)用構(gòu)件 reusable component
基于構(gòu)件的軟件開發(fā) component-based software development, CBSD
基于構(gòu)件的軟件工程 component-based software engineering, CBSE
3C模型 concept, content and context 3C 3C指概念、內(nèi)容和語(yǔ)境。
特定領(lǐng)域軟件體系結(jié)構(gòu) domain-specific software architecture, DSSA
軟件體系結(jié)構(gòu)風(fēng)格 software architectural style, SAS
合法性撤消 revocation又稱“合法性取消”。
版本升級(jí) version upgrade
向下兼容 downward compatibility
向上兼容 upward compatibility
管理過程 management process
獲取過程 acquisition process
供應(yīng)過程 supply process
維護(hù)過程 maintenance process
支持過程 supporting process
剪裁過程 tailoring process
軟件工程經(jīng)濟(jì)學(xué) software engineering economics
計(jì)算機(jī)軟件的法律保護(hù) legal protection of computer software
軟件版權(quán) software copyright
事務(wù)分析 transaction analysis
人工認(rèn)知 artificial cognition
腦功能模塊 brain function module
腦成像 brain imaging
腦模型 brain model
腦科學(xué) brain science
知識(shí)塊 chunk
認(rèn)知 cognition
認(rèn)知映射 cognitive mapping
認(rèn)知過程 cognitive process
認(rèn)知心理學(xué) cognitive psychology
認(rèn)知仿真 cognitive simulation
認(rèn)知系統(tǒng) cognitive system
思維科學(xué) noetic science
認(rèn)知科學(xué) cognitive science
感知 perception
認(rèn)知模型 cognitive model
動(dòng)態(tài)記憶 dynamic memory
情景記憶 episodic memory
認(rèn)識(shí)學(xué) epistemology
智能 intelligence
智能科學(xué) intelligent science
群體智能 swarm intelligence
宏理論 macro-theory
記憶組織包 memory organization packet, MOP
記憶表示 memory representation
心智能力 mental ability
心智圖像 mental image
心智信息傳送 mental information transfer
心智機(jī)理 mental mechanism
心智狀態(tài) mental state
心智心理學(xué) mental psychology
微理論 micro-theory
機(jī)器智能 machine intelligence
物理符號(hào)系統(tǒng) physical symbol system
DS理論 Dempster-Shafer theory
框架語(yǔ)法 frame grammar
知識(shí)工程 knowledge engineering, KE
知識(shí) knowledge
領(lǐng)域知識(shí) domain knowledge
啟發(fā)式知識(shí) heuristic knowledge
常識(shí) commonsense
知識(shí)表示 knowledge representation, KR
陳述性知識(shí) declarative knowledge
過程性知識(shí) procedural knowledge
知識(shí)表示方式 knowledge representation mode
知識(shí)模式 knowledge schema
框架知識(shí)表示 frame knowledge representation
概念結(jié)點(diǎn) concept node
腳本知識(shí)表示 script knowledge representation
狀態(tài)空間 state space
狀態(tài)圖 state graph
元知識(shí) metaknowledge
元規(guī)則 metarule
面向?qū)ο蟊硎?object-oriented representation
黑板 blackboard
黑板結(jié)構(gòu) blackboard structure
知識(shí)源 knowledge source
知識(shí)結(jié)構(gòu) knowledge structure
問題 problem
問題診斷 problem diagnosis
問題重構(gòu) problem reformulation
問題空間 problem space
問題狀態(tài) problem state
過程分析 procedure analysis
進(jìn)程定性推理 process qualitative reasoning
規(guī)則子句 rule clause
規(guī)則 rule
啟發(fā)式規(guī)則 heuristic rule
前提 antecedent, premise
條件式 conditions
產(chǎn)生式規(guī)則 production rule
產(chǎn)生式系統(tǒng) production system
領(lǐng)域無關(guān)規(guī)則 domain-independent rule
反向推理 backward reasoning, backward chained reasoning
雙向推理 bidirection reasoning
目標(biāo)導(dǎo)向推理 goal-directed reasoning
基于知識(shí)推理 knowledge-based inference
邏輯推理 logical reasoning
自頂向下推理 top-down reasoning
自底向上推理 bottom-up reasoning
元推理 metareasoning
不確定推理 uncertain reasoning
模糊推理 fuzzy reasoning
類比推理 analogical inference
單調(diào)推理 monotonic reasoning
非單調(diào)推理 non-monotonic reasoning
限定推理 circumscription reasoning
目標(biāo)引導(dǎo)行為 goal-directed behavior
啟發(fā)式算法 heuristic algorithm
啟發(fā)式方法 heuristic approach
啟發(fā)式函數(shù) heuristic function
啟發(fā)式信息 heuristic information
啟發(fā)式程序 heuristic program
啟發(fā)式技術(shù) heuristic technique
不完全性理論 incompleteness theory
不合邏輯 illogicality
合一 unification
合一子 unifier
泛合一 universal unification