In order to solve the semantic irreconcilable problems caused by contextual differences during the process of ontology integration, a context-driven reconciliation mechanism is proposed. The mechanism is based on the ...In order to solve the semantic irreconcilable problems caused by contextual differences during the process of ontology integration, a context-driven reconciliation mechanism is proposed. The mechanism is based on the previous work about a context-based formalism-Context-SHOIQ （D ＋ ） DL, which is used for explicitly representing context of ontology by adopting the description logic and the category theory. The formalism is extended by adding four migration rules （InclusionRule, SelectionRule, PreferenceRule, and MappingRule）, that are used to specify what should be imported into the IntegrativeContext, and three related contextual integration operations of increasing interoperability （import, partial reconciliation, and full reconciliation）. While not exhaustive, the mechanism is sufficient for solving the five types of semantic irreconcilable problems that are discussed, and favors integration of ontologies from one context to another.展开更多
The aim of this paper is to investigate the effect of heaving and pitching of ship motion due to springing bending moment. The investigation was conducted both experimentally and validated theoretically. Series of exp...The aim of this paper is to investigate the effect of heaving and pitching of ship motion due to springing bending moment. The investigation was conducted both experimentally and validated theoretically. Series of experiment were carried out using a container model-ship of which length was 3 meter, and the possibility of the so-called nth resonant springing vibration is tested by taking n from n = 2 to n = 4. The bending moment due- to vibration is also measured. The following conclusions were obtained： （l） Occurance of the higher order resonant vibration between 2nd-4th is recognized experimentally; （2） The results indicated that heaving and pitching of ship motion influenced the springing bending moment accurately.展开更多
集体选择规则的理性检验,是群体决策研究的基本理论课题.对于群体决策的简单多数规则,May K O曾建立了它的充要条件,Sen A K则给出了Pareto扩展规则的充要条件.笔者引进群体决策的一个包括简单多数规则为其特例的带参数α的α-较多扩展...集体选择规则的理性检验,是群体决策研究的基本理论课题.对于群体决策的简单多数规则,May K O曾建立了它的充要条件,Sen A K则给出了Pareto扩展规则的充要条件.笔者引进群体决策的一个包括简单多数规则为其特例的带参数α的α-较多扩展规则,在证明它满足的一组理性必要条件的基础上,也建立了它的充要条件.展开更多
文摘In order to solve the semantic irreconcilable problems caused by contextual differences during the process of ontology integration, a context-driven reconciliation mechanism is proposed. The mechanism is based on the previous work about a context-based formalism-Context-SHOIQ （D ＋ ） DL, which is used for explicitly representing context of ontology by adopting the description logic and the category theory. The formalism is extended by adding four migration rules （InclusionRule, SelectionRule, PreferenceRule, and MappingRule）, that are used to specify what should be imported into the IntegrativeContext, and three related contextual integration operations of increasing interoperability （import, partial reconciliation, and full reconciliation）. While not exhaustive, the mechanism is sufficient for solving the five types of semantic irreconcilable problems that are discussed, and favors integration of ontologies from one context to another.
文摘The aim of this paper is to investigate the effect of heaving and pitching of ship motion due to springing bending moment. The investigation was conducted both experimentally and validated theoretically. Series of experiment were carried out using a container model-ship of which length was 3 meter, and the possibility of the so-called nth resonant springing vibration is tested by taking n from n = 2 to n = 4. The bending moment due- to vibration is also measured. The following conclusions were obtained： （l） Occurance of the higher order resonant vibration between 2nd-4th is recognized experimentally; （2） The results indicated that heaving and pitching of ship motion influenced the springing bending moment accurately.
文摘集体选择规则的理性检验,是群体决策研究的基本理论课题.对于群体决策的简单多数规则,May K O曾建立了它的充要条件,Sen A K则给出了Pareto扩展规则的充要条件.笔者引进群体决策的一个包括简单多数规则为其特例的带参数α的α-较多扩展规则,在证明它满足的一组理性必要条件的基础上,也建立了它的充要条件.
