VisAct: a visualization design system based on semantic actions

Current visualization design toolkits help users to explore data and create visualizations. However, most of these systems do not record the executed actions during the visualization construction process with semantic context. In this paper, we present VisAct, a visualization design system based on semantic actions, that helps average users to construct visualizations step by step. Our system contributes a set of action-based visualization components and a high-level grammar for semantic actions. VisAct also guides the visualization construction process and provides an action tracker for history management and data collection. We demonstrate the usability of VisAct by visualizations and a plugin application. Finally, we conduct a user study to evaluate the efficiency and effectiveness of our system.     

VEGA: visual comparison of phylogenetic trees for evolutionary genome analysis (ChinaVis 2019)

In the field of evolutionary genome analysis, biologists seek to identify important genes or chromosome regions by comparing phylogenetic trees and analyzing the mutation at which locus might affect phenotypic traits. Unfortunately, the tree comparison and accompanying analysis are often performed manually. In this paper, we characterize the workflow of evolutionary genome analysis and present a task analysis for the fundamental questions asked by biologists during the analysis procedure. We propose two algorithms to enable quantitative tree comparison. One is to measure the differences between corresponding leaf nodes on two trees, and the other is to compute the classification inconsistency of each leaf node by comparing tree structure with a given biological classification. Configuring with the obtained difference and inconsistency, we present a visual analysis system, visual comparison of phylogenetic trees for evolutionary genome analysis, which not only enables biologists to intuitively explore trees but also identify locus which affects their traits by comparing SNP variants of selected leaf nodes. We conclude with case studies from two biologists who used our system to augment their previous manual analysis workflow and demonstrate that our system can reveal more insight.     

First-principles prediction of crystal structure and physical properties of ScB3

The crystal structure of ScB₃ is seeked by combining the developed particle swarm optimisation algorithm for crystal structure prediction with first-principles calculations. A new monoclinic phase with the C2/m symmetry is predicted successfully, which is energetically more superior to the early reported R-3m-, P2₁/m-, P6₃/mmc-, P-6m2-, Pnma-, and Pm-3m-type structures in the pressure range from 0 to 100?GPa. The obtained elastic constants and phonon dispersion curve reveal that the C2/m-ScB₃ is mechanically and dynamically stable. The predicted large bulk module, high shear modulus, small Poisson’s ratio as well as the considerable hardness indicate that the C2/m-ScB₃ has outstanding mechanical property. Meanwhile, the dependences of the bulk modulus and Young’s modulus of ScB₃ on the crystal orientation are investigated theoretically. Through applying the strain–stress method, the ideal tensile and shear strengths along different crystal directions are also estimated, and the obtained results confirm that the shear mode dominates the failure mode in the C2/m-ScB₃ structure and it is intrinsically a hard material. The electronic structure calculation and chemical bonding analysis illustrate that the strong covalent B-B and Sc-B bonds are responsible for its structural stability and high hardness.     

Theoretical study on the catalytic properties of single-atom catalyst stabilised on silicon-doped graphene sheets

ABSTRACT

The stable configurations, electronic structures and catalytic activities of single-atom metal catalyst anchored silicon-doped graphene sheets (3Si-graphene-M, M?=?Ni and Pd) are investigated by using density functional theory calculations. Firstly, the adsorption stability and electronic property of different gas reactants (O₂, CO, 2CO, CO/O₂) on 3Si-graphene-M substrates are comparably analysed. It is found that the coadsorption of O₂/CO or 2CO molecules is more stable than that of the isolated O₂ or CO molecule. Meanwhile, the adsorbed species on 3Si-graphene-Ni sheet are more stable than those on the 3Si-graphene-Pd sheet. Secondly, the possible CO oxidation reactions on the 3Si-graphene-M are investigated through Eley–Rideal (ER), Langmuir–Hinshelwood (LH) and new termolecular Eley–Rideal (TER) mechanisms. Compared with the LH and TER mechanisms, the interaction between 2CO and O₂ molecules (O₂?+?CO → CO₃, CO₃?+?CO → 2CO₂) through ER reactions (< 0.2?eV) are an energetically more favourable. These results provide important reference for understanding the catalytic mechanism for CO oxidation on graphene-based catalyst.     

真空条件下LiCl溶液蒸发量随浓度变化规律研究

除湿溶液再生是除湿空调系统的核心过程,为了提高除湿溶液再生效率,以蒸发量作为评价标准,在不同的真空度下对不同浓度LiCl溶液进行再生。对不同再生条件下,溶液的再生情况进行数学模拟及实验研究,并将模拟结果与实验结果进行对比分析,结果表明,实验结果同模拟结果具有相同的变化趋势。在6 kPa和8 kPa的压强下,LiCl溶液的蒸发量随浓度的增大先上升后下降,而在1 kPa的压强下,LiCl溶液的蒸发量随浓度的增大呈现出先下降再升高接着又下降的趋势。     

高温超导无绝缘线圈励磁电压特性研究

本文通过实验研究了焊锡浸渍、励磁电流PI控制、励磁速率以及励磁幅值对高温超导无绝缘线圈励磁电压特性的影响。实验结果表明:高温超导无绝缘线圈励磁电压具有时延特性,焊锡浸渍、励磁电流PI控制分别会增大和减小时延特性,而励磁速率和励磁幅值不会影响时延特性;励磁电压幅值随励磁速率增大而增大;焊锡浸渍可降低励磁电压幅值,而励磁电流控制对励磁电压幅值影响不明显。     

适用于等熵流动的交错拉氏Godunov方法

为消除传统单元中心型Godunov方法在求解稀疏波问题时的非物理过热现象,发展一种适用于等熵流动的交错拉氏Godunov方法.主要的特征是采用速度与热力学变量交错分布的形式,避免在单元内进行速度平均,从而消除由于动量平均过程导致的动能耗散.与传统的von Neumann型交错网格方法相比,网格的边界通量由节点处的多维黎曼求解器提供,克服了多维人工粘性选取带来的困难.为减少多维黎曼求解器在求解稀疏波问题时的非物理熵增,给出稀疏波出现的合理判据,从而保证了热力学关系式的满足.数值实验表明：该方法能很好地消除稀疏波的过热现象,同时在求解激波问题时又能保持与传统单元中心型拉氏方法相同的激波捕捉能力.     

Quantum to classical crossover under dephasing effects in a two-dimensional percolation model

Scaling theory predicts complete localization in d = 2 in quantum systems belonging to the orthogonal class(i.e., with timereversal symmetry and spin-rotation symmetry). The conductance g behaves as g^exp(-L/l) with system size L and localization length l in the strong disorder limit. However, classical systems can always have metallic states in which Ohm’s law shows a constant g in d=2. We study a two-dimensional quantum percolation model by controlling dephasing effects. The numerical investigation of g aims at simulating a quantum-to-classical percolation evolution. An unexpected metallic phase, where g increases with L, generates immense interest before the system becomes completely classical. Furthermore, the analysis of the scaling plot of g indicates a metal-insulator crossover.