Traditional requirements method has some problems when it is used for large distributed systems. Multiple viewpoints oriented requirements method (MVORM) is a new method for resolving these problems. This paper develo...Traditional requirements method has some problems when it is used for large distributed systems. Multiple viewpoints oriented requirements method (MVORM) is a new method for resolving these problems. This paper develops two generic formal frameworks of MVORM, framework based on refinement relation (FBRR) and framework based on implementation relation (FBIR). They are generic, because no assumptions are made about the development process or the formal description languages to be used. Three kinds of specification relations and three kinds of specification transformations are discussed over FBIR and FBRR. This paper also compares the equivalence between FBIR and FBRR. We point out that an equivalent FBIR can be found for any FBRR, but reverse transformation is not always possible. We think FBIR is better than FBRR on most cases.展开更多
A simple and fast route for the synthesis of metal-organic framework（MOF） particles was presented.Cu 3（BTC） 2（HKUST-1,BTC=1,3,5-benzenetricarboxylate）,one of the most well-known MOFs,was synthesized at room temp...A simple and fast route for the synthesis of metal-organic framework（MOF） particles was presented.Cu 3（BTC） 2（HKUST-1,BTC=1,3,5-benzenetricarboxylate）,one of the most well-known MOFs,was synthesized at room temperature via coordination modulation method.By adding different modulators（monocarboxylic acids） into the reaction system,the morphologies of HKUST-1 crystals were tuned from nano spheres to micro octahedrons at room temperature without any complex equipment.X-Ray diffractions and gas sorption measurements revealed highly crystalline particles with large Brunauer-Emmett-Teller（BET） surface areas（1116―1273 m^ 2 /g） and total pore volumes（0.62―0.73 cm^ 3 /g）.The significantly small particle sizes and high capacity of gas sorption are considered advantageous for envisaged application in practical industrial process.展开更多
Community resilience is becoming a growing concern for authorities and decision makers.This paper introduces two indicator-based methods to evaluate the resilience of communities based on the PEOPLES framework.PEOPLES...Community resilience is becoming a growing concern for authorities and decision makers.This paper introduces two indicator-based methods to evaluate the resilience of communities based on the PEOPLES framework.PEOPLES is a multi-layered framework that defines community resilience using seven dimensions.Each of the dimensions is described through a set of resilience indicators collected from literature and they are linked to a measure allowing the analytical computation of the indicator’s performance.The first method proposed in this paper requires data on previous disasters as an input and returns as output a performance function for each indicator and a performance function for the whole community.The second method exploits a knowledge-based fuzzy modeling for its implementation.This method allows a quantitative evaluation of the PEOPLES indicators using descriptive knowledge rather than deterministic data including the uncertainty involved in the analysis.The output of the fuzzy-based method is a resilience index for each indicator as well as a resilience index for the community.The paper also introduces an open source online tool in which the first method is implemented.A case study illustrating the application of the first method and the usage of the tool is also provided in the paper.展开更多
A new lanthanide formate oxalate framework [Eu（C2O4）（HCOO）]n （1） has been synthesized via hydrothermal method and characterized by single-crystal X-ray diffraction （SC-XRD）. The framework crystallizes in the o...A new lanthanide formate oxalate framework [Eu（C2O4）（HCOO）]n （1） has been synthesized via hydrothermal method and characterized by single-crystal X-ray diffraction （SC-XRD）. The framework crystallizes in the orthorhombic Pnma space group, with a = 7.0984（4）, b = 6.6442（3）, c = 10.6793（6） ？, V = 503.68（4） ？3, Z = 3, C3HO6Eu, Mr = 285.00 g/mol, Dc = 3.7581 g/cm3, F（000） = 520.3796, μ = 12.413 mm-1, the final R = 0.0264 and wR = 0.0628 for 797 observed reflections with I 〉 2σ（I）. The photoluminescence （PL） measurements reveal the significant red emission of the framework is dominated by the （5D0 → 7F2） electronic transition at 614 nm. Further variable-temperature powder X-ray diffraction （VT-PXRD） indicates that framework 1 shows slight negative thermal expansion （NTE） along the a-axis, and positive thermal expansion （PTE） along the b and c axes.展开更多
近年来,通信技术的持续演进导致通信网络的能耗显著增加。随着人工智能(AI,artificial intelligence)技术与算法在通信网络中的广泛应用和深度部署,未来6G智能通信网络架构和技术演进将对通信网络的节能减排带来更为严峻的挑战。基于边...近年来,通信技术的持续演进导致通信网络的能耗显著增加。随着人工智能(AI,artificial intelligence)技术与算法在通信网络中的广泛应用和深度部署,未来6G智能通信网络架构和技术演进将对通信网络的节能减排带来更为严峻的挑战。基于边缘计算和分布式联邦学习的联邦边缘智能(FEI,federated edge intelligence)网络已被普遍认为是实现6G网络内生智能的关键路径之一。然而,如何评估和优化联邦边缘智能网络的综合碳排放量仍然是一大难题。为解决该问题,首先,提出了一种联邦边缘智能网络碳排放评估框架和方法。其次,基于该评估框架和方法提出3种联邦边缘智能网络碳排放优化方案,包括动态能量交易(DET,dynamic energy trading)、动态任务分配(DTA,dynamic task allocation)和动态能量交易与任务分配(DETA,dynamic energy trading and task allocation)。最后,通过自行搭建的真实硬件平台,并利用真实世界的碳强度数据集进行联邦边缘智能网络生命周期碳排放仿真。实验结果表明,3种优化方案均能在不同场景和约束条件下显著减少联邦边缘智能网络的碳排放,为下一代智能通信网络的可持续发展和实现绿色低碳6G网络提供了依据。展开更多
The desire to increase spatial and temporal resolution in modeling groundwater system has led to the requirement for intensive computational ability and large memory space. In the course of satisfying such requirement...The desire to increase spatial and temporal resolution in modeling groundwater system has led to the requirement for intensive computational ability and large memory space. In the course of satisfying such requirement, parallel computing has played a core role over the past several decades. This paper reviews the parallel algebraic linear solution methods and the parallel implementation technologies for groundwater simulation. This work is carried out to provide guidance to enable modelers of groundwater systems to make sensible choices when developing solution methods based upon the current state of knowledge in parallel computing.展开更多
Conventional gradient-based full waveform inversion (FWI) is a local optimization, which is highly dependent on the initial model and prone to trapping in local minima. Globally optimal FWI that can overcome this limi...Conventional gradient-based full waveform inversion (FWI) is a local optimization, which is highly dependent on the initial model and prone to trapping in local minima. Globally optimal FWI that can overcome this limitation is particularly attractive, but is currently limited by the huge amount of calculation. In this paper, we propose a globally optimal FWI framework based on GPU parallel computing, which greatly improves the efficiency, and is expected to make globally optimal FWI more widely used. In this framework, we simplify and recombine the model parameters, and optimize the model iteratively. Each iteration contains hundreds of individuals, each individual is independent of the other, and each individual contains forward modeling and cost function calculation. The framework is suitable for a variety of globally optimal algorithms, and we test the framework with particle swarm optimization algorithm for example. Both the synthetic and field examples achieve good results, indicating the effectiveness of the framework. .展开更多
基金Supported by Natural Science Foundation of Hubei Province (98J0 75 ) Ziqiang Technical Innovation Foundation ofWuhan Universi
文摘Traditional requirements method has some problems when it is used for large distributed systems. Multiple viewpoints oriented requirements method (MVORM) is a new method for resolving these problems. This paper develops two generic formal frameworks of MVORM, framework based on refinement relation (FBRR) and framework based on implementation relation (FBIR). They are generic, because no assumptions are made about the development process or the formal description languages to be used. Three kinds of specification relations and three kinds of specification transformations are discussed over FBIR and FBRR. This paper also compares the equivalence between FBIR and FBRR. We point out that an equivalent FBIR can be found for any FBRR, but reverse transformation is not always possible. We think FBIR is better than FBRR on most cases.
基金Supported by the National Natural Science Foundation of China(Nos.21173034,20907006)
文摘A simple and fast route for the synthesis of metal-organic framework（MOF） particles was presented.Cu 3（BTC） 2（HKUST-1,BTC=1,3,5-benzenetricarboxylate）,one of the most well-known MOFs,was synthesized at room temperature via coordination modulation method.By adding different modulators（monocarboxylic acids） into the reaction system,the morphologies of HKUST-1 crystals were tuned from nano spheres to micro octahedrons at room temperature without any complex equipment.X-Ray diffractions and gas sorption measurements revealed highly crystalline particles with large Brunauer-Emmett-Teller（BET） surface areas（1116―1273 m^ 2 /g） and total pore volumes（0.62―0.73 cm^ 3 /g）.The significantly small particle sizes and high capacity of gas sorption are considered advantageous for envisaged application in practical industrial process.
基金European Research Council under Grant Agreement No.ERC_IDEAL RESCUE_637842 of the project IDEAL RESCUE-Integrated Design and Control of Sustainable Communities during Emergencies
文摘Community resilience is becoming a growing concern for authorities and decision makers.This paper introduces two indicator-based methods to evaluate the resilience of communities based on the PEOPLES framework.PEOPLES is a multi-layered framework that defines community resilience using seven dimensions.Each of the dimensions is described through a set of resilience indicators collected from literature and they are linked to a measure allowing the analytical computation of the indicator’s performance.The first method proposed in this paper requires data on previous disasters as an input and returns as output a performance function for each indicator and a performance function for the whole community.The second method exploits a knowledge-based fuzzy modeling for its implementation.This method allows a quantitative evaluation of the PEOPLES indicators using descriptive knowledge rather than deterministic data including the uncertainty involved in the analysis.The output of the fuzzy-based method is a resilience index for each indicator as well as a resilience index for the community.The paper also introduces an open source online tool in which the first method is implemented.A case study illustrating the application of the first method and the usage of the tool is also provided in the paper.
基金supported by the National Natural Science Foundation of China(21571072)
文摘A new lanthanide formate oxalate framework [Eu（C2O4）（HCOO）]n （1） has been synthesized via hydrothermal method and characterized by single-crystal X-ray diffraction （SC-XRD）. The framework crystallizes in the orthorhombic Pnma space group, with a = 7.0984（4）, b = 6.6442（3）, c = 10.6793（6） ？, V = 503.68（4） ？3, Z = 3, C3HO6Eu, Mr = 285.00 g/mol, Dc = 3.7581 g/cm3, F（000） = 520.3796, μ = 12.413 mm-1, the final R = 0.0264 and wR = 0.0628 for 797 observed reflections with I 〉 2σ（I）. The photoluminescence （PL） measurements reveal the significant red emission of the framework is dominated by the （5D0 → 7F2） electronic transition at 614 nm. Further variable-temperature powder X-ray diffraction （VT-PXRD） indicates that framework 1 shows slight negative thermal expansion （NTE） along the a-axis, and positive thermal expansion （PTE） along the b and c axes.
文摘近年来,通信技术的持续演进导致通信网络的能耗显著增加。随着人工智能(AI,artificial intelligence)技术与算法在通信网络中的广泛应用和深度部署,未来6G智能通信网络架构和技术演进将对通信网络的节能减排带来更为严峻的挑战。基于边缘计算和分布式联邦学习的联邦边缘智能(FEI,federated edge intelligence)网络已被普遍认为是实现6G网络内生智能的关键路径之一。然而,如何评估和优化联邦边缘智能网络的综合碳排放量仍然是一大难题。为解决该问题,首先,提出了一种联邦边缘智能网络碳排放评估框架和方法。其次,基于该评估框架和方法提出3种联邦边缘智能网络碳排放优化方案,包括动态能量交易(DET,dynamic energy trading)、动态任务分配(DTA,dynamic task allocation)和动态能量交易与任务分配(DETA,dynamic energy trading and task allocation)。最后,通过自行搭建的真实硬件平台,并利用真实世界的碳强度数据集进行联邦边缘智能网络生命周期碳排放仿真。实验结果表明,3种优化方案均能在不同场景和约束条件下显著减少联邦边缘智能网络的碳排放,为下一代智能通信网络的可持续发展和实现绿色低碳6G网络提供了依据。
基金supported by the National Basic Research Program (973 Program) of China under Grant No.2010CB428804 and 2011CB 309702
文摘The desire to increase spatial and temporal resolution in modeling groundwater system has led to the requirement for intensive computational ability and large memory space. In the course of satisfying such requirement, parallel computing has played a core role over the past several decades. This paper reviews the parallel algebraic linear solution methods and the parallel implementation technologies for groundwater simulation. This work is carried out to provide guidance to enable modelers of groundwater systems to make sensible choices when developing solution methods based upon the current state of knowledge in parallel computing.
文摘Conventional gradient-based full waveform inversion (FWI) is a local optimization, which is highly dependent on the initial model and prone to trapping in local minima. Globally optimal FWI that can overcome this limitation is particularly attractive, but is currently limited by the huge amount of calculation. In this paper, we propose a globally optimal FWI framework based on GPU parallel computing, which greatly improves the efficiency, and is expected to make globally optimal FWI more widely used. In this framework, we simplify and recombine the model parameters, and optimize the model iteratively. Each iteration contains hundreds of individuals, each individual is independent of the other, and each individual contains forward modeling and cost function calculation. The framework is suitable for a variety of globally optimal algorithms, and we test the framework with particle swarm optimization algorithm for example. Both the synthetic and field examples achieve good results, indicating the effectiveness of the framework. .
