Objective This study aimed to examine the association of primary open-angle glaucoma(POAG)with autonomic dysfunction by assessing the differences in systemic and ocular responses to an autonomic provocation test,the V...Objective This study aimed to examine the association of primary open-angle glaucoma(POAG)with autonomic dysfunction by assessing the differences in systemic and ocular responses to an autonomic provocation test,the Valsalva manoeuvre(VM),between POAG patients and normal subjects.Methods Forty POAG and forty control subjects were subjected to the VM.Systemic and ocular parameters were measured at baseline,phase 2,and phase 4 of the VM(VM2 and VM4),where VM2 and VM4 are sympathetic and parasympathetic nervous activation states,respectively.Heart rate variability was used to assess the autonomic nervous activity,among which the high-frequency component(HF)and the low-frequency(LF)/HF ratio were used as indices of parasympathetic and sympathetic activation,respectively.Results POAG patients demonstrated higher sympathetic activation(LF/HF ratio median:2.17 vs.1.53,P=0.000)than controls at baseline and exhibited attenuated sympathetic and parasympathetic responses(a smaller change in LF/HF and HF values)during the VM than controls.During VM,the intraocular pressure(IOP),mean blood pressure(MAP),mean ocular perfusion pressure(MOPP),and the Schlemm’s canal area(SCAR)increased from baseline to VM2 and then decreased from VM2 to VM4 in both the POAG and control groups(all P<0.05).However,when we compared the changes above,the fluctuations in IOP,MAP,and MOPP were more pronounced in POAG than in controls(all P<0.05),while the changes in amplitudes of SCAR were smaller in POAG(P<0.05).Furthermore,from VM2 to VM4,the choroid thickness(ChT)in the POAG group was significantly decreased,while it was unchanged in normal subjects(P=0.258).A regression analysis showed a significant correlation of the baseline LF/HF with IOP change values(ΔIOP)from baseline to VM2 in POAG(R^(2)=0.147,P=0.014).Conclusion Patients with POAG showed more pronounced fluctuations in IOP,MAP,MOPP and ChT during the VM than controls.These reactions could be associated with autonomic dysfunction in POAG.展开更多
Pancreatic cancer is estimated to be the fourth most common cancer in men and fifth in women in the world and has poor prognosis.In recent years,more and more effort has been put on the relationship between pancreatic...Pancreatic cancer is estimated to be the fourth most common cancer in men and fifth in women in the world and has poor prognosis.In recent years,more and more effort has been put on the relationship between pancreatic cancer and apoptosis.As a newly discovered inhibitor of apoptosis,survivin has drawn more attention.Strong evidence has shown that survivin is expressed in pancreatic cancer cells on frozen sections.Survivin increases in the development of pancreatic ductal adenocarcinoma and its expression can be a marker in evaluating the prognosis of pancreatic cancer patients.Survivin itself may be a new target in the treatment of pancreatic cancer and a survivin DNA vaccine could generate specific antitumor effects in pancreatic carcinoma models.展开更多
The influence of vibration on the spatiotemporal structure of the pattern in dielectric barrier discharge is studied for the first time.The spatiotemporal structure of the pattern investigated by an intensified charge...The influence of vibration on the spatiotemporal structure of the pattern in dielectric barrier discharge is studied for the first time.The spatiotemporal structure of the pattern investigated by an intensified charge-coupled device shows that it is an interleaving of three sublattices, whose discharge sequence is small rods–halos–large spots in each half-cycle of the applied voltage.The result of the photomultiplier indicates that the small rods are composed of moving filaments.The moving mode of the moving filaments is determined to be antisymmetric stretching vibration by analyzing a series of consecutive images taken by a high-speed video camera.The antisymmetric stretching vibration affects the distribution of wall charges and leads to the halos.Furthermore, large spots are discharged only at the centers of the squares consisting of vibrating filaments.The vibration mechanism of the vibrating filaments is dependent on the electric field of wall charges.展开更多
Objective To characterize the heterotrophic nitrifying bacteria. Methods The bacteria were isolated from membrane bioreactor for treating synthetic wastewater using the method newly introduced in this study. Fluoresce...Objective To characterize the heterotrophic nitrifying bacteria. Methods The bacteria were isolated from membrane bioreactor for treating synthetic wastewater using the method newly introduced in this study. Fluorescence in situ hybridization (FISH) was used to validate the nonexistence of autotrophic ammonia oxidizers and nitrite oxidizers. Batch tests were carried out to investigate the capability of heterotrophic nitrification by the pure culture. Phylogenetic analysis of the pure culture was performed. Results A heterotrophic nitrifier, named Bacillus sp. LY, was newly isolated from the membrane bioreactor system in which the efficiency of TN removal was up to 80%. After 24-day, incubation, the removal efficiency of COD by Bacillus sp. LY was 71.7 %. The ammonium nitrogen removal rate after assimilation nearly ceased by Bacillus sp. LY was 74.7% The phylogenetic tree of Bacillus sp. LY and the neighbouring nitrifiers were given. Conclusions The batch test results indicate that Bacillus sp. LY can utilize the organic carbon as the source of assimilation when it grows on glucose and ammonium chloride medium accompanying the formation of oxidized-nitrogen. It also can denitrify nitrate while nitrifying. Bacillus sp. LY may become a new bacterial resource for heterotrophic nitrification and play a bioremediation role in nutrient removal.展开更多
Co_(3)V_(2)O_(8)/Co_(3)O_(4)/Ti_(3)C_(2)T_(x) composite was easily synthesized via one-step succinct-operated hydrothermal process.The interconnected Co_(3)V_(2)O_(8)/Co_(3)O_(4) nanowires network can in-situ grow and...Co_(3)V_(2)O_(8)/Co_(3)O_(4)/Ti_(3)C_(2)T_(x) composite was easily synthesized via one-step succinct-operated hydrothermal process.The interconnected Co_(3)V_(2)O_(8)/Co_(3)O_(4) nanowires network can in-situ grow and anchor on the surface of Ti_(3)C_(2)T_(x) via the strong Co-F bonds and contribute tremendously to depress Ti_(3)C_(2)T_(x) self-restacking.Profiting from the synergistically interplayed effect among the multiple interfaces and high conductivity of Ti_(3)C_(2)T_(x) as well as outstanding stability of the as-designed nanostructure,the optimum Co_(3)V_(2)O_(8)/Co_(3)O_(4)/Ti_(3)C_(2)T_(x)electrode reaches a commendable specific capacitance(up to 3800 mF·cm^(−2)),great rate capability(80%capacitance retention after 20-times current increasing),and preeminent cycling stability(95.4%/85.5%retention at 7000th/20,000th cycle).Moreover,the all-solid-state asymmetric supercapacitor based on Co_(3)V_(2)O_(8)/Co_(3)O_(4)/Ti_(3)C_(2)T_(x) and active carbon can deliver a high energy density of 84.0μWh·cm^(−2) at the power energy of 3.2 mW·cm^(−2),and excellent cycling durability with 87.0%of initial capacitance retention upon 20,000 loops.This work provides a practicable pathway to tailor MXene-based composites for high-performance supercapacitor.展开更多
Dirac semimetals(DSMs)are an important class of topological states of matter.Here,focusing on DSMs of band inversion type,we investigate their boundary modes from the effective model perspective.We show that in order ...Dirac semimetals(DSMs)are an important class of topological states of matter.Here,focusing on DSMs of band inversion type,we investigate their boundary modes from the effective model perspective.We show that in order to properly capture the boundary modes,k-cubic terms must be included in the effective model,which would drive an evolution of surface degeneracy manifold from a nodal line to a nodal point.Sizable k-cubic terms are also needed for better exposing the topological hinge modes in the spectrum.Using first-principles calculations,we demonstrate that this feature and the topological hinge modes can be clearly exhibited inβ-CuI.We extend the discussion to magnetic DSMs and show that the time-reversal symmetry breaking can gap out the surface bands and hence is beneficial for the experimental detection of hinge modes.Furthermore,we show that magnetic DSMs serve as a parent state for realizing multiple other higher-order topological phases,including higher-order Weyl-point/nodal-line semimetals and higher-order topological insulators.展开更多
To reveal and quantify the interactive effects of drought stresses and elevated CO2 concentration [CO2] on photochemistry efficiency of cucumber seedlings, the portable chlorophyll meter was used to measure the chloro...To reveal and quantify the interactive effects of drought stresses and elevated CO2 concentration [CO2] on photochemistry efficiency of cucumber seedlings, the portable chlorophyll meter was used to measure the chlorophyll content, and the Imaging-PAM was used to image the chlorophyll fluorescence parameters and rapid light response curves (RLC) of leaves in two adjacent greenhouses. The results showed that chlorophyll content of leaves was reduced significantly with drought stress aggravated. Minimal fluorescence (Fo) was increased while maximal quantum yield of PSII (Fv/Fm) decreased significantly by severe drought stress. The significant decrease of effective quantum yield of PSII (Y(Ⅱ)) accompanied by the significant increase of quantum yield of regulated energy dissipation (Y(NPQ)) was observed under severe drought stress condition, but there was no change of quantum yield of nonregulated energy dissipation (Y(NO)). We detected that the coefficient of photochemical quenching (qP) decreased, and non-photochemical quenching (NPQ) increased significantly under severe drought stress. Furthermore, we found that maximum apparent electron transport rate (ETRmax) and saturating photosynthetically active radiation (PPFDsat) decreased significantly with drought stress aggravated. However, elevated [CO2] significantly increased FvlFm, qP and PPFDsat, and decreased NPQ under all water conditions, although there were no significant effects on chlorophyll content, Fo, Y(Ⅱ), Y(NPQ), Y(NO) and ETRmax. Therefore, it is concluded that CO2-fertilized greenhouses or elevated atmospheric [CO2] in the future could be favorable for cucumber growth and development, and beneficial to alleviate the negative effects of drought stresses to a certain extent.展开更多
Phylogenomic evidence from an increasing number of studies has demonstrated that different data sets and analytical approaches often reconstruct strongly supported but conflicting relationships.In this study,785 singl...Phylogenomic evidence from an increasing number of studies has demonstrated that different data sets and analytical approaches often reconstruct strongly supported but conflicting relationships.In this study,785 single-copy nuclear genes and 75 complete plastomes were used to infer the phylogenetic relationships and estimate the historical biogeography of the apple genus Malus sensu lato,an economically important lineage disjunctly distributed in the Northern Hemisphere and involved in known and suspected hybridization and allopolyploidy events.The nuclear phylogeny recovered the monophyly of Malus s.l.(including Docynia);however,the genus was supported to be biphyletic in the plastid phylogeny.An ancient chloroplast capture event in the Eocene in western North America best explains the cytonuclear discordance.Our conflict analysis demonstrated that ILS,hybridization,and allopolyploidy could explain the widespread nuclear gene tree discordance.One deep hybridization event(Malus doumeri)and one recent event(Malus coronaria)were detected in Malus s.l.Furthermore,our historical biogeographic analysis integrating living and fossil data supported a widespread East Asianwestern North American origin of Malus s.l.in the Eocene,followed by several extinction and dispersal events in the Northern Hemisphere.We also propose a general workflow for assessing phylogenomic discordance and biogeographic analysis using deep genome skimming data sets.展开更多
Program synthesis is an exciting topic that desires to generate programs satisfying user intent automatically. But in most cases, only small programs for simple or domain-specific tasks can be synthesized. The major o...Program synthesis is an exciting topic that desires to generate programs satisfying user intent automatically. But in most cases, only small programs for simple or domain-specific tasks can be synthesized. The major obstacle of synthesis lies in the huge search space. A common practice in addressing this problem is using a domain-specific language, while many approaches still wish to synthesize programs in general programming languages. With the rapid growth of reusable libraries, component-based synthesis provides a promising way, such as synthesizing Java programs which are only composed of APIs (application programming interfaces). However, the efficiency of searching for proper solutions for complex tasks is still a challenge. Given an unfamiliar programming task, programmers would search for API usage knowledge from various coding resources to reduce the search space. Considering this, we propose a novel approach named ProSy to synthesize API-based programs in Java. The key novelty is to retrieve related knowledge from Javadoc and Stack Overflow and then construct a probabilistic reachability graph. It assigns higher probabilities to APIs that are more likely to be used in implementing the given task. In the synthesis process, the program sketch with a higher probability will be considered first;thus, the number of explored reachable paths would be decreased. Some extension and optimization strategies are further studied in the paper. We implement our approach and conduct several experiments on it. We compare ProSy with SyPet and other state-of-the-art API-based synthesis approaches. The experimental results show that ProSy reduces the synthesis time of SyPet by up to 80%.展开更多
Warm deformation behavior of the Fe-6.5wt.%Si alloy was studied by isothermal compression in the temperature range of 300-700℃.The results show that the influence of the ordered phases on the flow stress gradually we...Warm deformation behavior of the Fe-6.5wt.%Si alloy was studied by isothermal compression in the temperature range of 300-700℃.The results show that the influence of the ordered phases on the flow stress gradually weakens with increasing deformation temperature.The flow stress of the furnace-cooled sample with the high degree of order at 300℃is higher than that of the quenched sample with the low degree of order,and the flow stresses of both samples are nearly the same at 500-700℃.The hardness difference between two samples deformed at 500℃gradually decreases with increasing strain,accompanying with a reduction in hardness of the furnace-cooled sample,which indicates a work-softening behavior.The analyses of dislocation configurations and ordered structure suggest that the dynamic recovery and deformation-induced disorder result in the work-softening behavior.An appropriate deformation temperature window for improving the formability of the Fe-6.5wt.%Si alloy is about 500-600℃.展开更多
In this study, a series of Hastelloy tapes were electro-polished, and the dividing method was used to carry out a detailed investigation on the influence of polishing current(I) on root mean square(R_q) at various ima...In this study, a series of Hastelloy tapes were electro-polished, and the dividing method was used to carry out a detailed investigation on the influence of polishing current(I) on root mean square(R_q) at various image scales(L). The electro-polishing is found to be effective mainly at L smaller than 10μm, where the R_q–I relationship could be fitted by an exponential decay function with a residual roughness value. An approximate model of electro-polishing process was established to interpret the exponential decay function. This study provides a quantified insight into the electro-polishing process, which could help to obtain more understanding of its mechanism.展开更多
基金supported by the National Natural Science Foundation of China(No.51772133)the Taishan Scholar Project of Shandong Province,China(ZR2017JL022)+1 种基金the Project of“20 Items of University”of Jinan,China(No.2018GXRC001)Case-by-Case Project for Top Outstanding Talents of Jinan,China。
基金supported by the National Natural Science Foundation of China(No.82070965).
文摘Objective This study aimed to examine the association of primary open-angle glaucoma(POAG)with autonomic dysfunction by assessing the differences in systemic and ocular responses to an autonomic provocation test,the Valsalva manoeuvre(VM),between POAG patients and normal subjects.Methods Forty POAG and forty control subjects were subjected to the VM.Systemic and ocular parameters were measured at baseline,phase 2,and phase 4 of the VM(VM2 and VM4),where VM2 and VM4 are sympathetic and parasympathetic nervous activation states,respectively.Heart rate variability was used to assess the autonomic nervous activity,among which the high-frequency component(HF)and the low-frequency(LF)/HF ratio were used as indices of parasympathetic and sympathetic activation,respectively.Results POAG patients demonstrated higher sympathetic activation(LF/HF ratio median:2.17 vs.1.53,P=0.000)than controls at baseline and exhibited attenuated sympathetic and parasympathetic responses(a smaller change in LF/HF and HF values)during the VM than controls.During VM,the intraocular pressure(IOP),mean blood pressure(MAP),mean ocular perfusion pressure(MOPP),and the Schlemm’s canal area(SCAR)increased from baseline to VM2 and then decreased from VM2 to VM4 in both the POAG and control groups(all P<0.05).However,when we compared the changes above,the fluctuations in IOP,MAP,and MOPP were more pronounced in POAG than in controls(all P<0.05),while the changes in amplitudes of SCAR were smaller in POAG(P<0.05).Furthermore,from VM2 to VM4,the choroid thickness(ChT)in the POAG group was significantly decreased,while it was unchanged in normal subjects(P=0.258).A regression analysis showed a significant correlation of the baseline LF/HF with IOP change values(ΔIOP)from baseline to VM2 in POAG(R^(2)=0.147,P=0.014).Conclusion Patients with POAG showed more pronounced fluctuations in IOP,MAP,MOPP and ChT during the VM than controls.These reactions could be associated with autonomic dysfunction in POAG.
文摘Pancreatic cancer is estimated to be the fourth most common cancer in men and fifth in women in the world and has poor prognosis.In recent years,more and more effort has been put on the relationship between pancreatic cancer and apoptosis.As a newly discovered inhibitor of apoptosis,survivin has drawn more attention.Strong evidence has shown that survivin is expressed in pancreatic cancer cells on frozen sections.Survivin increases in the development of pancreatic ductal adenocarcinoma and its expression can be a marker in evaluating the prognosis of pancreatic cancer patients.Survivin itself may be a new target in the treatment of pancreatic cancer and a survivin DNA vaccine could generate specific antitumor effects in pancreatic carcinoma models.
文摘The influence of vibration on the spatiotemporal structure of the pattern in dielectric barrier discharge is studied for the first time.The spatiotemporal structure of the pattern investigated by an intensified charge-coupled device shows that it is an interleaving of three sublattices, whose discharge sequence is small rods–halos–large spots in each half-cycle of the applied voltage.The result of the photomultiplier indicates that the small rods are composed of moving filaments.The moving mode of the moving filaments is determined to be antisymmetric stretching vibration by analyzing a series of consecutive images taken by a high-speed video camera.The antisymmetric stretching vibration affects the distribution of wall charges and leads to the halos.Furthermore, large spots are discharged only at the centers of the squares consisting of vibrating filaments.The vibration mechanism of the vibrating filaments is dependent on the electric field of wall charges.
基金supported by the National Natural Science Foundation of China (No. 20176027).
文摘Objective To characterize the heterotrophic nitrifying bacteria. Methods The bacteria were isolated from membrane bioreactor for treating synthetic wastewater using the method newly introduced in this study. Fluorescence in situ hybridization (FISH) was used to validate the nonexistence of autotrophic ammonia oxidizers and nitrite oxidizers. Batch tests were carried out to investigate the capability of heterotrophic nitrification by the pure culture. Phylogenetic analysis of the pure culture was performed. Results A heterotrophic nitrifier, named Bacillus sp. LY, was newly isolated from the membrane bioreactor system in which the efficiency of TN removal was up to 80%. After 24-day, incubation, the removal efficiency of COD by Bacillus sp. LY was 71.7 %. The ammonium nitrogen removal rate after assimilation nearly ceased by Bacillus sp. LY was 74.7% The phylogenetic tree of Bacillus sp. LY and the neighbouring nitrifiers were given. Conclusions The batch test results indicate that Bacillus sp. LY can utilize the organic carbon as the source of assimilation when it grows on glucose and ammonium chloride medium accompanying the formation of oxidized-nitrogen. It also can denitrify nitrate while nitrifying. Bacillus sp. LY may become a new bacterial resource for heterotrophic nitrification and play a bioremediation role in nutrient removal.
基金This study was financially supported by the National Science Foundation of China(No.52201254)the National Science Foundation of Shandong Province(Nos.ZR2020MB090 and ZR2020QE012)+1 种基金the Project of“20 Items of University”of Jinan(No.202228046)Taishan Scholar Project of Shandong Province.
文摘Co_(3)V_(2)O_(8)/Co_(3)O_(4)/Ti_(3)C_(2)T_(x) composite was easily synthesized via one-step succinct-operated hydrothermal process.The interconnected Co_(3)V_(2)O_(8)/Co_(3)O_(4) nanowires network can in-situ grow and anchor on the surface of Ti_(3)C_(2)T_(x) via the strong Co-F bonds and contribute tremendously to depress Ti_(3)C_(2)T_(x) self-restacking.Profiting from the synergistically interplayed effect among the multiple interfaces and high conductivity of Ti_(3)C_(2)T_(x) as well as outstanding stability of the as-designed nanostructure,the optimum Co_(3)V_(2)O_(8)/Co_(3)O_(4)/Ti_(3)C_(2)T_(x)electrode reaches a commendable specific capacitance(up to 3800 mF·cm^(−2)),great rate capability(80%capacitance retention after 20-times current increasing),and preeminent cycling stability(95.4%/85.5%retention at 7000th/20,000th cycle).Moreover,the all-solid-state asymmetric supercapacitor based on Co_(3)V_(2)O_(8)/Co_(3)O_(4)/Ti_(3)C_(2)T_(x) and active carbon can deliver a high energy density of 84.0μWh·cm^(−2) at the power energy of 3.2 mW·cm^(−2),and excellent cycling durability with 87.0%of initial capacitance retention upon 20,000 loops.This work provides a practicable pathway to tailor MXene-based composites for high-performance supercapacitor.
文摘Dirac semimetals(DSMs)are an important class of topological states of matter.Here,focusing on DSMs of band inversion type,we investigate their boundary modes from the effective model perspective.We show that in order to properly capture the boundary modes,k-cubic terms must be included in the effective model,which would drive an evolution of surface degeneracy manifold from a nodal line to a nodal point.Sizable k-cubic terms are also needed for better exposing the topological hinge modes in the spectrum.Using first-principles calculations,we demonstrate that this feature and the topological hinge modes can be clearly exhibited inβ-CuI.We extend the discussion to magnetic DSMs and show that the time-reversal symmetry breaking can gap out the surface bands and hence is beneficial for the experimental detection of hinge modes.Furthermore,we show that magnetic DSMs serve as a parent state for realizing multiple other higher-order topological phases,including higher-order Weyl-point/nodal-line semimetals and higher-order topological insulators.
基金Supported by the National Key Project of Scientific and Technical Supporting Programs from Ministry of Science & Technology of China (2006BAD28B07-5)the Hi-Tech Research and Development (863) Program of China(2001AA247012)the Innovation in Graduate Education Plan of Northwest A&F University (05YCH013).
文摘To reveal and quantify the interactive effects of drought stresses and elevated CO2 concentration [CO2] on photochemistry efficiency of cucumber seedlings, the portable chlorophyll meter was used to measure the chlorophyll content, and the Imaging-PAM was used to image the chlorophyll fluorescence parameters and rapid light response curves (RLC) of leaves in two adjacent greenhouses. The results showed that chlorophyll content of leaves was reduced significantly with drought stress aggravated. Minimal fluorescence (Fo) was increased while maximal quantum yield of PSII (Fv/Fm) decreased significantly by severe drought stress. The significant decrease of effective quantum yield of PSII (Y(Ⅱ)) accompanied by the significant increase of quantum yield of regulated energy dissipation (Y(NPQ)) was observed under severe drought stress condition, but there was no change of quantum yield of nonregulated energy dissipation (Y(NO)). We detected that the coefficient of photochemical quenching (qP) decreased, and non-photochemical quenching (NPQ) increased significantly under severe drought stress. Furthermore, we found that maximum apparent electron transport rate (ETRmax) and saturating photosynthetically active radiation (PPFDsat) decreased significantly with drought stress aggravated. However, elevated [CO2] significantly increased FvlFm, qP and PPFDsat, and decreased NPQ under all water conditions, although there were no significant effects on chlorophyll content, Fo, Y(Ⅱ), Y(NPQ), Y(NO) and ETRmax. Therefore, it is concluded that CO2-fertilized greenhouses or elevated atmospheric [CO2] in the future could be favorable for cucumber growth and development, and beneficial to alleviate the negative effects of drought stresses to a certain extent.
基金National Natural Science Foundation of China supports this research (32000163 and 31620103902)
文摘Phylogenomic evidence from an increasing number of studies has demonstrated that different data sets and analytical approaches often reconstruct strongly supported but conflicting relationships.In this study,785 single-copy nuclear genes and 75 complete plastomes were used to infer the phylogenetic relationships and estimate the historical biogeography of the apple genus Malus sensu lato,an economically important lineage disjunctly distributed in the Northern Hemisphere and involved in known and suspected hybridization and allopolyploidy events.The nuclear phylogeny recovered the monophyly of Malus s.l.(including Docynia);however,the genus was supported to be biphyletic in the plastid phylogeny.An ancient chloroplast capture event in the Eocene in western North America best explains the cytonuclear discordance.Our conflict analysis demonstrated that ILS,hybridization,and allopolyploidy could explain the widespread nuclear gene tree discordance.One deep hybridization event(Malus doumeri)and one recent event(Malus coronaria)were detected in Malus s.l.Furthermore,our historical biogeographic analysis integrating living and fossil data supported a widespread East Asianwestern North American origin of Malus s.l.in the Eocene,followed by several extinction and dispersal events in the Northern Hemisphere.We also propose a general workflow for assessing phylogenomic discordance and biogeographic analysis using deep genome skimming data sets.
基金This paper was supported by the National Natural Science Foundation of China under Grant No.61690203the National Key Research and Development Program of China under Grant No.2018YFB0204301.
文摘Program synthesis is an exciting topic that desires to generate programs satisfying user intent automatically. But in most cases, only small programs for simple or domain-specific tasks can be synthesized. The major obstacle of synthesis lies in the huge search space. A common practice in addressing this problem is using a domain-specific language, while many approaches still wish to synthesize programs in general programming languages. With the rapid growth of reusable libraries, component-based synthesis provides a promising way, such as synthesizing Java programs which are only composed of APIs (application programming interfaces). However, the efficiency of searching for proper solutions for complex tasks is still a challenge. Given an unfamiliar programming task, programmers would search for API usage knowledge from various coding resources to reduce the search space. Considering this, we propose a novel approach named ProSy to synthesize API-based programs in Java. The key novelty is to retrieve related knowledge from Javadoc and Stack Overflow and then construct a probabilistic reachability graph. It assigns higher probabilities to APIs that are more likely to be used in implementing the given task. In the synthesis process, the program sketch with a higher probability will be considered first;thus, the number of explored reachable paths would be decreased. Some extension and optimization strategies are further studied in the paper. We implement our approach and conduct several experiments on it. We compare ProSy with SyPet and other state-of-the-art API-based synthesis approaches. The experimental results show that ProSy reduces the synthesis time of SyPet by up to 80%.
基金This work is financially supported by the National Natural Science Foundation of China(51471031,U 1660115)the State Key Laboratory for Advanced Metals and Materials(2016Z-17).
文摘Warm deformation behavior of the Fe-6.5wt.%Si alloy was studied by isothermal compression in the temperature range of 300-700℃.The results show that the influence of the ordered phases on the flow stress gradually weakens with increasing deformation temperature.The flow stress of the furnace-cooled sample with the high degree of order at 300℃is higher than that of the quenched sample with the low degree of order,and the flow stresses of both samples are nearly the same at 500-700℃.The hardness difference between two samples deformed at 500℃gradually decreases with increasing strain,accompanying with a reduction in hardness of the furnace-cooled sample,which indicates a work-softening behavior.The analyses of dislocation configurations and ordered structure suggest that the dynamic recovery and deformation-induced disorder result in the work-softening behavior.An appropriate deformation temperature window for improving the formability of the Fe-6.5wt.%Si alloy is about 500-600℃.
基金financially supported by the National Natural Science Foundation of China (No. 51475257)the Fundamental Research Program of Shenzhen (No. JCYJ20170307152319957)the Tribology Science Fund of State Key Laboratory of Tribology, China (No. SKLT2016B02)
文摘In this study, a series of Hastelloy tapes were electro-polished, and the dividing method was used to carry out a detailed investigation on the influence of polishing current(I) on root mean square(R_q) at various image scales(L). The electro-polishing is found to be effective mainly at L smaller than 10μm, where the R_q–I relationship could be fitted by an exponential decay function with a residual roughness value. An approximate model of electro-polishing process was established to interpret the exponential decay function. This study provides a quantified insight into the electro-polishing process, which could help to obtain more understanding of its mechanism.