This paper mainly presents evidence for a relationship between language structure and meaning in EkeGusii,a Bantu language spoken in Kenya.The main argument is that the structure of language mirrors the structure of r...This paper mainly presents evidence for a relationship between language structure and meaning in EkeGusii,a Bantu language spoken in Kenya.The main argument is that the structure of language mirrors the structure of reality.A brief overview of other scholars demonstrates that diagrammatic iconicity shows universal tendencies.Five main ideas run down the discussion.Firstly,in EkeGusii,speakers sub-consciously cluster sounds around related meanings,evidencing gestalt and relative iconicity.Secondly,there is evidence of overlap of morphological and phonetic iconicity,an aspect of phonaesthesia.Thirdly,reduplication in certain infinitives demonstrates the reality of phono-iconicity in EkeGusii,augmented by unpleasant sound sequences.Fourthly,certain onomatopes in EkeGusii are actually diagrammatic,indicating that there is no one stop criterion for classifying overlapping types of icons.And finally,the paper posits that iconicity intersects with arbitrariness showing that language has both motivated and discrete symbols.展开更多
The present work investigated the phase relations in SiC-Al2O3-Y2O3-SiO2 (Si-Al-Y-O-C) system. As a continuation of our previous works, the purpose of this study is to understand the high temperature reaction behavior...The present work investigated the phase relations in SiC-Al2O3-Y2O3-SiO2 (Si-Al-Y-O-C) system. As a continuation of our previous works, the purpose of this study is to understand the high temperature reaction behaviors of SiO2 in the system and its effect on the phase relations of the valuable system of SiC-Al2O3-Y2O3. The phase compositions of six solid-state reacted samples with different components of Y2O3:Al2O3:SiC:SiO2 were analyzed by XRD. The phase relations of the systems were determined. The subsolidus phase diagrams of ternary Al2O3-SiC-SiO2 system and the tentative phase diagram of an extended quaternary Y2O3-Al2O3-SiC-SiO2 system were presented latter involving several coexisting regions of four phases. The high temperature reaction behavior of SiO2 in the system and its effect on the phase relations of system were discussed.展开更多
Unified Modeling Language (UML) has become a de facto standard for design, specification and modeling of object oriented software systems. UML structures being graphical in nature lack defining semantics of the system...Unified Modeling Language (UML) has become a de facto standard for design, specification and modeling of object oriented software systems. UML structures being graphical in nature lack defining semantics of the systems and are prone to causing errors. Formal methods are proved to be a powerful tool for requirement analysis, design and specification of software systems. Hence, linking UML with formal approaches will enhance modeling power of software systems. In this paper, an approach is developed by integrating UML and Z notation focusing on equivalence relation of the state diagrams. The Z is used because it is based on the first order predicate logic having rigorous computer tool support. The reflexivity, symmetry and transitivity properties, being important at design level, are identified and described. It is believed that this approach will be effective and useful at both academics and industrial level. The need, reasoning and benefits of the integrated approach are discussed. The resultant formal models are analyzed and validated using Z/Eves tool.展开更多
文章研究了类图映射成关系数据库中的表的策略,首先使用Rational Rose 7.0建立类图数据模型,通过给类设置不同的可见性,并在类图中使用类与类之间的各种关系,然后再探讨了类图映射成关系表的规律。实践的结果表明,将类图映射成关系数据...文章研究了类图映射成关系数据库中的表的策略,首先使用Rational Rose 7.0建立类图数据模型,通过给类设置不同的可见性,并在类图中使用类与类之间的各种关系,然后再探讨了类图映射成关系表的规律。实践的结果表明,将类图映射成关系数据库中的表取决于两个因素,即类的可见性和类与类之间的关系,并发现RationalRose7.0软件没有考虑到当属性可见性不同时映射成表中对应的属性也应该是不同的。展开更多
给出计算偏序集<A,R>的盖住关系的关系矩阵的算法如下:Procedure求哈斯图对应关系阵(MR:n×n偏序关系阵)Q:=MR-I fori:=1ton forj:=1ton fork:=1ton qik:=qik-qik qij qjk end end end{Q=[qij]为Hasse图对应关系}.
文摘This paper mainly presents evidence for a relationship between language structure and meaning in EkeGusii,a Bantu language spoken in Kenya.The main argument is that the structure of language mirrors the structure of reality.A brief overview of other scholars demonstrates that diagrammatic iconicity shows universal tendencies.Five main ideas run down the discussion.Firstly,in EkeGusii,speakers sub-consciously cluster sounds around related meanings,evidencing gestalt and relative iconicity.Secondly,there is evidence of overlap of morphological and phonetic iconicity,an aspect of phonaesthesia.Thirdly,reduplication in certain infinitives demonstrates the reality of phono-iconicity in EkeGusii,augmented by unpleasant sound sequences.Fourthly,certain onomatopes in EkeGusii are actually diagrammatic,indicating that there is no one stop criterion for classifying overlapping types of icons.And finally,the paper posits that iconicity intersects with arbitrariness showing that language has both motivated and discrete symbols.
文摘The present work investigated the phase relations in SiC-Al2O3-Y2O3-SiO2 (Si-Al-Y-O-C) system. As a continuation of our previous works, the purpose of this study is to understand the high temperature reaction behaviors of SiO2 in the system and its effect on the phase relations of the valuable system of SiC-Al2O3-Y2O3. The phase compositions of six solid-state reacted samples with different components of Y2O3:Al2O3:SiC:SiO2 were analyzed by XRD. The phase relations of the systems were determined. The subsolidus phase diagrams of ternary Al2O3-SiC-SiO2 system and the tentative phase diagram of an extended quaternary Y2O3-Al2O3-SiC-SiO2 system were presented latter involving several coexisting regions of four phases. The high temperature reaction behavior of SiO2 in the system and its effect on the phase relations of system were discussed.
文摘Unified Modeling Language (UML) has become a de facto standard for design, specification and modeling of object oriented software systems. UML structures being graphical in nature lack defining semantics of the systems and are prone to causing errors. Formal methods are proved to be a powerful tool for requirement analysis, design and specification of software systems. Hence, linking UML with formal approaches will enhance modeling power of software systems. In this paper, an approach is developed by integrating UML and Z notation focusing on equivalence relation of the state diagrams. The Z is used because it is based on the first order predicate logic having rigorous computer tool support. The reflexivity, symmetry and transitivity properties, being important at design level, are identified and described. It is believed that this approach will be effective and useful at both academics and industrial level. The need, reasoning and benefits of the integrated approach are discussed. The resultant formal models are analyzed and validated using Z/Eves tool.
文摘文章研究了类图映射成关系数据库中的表的策略,首先使用Rational Rose 7.0建立类图数据模型,通过给类设置不同的可见性,并在类图中使用类与类之间的各种关系,然后再探讨了类图映射成关系表的规律。实践的结果表明,将类图映射成关系数据库中的表取决于两个因素,即类的可见性和类与类之间的关系,并发现RationalRose7.0软件没有考虑到当属性可见性不同时映射成表中对应的属性也应该是不同的。
文摘给出计算偏序集<A,R>的盖住关系的关系矩阵的算法如下:Procedure求哈斯图对应关系阵(MR:n×n偏序关系阵)Q:=MR-I fori:=1ton forj:=1ton fork:=1ton qik:=qik-qik qij qjk end end end{Q=[qij]为Hasse图对应关系}.
