基于抽象语法描述的中间表示技术

中间表示技术是高质量可重定目标编译器开发中的关键技术。针对嵌入式软件危机 ,提出了一种基于抽象语法描述的中间表示技术 AIR。AIR以代数数据类型为主体 ,并用面向对象特征对其进行扩展。在这种中间表示技术中 ,通过使用不受限制的高级中间表示 ,可充分利用现有的前端。通过这种语法能对现有中间表示提供自然编码的抽象中间表示 ,提高了编译成份的可复用性和互操作性 ,简化了编译基础设施的建构 ,进一步实现了高质量编译器的快速开发     

HG—AFS测定土壤水溶态、可交换态Se（IV）和Se（VI）

硒的形态分析(含价态)在环境、生命科学以及食品、医药卫生方面具有重要意义．为了了解土壤水溶态和可交换态中硒具体价态以及相关价态含量，通过实验优化了氢化物发生原子荧光光谱法测定条件，直接测定Se(IV)和定量还原后测总无机硒，差减法测得Se(VI)量、对两种供试土壤的水溶态和可交换态硒存在的价态及含量进行了报道，方法简便可行．     

Co-半群的脉冲扰动与一类半线性脉冲发展方程

研究无限维Banach空间中一半群的脉冲扰动及一类非线性脉冲系统的温和解的存在性、唯一性、正则性和连续依赖性，最后给出例子加以说明。     

离子参与的化学反应与Gibbs-Helmholtz方程的应用

考察了无机化学领域中离子参与的化学反应(如酸碱电离、沉淀-溶解和氧化还原反应等)的电化学共同性，探讨Gibbs—Helmholtz方程对离子参与的化学反应的直接应用。     

正则地稳定环和模的稳定同构

设R是一个含幺结合环。如果任意两个稳定同构的有限生成投射R－模均是同构的，则称R是强Hermitian环；如果对任意正则元a,b∈R且aR bR=R,均存在y∈R使得a by可逆，则称R是正则地稳定环。本文证明了环R是强Hermitian环，当且仅当对任意自然数n有Mn(R)是正则地稳定环。还给出了正则地稳定环的一些性质和刻画。     

一种制备多糖凝胶纳米微粒的有效方法

在不使用有机溶剂和乳化剂情况下，利用反应条件温和且无毒的多价反离子对阳离子多糖的凝胶化诱导作用，制得可用于治疗药物输送的可生物降解亲水性纳米载体。通过优化反应参数，可使所得多糖凝胶微粒平均粒径介于20—100nm之间。     

环腺苷酸制剂对生长育肥猪生长性能和肉脂品质的影响

选用 2 0 kg左右的“杜长”元杂交猪 2 4头 ,随机分成 1个对照组、 3个试验组 ,试验组分别添加环腺苷酸制剂 (二丁酰 c AMP) 10 mg/kg(试验 1组 )、 2 0 mg/kg(试验 2组 )、 30 mg/kg(试验 3组 ) ,进行饲养试验、屠宰试验和肉的品质测定。结果表明 :添加二丁酰 c AMP,能提高生长育肥猪的生长性能和改善肉脂品质。以添加二丁酰 c AMP2 0 mg/kg效果最好 ,与对照组相比 ,日增重提高 11.80 % (P <0 .0 1) ,料重比降低 16 .4 % (P <0 .0 1) ,胴体瘦肉率提高 8.12 % (P <0 .0 5 ) ,眼肌面积增加 11.98% (P <0 .0 5 ) ,平均背膘厚下降 18.90 % (P <0 .0 1) ;大理石纹评分提高 11.6 6 % (P <0 .0 1) ;肌肉间脂肪含量提高 2 8.88% (P <0 .0 1)。     

论工程质量管理中的“顾客满意”

顾客满意是顾客对其要求已被满足的程度的感受,在工程质量管理中具有重要作用.顾客满意具有客观性、主观性、抽样性、动态性和全面性.建筑业企业应当从调查、识别并理解顾客的需求和期望,确保企业的目标与顾客的需求和期望相统一等六个方面使顾客满意,并采用顾客满意公式考评顾客满意程度.     

公诉证明标准的重塑——从证明标准的概念谈起

廓清了证明标准与证明要求的关系,在"案件事实清楚,证据确实、充分"这一证明要求的旗帜下,从两个层次上对公诉证明标准进行了阐述,提出了"有足够证据"这一表述方式,并对如何具体把握作了进一步的探讨,以期从庞杂的证明标准体系中理出一点头绪。     

“学校课程”的建构

澄清作为三级课程体制结构中的"学校课程"概念,分析"学校课程"的缘由和要义,参照泰勒提出的课程与指导原理,结合中国课程实际情况,初步梳理学校自主设计课程的思路、程序和相应的教师专业化、课程管理的要求。