On Yao's method of translation

Machine Translation, i.e., translating one kind of natural language to another kind of natural language by using a computer system, is a very important research branch in Artificial Intelligence. Yao developed a method of translation that he called ``Lexical-Semantic Driven". In his system he introduced 49 ``relation types" including case relations, event relations, semantic relations, and complex relations. The knowledge graph method is a new kind of method to represent an interlingua between natural languages. In this paper, we will give a comparison of these two methods. We will translate one Chinese sentence cited in Yao�s book by using these two methods. Finally, we will use the relations in knowledge graph theory to represent the ``relations" in Lexical-Semantic Driven, and partition the relations in Lexical-Semantic Driven into groups according to the relations in knowledge graph theory

Hard-to-Find Words in Web 3 (T-Z)

List of hard to find words

Studies on Ceremonial Paintings of the Guoshan Yao People －In Southern Hunan Province and Northeastern Guangxi Zhuang Autonomous Region－

The Guoshan Yao people who call themselves Mien are the most mobile of the Yao tribes （Yoshino 1994 : 94）. The Mien live mostly in southern Hunan Province, Guangdong Province, the Guangxi Zhuang Autonomous Region, Guizhou Province, and Yunnan Province. They also live extensively outside China, such as in Vietnam, Laos, Thailand and the mountainous area in northern Myanmar. This study deals primarily with the Mien settling in the Jianghua Yao Autonomous County of southern Hunan and the neighboring Gongcheng Yao Autonomous County of northeastern Guangxi.　Studies on Mien ceremonial paintings are believed to have begun in the early 1980s, but extremely few documents have been published so far. Jacques Lemoine, a French ethnologist, is the only researcher who has written books on this subject. In his book Yao Ceremonial Paintings（1982）, he introduces　approximately 200 religious paintings of the Yao people collected by him and eight others. He also briefly describes Mien rituals with photographs he took during field surveys of their communities in Thailand and Laos. Ceremonial paintings are classified into the following chapters : Fam Tsʼing, the Three Pure Ones ; The Jade Emperor and the Master of the Saints ; The Celestial Masters ; Tai Wai, the High Constable ; Hoi Fan, ʻThe Sea Bannerʼ ; The Governors of this World and the Waters ; The Governors of the Sky and the Underground ; The Lords of the Ten Tribunals of Hades ; The Marshals ; The Three Generals ; The Ancestors ; The Forebears ; The Dragon Bridge of the Great Tao ; The Enforcers of Fasting and Chastity ; Pʼan Huʼs Five Banners of Knights ; and Masks. In addition to the vast number of iconic images, Lemoine illustrates the characters of gods depicted in the paintings, such as their attire, postures and accessories. Unfortunately, these are mere brief explanations with no comparisons, analyses or examinations of the same religious paintings owned by the Mien residing in different areas.　This study focuses on unexplored aspects of Lemoineʼs research to examine the content of Mien ceremonial　paintings, while analyzing similarities and differences between the paintings in southern Hunan and northeastern Guangxi. Based on the findings, it further explores the characters of gods worshipped by the　Mien, the influence of Taoism on ceremonial paintings, and the characteristics of the Mien reflected in the paintings.論

Experimental study of z resolution in acousto-optical coherence tomography using random phase jumps on ultrasound and light

Acousto-Optical Coherence Tomography (AOCT) is a variant of Acousto Optic Imaging (also called Ultrasound modulated Optical Tomography) that makes possible to get resolution along the ultrasound propagation axis $z$. We present here new AOCT experimental results, and we study how the $z$ resolution depends on time step between phase jumps $T_\phi$, or on the correlation length $\Delta z$. By working at low resolution, we perform a quantitative comparison of the $z$ measurements with the theoretical Point Spread Function (PSF). We present also images recorded with different $z$ resolution, and we qualitatively show how the image quality varies with $T_\phi$, or $\Delta z$

An Experiment in Ping-Pong Protocol Verification by Nondeterministic Pushdown Automata

An experiment is described that confirms the security of a well-studied class of cryptographic protocols (Dolev-Yao intruder model) can be verified by two-way nondeterministic pushdown automata (2NPDA). A nondeterministic pushdown program checks whether the intersection of a regular language (the protocol to verify) and a given Dyck language containing all canceling words is empty. If it is not, an intruder can reveal secret messages sent between trusted users. The verification is guaranteed to terminate in cubic time at most on a 2NPDA-simulator. The interpretive approach used in this experiment simplifies the verification, by separating the nondeterministic pushdown logic and program control, and makes it more predictable. We describe the interpretive approach and the known transformational solutions, and show they share interesting features. Also noteworthy is how abstract results from automata theory can solve practical problems by programming language means.Comment: In Proceedings MARS/VPT 2018, arXiv:1803.0866

Keeping you in the loop: enabling web-based things management in the internet of things

Internet of Things (IoT) is an emerging paradigm where physical objects are connected and communicated over the Web. Its capability in assimilating the virtual world and the physical one offers many exciting opportunities. However, how to realize a smooth, seamless integration of the two worlds remains an interesting and challenging topic. In this paper, we showcase an IoT prototype system that enables seamless integration of the virtual and the physical worlds and efficient management of things of interest (TOIs), where services and resources offered by things can be easily monitored, visualized, and aggregated for value-added services by users. This paper presents the motivation, system design, implementation, and demonstration scenario of the system.Lina Yao, Quan Z. Sheng, Anne H.H. Ngu and Byron Ga