The present investigation targets minimum cost of reactors in series for the case of one single chemical reaction, considering plug flow and stirred tank reactor(s) in the sequence of flow reactors. Using Guthrie'...The present investigation targets minimum cost of reactors in series for the case of one single chemical reaction, considering plug flow and stirred tank reactor(s) in the sequence of flow reactors. Using Guthrie's cost correlations three typical cases were considered based on the profile of the reaction rate reciprocal versus conversion. Significant differences were found compared to the classical approach targeting minimum total reactor volume.展开更多
This paper seeks to identify the minimal restrictions that need to be placed on the naive comprehension principle to avoid inconsistency in set theory. Analysis of the logical antinomies shows that at the root of inco...This paper seeks to identify the minimal restrictions that need to be placed on the naive comprehension principle to avoid inconsistency in set theory. Analysis of the logical antinomies shows that at the root of inconsistency in naive set theory are certain ＂self contradictory＂ predicate functions in extensional set descriptions containing the matrix ＂-（x∈y）＂ （or ＂-（x∈x）＂） rather than ＂size,＂ vicious circularity, or self-reference. A reformed set comprehension system is proposed that excludes extensional set descriptions that conform to the formula, （Vx） （Зy） （x∈y →P （x）） （3u） （u∈y→（u∈y））, from comprehension and otherwise preserves the ontology of na＇fve set theory. This reform avoids the paradoxes by scrutiny of a set＇s description without recourse to type or other constructivist limitations on self-membership and has the most liberal rules for set formation conceivable including self-membership. The intuitive appeal for such an approach is compelling because as a revision of na＇fve set theory, it allows all possible set descriptions that do not lead to inconsistency.展开更多
The bed nucleus of the stria terminalis(BNST) plays a critical role in regulating anxiety, yet the involved specific cell types and their connections functioning in anxiety-related behaviors remains elusive. Here we i...The bed nucleus of the stria terminalis(BNST) plays a critical role in regulating anxiety, yet the involved specific cell types and their connections functioning in anxiety-related behaviors remains elusive. Here we identified two cell subpopulations—corticotropin-releasing hormone-positive(CRH+) and protein kinase C-δ-positive(PKC-δ+) neurons—each displayed discrete emotionally valenced behaviors in the anterior-dorsal BNST(ad BNST). Using whole-cell patch-clamp recordings and virus-assisted circuit tracing techniques, we delineated the local and long-range connectivity networks in a cell-type-specific manner. The results show that the CRH+ and PKC-δ+ neurons received inputs from similar brain regions and exhibited significant differences in the downstream projection density. In addition, in vivo calcium imaging as well as gain-and loss-of-function studies characterized the physiological response properties and the functional heterogeneities in modulating anxiety, further suggesting the similarity and individuality between the two ad BNST cell types. These results provide novel insights into the circuit architecture of ad BNST neurons underlying the functionally specific neural pathways that relate to anxiety disorders.展开更多
文摘The present investigation targets minimum cost of reactors in series for the case of one single chemical reaction, considering plug flow and stirred tank reactor(s) in the sequence of flow reactors. Using Guthrie's cost correlations three typical cases were considered based on the profile of the reaction rate reciprocal versus conversion. Significant differences were found compared to the classical approach targeting minimum total reactor volume.
文摘This paper seeks to identify the minimal restrictions that need to be placed on the naive comprehension principle to avoid inconsistency in set theory. Analysis of the logical antinomies shows that at the root of inconsistency in naive set theory are certain ＂self contradictory＂ predicate functions in extensional set descriptions containing the matrix ＂-（x∈y）＂ （or ＂-（x∈x）＂） rather than ＂size,＂ vicious circularity, or self-reference. A reformed set comprehension system is proposed that excludes extensional set descriptions that conform to the formula, （Vx） （Зy） （x∈y →P （x）） （3u） （u∈y→（u∈y））, from comprehension and otherwise preserves the ontology of na＇fve set theory. This reform avoids the paradoxes by scrutiny of a set＇s description without recourse to type or other constructivist limitations on self-membership and has the most liberal rules for set formation conceivable including self-membership. The intuitive appeal for such an approach is compelling because as a revision of na＇fve set theory, it allows all possible set descriptions that do not lead to inconsistency.
基金This work was supported by the National Natural Science Foundation of China(31671105)Science Fund for Creative Research Group of China(61721092),“National Basic Research Program of China”(973 program 2015CB755603)Director Fund of the Wuhan National Laboratory for Optoelectronics and partly supported by the open funds of the State Key Laboratory of Medical Neurobiology,Fudan University.
文摘The bed nucleus of the stria terminalis(BNST) plays a critical role in regulating anxiety, yet the involved specific cell types and their connections functioning in anxiety-related behaviors remains elusive. Here we identified two cell subpopulations—corticotropin-releasing hormone-positive(CRH+) and protein kinase C-δ-positive(PKC-δ+) neurons—each displayed discrete emotionally valenced behaviors in the anterior-dorsal BNST(ad BNST). Using whole-cell patch-clamp recordings and virus-assisted circuit tracing techniques, we delineated the local and long-range connectivity networks in a cell-type-specific manner. The results show that the CRH+ and PKC-δ+ neurons received inputs from similar brain regions and exhibited significant differences in the downstream projection density. In addition, in vivo calcium imaging as well as gain-and loss-of-function studies characterized the physiological response properties and the functional heterogeneities in modulating anxiety, further suggesting the similarity and individuality between the two ad BNST cell types. These results provide novel insights into the circuit architecture of ad BNST neurons underlying the functionally specific neural pathways that relate to anxiety disorders.
