Search

Let $M$ be a complex manifold with boundary $X$, which admits a holomorphic Lie group $G$-action preserving $X$. We establish a full asymptotic expansion for the $G$-invariant Bergman kernel under certain assumptions. As an application, we get $G$-invariant version of Fefferman's result about regularity of biholomorphic maps on strongly pseudoconvex domains of $\mathbb C^n$. Moreover, we show that the Guillemin-Sternberg map on a complex manifold with boundary is Fredholm by developing reduction to boundary technique, which establish ``quantization commutes with reduction" in this case., Comment: 36 pages

Let $M$ be a relatively compact connected open subset with smooth connected boundary of a complex manifold $M'$. Let $(L, h^L)\rightarrow M'$ be a positive line bundle over $M'$. Suppose that $M'$ admits a holomorphic $\mathbb R$-action which preserves the boundary of $M$ and the $\R$-action can be lifted to $L$. In this work, we establish an asymptotic expansion for the Bergman kernel of the $\overline\partial$-Neumann operator on $\overline M$ with respect to high powers of $L$., 55 pages

We give simple and unified proofs of weak holomorhpic Morse inequalities on complete manifolds, $q$-convex manifolds, pseudoconvex domains, weakly $1$-complete manifolds and covering manifolds. This paper is essentially based on the asymptotic Bergman kernel functions and the Bochner-Kodaira-Nakano formulas.

Antibiotic resistance genes (ARGs), environmental pollutants of emerging concern, have posed a potential threat to the public health. Soil is one of the huge reservoirs and propagation hotspot of ARGs. To alleviate the potential risk of ARGs, it is necessary to figure out the source and fate of ARGs in the soil. This paper mainly reviewed recent studies on the association of ARGs with the microbiome and the transmission mechanism of ARGs in soil. The compositions and abundance of ARGs can be changed by modulating microbiome, soil physicochemical properties, such as pH and moisture. The relationships of ARGs with antibiotics, heavy metals, polycyclic aromatic hydrocarbons and pesticides were discussed in this review. Among the various factors mentioned above, microbial community structure, mobile genetic elements, pH and heavy metals have a relatively more important impact on ARGs profiles. Moreover, human health could be impacted by soil ARGs through plants and animals. Understanding the dynamic changes of ARGs with influencing factors promotes us to develop strategies for mitigating the occurrence and dissemination of ARGs to reduce health risks.

In recent years, organ donation has developed rapidly in China, whereas the brain death criteria have not been confirmed by relevant legislation. In this article, the current legislation situation of brain death criteria at home and abroad, and the current criteria for determination of death for organ donation after citizen's death in China were introduced. The necessity of legislation of brain death criteria in China was discussed from the perspective of organ donation, and suggestions on the form and content of brain death criteria legislation were proposed based on the actual national conditions, aiming to provide reference for the legislation of brain death criteria.

Lung transplantation is the ultimate treatment for many kinds of end-stage lung diseases. However, the perioperative management of lung transplantation is complicated with high fatality of patients. Extracorporeal membrane oxygenation (ECMO) is an effective method of extracorporeal respiration and circulation support. ECMO plays an important role in the perioperative support treatment of lung transplantation, which breaks the limitation of contraindications and promotes the development of lung transplantation. In this article, the indications, catheter placement strategies and application of ECMO in the perioperative period of lung transplantation were reviewed.

Objective To get a knowledge of the current status of organ donation and utilization after citizen's death in Wuxi District, and thereby provide ideas and basis for further development of organ donation work in local areas. Methods Clinical data from 151 organ donors, included 37 successful donors and 114 potential donors, were retrospectively analyzed. The reasons for donation failure of potential donors were analyzed. The general information for successful donors was collected. And the information on organ donation and organ utilization in successful donors were analyzed. Results Among the 151 organ donors, 37 were successful donors, with the conversion rate reaching 24.5%. For the 114 donors with failed organ donation, the reasons for failure included family disagreement, failure to meet donation status criteria, insufficient evaluation time, and unresolved work injury disputes. The categories for organ donation included 34 cases of donation after brain death followed by cardiac death (DBCD), 3 cases of donation after brain death (DBD), and no case of donation after cardiac death (DCD). The reasons for death of donors includes 19 cases of craniocerebral trauma, 14 cases of stroke and 4 cases of others. Among the 37 cases of successful donors, the majority were floating population. A total of 154 major organs and tissues were donated, of which 124 were major organs. The number of major organs and tissues donated per citizen was (4.2± 1.6) and the number of major organs donated per citizen was (3.4± 1.1). The utilization rate of the 154 donated organs reached 96.7% (149/154), with Nanjing, Wuxi, Suzhou and Changzhou ranking the top 4 of organ distribution. Conclusions The rate for successful organ donation and conversion after citizen's death is low in Wuxi District. The organ donation work networks in local areas should be established. And organ donation promotion efforts and skills training for coordinators should be developed.

BACKGROUND Extracorporeal membrane oxygenation (ECMO) is widely used for cardiopulmonary assistance during lung transplantation (LTx). However, the optimal timing for ECMO removal remains controversial. This study aimed to evaluate the risk factors and early prognosis of delayed withdrawal ECMO after LTx. METHODS Two hundred sixty-seven patients who underwent LTx supported by ECMO were included in this study. Based on whether or not ECMO was completely stopped in the operating room, patients were divided into early ECMO withdrawal group (group E, 107 cases) and delayed withdrawal group (group D, 160 cases). Perioperative data of the donors and recipients, including the suspected risk factors for delayed removal of ECMO, postoperative complications, and hospital survival rate, were retrospectively analyzed. RESULTS Preoperative New York Heart Association cardiac function for recipients and mechanical ventilation time for donors were independent risk factors for delayed weaning of ECMO in veno-arterial ECMO patients. Compared with group E, the odds of postoperative pulmonary infection, primary graft dysfunction, renal dysfunction, blood transfusion volume, and mechanical ventilation time were significantly higher in group D (all P

As one of the four major types of organ transplantation, lung transplantation has been developed rapidly in recent years. With the establishment of Quality Management and Control Center for Lung Transplantation of National Health Commission, the formulation of Technical Management Specifications for Lung Transplantation and Standard Procedures and Technical Specifications for Lung Transplantation and the implementation of a series of measures, the quality and quantity of lung transplantation have been steadily increased in China. It will provide a guarantee for further promoting the development of lung transplantation in China by the establishment and improvement of scientific quality control parameters for clinical application of lung transplantation technology, the formulation of standard procedures and technical specifications for lung transplantation, strengthening the management of standardized training bases for lung transplantation, building up a multidisciplinary lung transplantation team and constructing a complete lung transplantation database.

Objective To investigate the citizen's attitude towards the cognition of brain death and the legislation of brain death criteria. Methods A questionnaire survey was performed in 1 500 outpatients or accompanying personnel by the convenient sampling method. The questionnaire data were independently recorded by two professionals using the Epidata 3.02 software. The factors influencing the citizen's support of the legislation of brain death were analyzed by univariate and multivariate Logistic regression models. Results Among 1 433 eligible respondents, 84.65% (1 213/1 433) of them knew brain death, and 24.32% (295/1 213) considered brain death as a reasonable criterion for death. The proportion of respondents who supported and opposed the legislation of brain death was 49.79% (604/1 213) and 17.31% (210/1 213).Male [odds ratio (OR)=1.3, 95% confidence interval (CI) 1.0-1.6], those with junior college degree or above at educational level (OR=1.5, 95%CI 1.1-1.9), those whose relatives and friends were engaged in organ donation (OR=3.3, 95%CI 1.1-10.3), those who participated in public welfare activities of organ donation (OR=3.1, 95%CI 1.6-6.0) and those who regarded brain death as a reasonable criterion for death (OR=2.0, 95%CI 1.5-2.6) were more inclined to support the legislation of brain death, which were the independent influencing factors of the legislation of brain death (all P < 0.05). Conclusions Citizens have relatively low cognition and support of the legislation of brain death criteria. Relevant propaganda on brain death should be widely carried out to strengthen the citizen basis for the legislation.

In this work, we perform semantic segmentation of multiple defect types in electron microscopy images of irradiated FeCrAl alloys using a deep learning Mask Regional Convolutional Neural Network (Mask R-CNN) model. We conduct an in-depth analysis of key model performance statistics, with a focus on quantities such as predicted distributions of defect shapes, defect sizes, and defect areal densities relevant to informing modeling and understanding of irradiated Fe-based materials properties. To better understand the performance and present limitations of the model, we provide examples of useful evaluation tests which include a suite of random splits, and dataset size-dependent and domain-targeted cross validation tests. Overall, we find that the current model is a fast, effective tool for automatically characterizing and quantifying multiple defect types in microscopy images, with a level of accuracy on par with human domain expert labelers. More specifically, the model can achieve average defect identification F1 scores as high as 0.8, and, based on random cross validation, have low overall average (+/- standard deviation) defect size and density percentage errors of 7.3 (+/- 3.8)% and 12.7 (+/- 5.3)%, respectively. Further, our model predicts the expected material hardening to within 10-20 MPa (about 10% of total hardening), which is about the same error level as experiments. Our targeted evaluation tests also suggest the best path toward improving future models is not expanding existing databases with more labeled images but instead data additions that target weak points of the model domain, such as images from different microscopes, imaging conditions, irradiation environments, and alloy types. Finally, we discuss the first phase of an effort to provide an easy-to-use, open-source object detection tool to the broader community for identifying defects in new images.

Let $\Omega$ be a Stein space with a compact smooth strongly pseudoconvex boundary. We prove that the boundary is spherical if its Bergman metric over $\hbox{Reg}(\Omega)$ is K\"ahler-Einstein., Comment: 21 pages, comments are welcome

// Yan-Ling Hu 1 , Xiao-Shan Li 1 , Shu Xiong 1 , Qiang Ma 1 , Dan Liu 1 , Zhong-Quan Shi 1 , Jing Tang 1 , Xian-Cai Rao 2 , Fu-Quan Hu 2 , Guo-Li Li 1 1 Department of Pathogen Biology and Immunology, Chongqing Three Gorges Medical College, Chongqing 404120, China 2 Department of Microbiology, The Third Military Medical University, Chongqing 400038, China Correspondence to: Guo-Li Li, email: liguoli_dr@163.com Keywords: dengue virus, p53, apoptosis, interferon, cell apoptosis Received: November 09, 2016 Accepted: January 11, 2017 Published: February 15, 2017 ABSTRACT To investigate the role of the transcription factor p53 in the course of the dengue virus (DV) infection. The human hepatocellular carcinoma cell strain HepG2 with a low expression level of p53 was built by using the retroviral-mediated RNA interference technology, and was detected by Western blot. The wild group and the interference group were respectively infected by the type 2 DV. The viral titration was detected by the Vero plaque assay, the viral multiplication was detected by the immunofluorescence, the cell apoptosis after virus infection was detected by FCM and the level of IFN-β was analyzed by ELISA. Compared to the wild group, the expression level of p53 in the interference group decreased significantly, which indicated that the HepG2 cell strain with the low expression level of p53 was successfully built. 24h after DV infection, the virus titration in the interference group was 100 times higher than that in the wild group. The result of the immunofluorescence showed that, the amount of green fluorescent cells in the interference group was significant higher than that in the wild group. It was indicated that the DV infection was inhibited by p53. However, 24h after DV infection, there was no significant difference in the amount of apoptotic cells in both groups. And the amount of IFN-β in the wild group increased 6 times. The DV infection was inhibited by the transcription factor p53 by activating type I interferon pathway other than promoting the cell apoptosis.

The application of nanotechnology to consumer products is on the rise. Without a doubt, consumers benefit from such emerging technology, but they are also vulnerable to any potential risks posed by it (i.e., health). Research suggests that when people want information about a topic, they are increasingly relying on social media to meet their information needs. Therefore, this dissertation is focused on examining the social-cognitive factors that may motivate consumers’ information seeking and sharing intentions – related to the risks and benefits of nanotechnology – with a focus on how those intentions manifest specific to social media. This dissertation is guided by the planned risk information seeking model (PRISM). The PRISM is extended to information sharing behaviors and is compared against models incorporating two additional constructs: benefit perception and positive affect. Structural equation modeling of data collected from an online panel (N=515) reveals complex relationships in the seeking and sharing models when risks and benefits present simultaneously. The results help pinpoint key determinants of risk-benefit information seeking and sharing intentions on social media. Implications and future directions are discussed.

Let $(X, T^{1,0}X)$ be a compact strongly pseudoconvex CR manifold of dimension $2n+1$. Assume that $X$ admits a Torus action $T^d$. In this work, we study the behavior of torus equivariant Szeg\H{o} kernels and prove that the weighted torus equivariant Szeg\H{o} kernels admit asymptotic expansions., Comment: arXiv admin note: text overlap with arXiv:1710.04910

Legacy Electronic Health Records (EHRs) systems were not developed with the level of connectivity expected from them nowadays. Therefore, interoperability weakness inherent in the legacy systems can result in poor patient care and waste of financial resources. Large hospitals are less likely to share their data with external hospitals due to economic and political reasons. Motivated by these facts, we aim to provide a set of software implementation guidelines, i.e., MedShare to deal with interoperability issues among disconnected healthcare systems. The proposed integrated architecture includes: 1) a data extractor to fetch legacy medical data from a hemodialysis center, 2) converting it to a common data model, 3) indexing patient information using the HashMap technique, and 4) a set of services and tools that can be installed as a coherent environment on top of stand-alone EHRs systems. Our work enabled three cooperating but autonomous hospitals to mutually exchange medical data and helped them develop a common reference architecture. It lets stakeholders retain control over their patient data, winning the trust and confidence much needed towards a successful deployment of MedShare. Security concerns were effectively addressed that also included patient consent in the data exchange process. Thereby, the implemented toolset offered a collaborative environment to share EHRs by the healthcare providers., Comment: underview of J-BHI

Let $(X, T^{1,0}X)$ be a compact strongly pseudoconvex CR manifold of dimension $2n+1$. Assume that $X$ admits a Torus action $T^d$. In this work, we study the behavior of torus equivariant Szeg�� kernels and prove that the weighted torus equivariant Szeg�� kernels admit asymptotic expansions., arXiv admin note: text overlap with arXiv:1710.04910

We consider a compact connected CR manifold with a transversal CR locally free $\mathbb R$-action endowed with a rigid positive CR line bundle. We prove that a certain weighted Fourier-Szeg\H{o} kernel of the CR sections in the high tensor powers admits a full asymptotic expansion and we establish $\mathbb R$-equivariant Kodaira embedding theorem for CR manifolds. Using similar methods we also establish an analytic proof of an $\mathbb R$-equivariant Boutet de Monvel embedding theorem for strongly pseudoconvex CR manifolds. In particular, we obtain equivariant embedding theorems for irregular Sasakian manifolds. As applications of our results, we obtain Torus equivariant Kodaira and Boutet de Monvel embedding theorems for CR manifolds and Torus equivariant Kodaira embedding theorem for complex manifolds., Comment: 34 pages

A total of 1502 samples, including feces of sheep (793) and cattle (348), pasture soil (118), dung compost (147) and barn soil (96), were examined between October 2012 and August 2014 to discover potential strains of nematophagous fungi for the biological control of livestock-parasitic nematodes. These samples were collected from 87 sites located in 48 counties of 20 provinces (autonomous regions/municipalities) of China. Fungi were identified down to a species level. Four hundred and seventy-seven isolates, which were distributed in 8 genera and 28 taxa, were identified as nematophagous fungi. Nematode-trapping fungi included 17 species and one unidentified species of Arthrobotrys, two of Dactylella, Drechslerella dactyloides, and Duddingtonia flagrans. Five identified species and two unidentified species of endoparasitic fungi were isolated. The predominant species from all regions were Arthrobotrys oligospora, followed by Arthrobotrys musiformis, Arthrobotrys (Monacrosporium) thaumasiun, and Arthrobotrys (Monacrosporium) microscaphoides. Species with adhesive networks were the most frequently isolated. Among the endoparasitic fungi, Podocrella harposporifera (Harposporium anguillulae) was the most common species, followed by Harposporium lilliputanum and Harposporium arcuatum. Based on Shannon diversity index, the diversity levels of nematophagous fungi were relatively higher in samples associated with cattle, barn soil, and subtropical monsoon climate zone. Three species isolated from this study, namely, Duddingtonia flagrans, Arthrobotrys salina (Monacrosporium salinum), and Arthrobotrys oligospora var. sarmatica, are newly recorded in China, and 20 species (including one unidentified species) are newly recorded in sheep and cattle barn soils worldwide.

The nematophagous fungus Duddingtonia flagrans has been investigated as a biological agent for the control of gastrointestinal nematodes infecting domestic animals in other countries. However, D. flagrans has not been detected in China. In this study 1,135 samples were examined from 2012 to 2014; 4 D. flagrans isolates (SDH 035, SDH 091, SFH 089, SFG 170) were obtained from the feces of domestic animals and dung compost. The 4 isolates were then characterized morphologically. The SDH 035 strain was characterized by sequencing the ITS1-5.8S rDNA-ITS2 region. A BLAST search showed that the SDH 035 strain (GenBank KP257593) was 100% identical to Arthrobotrys flagrans (AF106520) and was identified as D. flagrans. The morphological plasticity of the isolated strain and the interaction of this strain with the nematode targets were observed by subjecting the infected trichostrongylide L3 to scanning electron microscopy. At 6 and 8 hr after trichostrongylide L(3) was added, hyphal ramifications were observed and L(3) were captured, respectively. Scanning electron micrographs were obtained at 0, 6, 12, 18, 24, 30, 36, 42, and 48 hr, where 0 is the time when trichostrongylide L(3) were first captured by the fungus. The details of the capture process by the fungus are also described. Chlamydospores were observed in the body of L(3) in the late stage of digestion. A sticky substance and bacteria could be observed in contact areas between predation structures and nematode cuticle.

Nematophagous fungi are considered to have the best potential as biological agents for the control of gastrointestinal nematodes in domestic animals. However, relatively few studies have been conducted with the genus Monacrosporium, especially with strains native to China. In the present study, we isolated and identified nematophagous fungi from fresh sheep feces. A pure fungal strain was molecularly characterized, and its nematophagous activity was evaluated. The morphological plasticity of the isolated strain, as well as its interaction with the nematode targets, was observed by scanning electron microscopy of the infected Trichostrongylus colubriformis L3 and the free-living nematode Caenorhabditis elegans. Three isolated fungal strains from the 30 fresh fecal samples of sheep from Inner Mongolia, China exhibited predatory activity; however, only a single strain was successfully purified (SF 0459). The SF 0459 strain was characterized by morphological analysis of its conidia and sequencing of its ITS1-5.8S rDNA-ITS2 region. This strain was identified to be Monacrosporium salinum (GenBank ID: KP036623). Nematophagous fungus helper bacteria were found at the interaction points between fungi and nematodes. The percentage of live T. colubriformis L3 was reduced by 83.79-88.69% based on the in vitro assay.

When beginners practice Chinese calligraphy, they often copy from ancient calligraphic works and try to imitate the style as closely as possible. However there are inevitably some characters whose styles are not correctly followed. Thus we are motivated to detect the style consistency of all written characters in one practice. With the styles extracted by using stacked autoencoders of deep neural network model, we discriminate correctly styled and alien styled characters using a trained one-class support vector machine. Thus we can pick out those outliers. The proposed algorithm reaches satisfactory results. The algorithm can also be applied to other image style detection problems.

We consider a compact connected CR manifold with a transversal CR locally free $\mathbb R$-action endowed with a rigid positive CR line bundle. We prove that a certain weighted Fourier-Szeg�� kernel of the CR sections in the high tensor powers admits a full asymptotic expansion and we establish $\mathbb R$-equivariant Kodaira embedding theorem for CR manifolds. Using similar methods we also establish an analytic proof of an $\mathbb R$-equivariant Boutet de Monvel embedding theorem for strongly pseudoconvex CR manifolds. In particular, we obtain equivariant embedding theorems for irregular Sasakian manifolds. As applications of our results, we obtain Torus equivariant Kodaira and Boutet de Monvel embedding theorems for CR manifolds and Torus equivariant Kodaira embedding theorem for complex manifolds., 34 pages

Let $X$ be a compact connected strongly pseudoconvex CR manifold of dimension $2n+1, n \ge 1$ with a transversal CR $S^1$ action on $X$. We establish an asymptotic expansion for the $m$-th Fourier component of the Szeg\H{o} kernel function as $m\rightarrow\infty$, where the expansion involves a contribution in terms of a distance function from lower dimensional strata of the $S^1$ action. We also obtain explicit formulas for the first three coefficients of the expansion., Comment: 27pages, final version, to appear in the International journal of mathematics

Supplemental Digital Content is available in the text, Previous studies have yielded controversial results related to the contribution of interleukin 10 (IL-10) gene polymorphisms (IL-10 -592C/A, IL-10 -1082G/A, and IL-10 -819C/T) in the progression of cardiovascular disease (CVD). Thus, we performed a meta-analysis to summarize this situation. Eligible studies were retrieved by searching PubMed, Embase, Web of Science, and Cochrane Library with the last search up to July 7, 2015. Data were pooled by odds ratios (ORs) and their 95% confidence intervals (CIs). False-positive report probability (FPRP) analysis was conducted for all significant findings. Genotype-based mRNA expression analysis was also performed using data from 270 individuals with different ethnicities. Finally, 19 studies for IL-10 -592C/A polymorphism (7284 cases and 7469 controls), 21 studies for IL-10 -1082G/A polymorphism (8263 cases and 5765 controls), and 12 studies for IL-10 -819C/T polymorphism (4502 cases and 3190 controls) were included in the meta-analyses. With respect to IL-10 -819C/T polymorphism, statistically significant decreased CVD risk was found when all studies were pooled into the meta-analysis (T vs C: OR = 0.91, 95% CI = 0.84–0.98; TT + TC vs CC: OR = 0.90, 95% CI = 0.81–1.00). Subgroup analyses stratified by disease subtype suggested the -819C/T polymorphism was significantly associated with a decreased CAD risk (T vs C: OR = 0.90, 95% CI = 0.83–0.97; TT vs CC: OR = 0.81, 95% CI = 0.66–1.00; TT vs TC + CC: OR = 0.82, 95% CI = 0.69–0.98; TT + TC vs CC: OR = 0.89, 95% CI = 0.80–0.99), which was noteworthy finding as evaluated by FPRP. However, with regard to IL-10 -592C/A and IL-10 -1082G/A polymorphisms, no significant association with CVD risk was observed in the overall and subgroup analyses. In conventional meta-analyses, the results suggested that IL-10 -819C/T polymorphism was associated with decreased risk of CVD, especially CAD outcome, whereas IL-10 -592C/A and IL-10 -1082G/A polymorphisms might have no influence on the susceptibility of CVD. However, trial sequential analysis does not allow us to draw any solid conclusion for the association between IL-10 -592C/A or IL-10 -1082G/A polymorphism and CVD risk. Further large and well-designed studies are still needed.

Let $X$ be a compact strongly pseudoconvex CR manifold with a transversal CR $S^1$-action. In this paper, we establish the asymptotic expansion of Szeg\H{o} kernels of positive Fourier components and by using the asymptotics, we show that $X$ can be equivariant CR embedded into some $\mathbb C^N$ equipped with a simple $S^1$-action. An equivariant embedding of quasi-regular Sasakian manifold is also derived., Comment: final version, title changed

In order to investigate the effects of fuel injection distribution on the scramjet combustor performance, there are conducted three sets of test on a hydrocarbon fueled direct-connect scramjet test facility. The results of Test A, whose fuel injection is carried out with injectors located on the top-wall and the bottom-wall, show that the fuel injection with an appropriate close-front and centralized distribution would be of much help to optimize combustor performances. The results of Test B, whose fuel injection is performed at the optimal injection locations found in Test A, with a given equivalence ratio and different injection proportions for each injector, show that this injection mode is of little benefit to improve combustor performances. The results of Test C with a circumferential fuel injection distribution displaies the possibility of ameliorating combustor performance. By analyzing the effects of injection location parameters on combustor performances on the base of the data of Test C, it is clear that the injector location has strong coupled influences on combustor performances. In addition, an inner-force synthesis specific impulse is used to reduce the errors caused by the disturbance of fuel supply and working state of air heater while assessing combustor performances.

Let $X$ be a compact connected CR manifold of dimension $2n-1, n\geq 2$. We assume that there is a transversal CR locally free $S^1$ action on $X$. Let $L^k$ be the $k$-th power of a rigid CR line bundle $L$ over $X$. Without any assumption on the Levi-form of $X$, we obtain a scaling upper-bound for the partial Szeg\H{o} kernel on $(0,q)$-forms with values in $L^k$. After integration, this gives the weak Morse inequalities. By a refined spectral analysis, we also obtain the strong Morse inequalities in CR setting. We apply the strong Morse inequalities to show that the Grauert-Riemenschneider criterion is also true in the CR setting., Comment: 34 pages, final version, to appear in the Asian Journal of Mathematics. arXiv admin note: text overlap with arXiv:1204.4810, arXiv:1401.6647

Let $X$ be a compact connected CR manifold of dimension $2n-1, n\geq 2$. We assume that there is a transversal CR locally free $S^1$ action on $X$. Let $L^k$ be the $k$-th power of a rigid CR line bundle $L$ over $X$. Without any assumption on the Levi-form of $X$, we obtain a scaling upper-bound for the partial Szeg�� kernel on $(0,q)$-forms with values in $L^k$. After integration, this gives the weak Morse inequalities. By a refined spectral analysis, we also obtain the strong Morse inequalities in CR setting. We apply the strong Morse inequalities to show that the Grauert-Riemenschneider criterion is also true in the CR setting., 34 pages, final version, to appear in the Asian Journal of Mathematics. arXiv admin note: text overlap with arXiv:1204.4810, arXiv:1401.6647

Let $X$ be a compact strongly pseudoconvex CR manifold with a transversal CR $S^1$-action. In this paper, we establish the asymptotic expansion of Szeg�� kernels of positive Fourier components and by using the asymptotics, we show that $X$ can be equivariant CR embedded into some $\mathbb C^N$ equipped with a simple $S^1$-action. An equivariant embedding of quasi-regular Sasakian manifold is also derived., final version, title changed

Let $X$ be a compact connected CR manifold of dimension $2n-1, n\geq 2$ with a transversal CR $S^1$-action on $X$. We study the Fourier components of the Kohn-Rossi cohomology with respect to the $S^1$-action. By studying the Szeg\"o kernel of the Fourier components we establish the Morse inequalities on $X$. Using the Morse inequalities we have established on $X$ we prove that there are abundant CR functions on $X$ when $X$ is weakly pseudoconvex and strongly pseudoconvex at a point., Comment: 25 pages, title changed, main results added, to be published in Math. Z

We study the holomorphic embedding problem from a compact strongly pseudoconvex real algebraic hypersurface into a sphere of higher dimension. We construct a family of compact strongly pseudoconvex hypersurfaces $M_{\epsilon}$ in $\mathbb{C}^2,$ and prove that for any integer $N$, there is a number $\epsilon(N)$ with $0, Comment: 13 pages

In this paper, making use of the method developed by Catlin and Catlin-Cho,we study the $L^2$-estimate for the mixed boundary conditions on a lunar manifold with the mixed boundary conditions., 31pages,To appear in Transaction of AMS

It is very costly if a software project development has to recover from an error that is due to a mistake made in the construction of the requirements model. Validation of requirements model is thus always an effective means for detecting defects in the requirements model. In this paper, we present an approach to modeling requirements by UML with OCL, and the design of a tool EOC (Executable OCL Checker), that supports well-formed static checking for the OCL specification as well as the dynamic validation. We illustrate the approach and the tool by an example of B2B system. The requirements model of this system is validated by the prototyping executions of the system functions on the system states against the OCL constraints. The validation checks whether the execution of a use case violates the system invariants, and whether the requirements model is feasible according to its business workflow.

Two series tests were conducted on the hydrocarbon fueled direct-connect scramjet test facility to optimize the configuration and fuel injection distribution, and to investigate their effects on scramjet combustor performances. The optimal configuration and fuel injection obtained in Test A improved performances with pedestal force increment, inner-force and synthesis Isp of optimal configuration increasing of 11.3%, 6.4% and 7.5% respectively compared with baseline configuration. Test B had a circumferential fuel injection distribution, and the test results showed a better combustor performance can be obtained. Fuel injection distribution closing entrance and concentrating appropriately will help to obtain best combustor performance; and a proper circumferential fuel distribution will lead better combustor performance. The coupled effects of configuration and fuel injection distribution on combustor performance are stronger than that of individual factors, and equivalence ratio is a dominant factor to pedestal force increment and combustor innerforce. In addition, the inner-force synthesis specific impulse was defined to enhance the comparability of combustor performances at flight condition.

This paper presents a refinement calculus for object systems with visibility, dynamic binding and mutual dependency. The intention is to support effective use of a relational model for specifying and reasoning in activities of an object system development process. The semantics framework will define the meaning of the combinators in the exactly same way as their counterparts in the imperative programming languages. This makes the approach more accessible to the users who are already familiar with the algebraic laws and the verification tools developed for these languages. The paper also provides a set of transformation rules in support of object system refinement.

Health consciousness drives people to drink skim milk. Yet, improving the blue-white appearance and watery texture of skim milk is necessary to make consumers happy with skim milk. In this study, the influence of limited proteolysis with soluble or immobilized proteases, heat treatment, and pH on the whiteness of skim milk were examined to meet this goal. Limited proteolysis with milk-clotting enzymes increased the whiteness of skim milk. the proteases porcine pepsin and chymosin were immobilized onto nonporous ceramic, glass, and controlled pore glass (CPG) beads. The enzymes were coupled to beads either directly or via crosslinker proteins. Pepsin, immobilized onto CPG beads via crosslinker proteins, exhibited the best properties with respect to enzymatic activity, stability, and whitening efficiency. The L value (whiteness) of this immobilized enzyme-treated skim milk was 79.5, which approached the whiteness of 1% fat milk. Immobilized proteases whitened skim milk more effectively than did soluble proteases. The whiteness of skim milk was determined at various temperatures from 4 to 90��C. The L value increased with increasing temperature throughout the range tested. For samples not heated above 50��C, the increases in L values were completely reversible on cooling. Partial reversibility was observed with samples heated at 70��C and above. Milk whiteness was also determined at different pH values ranging from 5.0 to 8.2 at temperatures of 4, 20, and 30��C. The L value increased with decreasing pH and increasing temperature. A maximum L value of 80.0 was obtained at pH 5.0 and 30��C, which is higher than the L value of skim milk at its natural pH at room temperature. The temperature-dependent dissociation of major caseins was investigated by size exclusion chromatography at temperatures from 10 to 40��C. Free soluble ��-casein and ��-casein were found only at 10��C.

This paper is to present an algorithm to decide whether a real-time system satisfies a set of invariants which are constructed from linear inequalities of integrated durations of system states. Real-time systems in the paper are taken to be real-time automata which set up for each of state transitions a lower time bound and an upper time bound. The satisfaction problem can be translated into a family of linear programming problems. The algorithm is, according to the invariants, to reduce the infinite family of linear programming problems to an equivalent one with only finite members, and then to solve each of linear programming problems efficiently. The algorithm is so simple that no prerequisite of linear programming theory is assumed.

Based on presently available studies, a theoretical analysis shows that it is possible to use low-purity ferromagnetic rare-earth metal as core material to increase the central field of the superconducting solenoid with significant economical effect. As an example, a low-purity holmium consisting 67.6% Ho, 18% Dy, 10.8% Er and 3.6% Y has been investigated. Its magnetization has been measured up to 6T at 4.2K. A pair of cores of this material (o 25mm in diameter and 22-29mm long) has been fabricated. The test of the cores with a superconducting solenoid shows that the central field increases from 11T to 15T at 4.2K. It proved the applicability of low-purity rare-earth.