Since the specifications of most of the existing context-sensitive graph grammars tend to be either too intricate or not intuitive, a novel context-sensitive graph grammar formalism, called context-attributed graph gr...Since the specifications of most of the existing context-sensitive graph grammars tend to be either too intricate or not intuitive, a novel context-sensitive graph grammar formalism, called context-attributed graph grammar（CAGG）, is proposed. In order to resolve the embedding problem, context information of a graph production in the CAGG is represented in the form of context attributes of the nodes involved. Moreover, several properties of a set of confluent CAGG productions are characterized, and then an algorithm based on them is developed to decide whether or not a set of productions is confluent, which provides the foundation for the design of efficient parsing algorithms. It can also be shown through the comparison of CAGG with several typical context-sensitive graph grammars that CAGG is more succinct and, at the same time, more intuitive than the others, making it more suitably and effortlessly applicable to the specification of visual languages.展开更多
The article discusses plot size standards applied in the government sites-and-services projects in Khartoum and probes into the possible alternative ways of re-establishing solid grounds for those standards. The parti...The article discusses plot size standards applied in the government sites-and-services projects in Khartoum and probes into the possible alternative ways of re-establishing solid grounds for those standards. The particular issue of plot size is a crucial factor in the whole housing policy as it directly affects the urban land use and consumption and extends its influence far into sustainability and affordability issues and the whole housing policy and supply process. The article, analysing the applied standards, argues that plot subdivision can substantially contribute to providing more access of housing to the low-income groups. Large plot sizes can be subdivided driven by the need to realize security of tenure, doubling the owner-occupier housing stock which is the base issue of self-help housing, increases housing finance, provides variety of housing choices and behind all it conforms to the legacy principles and some cultural attributes of the local community. The article underlined existence of a cumbersome regulatory system, subdivision procedures and development controls which need to be reformed.展开更多
Development of highly active electrocatalysts for oxygen evolution reaction(OER)is one of the critical issues for water splitting,and most reported catalysts operate at overpotentials above 190 mV.Here we present a mu...Development of highly active electrocatalysts for oxygen evolution reaction(OER)is one of the critical issues for water splitting,and most reported catalysts operate at overpotentials above 190 mV.Here we present a multiphase nickel iron sulfide(MPS)hybrid electrode with a hierarchical structure of iron doped NiS and Ni3S2,possessing a benchmark OER activity in alkaline media with a potential as low as 1.33 V(vs.reversible hydrogen electrode)to drive an OER current density of 10 mA cm^-2.The Fe doped NiS,combined with highly conductive disulfide phase on porous Ni foam,is believed to be responsible for the ultrahigh activity.Furthermore,density functional theory simulation reveals that partially oxidized sulfur sites in Fe doped NiS could dramatically lower the energy barrier for the rate-determining elementary reaction,thus contributing to the active oxygen evolution.展开更多
基金The National Natural Science Foundation of China(No.60571048,60673186,60736015)the National High Technology Researchand Development Program of China(863Program)(No.2007AA01Z178)
文摘Since the specifications of most of the existing context-sensitive graph grammars tend to be either too intricate or not intuitive, a novel context-sensitive graph grammar formalism, called context-attributed graph grammar（CAGG）, is proposed. In order to resolve the embedding problem, context information of a graph production in the CAGG is represented in the form of context attributes of the nodes involved. Moreover, several properties of a set of confluent CAGG productions are characterized, and then an algorithm based on them is developed to decide whether or not a set of productions is confluent, which provides the foundation for the design of efficient parsing algorithms. It can also be shown through the comparison of CAGG with several typical context-sensitive graph grammars that CAGG is more succinct and, at the same time, more intuitive than the others, making it more suitably and effortlessly applicable to the specification of visual languages.
文摘The article discusses plot size standards applied in the government sites-and-services projects in Khartoum and probes into the possible alternative ways of re-establishing solid grounds for those standards. The particular issue of plot size is a crucial factor in the whole housing policy as it directly affects the urban land use and consumption and extends its influence far into sustainability and affordability issues and the whole housing policy and supply process. The article, analysing the applied standards, argues that plot subdivision can substantially contribute to providing more access of housing to the low-income groups. Large plot sizes can be subdivided driven by the need to realize security of tenure, doubling the owner-occupier housing stock which is the base issue of self-help housing, increases housing finance, provides variety of housing choices and behind all it conforms to the legacy principles and some cultural attributes of the local community. The article underlined existence of a cumbersome regulatory system, subdivision procedures and development controls which need to be reformed.
基金supported by the National Natural Science Foundation of Chinathe National Key Research and Development Project (2018YFB1502401)+4 种基金the Royal Society and Newton Fund through Newton Advanced Fellowship award (NAF\R1\191294)the Program for Changjiang Scholars and Innovative Research Team in the Universitythe Fundamental Research Funds for the Central Universitiesthe Longterm Subsidy Mechanism from the Ministry of Finance and the Ministry of Education of Chinathe financial support from China Scholarships Council (CSC)
文摘Development of highly active electrocatalysts for oxygen evolution reaction(OER)is one of the critical issues for water splitting,and most reported catalysts operate at overpotentials above 190 mV.Here we present a multiphase nickel iron sulfide(MPS)hybrid electrode with a hierarchical structure of iron doped NiS and Ni3S2,possessing a benchmark OER activity in alkaline media with a potential as low as 1.33 V(vs.reversible hydrogen electrode)to drive an OER current density of 10 mA cm^-2.The Fe doped NiS,combined with highly conductive disulfide phase on porous Ni foam,is believed to be responsible for the ultrahigh activity.Furthermore,density functional theory simulation reveals that partially oxidized sulfur sites in Fe doped NiS could dramatically lower the energy barrier for the rate-determining elementary reaction,thus contributing to the active oxygen evolution.
