In the present paper,we give a systematic study of the discrete correspondence the-ory and topological correspondence theory of modal meet-implication logic and moda1 meet-semilattice logic,in the semantics provided i...In the present paper,we give a systematic study of the discrete correspondence the-ory and topological correspondence theory of modal meet-implication logic and moda1 meet-semilattice logic,in the semantics provided in[21].The special features of the present paper include the following three points:the first one is that the semantic structure used is based on a semilattice rather than an ordinary partial order,the second one is that the propositional vari-ables are interpreted as filters rather than upsets,and the nominals,which are the“first-order counterparts of propositional variables,are interpreted as principal filters rather than principal upsets;the third one is that in topological correspondence theory,the collection of admissi-ble valuations is not closed under taking disjunction,which makes the proof of the topological Ackermann 1emma different from existing settings.展开更多
On July 2, 2019, President Xi Jinping held talks with President Recep Tayyip Erdogan of Turkey in Beijing. Xi Jinping noted that the two countries should consolidate the political foundation underlying the development...On July 2, 2019, President Xi Jinping held talks with President Recep Tayyip Erdogan of Turkey in Beijing. Xi Jinping noted that the two countries should consolidate the political foundation underlying the development of the China-Turkey strategic cooperative relations to keep bilateral relations on a healthy and stable track, and should take concrete measures to promote counter-terrorism cooperation. The Chinese side appreciates Recep Tayyip Erdogan’s reiteration on many occasions about not allowing anti-China separatist activities instigated by any force in Turkey, and highly values the repeated emphasis by the Turkish side on supporting the Chinese side’s counter-terrorism efforts. The Chinese side is ready to strengthen cooperation with the Turkish side in the field of international counter-terrorism.展开更多
Chinese President Xi Jinping, French President Emmanuel Macron, German Chancellor Angela Merkel and European Commission President Jean- Claude Juncker met in Paris on March 26 and agreed to strengthen China-European U...Chinese President Xi Jinping, French President Emmanuel Macron, German Chancellor Angela Merkel and European Commission President Jean- Claude Juncker met in Paris on March 26 and agreed to strengthen China-European Union (EU) relations and global governance cooperation.展开更多
SAMR Vice-Minister and SAC Administrator Tian Shihong met with ISO President John Walter on April 25,who came to Beijing to attend the Second Belt and Road Forum for International Cooperation.
Recently, we gave a new perspective of Web Intelligence (WI) research from the viewpoint of Brain Informatics (BI), a new interdisciplinary field that studies the mechanisms of human information processing from both t...Recently, we gave a new perspective of Web Intelligence (WI) research from the viewpoint of Brain Informatics (BI), a new interdisciplinary field that studies the mechanisms of human information processing from both the macro and micro viewpoints by combining experimental cognitive neuroscience with advanced information technology.We argue that new instruments like fMRI and information technology will revolutionize both Web intelligence and brain science. This revolution will be bi-directional: new understanding of human intelligence through brain science will yield a new generation of Web intelligence research and development, and Web intelligence portal techniques will provide a powerful new platform for brain science. The ultimate goal is to establish the foundation of WI towards human-level Web intelligence. In this talk, we investigate how to make such a study successfully.展开更多
SAMR Vice-Minister and SAC Administrator Tian Shihong met with the visiting delegation of the European Commission Directorate-GeneraL for Justice and Consumers led by its Director-General.Tirrna AstoLa in Beijing on M...SAMR Vice-Minister and SAC Administrator Tian Shihong met with the visiting delegation of the European Commission Directorate-GeneraL for Justice and Consumers led by its Director-General.Tirrna AstoLa in Beijing on March 22,2019.展开更多
On May 14, Chinese President Xi Jinping met with President Halimah Yacob of Singapore at the Great Hall of the People in Beijing. Xi pointed out that Prime Minister Lee Hsien Loong had just attended opening ceremonies...On May 14, Chinese President Xi Jinping met with President Halimah Yacob of Singapore at the Great Hall of the People in Beijing. Xi pointed out that Prime Minister Lee Hsien Loong had just attended opening ceremonies of the second Belt and Road Forum for International Cooperation and the 2019 International Horticultural Exhibition in Beijing and that Madame President was in China for the Conference on Dialogue of Asian Civilizations (CDAC), which ideally showcased the close relationship between China and Singapore. As reciprocal development opportunities, China and Singapore have marched forward hand in hand for a long time and enjoyed extensive converging interests.展开更多
Introduction The Belt and Road Initiative is set to be a grand project to enhance connectivity between Asia and Europe.When the ideas of the Silk Road Economic Belt and 21st Century Maritime
SAC Administrator Tian Shihong met the newly-eLected ISO Secretary-GeneraL Sergio Mujica in Beijing at the end of August. Tian briefed on the Latest progress of China＇s standardization work, and had intensive exchang...SAC Administrator Tian Shihong met the newly-eLected ISO Secretary-GeneraL Sergio Mujica in Beijing at the end of August. Tian briefed on the Latest progress of China＇s standardization work, and had intensive exchanges with Sergio on the key strategies and policies of ISO, including the development goals and working initiatives, enhancing the cooperation to promote the standardization capacity building of developing countries and the governance of ISO.展开更多
SAC Administrator Tian Shihong met with the ISO Secretary-General Sergio Mujica in Beijing at the end of August.Tian briefed on the latest progress of China’s standardization work,and had intensive exchanges with Ser...SAC Administrator Tian Shihong met with the ISO Secretary-General Sergio Mujica in Beijing at the end of August.Tian briefed on the latest progress of China’s standardization work,and had intensive exchanges with Sergio on the key strategies and policies of ISO,including the development goals and working initiatives,enhancing the cooperation to promote the standardization capacity building of developing countries and the governance of ISO.展开更多
As Slumdog Millionaire won eight Oscars at the 81st annual Academy Awards,I could not help wondering if the west world began to show more interesting or recognition to the East,its religion,culture,people and so on. I...As Slumdog Millionaire won eight Oscars at the 81st annual Academy Awards,I could not help wondering if the west world began to show more interesting or recognition to the East,its religion,culture,people and so on. In such an economic depression period,the belief in the movie brought hope and confi dence to our life,also brought great profit to the movie-maker. Here,in China,several western industrial giants speed up their strategy development in this energetic eastern world,confidently.展开更多
SAC Vice-Administrator Chen Hongjun met with the delegation of the Standards PoLicy Division, Korean Agency for TechnoLogy and Standards （KATS） on March 20, 2018.
SAC Vice-Administrator Cui Gang met with the visiting delegation of Bureau of Standards Jamaica(BSJ)led by its Director Stephen Wedderburn on November 14,2017.The two sides briefed on their progresses in standardizati...SAC Vice-Administrator Cui Gang met with the visiting delegation of Bureau of Standards Jamaica(BSJ)led by its Director Stephen Wedderburn on November 14,2017.The two sides briefed on their progresses in standardization work.They had in-depth discussions and reached broad consensus on major issues such as carrying out standards mutual recognition,enhancing cooperation within COPANT and ISO/TC 93 and signing a bilateral cooperation agreement.展开更多
SAC Administrator Tian Shihong met with the visiting ANSI delegation led by Joseph Tretler,Vice-President of ANSI,national standardization body of the United States,on December 7,2017.The two sides highly appreciated ...SAC Administrator Tian Shihong met with the visiting ANSI delegation led by Joseph Tretler,Vice-President of ANSI,national standardization body of the United States,on December 7,2017.The two sides highly appreciated the working meeting on association standards cooperation and development held in Hangzhou the day before,held in-depth discussion and reached a consensus on further bilateral communication and cooperation.展开更多
The first International Printing Technology Exhibition of China（Guangdong）is held from 10<sup>th</sup>-14<sup>th</sup>April 2007.The abbreviation of the name of this exhibition is PRINT CHINA...The first International Printing Technology Exhibition of China（Guangdong）is held from 10<sup>th</sup>-14<sup>th</sup>April 2007.The abbreviation of the name of this exhibition is PRINT CHINA. The first PRINT CHINA attracts not only large quantity of printing and packaging equipment and material suppliers home and abroad to participate in the show,but also enormous num- bers of domestic and overseas visitors to attend the show.展开更多
One is isolated on the roof of the world known as the nearest place to the sun;the other is a paradise,an archipelago in middle of the Pacific Ocean.While at first glance they may seem worlds different,the two surpris...One is isolated on the roof of the world known as the nearest place to the sun;the other is a paradise,an archipelago in middle of the Pacific Ocean.While at first glance they may seem worlds different,the two surprisingly share quite a bit in common.Why not take a closer look？＂Tashi Delek!＂is the most well known and popular Tibetan greeting.The phrase is imbued with auspiciousness,wishes for good luck,hopes for peace,and many other such understandings.展开更多
基金supported by the Chinese Ministry of Education of Humanities and Social Science Project(23YJC72040003)the Key Project of Chinese Ministry of Education(22JJD720021)supported by the Natural Science Foundation of Shandong Province,China(project number:ZR2023QF021)。
文摘In the present paper,we give a systematic study of the discrete correspondence the-ory and topological correspondence theory of modal meet-implication logic and moda1 meet-semilattice logic,in the semantics provided in[21].The special features of the present paper include the following three points:the first one is that the semantic structure used is based on a semilattice rather than an ordinary partial order,the second one is that the propositional vari-ables are interpreted as filters rather than upsets,and the nominals,which are the“first-order counterparts of propositional variables,are interpreted as principal filters rather than principal upsets;the third one is that in topological correspondence theory,the collection of admissi-ble valuations is not closed under taking disjunction,which makes the proof of the topological Ackermann 1emma different from existing settings.
文摘On July 2, 2019, President Xi Jinping held talks with President Recep Tayyip Erdogan of Turkey in Beijing. Xi Jinping noted that the two countries should consolidate the political foundation underlying the development of the China-Turkey strategic cooperative relations to keep bilateral relations on a healthy and stable track, and should take concrete measures to promote counter-terrorism cooperation. The Chinese side appreciates Recep Tayyip Erdogan’s reiteration on many occasions about not allowing anti-China separatist activities instigated by any force in Turkey, and highly values the repeated emphasis by the Turkish side on supporting the Chinese side’s counter-terrorism efforts. The Chinese side is ready to strengthen cooperation with the Turkish side in the field of international counter-terrorism.
文摘Chinese President Xi Jinping, French President Emmanuel Macron, German Chancellor Angela Merkel and European Commission President Jean- Claude Juncker met in Paris on March 26 and agreed to strengthen China-European Union (EU) relations and global governance cooperation.
文摘SAMR Vice-Minister and SAC Administrator Tian Shihong met with ISO President John Walter on April 25,who came to Beijing to attend the Second Belt and Road Forum for International Cooperation.
文摘Recently, we gave a new perspective of Web Intelligence (WI) research from the viewpoint of Brain Informatics (BI), a new interdisciplinary field that studies the mechanisms of human information processing from both the macro and micro viewpoints by combining experimental cognitive neuroscience with advanced information technology.We argue that new instruments like fMRI and information technology will revolutionize both Web intelligence and brain science. This revolution will be bi-directional: new understanding of human intelligence through brain science will yield a new generation of Web intelligence research and development, and Web intelligence portal techniques will provide a powerful new platform for brain science. The ultimate goal is to establish the foundation of WI towards human-level Web intelligence. In this talk, we investigate how to make such a study successfully.
文摘SAMR Vice-Minister and SAC Administrator Tian Shihong met with the visiting delegation of the European Commission Directorate-GeneraL for Justice and Consumers led by its Director-General.Tirrna AstoLa in Beijing on March 22,2019.
文摘On May 14, Chinese President Xi Jinping met with President Halimah Yacob of Singapore at the Great Hall of the People in Beijing. Xi pointed out that Prime Minister Lee Hsien Loong had just attended opening ceremonies of the second Belt and Road Forum for International Cooperation and the 2019 International Horticultural Exhibition in Beijing and that Madame President was in China for the Conference on Dialogue of Asian Civilizations (CDAC), which ideally showcased the close relationship between China and Singapore. As reciprocal development opportunities, China and Singapore have marched forward hand in hand for a long time and enjoyed extensive converging interests.
文摘Introduction The Belt and Road Initiative is set to be a grand project to enhance connectivity between Asia and Europe.When the ideas of the Silk Road Economic Belt and 21st Century Maritime
文摘SAC Administrator Tian Shihong met the newly-eLected ISO Secretary-GeneraL Sergio Mujica in Beijing at the end of August. Tian briefed on the Latest progress of China＇s standardization work, and had intensive exchanges with Sergio on the key strategies and policies of ISO, including the development goals and working initiatives, enhancing the cooperation to promote the standardization capacity building of developing countries and the governance of ISO.
文摘SAC Administrator Tian Shihong met with the ISO Secretary-General Sergio Mujica in Beijing at the end of August.Tian briefed on the latest progress of China’s standardization work,and had intensive exchanges with Sergio on the key strategies and policies of ISO,including the development goals and working initiatives,enhancing the cooperation to promote the standardization capacity building of developing countries and the governance of ISO.
文摘As Slumdog Millionaire won eight Oscars at the 81st annual Academy Awards,I could not help wondering if the west world began to show more interesting or recognition to the East,its religion,culture,people and so on. In such an economic depression period,the belief in the movie brought hope and confi dence to our life,also brought great profit to the movie-maker. Here,in China,several western industrial giants speed up their strategy development in this energetic eastern world,confidently.
文摘SAC Vice-Administrator Chen Hongjun met with the delegation of the Standards PoLicy Division, Korean Agency for TechnoLogy and Standards （KATS） on March 20, 2018.
文摘SAC Vice-Administrator Cui Gang met with the visiting delegation of Bureau of Standards Jamaica(BSJ)led by its Director Stephen Wedderburn on November 14,2017.The two sides briefed on their progresses in standardization work.They had in-depth discussions and reached broad consensus on major issues such as carrying out standards mutual recognition,enhancing cooperation within COPANT and ISO/TC 93 and signing a bilateral cooperation agreement.
文摘SAC Administrator Tian Shihong met with the visiting ANSI delegation led by Joseph Tretler,Vice-President of ANSI,national standardization body of the United States,on December 7,2017.The two sides highly appreciated the working meeting on association standards cooperation and development held in Hangzhou the day before,held in-depth discussion and reached a consensus on further bilateral communication and cooperation.
文摘The first International Printing Technology Exhibition of China（Guangdong）is held from 10<sup>th</sup>-14<sup>th</sup>April 2007.The abbreviation of the name of this exhibition is PRINT CHINA. The first PRINT CHINA attracts not only large quantity of printing and packaging equipment and material suppliers home and abroad to participate in the show,but also enormous num- bers of domestic and overseas visitors to attend the show.
文摘One is isolated on the roof of the world known as the nearest place to the sun;the other is a paradise,an archipelago in middle of the Pacific Ocean.While at first glance they may seem worlds different,the two surprisingly share quite a bit in common.Why not take a closer look？＂Tashi Delek!＂is the most well known and popular Tibetan greeting.The phrase is imbued with auspiciousness,wishes for good luck,hopes for peace,and many other such understandings.
