Multi-criteria analysis for screening of reversible metal hydrides in hydrogen gas storage and high pressure delivery applications

Metals and alloys forming reversible hydrides with hydrogen gas are potential building blocks for compact, solid state hydrogen storage systems. Based on the materials’ thermodynamic characteristics, their use as temperature-swing gas compression and delivery systems in the hydrogen economy is also possible. Given the wide variety of materials developed and tested at laboratory and pilot scales, a harmonized method of selecting the feasible material(s) for a particular real-life application is required. This study proposes a system selection framework based on a normalized, multi-criteria metric. Using calculated values of multi-criteria metric, multi-criteria screening and ranking of potential materials has been demonstrated for a particular use case. It is found that the alloy TiMn_1.52 having value of additive metric between 0.25 and 0.35 represents the best material for a single stage system. The alloy pair CaNi₅–Ti_1.5CrMn represents the best alternative for a two-stage system with additive metric values between 0.63 and 0.82. Energy and economic characteristics of the metal hydride gas compression and delivery systems are evaluated and compared with an equivalent mechanical compression system producing the same final effect (i.e., delivery of a given quantity of gas at a defined pressure).     

LinkingPark: An automatic semantic table interpretation system

In this paper, we present LinkingPark, an automatic semantic annotation system for tabular data to knowledge graph matching. LinkingPark is designed as a modular framework which can handle Cell-Entity Annotation (CEA), Column-Type Annotation (CTA), and Columns-Property Annotation (CPA) altogether. It is built upon our previous SemTab 2020 system, which won the 2nd prize among 28 different teams after four rounds of evaluations. Moreover, the system is unsupervised, stand-alone, and flexible for multilingual support. Its backend offers an efficient RESTful API for programmatic access, as well as an Excel Add-in for ease of use. Users can interact with LinkingPark in near real-time, further demonstrating its efficiency.     

Pressure-induced transparency of MgO,Al2O3, AlN,and cBN ceramics at room temperature

The in situ axial X-ray diffraction patterns of four ceramic powder samples (MgO, Al₂O₃, AlN, and cBN) that were compressed in a diamond anvil cell under uniaxial non-hydrostatic conditions were recorded. The microscopic deviatoric stress as a function of the pressure was determined from the X-ray diffraction peak broadening analysis: the curves increased approximately linearly with the pressure at the initial compression stage and then levelled off under further compression. Pressure-induced transparency was observed in all of the samples under compression, and the pressure at the turning point on the curves of the microscopic deviatoric stress versus pressure corresponded to the pressure at which the samples became transparent. Analysis of the microstructural features of the pressure-induced transparent samples indicated that the compression caused the grains to fracture, and the broken grains bonded with each other. We demonstrated that the ceramics’ pressure-induced transparency was a process during which the grains were squeezed and broken, the pores were close between the grains, and the broken grains were re-bonded under compression.     

Terrain-Specific: Contemporary Landscape Architecture in Canada

The Canadian landscape has typically captured a global imaginary of a pristine wild, but how might its urban designed landscapes be distinctly understood? Foregrounded by the landscape transformations accelerated by climate change, the book Innate Terrain: Canadian Landscape Architecture, edited by Professor Alissa North from the University of Toronto, highlights landscape architecture projects situated on the unique Canadian terrain. Providing further provocation on Canadian landscape architecture, Innate Terrain seeks to fill the literary gap on contemporary landscape perspectives, distinguishing Canadian landscape architecture from global practice, and particularly, its well-documented American counterpart. Landscape architecture in the Canadian context has evolved and established its own distinct identity, one imbued with national and local sensitivities. Informed by diverse environmental and cultural contexts, Canadian-designed landscapes reflect and refer to the prevailing ecosystems of Canada’s innate terrain. Contrary to the preceding International Style, landscape architecture projects in Canada have adopted the ethos of Critical Regionalism in the second half of the 20th century. Contemporary Canadian practitioners are designing landscapes that are deeply informed by their surrounding geographical context while emphasizing cultural specificity. Central to this cultural specificity, addressed by a new generation of landscape architects, is the increasing recognition of Indigenous Traditional Knowledge within the discipline. Canadian landscape architects have collaborated with First Nations, Inuit, and Métis communities, including the keepers of this knowledge, to develop land management strategies and design landscape interventions.     

Characterizations of friction welding joint interface for AISI 316

Because of heat amount is different from peripheral to central of friction welding interface, which is leaded to vary the characterizations along that interface. Current study, respectively, focused on the effect of different friction pressure on micro-structural and mechanical properties of that friction welding joint interface. Presently, these friction pressures are 110, 130, 150 and 170 MPa while kept all other conditions constant. The effects of different friction pressure on welding interface characterization were investigated by EDX, SEM, tensile, compression, impact and hardness tests. The tensile tests carried out on the standardized test piece with diameter 6 mm and 8 mm, thus, compression tests were extracted from the positions of 0°, 45° 90° with test specimen of 4 mm diameter and 6.5 mm length at weld center. Whereas, the impact test pieces were picked up in two positions, the first one is symmetrical, which it obtained to the respect of the rotation axis and the interface, on the other hand, the second one is non-symmetrical with the axis of rotation and symmetrical to the interface, for making the notch head coincide with the center of the welded joint, The obtained results showed that with reducing of friction pressure will present lack of bonding increasing from peripheral toward the welding center, which will responsible on reducing of the mechanical properties such as tensile, compression and impact strength.     

基于信号增强的缓慢泄漏检测方法

目前管道泄漏检测方法可有效检测突发泄漏，对于缓慢泄漏则存在检测灵敏度低、定位不准确等问题。基于此，提出了一种基于信号增强的缓慢泄漏检测方法。通过信号压缩（抽取及移位）克服缓慢泄漏压力信号下降平缓的缺点；根据声波信号具有波形尖锐突出、对突发泄漏敏感的优点，通过建立以压力为输入、虚拟声波为输出的声波信号变送器模型，将压力信号转换为声波信号，克服了泄漏压力信号容易被淹没在管道压力波动及背景噪声中的缺点，实现了缓慢泄漏信号的增强；利用临近插值方法重构虚拟声波信号，基于延时互相关分析实现了缓慢泄漏的准确定位。实验结果表明，该方法具有显著的信号增强效果和定位精度，实现了缓慢泄漏的准确检测。     

A signal adaptive diffusion filter for video coding: Mathematical framework and complexity reductions

In this paper we combine video compression and modern image processing methods. We construct novel iterative filter methods for prediction signals based on Partial Differential Equation (PDE) based methods. The mathematical framework of the employed diffusion filter class is given and some desirable properties are stated. In particular, two types of diffusion filters are constructed: a uniform diffusion filter using a fixed filter mask and a signal adaptive diffusion filter that incorporates the structures of the underlying prediction signal. The latter has the advantage of not attenuating existing edges while the uniform filter is less complex. The filters are embedded into a software based on HEVC with additional QTBT (Quadtree plus Binary Tree) and MTT (Multi-Type-Tree) block structure. In this setting, several measures to reduce the coding complexity of the tool are introduced, discussed and tested thoroughly. The coding complexity is reduced by up to 70% while maintaining over 80% of the gain. Overall, the diffusion filter method achieves average bitrate savings of 2.27% for Random Access having an average encoder runtime complexity of 119% and 117% decoder runtime complexity. For individual test sequences, results of 7.36% for Random Access are accomplished.     

Trajectories of knowledge economy in SSA and MENA countries

In the first critical assessment of knowledge economy dynamic paths in Africa and the Middle East, but for a few exceptions, we find overwhelming support for diminishing cross-country disparities in knowledge-based economy dimensions. The paper employs all the four components of the World Bank's Knowledge Economy Index (KEI): economic incentives, innovation, education, and information infrastructure. The main finding suggests that sub-Saharan African (SSA) and the Middle East and North African (MENA) countries with low levels of KE dynamics and catching-up their counterparts of higher KE levels. We provide the speeds of integration and time necessary to achieve full (100%) integration. Policy implications are also discussed.     

Model checking temporal knowledge and commitments in multi-agent systems using reduction

Though modeling and verifying Multi-Agent Systems (MASs) have long been under study, there are still challenges when many different aspects need to be considered simultaneously. In fact, various frameworks have been carried out for modeling and verifying MASs with respect to knowledge and social commitments independently. However, considering them under the same framework still needs further investigation, particularly from the verification perspective. In this article, we present a new technique for model checking the logic of knowledge and commitments (CTLKC⁺). The proposed technique is fully-automatic and reduction-based in which we transform the problem of model checking CTLKC⁺ into the problem of model checking an existing logic of action called ARCTL. Concretely, we construct a set of transformation rules to formally reduce the CTLKC⁺ model into an ARCTL model and CTLKC⁺ formulae into ARCTL formulae to get benefit from the extended version of NuSMV symbolic model checker of ARCTL. Compared to a recent approach that reduces the problem of model checking CTLKC⁺ to another logic of action called GCTL¹, our technique has better scalability and efficiency. We also analyze the complexity of the proposed model checking technique. The results of this analysis reveal that the complexity of our reduction-based procedure is PSPACE-complete for local concurrent programs with respect to the size of these programs and the length of the formula being checked. From the time perspective, we prove that the complexity of the proposed approach is P-complete with regard to the size of the model and length of the formula, which makes it efficient. Finally, we implement our model checking approach on top of extended NuSMV and report verification results for the verification of the NetBill protocol, taken from business domain, against some desirable properties. The obtained results show the effectiveness of our model checking approach when the system scales up.