Petri net language is a powerful tool for describing dynamic behaviors of physical systems. However, it is not easy to obtain the language expression for a given Petri net especially a structure-complex net. In this p...Petri net language is a powerful tool for describing dynamic behaviors of physical systems. However, it is not easy to obtain the language expression for a given Petri net especially a structure-complex net. In this paper, we first analyze the behaviors of S-nets, which are structure-simple. With the decomposition method based on a given index function on the place set, a given structure-complex Petri net can be decomposed into a set of structure-simple S-nets. With the language relationships between the original system and the decomposed subnets, an algorithm to obtain the language expression of a given structure-complex net system is presented, which benefits the analysis of physical systems based on the Petri net language.展开更多
It is well-known that Chinese dish names concentrate on the essence of traditional Chinese culture,reflecting the collective wisdom of Chinese nation.In recent years,good and awkward translation of Chinese dish names ...It is well-known that Chinese dish names concentrate on the essence of traditional Chinese culture,reflecting the collective wisdom of Chinese nation.In recent years,good and awkward translation of Chinese dish names coexist with each other,which has a negative influence on Chinese image.Nowadays many people have begun to center on and study the English translation of Chinese dishes names.Descriptive translation is a clear answer to it.展开更多
The norm of descriptive translation is the transcendence for traditional translation theory norm; it helps translators to build a comprehensive and objective cognation for translation activity, thus makes the translat...The norm of descriptive translation is the transcendence for traditional translation theory norm; it helps translators to build a comprehensive and objective cognation for translation activity, thus makes the translation theories fully used by translators. This essay attempted to explore descriptive translation from its development stages, the norm and the value and defects of Toury＇s theory.展开更多
This study introduces the representation of natural number sets as row vectors and pretends to offer a new perspective on the strong Goldbach conjecture. The natural numbers are restructured and expanded with the incl...This study introduces the representation of natural number sets as row vectors and pretends to offer a new perspective on the strong Goldbach conjecture. The natural numbers are restructured and expanded with the inclusion of the zero element as the source of a strong Goldbach conjecture reformulation. A prime Boolean vector is defined, pinpointing the positions of prime numbers within the odd number sequence. The natural unit primality is discussed in this context and transformed into a source of quantum-like indetermination. This approach allows for rephrasing the strong Goldbach conjecture, framed within a Boolean scalar product between the prime Boolean vector and its reverse. Throughout the discussion, other intriguing topics emerge and are thoroughly analyzed. A final description of two empirical algorithms is provided to prove the strong Goldbach conjecture.展开更多
OWL-S(ontology Web language for services)实现了Web服务属性和功能明确的形式化表示,使得服务的描述具有了语义。但OWL-S对服务的动态信息描述不足,不支持服务的动态复合。扩展了OWL-S的服务描述内容,提出了动态因素和静态因素的概念...OWL-S(ontology Web language for services)实现了Web服务属性和功能明确的形式化表示,使得服务的描述具有了语义。但OWL-S对服务的动态信息描述不足,不支持服务的动态复合。扩展了OWL-S的服务描述内容,提出了动态因素和静态因素的概念,给出了一个新的服务描述方法——从动态因素和静态因素两个方面对Web服务进行详细的描述,同时设计了服务动态复合的机制,采用子服务类型复合而非实例复合的方法,依据ServiceProfile中描述的动态信息和静态信息,根据服务运行环境和用户需求的不同而动态调整复合方式,从而使OWL-S具有支持服务动态复合的能力。最后以描述逻辑为基础给出描述方法的逻辑支持。展开更多
基金This work was supported by the National Natural Science Foundation of China(No.60173053&No.60274063)the Excellent Young Scientist Foundation of Shandong Province of China(No.02BS069).
文摘Petri net language is a powerful tool for describing dynamic behaviors of physical systems. However, it is not easy to obtain the language expression for a given Petri net especially a structure-complex net. In this paper, we first analyze the behaviors of S-nets, which are structure-simple. With the decomposition method based on a given index function on the place set, a given structure-complex Petri net can be decomposed into a set of structure-simple S-nets. With the language relationships between the original system and the decomposed subnets, an algorithm to obtain the language expression of a given structure-complex net system is presented, which benefits the analysis of physical systems based on the Petri net language.
文摘It is well-known that Chinese dish names concentrate on the essence of traditional Chinese culture,reflecting the collective wisdom of Chinese nation.In recent years,good and awkward translation of Chinese dish names coexist with each other,which has a negative influence on Chinese image.Nowadays many people have begun to center on and study the English translation of Chinese dishes names.Descriptive translation is a clear answer to it.
文摘The norm of descriptive translation is the transcendence for traditional translation theory norm; it helps translators to build a comprehensive and objective cognation for translation activity, thus makes the translation theories fully used by translators. This essay attempted to explore descriptive translation from its development stages, the norm and the value and defects of Toury＇s theory.
文摘This study introduces the representation of natural number sets as row vectors and pretends to offer a new perspective on the strong Goldbach conjecture. The natural numbers are restructured and expanded with the inclusion of the zero element as the source of a strong Goldbach conjecture reformulation. A prime Boolean vector is defined, pinpointing the positions of prime numbers within the odd number sequence. The natural unit primality is discussed in this context and transformed into a source of quantum-like indetermination. This approach allows for rephrasing the strong Goldbach conjecture, framed within a Boolean scalar product between the prime Boolean vector and its reverse. Throughout the discussion, other intriguing topics emerge and are thoroughly analyzed. A final description of two empirical algorithms is provided to prove the strong Goldbach conjecture.
文摘OWL-S(ontology Web language for services)实现了Web服务属性和功能明确的形式化表示,使得服务的描述具有了语义。但OWL-S对服务的动态信息描述不足,不支持服务的动态复合。扩展了OWL-S的服务描述内容,提出了动态因素和静态因素的概念,给出了一个新的服务描述方法——从动态因素和静态因素两个方面对Web服务进行详细的描述,同时设计了服务动态复合的机制,采用子服务类型复合而非实例复合的方法,依据ServiceProfile中描述的动态信息和静态信息,根据服务运行环境和用户需求的不同而动态调整复合方式,从而使OWL-S具有支持服务动态复合的能力。最后以描述逻辑为基础给出描述方法的逻辑支持。
