1) phonetic formation
语音形式化
2) phonological formalized representation
语音形式化表征
3) Phonetic form
语音形式
1.
The ideogram [·ts] has four phonetic forms: [ts],[·ts],[·li] and [?鬗e45].
“子”字在湘阴话里有[ts尢41]、[·ts尢]、[·li]、[tse45]四种语音形式;子尾词有双音节的,也有三音节、四音节的;子尾有成词、别义、小称等语法意义。
2.
In phonetic form,they re different from AA、ABAB Verbs.
双音节动词重叠式AABB在表义和句法方面都有明显的状态形容词功能 ,语音形式上也有与动词功能的AA、ABAB式不同的特点。
3.
This dissertation studies structure form、phonetic form、grammatical function and meaning of Lishui SHE dialect s adjective reduplication in the hope of a better comprehension of Lishui SHE dialect s adjective reduplication and the further study of SHE dialect s grammar.
本文主要对丽水畲话形容词重叠式的结构形式、语音形式、语法功能和语义四个方面进行了考察，以期对丽水畲话的形容词重叠现象有较全面的认识，并深化畲话的语法研究。
4) Phonological deviation
语音形式偏移
5) formal language
形式化语言
1.
In the light of the characteristic of chemical science this paper the describes the constitution of the types of chemical science language, which are the natural language, the professional mark language and the formal language, and discusses the inter-relationship and functions of these languages in the development of chemical science.
本文以化学科学的特征,论述了构成化学科学语言的类型有自然语言、专业符号语言及形式化语言,并阐述了几种语言类型的相互关系及其在化学科学理论发展中的作用。
2.
However,the formal specifications written by formal languages are not easy to read and understand,and there is still not an effective tool for the automatic testing based on formal specifications.
鉴于此,提出一种新的方法将支持面向对象开发的形式化语言所描述的软件规范自动地转化为系统级状态机,从而改善其可读性与可理解性。
3.
A classfication and a system model of formal analyses is given,and three classes of formal analysis methods(based on reasoning,based on attack,based on proof)and formal languages used in formal analyses are commented in details.
综述目前安全协议形式化分析的理论与方法 ,包括安全协议的分类与模型 ,安全协议形式化分析的 3种典型方法 (基于推理的结构性方法 ,基于攻击的结构性方法 ,基于证明的结构性方法 ) ,安全协议分析的形式化语言 ,安全协议设计的形式化方法 ,以及安全协议形式化分析面临的挑
6) formal semantics
形式化语义
1.
It discribes the weaving process between aspects and core components, as well as the weaving process between aspects themselves in statecharts, and then uses the formal semantics of process algebra to describe extended statecharts.
本文利用UML的扩展机制将方面加入状态图中,描述了状态图中的方面与核心组件以及方面之间的编织,然后利用进程代数的形式化语义描述了扩展后的UML状态图,克服了扩展UML描述状态图的缺乏形式化动态语义,不利于对模型进行形式化验证和证明的缺点。
2.
However,UML does not have a formal semantics,so it could not fulfill the needs of the protocol in precise.
但是,UML缺乏形式化语义,因此不能满足协议精确性的要求。
3.
0 sequence diagram and state diagram,the formal semantics of UML 2.
0顺序图和状态图语法和语法约束的基础上,采用可执行的线性时序逻辑语言XYZ/E定义其形式化语义,这样不仅便于UML2。
补充资料：公理化方法(见公理化和形式化)
公理化方法(见公理化和形式化)
axiomatical method
gongllbuafangfa公理化方法化和形式化。(axiomatieal method)见公理
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条