航天嵌入式软件运行时错误静态分析方法

提出一种基于属性模型的运行时错误静态分析方法.该方法将运行时的错误按照发生原因进行分类,提取每类错误的属性模式,对属性模式进行形式化建模形成属性有限状态机;并对程序流图中与属性相关的路径进行分析,对照属性有限状态机运用路径敏感和上下文敏感的方法分析运行时错误.实验结果显示,该方法与现有主流方法相比,在准确率和效率之间可取得良好平衡.      

淮南矿区深部岩巷典型围岩参数反分析研究!

基于典型巷道的表面收敛位移,通过进化神经网络方法进行了淮南矿区典型围岩类型的物性参数反分析研究.采用反分析得到的参数,通过数值正分析得到了和实测基本吻合的深部位移结果.表明通过反分析研究,基本得到了反映典型围岩类型的物性参数.     

Radiation Induced Optical Absorption of Cubic Lead Fluoride Crystals and the Effect of Annealing

Transparent and colorless lead fluoride crystals with sizes of 20 × 20 × 20 （ram3） are irradiated with several doses of γ-rays from a ^60Co source. Their transmittance spectra before and after irradiation are measured, and a new parameter ΔT = Tb - Ta is defined to evaluate the irradiation damage. Three optical absorption bands peaking at 27Onto, 37Onto and 50Onto are found in the plots of AT versus wavelength, and their intensities increase with the irradiation dose. These optical absorption bands, except the one at 27Onto, can recover spontaneously with time. Thermal annealing treatment can enhance this recovery of the transmittance, while the optimum annealing temperature for different samples depends on the irradiation dose.     

红平菇子实体水不溶性膳食纤维提取工艺的研究

采用酸碱结合法、复合酶法和酶碱结合法从红平菇子实体中提取红平菇水不溶性膳食纤维,在最佳工艺条件下,其纤维产率分别为33.25、31.56、34.18%。三种方法各有自身特点。虽然操作步骤较为繁琐,酶碱结合法提取红平菇膳食纤维具有产率高、纯度高,且溶胀度、持水力最佳,成本适中的优点,是最优的工艺,即酶料液比为1:9、酶浓度为7%,酶解时间为4h,碱料液比1:4。     

丙酮酸(盐)的液体发酵及其产物提取工艺优化的研究

采用TTC-CaCO3复合平板法筛选丙酮酸(盐)高产菌株,并采用正交实验优化丙酮酸(盐)的液体发酵条件及其产物提取工艺,结果表明:丙酮酸(盐)液体发酵培养的最优维生素组合为盐酸硫胺素0.015 mg/L,烟酸9 mg/L,生物素0.020 mg/L,盐酸吡哆醇0.35 mg/L;最优提取条件组合为:萃取剂种类为磷酸三正丁酯,发酵液与萃取液体积比为1:2,提取温度为20℃,其中萃取剂种类、发酵液与萃取液体积比对提取率的影响显著(P<0.05)丙酮酸(盐)发酵产物浓度及提取率均基本达到国内研究水平。     

Charge ordering modulations in a Bi_0.4Ca_0.6MnO₃ film with a thickness of 110 nm

The low temperature sample stage in a transmission electron microscope is used to investigate the charge ordering behaviours in a Bi 0.4 Ca 0.6 MnO 3 film with a thickness of 110 nm at 103 K.Six different types of superlattice structures are observed using the selected-area electron diffraction(SAED) technique,while three of them match well with the modulation stripes in high-resolution transmission electron microscopy(HRTEM) images.It is found that the modulation periodicity and direction are completely different in the region close to the Bi 0.4 Ca 0.6 MnO 3 /SrTiO 3 interface from those in the region a little further from the Bi 0.4 Ca 0.6 MnO 3 /SrTiO 3 interface,and the possible reasons for this are discussed.Based on the experimental results,structural models are proposed for these localized modulated structures.     

2，3，4，6-四-O-乙酰基书-β-吡喃葡萄糖基异硫氰酸酯合成方法的改进

以葡萄糖为原料经过乙酰化、硫氰化二步反应合成2,3,4,6-四-O-乙酰基-β-D-吡喃葡萄糖基异硫氰酸酯（GITC）．使用重结晶替代柱层析纯化方法,方法操作简便、收率高．并用IR和NMR对其进行了结构确认．     

数学建模的教学活动对大学数学教学的影响

通过分析数学建模的特点,现行大学数学教学的现状,讨论数学建模对大学数学教学的影响。     

《化学进展》近期要目预告

低温甲醇液相合成催化剂及工艺的研究(储伟　吴玉塘　罗仕忠　包信和　林励吾) 　　沸石类分子筛合成研究新进展(袁忠勇　周午纵　李赫FDA6) 　　新一代高活性烯烃均相聚合催化剂——多氮螯合配位后区过渡金属络合物　　(王梅　钱明星　虞晓敏　何仁) 　　超临界流体技术研究进展(肖建平　范崇政) 　　水分子簇的研究进展(王林双　王榕树) 　　钴基催化剂在Fischer\|Tropsch合成烃中的研究进展(银董红　钟炳　彭少逸) 　　光声位相理论及其在化学中的应用研究进展(伍荣护　苏庆德) 　　茂金属/硼化合物烯烃聚合催化体系研究进展(张普玉　王立　封麟先) 　　内分泌干扰剂的研究进展(任晋　蒋可) 　　21世纪的分析化学——回顾与前瞻(黄本立) 　　结构敏感材料的基础研究(郭国聪　姚元根　吴克琛　吴棱　黄锦顺)     

预氧丝原位炭化无粘结剂C／C复合材料工程研究

从简化工艺、降低成本的目的出发,研究了以生石油焦为基体材料,以廉 ＰＡＮ－ＯＦ（聚丙烯腈预氧丝）代替ＣＦ作为增强纤维,不加粘结剂直接成型再原位炭化制备高性能Ｃ／Ｃ复合材料的可行性。实验表明,这种新工艺具有原材料便宜,工艺流程短操作简单等特点,有大幅度降低Ｃ／Ｃ复合材料制造成本的潜力。