Dynamic architecture of multi-agent systems （MAS） is important for critical systems. As the existing formal specifications of MAS cannot describe its dynamic architecture, a formal approach using n-calculus is prese...Dynamic architecture of multi-agent systems （MAS） is important for critical systems. As the existing formal specifications of MAS cannot describe its dynamic architecture, a formal approach using n-calculus is presented, which is suited for the describing and analyzing of concurrent MAS with dynamic topology, n-calculus describes the belief-desireintention （BDI） model that represents agent＇s mental states and provides many useful facilities to analyze MAS model such as deadlock, behavior equivalence, and model checking. To illustrate the favorable representation capability of n-calculus, an example of dynamic multi-agent systems in e-commerce is provided. Finally, by using an existing n-calculus supporting tool, MAS model and some key behaviors properties are analyzed and verified.展开更多
Subject Code:C06Research groups of Prof.Xie Wei(颉伟)at Tsinghua University published a research paper in Nature(2017,547:232—235)on July 13th,entitled“Allelic reprogramming of 3Dchromatin architecture during early ...Subject Code:C06Research groups of Prof.Xie Wei(颉伟)at Tsinghua University published a research paper in Nature(2017,547:232—235)on July 13th,entitled“Allelic reprogramming of 3Dchromatin architecture during early mammalian development”with the support by the National Natural Science Foundation of China.展开更多
This paper describes a dynamically reconfigurable data-flow hardware architecture optimized for the computation of image and video. It is a scalable hierarchically organized parallel architecture that consists of data...This paper describes a dynamically reconfigurable data-flow hardware architecture optimized for the computation of image and video. It is a scalable hierarchically organized parallel architecture that consists of data-flow clusters and finite-state machine （FSM） controllers. Each cluster contains various kinds of ceils that are optimized for video processing. Furthermore, to facilitate the design process, we provide a C-like language for design specification and associated design tools. Some video applications have been implemented in the architecture to demonstrate the applicability and flexibility of the architecture. Experimental results show that the architecture, along with its video applications, can be used in many real-time video processing.展开更多
The common endogenous security problems in cyberspace and related attack threats have posed subversive challenges to conventional theories and methods of functional safety.In the current design of the cyber physical s...The common endogenous security problems in cyberspace and related attack threats have posed subversive challenges to conventional theories and methods of functional safety.In the current design of the cyber physical system(CPS),functional safety and cyber security are increasingly intertwined and inseparable,which evolve into the generalized functional safety(S&S)problem.The conventional reliability and cybersecurity technologies are unable to provide security assurance with quanti able design and veri cation metrics in response to the cyberattacks in hardware and software with common endogenous security problems,and the functional safety of CPS facilities or device has become a frightening ghost.The dynamic heterogeneity redundancy(DHR)architecture and coding channel theory(CCT)proposed by the cyberspace endogenous security paradigm could handle random failures and uncertain network attacks in an integrated manner,and its generalized robust control mechanism can solve the universal problem of quantitative design for functional safety under probability or improbability perturbation.As a generalized functional safety enabling structure,DHR opens up a new direction to solve the common endogenous security problems in the cross-disciplinary elds of cyberspace.展开更多
基金Project supported by the National High-Technology Research and Development Program of China(Grant No.8632003AA721070)
文摘Dynamic architecture of multi-agent systems （MAS） is important for critical systems. As the existing formal specifications of MAS cannot describe its dynamic architecture, a formal approach using n-calculus is presented, which is suited for the describing and analyzing of concurrent MAS with dynamic topology, n-calculus describes the belief-desireintention （BDI） model that represents agent＇s mental states and provides many useful facilities to analyze MAS model such as deadlock, behavior equivalence, and model checking. To illustrate the favorable representation capability of n-calculus, an example of dynamic multi-agent systems in e-commerce is provided. Finally, by using an existing n-calculus supporting tool, MAS model and some key behaviors properties are analyzed and verified.
文摘Subject Code:C06Research groups of Prof.Xie Wei(颉伟)at Tsinghua University published a research paper in Nature(2017,547:232—235)on July 13th,entitled“Allelic reprogramming of 3Dchromatin architecture during early mammalian development”with the support by the National Natural Science Foundation of China.
基金Foundation item： the National Natural Science Foundation of China （No. 61136002）, the Key Project of Chinese Ministry of Education （No. 211180）, and the Shaanxi Provincial Industrial and Technological Project （No. 2011k06-47）.
文摘This paper describes a dynamically reconfigurable data-flow hardware architecture optimized for the computation of image and video. It is a scalable hierarchically organized parallel architecture that consists of data-flow clusters and finite-state machine （FSM） controllers. Each cluster contains various kinds of ceils that are optimized for video processing. Furthermore, to facilitate the design process, we provide a C-like language for design specification and associated design tools. Some video applications have been implemented in the architecture to demonstrate the applicability and flexibility of the architecture. Experimental results show that the architecture, along with its video applications, can be used in many real-time video processing.
基金the National Natural Science Foundation Innovation Group Project(61521003).
文摘The common endogenous security problems in cyberspace and related attack threats have posed subversive challenges to conventional theories and methods of functional safety.In the current design of the cyber physical system(CPS),functional safety and cyber security are increasingly intertwined and inseparable,which evolve into the generalized functional safety(S&S)problem.The conventional reliability and cybersecurity technologies are unable to provide security assurance with quanti able design and veri cation metrics in response to the cyberattacks in hardware and software with common endogenous security problems,and the functional safety of CPS facilities or device has become a frightening ghost.The dynamic heterogeneity redundancy(DHR)architecture and coding channel theory(CCT)proposed by the cyberspace endogenous security paradigm could handle random failures and uncertain network attacks in an integrated manner,and its generalized robust control mechanism can solve the universal problem of quantitative design for functional safety under probability or improbability perturbation.As a generalized functional safety enabling structure,DHR opens up a new direction to solve the common endogenous security problems in the cross-disciplinary elds of cyberspace.
