模型的结构语义由类型范畴图表来指代,行为语义则由范畴附带的进程行为迹来表示,模型间的映射关系用范畴理论中的态射和函子来形式化描述。
互联网摘选
此外,会话的互动性特征也通过对话题的意义连接、对及物性过程的分析以及对参与者主体的分析体现了出来。
互联网摘选
提出基于语义空间的支持向量机的文本过滤,用语义来表示文本和用户模板。
互联网摘选
税收价格与市场价格又是不同的,它表现在作出的决定方式上有所区别,税收价格是通过税收立法而决定的,税收活动不仅是纳税人依法的纳税行为,也是政府依法的课税行为。
互联网摘选
如“建模揭秘,第1部分:从用户的角度创建系统规格说明书”中定义的那样,每一个联系都作为属于«user team»的特征,与应用的«member»构造型一起呈现出来。
互联网摘选
数据一进入系统, 就被若干进程加工或改变, 用圆角的矩形表示这些过程.
互联网摘选
到了此时,房产记录里登记的转发地址已经不再位于哥伦比亚,而是指向了佛罗里达州韦斯顿的霍内·巴列斯特罗斯(Jhon Ballesteros)。代表卖家的房地产经纪人约翰·伯格(John Burger)在接受采访时说,他甚至都不知道阿迪拉牵涉其中。
互联网摘选
这是安定的表示、不变的表示.这给他们的心理上带来的变化危害极大.
词典精选例句
清代诗论家纪昀的《玉台新咏》研究即带有转型的特色,能够代表正统文人对艳体文学创作的态度。
互联网摘选
本文就此开展了广义操作条件下ATR算法 性能评估的研究工作.
互联网摘选
陈的音乐灵感和胡的文学功底,陈的激情和胡的内省,都在这张专辑中得以体现。
互联网摘选
One of the earliest of these is Jesus Christ represented as a Paschal Lamb.
其中最早的一个形象,就是逾越节羔羊所象徵的耶稣基督。
互联网摘选
The " mark " or'space " condition is represented by the voltage between two wires.
“ 传号 ” 或 “ 空号 ” 条件是由两条线之间的电压来表示的.
词典精选例句
现在PNA类化合物在疾病的诊断和治疗上已初步显示出其独特的作用.
互联网摘选
A new economy represented bye& business is changing the development pattern of Chinese economy.
以网络电子商务为代表的新经济正在改变着中国经济的发展格局。
互联网摘选
Any text entry in X clients is represented by X Input Context ( XIC ).
X客户程序中的任何文字输入都用X输入语境 ( XInputContext,XIC ) 来表示.
互联网摘选
瓦努阿图派特使出席论坛,新喀里多尼亚和法属波利尼西亚的代表以准成员的资格出席了论坛。
互联网摘选
