1) the SMV system symbol model
SMV系统符号模型
2) SMV model checking
SMV模型检测
3) symbol system
符号系统
1.
It illuminated in the light of symbology principle that the folk dress of waterside villages of Southern Yangtze was not only daily consumer goods,but also a symbol system of folkcustom culture.
采用了符号学的原理进行解析江南水乡民间服饰既是人们的日常生活用品,又是一种表现民俗文化的符号系统。
2.
The television symbol system including structure,color,material and brand symbol consumption were elaborated.
分析了家用电视机中符号的能指与所指,通过对电视机外观符号系统中的结构符号、色彩与材质符号及品牌符号消费的系统研究,指出现代高清电视机会出现新的设计符号特征并日益被消费者理解接受,电视机品牌符号也将成为消费购买决策的关键所在。
3.
This paper mainly diccussed the development of the vectorized symbol system of digital mapping, including its platform and technical characteristics.
主要阐述了数字测图矢量化符号系统研制的原因、系统所采用的平台、系统技术特色以及在实验教学、科研中的应用,并对使用效果进行了介绍。
4) symbolic system
符号系统
1.
Symbolic System of Furniture Design;
家具造型设计符号系统初探
2.
Ancient Chinese myths in different editions take on various forms, which is partly caused by the uniqueness of Chinese symbolic system.
中国上古神话存留在不同文本中呈现出不同的面貌,其部分原因在于汉字符号系统的独特性。
3.
Only by regarding the works as the whole symbolic system of metaphors can we analyze and explain the codes of the profound meaning in order to understand the “deep expression”and “peculiar style”.
只有将作品当作整体性的隐喻象征符号系统,才有可能破解深藏的意义密码,把握其“表现的深切”与“格式的特别”。
5) semiotic system
符号系统
1.
Language as a semiotic system viewed from a functional perspective;
语言符号系统的功能分析
6) symbolic model
符号模型
1.
It establishes extended label symbolic model and extended computational model, proves the computational soundness of the extended label symbolic model, and realizes the extension of MV method.
针对该问题,使用公钥加密和对称加密,建立扩展标记符号模型与扩展计算模型,论证扩展标记符号模型的计算可靠性,实现对MW方法的扩展。
补充资料：物理符号系统假设
A.纽厄尔和H.A.西蒙提出的一种用计算机模拟人类思维活动的人工智能原理。这个假设认为，计算机是一个物理符号系统，具有对符号进行操作的功能，就是说，凡是能用符号表示的事物和状态都能由计算机进行运算。人脑内的表征、概念等及其信息加工过程也是对符号的操作，因而也可以将人脑看作一个物理符号系统。通过这种假设，原来认为是抽象的脑内的心理活动，就可以用处理物理符号的计算机系统的同样模型来加以探讨。
一个物理符号系统具有以下6种功能,即①输入符号：计算机用纸带打孔或用键盘输入符号。人通过视觉听觉等感觉器官输入符号。②输出符号：计算机通过显示器或打印机输出运算的结果，人的表情、动作和言语则是符号的输出。③存储符号：计算机在外存储器或内存储器存放信息,人则在短时记忆和长时记忆中存储信息。④复制符号：计算机可以把符号从一组存储单元复制到另一组存储单元，人则可以把外界事物以符号的形式在头脑中复制下来，并加以存储。⑤建立符号结构：计算机在对符号进行操作的过程中，可以建立各种新的符号结构。人通过思维活动也可以把观念条理化，形成新的组合或结构。人在会议上发言之前，先在头脑里形成发言要点或提纲，这就是建立符号结构。⑥条件性迁移：一个物理符号系统，在原来存储于记忆中的符号结构的基础上，可以根据当前的输入信息而执行一系列操作式活动。这种满足了一定的条件就产生某活动的过程叫做条件性迁移。人也具有条件性迁移的能力，他可以在新的刺激条件下，在已有的知识基础上执行一定的活动。
纽厄尔和西蒙认为，无论是计算机还是人脑都是物理符号系统,二者都具有上述6种功能。还认为，任何一个系统，如果能表现出智力的话,就必然具有这6种功能；相反，任何一个系统，如果具有上述6种功能,它就能表现出智力活动。在这种计算机和人脑具有共同功能的假设基础上，人们有可能用计算机科学的语言和概念来描述人的思维活动。而且，计算机科学也可以根据认知心理学的研究结果,用计算机程序来模拟人的思维活动,而使计算机表现出智力活动的特点。物理符号系统假设是现代信息加工心理学的理论基础，它同时开创了人工智能这一新兴的科学领域。
一个物理符号系统具有以下6种功能,即①输入符号：计算机用纸带打孔或用键盘输入符号。人通过视觉听觉等感觉器官输入符号。②输出符号：计算机通过显示器或打印机输出运算的结果，人的表情、动作和言语则是符号的输出。③存储符号：计算机在外存储器或内存储器存放信息,人则在短时记忆和长时记忆中存储信息。④复制符号：计算机可以把符号从一组存储单元复制到另一组存储单元，人则可以把外界事物以符号的形式在头脑中复制下来，并加以存储。⑤建立符号结构：计算机在对符号进行操作的过程中，可以建立各种新的符号结构。人通过思维活动也可以把观念条理化，形成新的组合或结构。人在会议上发言之前，先在头脑里形成发言要点或提纲，这就是建立符号结构。⑥条件性迁移：一个物理符号系统，在原来存储于记忆中的符号结构的基础上，可以根据当前的输入信息而执行一系列操作式活动。这种满足了一定的条件就产生某活动的过程叫做条件性迁移。人也具有条件性迁移的能力，他可以在新的刺激条件下，在已有的知识基础上执行一定的活动。
纽厄尔和西蒙认为，无论是计算机还是人脑都是物理符号系统,二者都具有上述6种功能。还认为，任何一个系统，如果能表现出智力的话,就必然具有这6种功能；相反，任何一个系统，如果具有上述6种功能,它就能表现出智力活动。在这种计算机和人脑具有共同功能的假设基础上，人们有可能用计算机科学的语言和概念来描述人的思维活动。而且，计算机科学也可以根据认知心理学的研究结果,用计算机程序来模拟人的思维活动,而使计算机表现出智力活动的特点。物理符号系统假设是现代信息加工心理学的理论基础，它同时开创了人工智能这一新兴的科学领域。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条