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.     

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.     

Compensation of voltage disturbances using PEMFC supported Dynamic Voltage Restorer

The continuity of supply and quality of power are the two main significant aspects of today’s power delivery system. The Dynamic Voltage Restorer (DVR) is a series connected custom power device which improves the quality of power delivered to the consumers. This paper deals with the effectual exploitation of DVR for interconnecting the proton exchange membrane fuel cell (PEMFC) stack to the grid based on optimized proportional integral (PI) and fuzzy logic (FL) Controller. The real coded Genetic algorithm (GA) is used to optimize the PI controller parameters. The PEMFC operated boost converter is used to boost up the fuel cell output voltage to balance the DC side necessities of the voltage source converter (VSC). The proposed DVR provides balanced and unbalanced voltage sag/swell compensation, harmonic reduction as well as an active power injection to the grid. The designed method also protects the sensitive loads from source side power quality disturbances including short term interruption. In addition, the harmonic compensation performance of the proposed work is validated by comparing with the results of the H^∞ controller based DVR under medium level voltage condition. The simulation results from MATLAB/SIMULINK are discussed to prove the effectiveness of the planned method.     

加氢反应器头盖密封质量控制探讨

加氢反应器是加氢装置的重要组成部分,反应器头盖因工况复杂,导致密封难度较大,密封不严,会导致整个装置不能正常运转。为此,就其头盖拆装及密封问题进行探讨,提出有效的质量控制措施。     

Effect of fortification with asparagus powder on the qualitative properties of processed cheese

The qualitative properties of processed cheese (PC) fortified with different levels of asparagus powder (AP) (0.5%, 1% and 1.5% wt/wt) were evaluated during storage. AP decreased the pH and lipolysis indexes and increased the phenolic content, antioxidant activity and proteolysis of the processed cheeses. AP made the structure of the cheese more elastic, increased the rigidity and decreased the spreadability compared with the control sample, which corresponded to the results obtained using dynamic oscillatory rheometry. The results showed that AP as a rich source of bioactive components could be used for the fortification of processed cheeses.     

Yield improvement and yield variability reduction in an EOQ model with planned shortages and random yield

This paper reports the results of an investigation of a set of continuous time, constant demand inventory models under the condition of yield uncertainty. Specifically, the impact of yield improvement programs on lot size, backorder level, and the resulting costs are examined. Models for improving yield rate and reducing yield variability are developed and examined through a series of numerical exercises. In addition, a model for the simultaneous improvement of yield rate and yield variability is presented for the case where there is a relationship between the mean and variance of the yield distribution. In all cases, investment programs improve the picture with respect to manufacturing yield for processes which are not necessarily under statistical control.