156 research outputs found
Inhibitory interneurons in the anterior cingulate and medial prefrontal cortex in prenatally malnourished rats
Prenatal protein malnutrition continues to be a significant problem in the world today. Exposure to prenatal protein malnutrition increases the risk of a number of neuropsychiatric disorders that are associated with inhibitory interneurons, including depression, schizophrenia and attention deficit hyperactivity disorder. Previous studies have found that neurons in anterior cingulate and medial prefrontal regions respond excessively to restraint stress in prenatally malnourished rats. In this study, we investigate if prenatal protein malnutrition affects inhibitory the subpopulation of interneurons in the prefrontal cortex in relationship to the higher initial stress response. This was done using double-labeling immunohistochemistry with c-Fos to mark activated neurons and parvalbumin to mark inhibitory interneurons. Numbers of single and double-labeled neurons were quantified with unbiased stereology. Statistical analysis demonstrated that there was no effect of prenatal malnutrition on the total number of neurons or on the number of parvalbumin neurons. However, prenatal malnutrition was associated with a significant increase in the number of inhibitory parvalbumin positive neurons activated by restraint stress. This suggests that prenatal malnutrition altered the excitability of these inhibitory interneurons either directly or by altering their connectivity
Green Biased Technical Change in Terms of Industrial Water Resources in China’s Yangtze River Economic Belt
As a significant ecological corridor from west to east across China, the Yangtze River Economical Belt (YREB) is in great need of green development and transformation. Rather than only focusing on the overall growth of green productivity, it is important to identify whether the technical change is biased towards economic performance or green performance in promoting green productivity. By employing the biased technical change theory and Malmquist index decomposition method, we analyze the green biased technical change in terms of industrial water resources in YREB at the output side and the input side respectively. We find that the green biased technical change varies during 2006–2015 at both the input side and output side in YREB. At the input side, water-saving biased technical change is generally dominant compared to water-using biased technical change during 2006–2015, presenting the substitution effects of non-water production factors. At the output side, the economy-growth biased technical change is the main force to promote green productivity, whereas the role of water-conservation biased technical change is insufficient. The green performance at the output side needs to be strengthened compared to the economic performance in YREB. A series of water-related environmental policies introduced in China since 2008 have promoted the green biased technical change both at the input side and the output side in YREB, but the policy effects at the output side is still inadequate compared to that at the input side. The technological innovation in sewage treatment and control need to catch up with the economic growth in YREB. Our research gives insights to enable a deeper understanding of the green biased technical change in YREB and will benefit more focused policy-making of green innovation
Provable preimage under-approximation for neural networks
Neural network verification mainly focuses on local robustness properties, which can be checked by bounding the image (set of outputs) of a given input set. However, often it is important to know whether a given property holds globally for the input domain, and if not then for what proportion of the input the property is true. To analyze such properties requires computing preimage abstractions of neural networks.
In this work, we propose an efficient anytime algorithm for generating symbolic under-approximations of the preimage of any polyhedron output set for neural networks. Our algorithm combines a novel technique for cheaply computing polytope preimage under-approximations using linear relaxation, with a carefully-designed refinement procedure that iteratively partitions the input region into subregions using input and ReLU splitting in order to improve the approximation. Empirically, we validate the efficacy of our method across a range of domains, including
a high-dimensional MNIST classification task beyond the reach of existing preimage computation methods. Finally, as use cases, we showcase the application to quantitative verification and robustness analysis.
We present a sound and complete algorithm for the former, which exploits our disjoint union of polytopes representation to provide formal guarantees. For the latter, we find that our method can provide useful quantitative information even when standard verifiers cannot verify a robustness property
MapPrior: Bird's-Eye View Map Layout Estimation with Generative Models
Despite tremendous advancements in bird's-eye view (BEV) perception, existing
models fall short in generating realistic and coherent semantic map layouts,
and they fail to account for uncertainties arising from partial sensor
information (such as occlusion or limited coverage). In this work, we introduce
MapPrior, a novel BEV perception framework that combines a traditional
discriminative BEV perception model with a learned generative model for
semantic map layouts. Our MapPrior delivers predictions with better accuracy,
realism, and uncertainty awareness. We evaluate our model on the large-scale
nuScenes benchmark. At the time of submission, MapPrior outperforms the
strongest competing method, with significantly improved MMD and ECE scores in
camera- and LiDAR-based BEV perception
Graph model for multiple scattering in lithium niobate on insulator integrated photonic networks
We present a graph-based model for multiple scattering of light in integrated
lithium niobate on insulator (LNOI) networks, which describes an open network
of single-mode integrated waveguides with tunable scattering at the network
nodes. We first validate the model at small scale with experimental LNOI
resonator devices and show consistent agreement between simulated and measured
spectral data. Then, the model is used to demonstrate a novel platform for
on-chip multiple scattering in large-scale optical networks up to few hundred
nodes, with tunable scattering behaviour and tailored disorder. Combining our
simple graph-based model with material properties of LNOI, this platform
creates new opportunities to control randomness in large optical networks
Design and Application of Three-Dimensional Digitization and Intelligent Operation System for Converter Station
[Introduction] In response to the pain points of the operation and maintenance of the converter station, the design methods of the three-dimensional digitization and intelligent operation system are proposed, and the actual application is performed in the project. [Method] Firstly, the overall architecture, technical architecture, data architecture and functional modules of the system were explained, and by using digital twin technology, operation and maintenance services such as intelligent inspection, intelligent operation, and intelligent security were realized. Then the key technologies of the system were studied, including converter station modeling and refined processing, model and data fusion technology, and panoramic visualization technology, which realized the centralized operation and control of the whole site in the three-dimensional scenarios. Finally, the system was deployed at the project site, which greatly improved operation and maintenance efficiency and experience. [Result] The application of the system shows that the manual replacement rate of daily intelligent inspection projects reaches more than 80%, the on-site operation time can be reduced by 60%, and the operating risk management and control capabilities and safety levels are improved, saving 65% of working hours. [Conclusion] The three-dimensional digitalization and intelligent operation system of the converter station can effectively improve the accurate management of the equipment, and realize the cost reduction and benefit increasing of the operation and maintenance business
- …