Influences of assembly pressure and flow channel size on performances of proton exchange membrane fuel cells based on a multi-model

In this work, assembly pressure and flow channel size on proton exchange membrane fuel cell performance are optimized by means of a multi-model. Based on stress-strain data of the SGL-22BB GDL obtained from its initial compression experiments, Young's modulus with different ranges of assembly pressure fits well through modeling. A mechanical model is established to analyze influences of assembly pressure on various gas diffusion layer parameters. Moreover, a CFD calculation model with different assembly pressures, channel width, and channel depth are established to calculate PEMFC performances. Furthermore, a BP neural network model is utilized to explore optimal combination of assembly pressure, channel width and channel depth. Finally, the CFD model is used to validate effect of size optimization on PEMFC performance. Results indicate that gap change of GDL below bipolar ribs is more remarkable than that below channels under action of the assembly pressure, making liquid water easily transported under high porosity, which is conducive to liquid water to the channels, reduces the accumulation of liquid water under the ribs, and enhances water removal in the PEMFC. Affected by the assembly force, change of GDL porosity affects its diffusion rate, permeability and other parameters, which is not conducive to mass transfer in GDL. Optimizing the depth and different dimensions through width of the flow field can effectively compensate for this effect. Therefore, the PEMFC performance can be enhanced through the comprehensive optimization of the assembly force, flow channel width and flow channel depth. The optimal parameter is obtained when assembly pressure, channel width and channel depth are set as 0.6 MPa, 0.8 mm, and 0.8 mm, respectively. The parameter optimization enhances the mass transfer, impedance, and electrochemical characteristics of PEMFC. Besides, it effectively enhances the quality transfer efficiency inside GDL, prevents flooding, and reduces concentration loss and ohmic loss.     

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.     

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.     

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.     

Controlling Au electrode patterns for simultaneously monitoring electrical actuation and shape recovery in shape memory polymer

This paper presents an effective approach to achieve efficient electrical actuation and monitoring of shape recovery based on patterned Au electrodes on shape memory polymer (SMP). The electrically responsive shape recovery behavior was characterized and monitored by the evolution change in electrical resistance of patterned Au electrode. Both electrical actuation and temperature distribution in the SMP have been improved by optimizing the Au electrode patterns. The electrically actuated shape recovery behavior and temperature evolution during the actuation were monitored and characterized. The resistance changes could be used to detect beginning/finishing points of the shape recovery. Therefore, the Au electrode not only significantly enhances the electrical actuation performance to achieve a fast electrical actuation, but also enables the resistance signal to detect the free recovery process.     

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.     

Mechanical properties of graphene films enhanced by homo-telechelic functionalized polymer fillers via π–π stacking interactions

Most researches on graphene/polymer composites are focusing on improving the mechanical and electrical properties of polymers at low graphene content instead of paying attention to constructing graphene’s macroscopic structures. In current study the homo-telechelic functionalized polyethylene glycols (FPEGs) were tailored with π-orbital-rich groups (namely phenyl, pyrene and di-pyrene) via esterification reactions, which enhanced the interaction between polyethylene glycol (PEG) molecules and chemical reduced graphene oxide (RGO) sheets. The π–π stacking interactions between graphene sheets and π-orbital-rich groups endowed the composite films with enhanced tensile strength and tunable electrical conductivity. The formation of graphene network structure mediated by the FPEGs fillers via π–π stacking non-covalent interactions should account for the experimental results. The experimental investigations were also complemented with theoretical calculation using a density functional theory. Atomic force microscope (AFM), scanning electron microscope (SEM), X-ray diffraction (XRD), nuclear magnetic resonance (NMR), thermal gravimetric analysis (TGA), UV–vis and fluorescence spectroscopy were used to monitor the step-wise preparation of graphene composite films.     

Smart control of the assembly process with a fuzzy control system in the context of Industry 4.0

Assembly line balancing is important for the efficiency of the assembly process, however, a wide range of disruptions can break the current workload balance. Some researchers explored the task assignment plan for the assembly line balancing problem with the assumption that the assembly process is smooth with no disruption. Other researchers considered the impacts of disruptions, but they only explored the task re-assignment solutions for the assembly line re-balancing problem with the assumption that the re-balancing decision has been made already. There is limited literature exploring on-line adjustment solutions (layout adjustment and production rate adjustment) for an assembly line in a dynamic environment. This is because real-time monitoring of an assembly process was impossible in the past, and it is difficult to incorporate uncertainty factors into the balancing process because of the randomness and non-linearity of these factors. However, Industry 4.0 breaks the information barriers between different parts of an assembly line, since smart, connected products, which are enabled by advanced information and communication technology, can intelligently interact and communicate with each other and collect, process and produce information. Smart control of an assembly line becomes possible with the large amounts of real-time production data in the era of Industry 4.0, but there is little literature considering this new context. In this study, a fuzzy control system is developed to analyze the real-time information of an assembly line, with two types of fuzzy controllers in the fuzzy system. Type 1 fuzzy controller is used to determine whether the assembly line should be re-balanced to satisfy the demand, and type 2 fuzzy controller is used to adjust the production rate of each workstation in time to eliminate blockage and starvation, and increase the utilization of machines. Compared with three assembly lines without the proposed fuzzy control system, the assembly line with the fuzzy control system performs better, in terms of blockage ratio, starvation ratio and buffer level. Additionally, with the improvement of information transparency, the performance of an assembly line will be better. The research findings shed light on the smart control of the assembly process, and provide insights into the impacts of Industry 4.0 on assembly line balancing.