排序方式: 共有44条查询结果,搜索用时 375 毫秒
1.
2.
Algorithmic analysis of nonlinear hybrid systems 总被引:2,自引:0,他引:2
We present two methods for translating nonlinear hybrid systems into linear hybrid automata. Properties of the nonlinear systems can then be inferred from the automatic analysis of the translated linear hybrid automata. The first method, called clock translation, replaces constraints on nonlinear variables by constraints on clock variables. The second method, called linear phase-portrait approximation, conservatively overapproximates the phase portrait of a hybrid automaton using piecewise-constant polyhedral differential inclusions. Both methods are sound for safety properties. We illustrate both methods by using HYTECH, a symbolic model checker for linear hybrid automata, to automatically check properties of a nonlinear temperature controller and of a predator-prey ecology 相似文献
3.
Liu Zhihong CHEN Changchun Lin Huiwang Xiong Xiaoyi Dou Weizhi TSIEN Pei-Hsin 《中国稀土学报(英文版)》2004,22(Z2)
UHVCVD-grown Si/Si1- xGex/Si heterostructure was investigated by Photoreflectance spectroscopy (PR). The principle of PR used in semiconductor film was thoroughly described. According to the E1 transition energy in the Si1- xGex alloy, the Ge content in SiGe film with constant composition can be accurately characterized. In this study, determine the composition uniformity of larger diameter SiGe epiwafer by PR mapping technique was determined. These results show PR is very promising for Si1- xGex epilayer characterization with constant Ge content and can provide film measurements for production-worthy line monitor. 相似文献
4.
CHEN Changchun Liu Zhihong HUANG Wentao Dou Weizhi Xiong Xiaoyi Zhang Wei TSIEN Peihsin CAO Jianqing 《中国稀土学报(英文版)》2004,22(Z2)
Thin strain-relaxed Si0.8Ge0.2 films (57.6 nm) on the 30 keV Ar ion implantation Si substrates for different dose (1 × 1014, 5 × 1014, 3 × 1015 cm-2) were grown by ultra high vacuum chemical vapor deposition (UHVCVD) system.Rutherford backscattering/ion channeling (RBS/C), high resolution X-ray diffraction (HRXRD), Raman spectra as well as atomic force microscopy (AFM) were used to characterize these SiGe films. Investigations by RBS/C as well as HRXRD demonstrate that these thin Sio.8Geo.2 films could indeed epitaxially grow on the Ar ion implantation Si substrates. Under low dose ( 1 × 1014 cm-2) and medium dose (5 × 1014 cm-2) implantation conditions, the relaxation extents of SiGe films are 60.6% and 63.6%, respectively. However, high dose implantation (3 × 1015 cm-2) prompt the strain in epitaxial SiGe film to be close to full relaxation status (relaxation extent of 96.6% ). On the other hand, determinations of RBS/C also indicate the crystalline quality of SiGe film grown on high dose implantation Si substrate is nearly identical to that grown on low dose (1 × 1014 cm-2) implantation Si substrate. 相似文献
5.
Dyeing wastewater collected in Kyoto city, Japan, was investigated for the occurrence of aryl hydrocarbon receptor (AhR) ligands by using an AhR-responsive reporter gene assay. Concentrated extracts of wastewater samples elicited a dose-dependent increase in AhR ligand activity, and several hydrophobic HPLC fractions of the extracts were highly effective in inducing AhR ligand activity. Three potential AhR ligands were isolated from these fractions and identified to be Disperse Red 92, Disperse Yellow 64, and 3'-hydroxybenzo[b]quinophthalone by using HPLC and LC-MS/MS. Disperse Red 92, which has also been detected in the treated effluent from a sewage plant receiving the wastewater, is an anthraquinone disperse dye showing weak AhR binding affinity in the assay. Disperse Yellow 64 and 3'-hydroxybenzo[b]quinophthalone are quinoline disperse dyes capable of activating the AhR at nanomolar concentrations. In particular, Disperse Yellow 64 is a highly potent AhR ligand that was 3 times more effective in inducing AhR ligand activity than beta-naphthoflavone in the assay. Quinoline disperse dyes are suggested to be a new class of xenobiotic AhR ligands which pose a danger to aquatic biota and human health. 相似文献
6.
本文介绍了快速热处理技术的研究成果.包括:RHT设备,高剂量注入硅的RTA机理与最佳RTA条件选择,以及浅PN结制造,硅化物形成,BPSG回流和薄氧化层的快速氮化等RTP技术. 相似文献
7.
Transformation of bisphenol A (BPA) by ammonia-oxidizing bacteria (AOB) Nitrosomonas europaea ATCC 19718 was investigated. On the basis of the ultraperformance liquid chromatography (UPLC) coupled to quadrupole time-of-flight mass spectrometry (Q-TOF MS) and nuclear magnetic resonance analysis, we found N. europaea could transform BPA into nitro- and dinitro-BPA, suggesting that abiotic nitration between the biogenic nitrite and BPA played a major role in the transformation of BPA in the batch AOB system. Nitrite concentrations, temperature, and pH values were the major factors to influence the reaction rate. Furthermore, the yeast estrogenic screening assay showed that the formed nitro- and dinitro-BPA had much less estrogenic activity as compared with its parent compound BPA. Similar reactions of abiotic nitration were considered for 4-n-nonylphenol (nNP) and 4-n-octylphenol (nOP) since nitro-nNP and nitro-nOP were detected by UPLC-Q-TOF MS. In addition, results from the local wastewater treatment plant (WWTP) showed the occurrence of nitro-BPA and dinitro-BPA during the biological treatment process and in the effluent, indicating that nitration of BPA is also a pathway for removal of BPA. Results of this study provided implication that AOB in the WWTPs might contribute to removal of selected endocrine-disrupting compounds (EDCs) through abiotic nitritation. 相似文献
8.
9.
基于Z参数的微波晶体管高频噪声网络分析方法 总被引:1,自引:0,他引:1
For high-capacity wavelength division multiplexing(WDM) in optical fiber transmission systems, multi-wavelength light sources are needed to be operated at precisely-determined wavelength swith a fine separation of 0.8 or 1.6nm.Increasing efforts have been put into deve... 相似文献
10.