Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “Model Based System Engineering”

Search indexed NASA NTRS and DOE OSTI research on propulsion, heat transfer, battery materials and energy systems. Follow report and document links to the original sources.

Quote a phrase for an exact phrase match. Source license links do not imply unrestricted reuse.

At least 721 records · Page 40

An Integrated Techno-economic Modeling Tool for sCO 2 Brayton Cycles

The supercritical CO 2 (sCO 2 ) Brayton Economics Tool (sBET) was developed to evaluate and perform sensitivity studies on recompression closed Brayton cycles (RCBCs). This integrated techno-economic tool calculates key system performance and levelized cost of energy (LCOE) based on user-defined input on key variables such as system size, recuperator effectiveness, turbine inlet temperature, etc. The goal of this integrated tool is to allow system designers to understand the tradeoffs associated with various key design decisions, such as recuperator effectiveness and overall system cost. This work includes a description of LCOE calculation methodology, component system cost models for turbomachinery and heat exchangers based on vendor quotes and published literature, and the results of several parameter studies to identify desirable system parameters.

29 ENERGY PLANNING, POLICY, AND ECONOMY↗

Independent calculation-based verification of IMRT plans using a 3D dose-calculation engine

Independent monitor unit verification of intensity-modulated radiation therapy (IMRT) plans requires detailed 3-dimensional (3D) dose verification. The aim of this study was to investigate using a 3D dose engine in a second commercial treatment planning system (TPS) for this task, facilitated by in-house software. Our department has XiO and Pinnacle TPSs, both with IMRT planning capability and modeled for an Elekta-Synergy 6 MV photon beam. These systems allow the transfer of computed tomography (CT) data and RT structures between them but do not allow IMRT plans to be transferred. To provide this connectivity, an in-house computer programme was developed to convert radiation therapy prescription (RTP) files as generated by many planning systems into either XiO or Pinnacle IMRT file formats. Utilization of the technique and software was assessed by transferring 14 IMRT plans from XiO and Pinnacle onto the other system and performing 3D dose verification. The accuracy of the conversion process was checked by comparing the 3D dose matrices and dose volume histograms (DVHs) of structures for the recalculated plan on the same system. The developed software successfully transferred IMRT plans generated by 1 planning system into the other. Comparison of planning target volume (TV) DVHs for the original and recalculated plans showed good agreement; a maximum difference of 2% in mean dose, − 2.5% in D95, and 2.9% in V95 was observed. Similarly, a DVH comparison of organs at risk showed a maximum difference of +7.7% between the original and recalculated plans for structures in both high- and medium-dose regions. However, for structures in low-dose regions (less than 15% of prescription dose) a difference in mean dose up to +21.1% was observed between XiO and Pinnacle calculations. A dose matrix comparison of original and recalculated plans in XiO and Pinnacle TPSs was performed using gamma analysis with 3%/3 mm criteria. The mean and standard deviation of pixels passing gamma tolerance for XiO-generated IMRT plans was 96.1 ± 1.3, 96.6 ± 1.2, and 96.0 ± 1.5 in axial, coronal, and sagittal planes respectively. Corresponding results for Pinnacle-generated IMRT plans were 97.1 ± 1.5, 96.4 ± 1.2, and 96.5 ± 1.3 in axial, coronal, and sagittal planes respectively.

61 RADIATION PROTECTION AND DOSIMETRY↗

Toward Accelerating Discovery via Physics-Driven and Interactive Multifidelity Bayesian Optimization

Both computational and experimental material discovery bring forth the challenge of exploring multidimensional and often nondifferentiable parameter spaces, such as phase diagrams of Hamiltonians with multiple interactions, composition spaces of combinatorial libraries, processing spaces, and molecular embedding spaces. Often these systems are expensive or time consuming to evaluate a single instance, and hence classical approaches based on exhaustive grid or random search are too data intensive. This resulted in strong interest toward active learning methods such as Bayesian optimization (BO) where the adaptive exploration occurs based on human learning (discovery) objective. However, classical BO is based on a predefined optimization target, and policies balancing exploration and exploitation are purely data driven. In practical settings, the domain expert can pose prior knowledge of the system in the form of partially known physics laws and exploration policies often vary during the experiment. Here, we propose an interactive workflow building on multifidelity BO (MFBO), starting with classical (data-driven) MFBO, then expand to a proposed structured (physics-driven) structured MFBO (sMFBO), and finally extend it to allow human-in-the-loop interactive interactive MFBO (iMFBO) workflows for adaptive and domain expert aligned exploration. These approaches are demonstrated over highly nonsmooth multifidelity simulation data generated from an Ising model, considering spin–spin interaction as parameter space, lattice sizes as fidelity spaces, and the objective as maximizing heat capacity. Detailed analysis and comparison show the impact of physics knowledge injection and real-time human decisions for improved exploration with increased alignment to ground truth. Here, the associated notebooks allow to reproduce the reported analyses and apply them to other systems.

97 MATHEMATICS AND COMPUTING↗

Summer 2024 INL Intern Poster Session Submission - Brian Schumitz

This LRS submission is my poster for the INL Intern Poster Session, Summer 2024. Abstract: The Software Engineering and Cybersecurity Lab (SECL) at Montana State University has developed PIQUE, a system for evaluating software quality. PIQUE's adaptability allows for language-specific static-analysis operations, including a model for assessing cloud microservice ecosystems. These ecosystems often rely on Docker for efficient deployment and management of containerized services. Our research focuses on evaluating the network quality within these microservice ecosystems. To automate this process, we're utilizing Snort, an open-source intrusion detection system renowned for its ability to detect and log network traffic. By leveraging Snort's customizable rules, we aim to construct comprehensive testing methods for measuring and quantifying the network quality based on traffic between Docker containers. This research aims to enhance the overall security and reliability of cloud microservice ecosystems by providing automated and robust quality evaluation mechanisms, ultimately contributing to the advancement of software engineering practices in these environments

97 MATHEMATICS AND COMPUTING↗

An Optimization Platform Based on Coupled Indoor Environment and HVAC Simulation and its Application in Optimal Thermostat Placement

Model-based optimization can help improve the indoor thermal comfort and energy efficiency of Heating, Ventilation and Air Conditioning (HVAC) systems. The models used in previous optimization studies either omit the dynamic interaction between indoor airflow and HVAC or are too slow for model-based optimization. To address this limitation, we propose an optimization methodology using coupled simulation of the airflow and HVAC that captures the dynamics of both systems. We implement an optimization platform using the coupled models of a coarse grid Fast Fluid Dynamics model for indoor airflow and Modelica models for HVAC which is linked to the GenOpt optimization engine. Then, we demonstrate the new optimization platform by studying the optimal thermostat placement in a typical office room with a VAV terminal box in the design phase. After validating the model, we perform an optimization study, in which the VAV terminal box is dynamically controlled, and find that our optimization platform can determine the optimal location of thermostat to achieve either best thermal comfort or least energy consumption, or the combined. Finally, the time cost for performing such optimization study is about 6.2 h, which is acceptable in the design phase.

32 ENERGY CONSERVATION, CONSUMPTION, AND UTILIZATI↗

Systematic Approach to Better Understanding Integration Costs

This research presents a systematic approach to evaluating the costs of integrating new generation and operational procedures into an existing power system, and the methodology is independent of the type of change or nature of the generation. The work was commissioned by the U.S. Department of Energy and performed by the National Renewable Energy Laboratory to investigate three integration cost-related questions: (1) How does the addition of new generation affect a system's operational costs, (2) How do generation mix and operating parameters and procedures affect costs, and (3) How does the amount of variable generation (non-dispatchable wind and solar) impact the accuracy of natural gas orders? A detailed operational analysis was performed for seven sets of experiments: variable generation, large conventional generation, generation mix, gas prices, fast-start generation, self-scheduling, and gas supply constraints. For each experiment, four components of integration costs were examined: cycling costs, non-cycling VO&M costs, fuel costs, and reserves provisioning costs. The investigation was conducted with PLEXOS production cost modeling software utilizing an updated version of the Institute of Electrical and Electronics Engineers 118-bus test system overlaid with projected operating loads from the Western Electricity Coordinating Council for the Sacramento Municipal Utility District, Puget Sound Energy, and Public Service Colorado in the year 2020. The test system was selected in consultation with an industry-based technical review committee to be a reasonable approximation of an interconnection yet small enough to allow the research team to investigate a large number of scenarios and sensitivity combinations. The research should prove useful to market designers, regulators, utilities, and others who want to better understand how system changes can affect production costs.

24 POWER TRANSMISSION AND DISTRIBUTION↗

Xyce Parallel Electronic Simulator Reference Guide Version 6.4

This document is a reference guide to the Xyce Parallel Electronic Simulator, and is a companion document to the Xyce Users' Guide [1] . The focus of this document is (to the extent possible) exhaustively list device parameters, solver options, parser options, and other usage details of Xyce . This document is not intended to be a tutorial. Users who are new to circuit simulation are better served by the Xyce Users' Guide [1] . Trademarks The information herein is subject to change without notice. Copyright c 2002-2015 Sandia Corporation. All rights reserved. Xyce TM Electronic Simulator and Xyce TM are trademarks of Sandia Corporation. Portions of the Xyce TM code are: Copyright c 2002, The Regents of the University of California. Produced at the Lawrence Livermore National Laboratory. Written by Alan Hindmarsh, Allan Taylor, Radu Serban. UCRL-CODE-2002-59 All rights reserved. Orcad, Orcad Capture, PSpice and Probe are registered trademarks of Cadence Design Systems, Inc. Microsoft, Windows and Windows 7 are registered trademarks of Microsoft Corporation. Medici, DaVinci and Taurus are registered trademarks of Synopsys Corporation. Amtec and TecPlot are trademarks of Amtec Engineering, Inc. Xyce 's expression library is based on that inside Spice 3F5 developed by the EECS Department at the University of California. The EKV3 MOSFET model was developed by the EKV Team of the Electronics Laboratory-TUC of the Technical University of Crete. All other trademarks are property of their respective owners. Contacts Bug Reports (Sandia only) http://joseki.sandia.gov/bugzilla http://charleston.sandia.gov/bugzilla World Wide Web http://xyce.sandia.gov http://charleston.sandia.gov/xyce (Sandia only) Email xyce@sandia.gov (outside Sandia) xyce-sandia@sandia.gov (Sandia only)

97 MATHEMATICS AND COMPUTING↗

Scarless genome editing and stable inducible expression vectors for Geobacter sulfurreducens

Metal reduction by members of the Geobacteraceae is encoded by multiple gene clusters, and the study of extracellular electron transfer often requires biofilm development on surfaces. Genetic tools that utilize polar antibiotic cassette insertions limit mutant construction and complementation. In addition, unstable plasmids create metabolic burdens that slow growth, and the presence of antibiotics such as kanamycin can interfere with the rate and extent of Geobacter biofilm growth. We report here genetic system improvements for the model anaerobic metal-reducing bacterium Geobacter sulfurreducens . A motile strain of G. sulfurreducens was constructed by precise removal of a transposon interrupting the fgrM flagellar regulator gene using SacB/sucrose counterselection, and Fe(III) citrate reduction was eliminated by deletion of the gene encoding the inner membrane cytochrome imcH . We also show that RK2-based plasmids were maintained in G. sulfurreducens for over 15 generations in the absence of antibiotic selection in contrast to unstable pBBR1 plasmids. Therefore, we engineered a series of new RK2 vectors containing native constitutive Geobacter promoters, and modified one of these promoters for VanR-dependent induction by the small aromatic carboxylic acid vanillate. Inducible plasmids fully complemented Δ imcH mutants for Fe(III) reduction, Mn(IV) oxide reduction, and growth on poised electrodes. A real-time, high-throughput Fe(III) citrate reduction assay is described that can screen numerous G. sulfurreducens strain constructs simultaneously and shows the sensitivity of imcH expression by the vanillate system. Lastly, these tools will enable more sophisticated genetic studies in G. sulfurreducens without polar insertion effects or need for multiple antibiotics.

59 BASIC BIOLOGICAL SCIENCES↗

Predicting Coculture Substrate Depletion (PCSD) v1

(based on Erbilgin et al., BMC Bioinformatics, 2017, 18:57). Mixed cultures of microbial species are increasingly used to carry out a specific task in lieu of engineering a single microbe to do the same task. However, knowing how different species' metabolisms will integrate to reach a desired outcome is a difficult problem that has been studied in great detail--but only using steady-state models. Mixed cultures used for biotechnology processes, as well as microbial communities that exist in nature and crop agriculture, are metabolically dynamic systems. Studying the temporal substrate utilization by individuals is individuals in mixed cultures is an important first step in developing approaches to better model these biochemical processes and microbial communities found in nature. The 2017-004 software is comprised of four custom iPython notebooks that were used for all computational tasks in the experimental work described in "Dynamic substrate preferences predict metabolic properties of a simple microbial consortium" (Erbilgin et al., BMC Bioinformatics, 2017). The results indicate that a significant portion of a model community's overall metabolism can be predicted based on the metabolism of the individuals. The results further suggest that, when the mixed culture's substrate depletion significantly deviates from such a prediction, this may highlight potential metabolic pathways affected by species-species microbial interactions, leading to hypotheses about how a particular microbial community's structure and function may be modulated to perform a particular biotechnological goal.

Bowen, Benjamin↗

Severity factor kinetic model as a strategic parameter of hydrothermal processing (steam explosion and liquid hot water) for biomass fractionation under biorefinery concept

Hydrothermal processes are an attractive clean technology and cost-effective engineering platform for bio-refineries based in the conversion of biomass to biofuels and high-value bioproducts under the basis of sustainability and circular bioeconomy. The deep and detailed knowledge of the structural changes by the severity of biomasses hydrothermal fractionation is scientifically and technological needed in order to improve processes effectiveness, reactors designs, and industrial application of the multi-scale target compounds obtained by stream explosion and liquid hot water systems. The concept of the severity factor [log 10 (R 0 )] established > 30 years ago, continue to be a useful index that can provide a simple description of the relationship between the operational conditions for biomass fractionation in second generation of biorefineries. Furthermore, this review develops a deep explanation of the hydrothermal severity factor based in lignocellulosic biomass fractionation with emphasis in research advances, pretreatment operations and the applications of severity factor kinetic model.

09 BIOMASS FUELS↗

Development of a versatile hybrid testing system for seismic experimentation

The hybrid testing method for earthquake engineering was developed to evaluate the seismic performance of civil structural systems. During hybrid testing, part of the structure, called physical substructure, is physically tested using hydraulic loading equipment while the rest of the structure, named numerical substructure, is numerically simulated with a computer model. Thus, hybrid testing allows a complex physical substructure being tested experimentally, while the relatively simple part of the structure is numerically simulated to economically obtain the full structural response. Recently, a versatile hybrid testing system was built at Western Michigan University consisting of a shake table, an actuator/reaction system, and an advanced hybrid testing controller. Such a testing system is capable of conducting various seismic experiments such as displacement-based pseudodynamic substructure testing as well as force-based real time dynamic hybrid testing. Because of its versatility and easy operation at the benchmark scale, the developed testing system is particularly suitable for the development of advanced hybrid testing techniques and, earthquake engineering education/outreach activities. The development of the testing system is described in this article focusing on the hardware and software integrations. A three story shake table hybrid test is presented as an example to demonstrate the system’s capability and feasibility.

42 ENGINEERING↗

Parsed synthesis of pyocyanin via co-culture enables context-dependent intercellular redox communication

Abstract Background Microbial co-cultures and consortia are of interest in cell-based molecular production and even as “smart” therapeutics in that one can take advantage of division of labor and specialization to expand both the range of available functions and mechanisms for control. The development of tools that enable coordination and modulation of consortia will be crucial for future application of multi-population cultures. In particular, these systems would benefit from an expanded toolset that enables orthogonal inter-strain communication. Results We created a co-culture for the synthesis of a redox-active phenazine signaling molecule, pyocyanin (PYO), by dividing its synthesis into the generation of its intermediate, phenazine carboxylic acid (PCA) from the first strain, followed by consumption of PCA and generation of PYO in a second strain. Interestingly, both PCA and PYO can be used to actuate gene expression in cells engineered with the soxRS oxidative stress regulon, although importantly this signaling activity was found to depend on growth media. That is, like other signaling motifs in bacterial systems, the signaling activity is context dependent. We then used this co-culture’s phenazine signals in a tri-culture to modulate gene expression and production of three model products: quorum sensing molecule autoinducer-1 and two fluorescent marker proteins, eGFP and DsRed. We also showed how these redox-based signals could be intermingled with other quorum-sensing (QS) signals which are more commonly used in synthetic biology, to control complex behaviors. To provide control over product synthesis in the tri-cultures, we also showed how a QS-induced growth control module could guide metabolic flux in one population and at the same time guide overall tri-culture function. Specifically, we showed that phenazine signal recognition, enabled through the oxidative stress response regulon soxRS, was dependent on media composition such that signal propagation within our parsed synthetic system could guide different desired outcomes based on the prevailing environment. In doing so, we expanded the range of signaling molecules available for coordination and the modes by which they can be utilized to influence overall function of a multi-population culture. Conclusions Our results show that redox-based signaling can be intermingled with other quorum sensing signaling in ways that enable user-defined control of microbial consortia yielding various outcomes defined by culture medium. Further, we demonstrated the utility of our previously designed growth control module in influencing signal propagation and metabolic activity is unimpeded by orthogonal redox-based signaling. By exploring novel multi-modal strategies for guiding communication and consortia outcome, the concepts introduced here may prove to be useful for coordination of multiple populations within complex microbial systems.

Chun, Kayla↗

Process Anomaly Detection for Sparsely Labeled Events in Nuclear Power Plants

An essential aspect of online monitoring, subtle anomaly detection increases the detection lead time for equipment failure and enables a nuclear power plant (NPP) to mitigate unexpected partial or full outages, resulting in significant cost saving to the plant. Once an anomaly is detected by plant staff, its cause and severity are investigated. Because the vast majority of anomalies require some level of investigation, including some that require time-consuming examination, before they are passed over to the engineering organization for further analysis, plants are often equipped with tools to assist the staff in performing anomaly detection. Those tools operate as a black box and are often based on statistical methods that establish sensor correlations using preconfigured mathematical models and flag correlation deviations as anomalies. Due to the number of anomalies detected at a given NPP on a daily basis, a significant number of flagged anomalies usually await examination for days or weeks. A primary cause of this backlog is that the methods used by the tools generate many false positives. Though this is usually attributed to oversensitive model settings due to very narrow normal operation bands, it can also be associated with the model development being inadequate for the process being monitored, or with missing model inputs that could have explained misclassified positives. The performance of anomaly detection tools impacts their plant acceptance and utilization, especially when the effort to address false positives generated by the tool depletes the value or cost saved by using that tool. Thus, means to advance anomaly detection performance have been investigated by the Department of Energy’s Light Water Reactor Sustainability program. Previous and ongoing efforts have targeted unsupervised machine-learning (ML) methods, which do not require the labeling of any data fed into the ML model. By contrast, in supervised anomaly detection methods, every data point is labeled as either a normal or abnormal process condition, and the model is trained to replicate the classification process. Supervised methods usually outperform unsupervised methods, due to the added value in differentiating normal from anomalous states of the monitored process. An NPP’s corrective action program requires it to track and document, via a dedicated report, the resolution of any issues that occur within the plant. Once created, each report is reviewed by a plant screening committee, and several classifications and decisions are made. Recently, a collaborating NPP developed an artificial intelligence and ML-based classifier to categorize a condition report (CR) into classes that can serve to label the data as normal or anomalous. Applying CRs as labels represents a semi-supervised use case. Semi-supervised ML assumes that labels exist for some data points (i.e., labeled anomalies, in this case) but not for the rest. In this effort, semi-supervised ML methods were used to fuse data from CRs with anomaly detection methods in order to test the hypothesis that partially labeled anomalies would improve the accuracy of the anomaly detection methods. Specifically, two methods were used. The first is the deep Semi-supervised Anomaly Detection (deep SAD) method, which can handle labels ranging from fully unsupervised to fully supervised cases. The second is a newly designed ML method developed specifically for this effort and referred to as the high-order feature (HOF)-based method. To evaluate these two methods in controlled environments, synthetic data generators were developed and used. The first datasets used a spring-mass-damper (SMD) system simulator commonly found in mechanical engineering references. This was used to create two use cases: a one- and a three-mass system. Anomalies were introduced by changing the spring and damper coefficients while the system was actuated by random forces. The second datasets used the commercial Dymola-Modelica software to build a simplified nuclear reactor model. Anomalies were added in the form of corrupted sensor readings and/or control commands. The deep SAD method was tested using the SMD system, while the HOF method was tested using both datasets. Application of the deep SAD semi-supervised ML method demonstrated that labels can generate increased confidence in detecting true anomalies. This helped increase the number of true positives and decrease the number of false negatives—something that would aid in addressing the backlog of possible anomalies. Application of the HOF method demonstrated that labels can aid in down selecting from a candidate set of features to a more optimal subset in order to better differentiate between normal and anomalous conditions.

46 INSTRUMENTATION RELATED TO NUCLEAR SCIENCE AND ↗

Analyses of Model-Based Predictive Control for a S-CO 2 Brayton Cycle Power Converter

The supercritical carbon dioxide (S-CO 2 ) Brayton cycle is a promising alternative to steam cycles as an energy converter for advanced nuclear reactors as well as fossil-fired and concentrated solar power plants. For advanced reactors, such as Sodium-cooled Fast Reactors (SFRs), the S-CO 2 cycle offers the benefits of high cycle efficiency, very compact turbomachinery, and elimination of sodium-water reactions, all of which may enable improved economics. The efficiency gains calculated for the S-CO 2 cycle are particularly significant if advantage can be taken of the sharp changes in the carbon dioxide thermo-physical properties near the critical point. On the other hand, the same property variations give rise to challenges in the cycle design, analysis, and control. The onset of two-phase flow (where the minimum cycle temperature and pressure drop drop below the critical value) can degrade compressor performance and potentially cause damage to the compressor blades. In previous work, the feasibility of the Model-based Predictive Control (MPC) approach was assessed for improving regulation of the precooler outlet temperature. A linear reduced-order model for the precooler was generated and for this simplified standalone system operating with an MPC controller the response of outlet temperature was evaluated through simulations. These evaluations included the presence of temperature measurement time delay representing a degraded sensor. It was demonstrated that the MPC controller maintained stable precooler temperature for those delay cases where a proportional-integral controller became unstable. In the present work the simulations have been extended to evaluate the MPC controller operating under more realistic conditions, namely in the split-flow recompression cycle non-linear plant. This compares with the previous standalone reduced-order linear system described above. In the present work the MPC-based control scheme was implemented in a GPASS 1-D systems code representation of the split-flow recompression cycle. The performance of the controller was again investigated for degraded sensor conditions and compared to that of a proportional-integral controller. The results were qualitatively similar to the previous results with the MPC controller and again providing superior stability characteristics. This work provides a sound starting point for the development of model-based control systems. In particular, the MPC control approach applied to Multiple Input Multiple Output systems can be used to synchronize the operation of the different system components to improve control system dynamic performance.

20 FOSSIL-FUELED POWER PLANTS↗

A cell-free system for production of 2,3-butanediol is robust to growth-toxic compounds

The need for sustainable, low-cost production of bioenergy and commodity chemicals is increasing. Unfortunately, the engineering potential of whole-cell catalysts to address this need can be hampered by cellular toxicity. When such bottlenecks limit the commercial feasibility of whole-cell fermentation, cell-free, or in vitro, based approaches may offer an alternative. Here, we assess the impact of three classes of growth toxic compounds on crude extract-based, cell-free chemical conversions. As a model system, we test a metabolic pathway for conversion of glucose to 2,3-butanediol (2,3-BDO) in lysates of Escherichia coli . First, we characterized 2,3-BDO production with different classes of antibiotics and found, as expected, that the system is uninhibited by compounds that prevent cell growth by means of cell wall replication and DNA, RNA, and protein synthesis. Second, we considered the impact of polar solvent addition (e.g., methanol, n-butanol). We observed that volumetric productivities (g/L/h) were slowed with increasing hydrophobicity of added alcohols. Finally, we investigated the effects of using pretreated biomass hydrolysate as a feed stock, observing a 25% reduction in 2,3-BDO production as a result of coumaroyl and feruloyl amides. Overall, we find the cell-free system to be robust to working concentrations of antibiotics and other compounds that are toxic to cell growth, but do not denature or inhibit relevant enzymes.

09 BIOMASS FUELS↗

T-FSM: A Scalable Distributed Task-Based System for Frequent Subgraph Pattern Mining from a Big Graph

Finding frequent subgraph patterns in a big graph is an important problem with many applications such as classifying chemical compounds and building indexes to speed up graph queries. Since this problem is NP-hard, some recent parallel and distributed systems have been developed to accelerate the mining. However, they often have a huge memory cost, very long running time, suboptimal load balancing, poor scale-out capability, and possibly inaccurate results. In this article, we propose an efficient system called T-FSM for parallel mining of frequent subgraph patterns in a big graph. T-FSM supports a new anti-monotonic frequentness measure called Fraction-Score, which is more accurate than the widely used MNI measure. The execution engine of T-FSM supports both intra-machine parallelism and inter-machine parallelism. For intra-machine parallelism, T-FSM adopts a novel task-based execution model to ensure high multithreading concurrency, bounded memory consumption, and effective load balancing. For inter-machine parallelism, T-FSM ensures good scale-out performance with a lightweight pattern rebalancing approach that reduces workload skewness of pattern evaluations among machines. To avoid recomputing the contexts for migrated patterns, we design a novel context cache table to support concurrent and asynchronous requesting and caching of remote context data, which can timely evict and garbage collect used pattern contexts that are no longer needed to keep memory consumption bounded. Extensive experiments show that T-FSM is orders of magnitude faster than existing state-of-the-art parallel systems (more than 10×, 51×, 131×, 55× speedup over ScaleMine, DistGraph, Pangolin and Peregrine, respectively) and distributed systems (more than 42× and 88× over ScaleMine and DistGraph, respectively) for frequent subgraph pattern mining, and it scales out satisfactorily to 512 CPU cores on the Polaris supercomputer at Argonne National Laboratory.

97 MATHEMATICS AND COMPUTING↗

Realization of a Hole-Doped Mott Insulator on a Triangular Silicon Lattice

The physics of doped Mott insulators is at the heart of some of the most exotic physical phenomena in materials research including insulator-metal transitions, colossal magnetoresistance, and high-temperature superconductivity in layered perovskite compounds. Advances in this field would greatly benefit from the availability of new material systems with a similar richness of physical phenomena but with fewer chemical and structural complications in comparison to oxides. In this paper, using scanning tunneling microscopy and spectroscopy, we show that such a system can be realized on a silicon platform. The adsorption of one-third monolayer of Sn atoms on a Si(111) surface produces a triangular surface lattice with half filled dangling bond orbitals. Modulation hole doping of these dangling bonds unveils clear hallmarks of Mott physics, such as spectral weight transfer and the formation of quasiparticle states at the Fermi level, well-defined Fermi contour segments, and a sharp singularity in the density of states. These observations are remarkably similar to those made in complex oxide materials, including high-temperature superconductors, but highly extraordinary within the realm of conventional $sp$-bonded semiconductor materials. Finally, it suggests that exotic quantum matter phases can be realized and engineered on silicon-based materials platforms.

36 MATERIALS SCIENCE↗