陕北荞麦粉营养分析

以陕北红花荞麦粉，白花荞麦粉，苦荞粉为材料，以小麦粉为对照，对荞麦粉营养品质，氨基酸组成进行分析，试验结果表明，荞麦粉中含有小麦粉中所没有的芦丁，苦荞粉中芦丁含量最高，为20．3mg/100g，荞麦粉淀粉含量低，平均为75．14%，荞麦粉蛋白质中氨基酸种类齐全，8种人体必需氨基酸比例适宜，组成合理，赖氨酸含量是面粉中的3倍，荞麦粉的营养价值高于小麦粉。     

西北水资源可持续利用现状分析

通过分析西北水资源现状和水资源与生态环境,水资源与工业、农业及城市发展的关系,提出西北水资源可持续利用的对策与建议。     

(E)-2-[2-甲氧基-5-(2,4,6-三甲氧基苯乙烯磺酰甲基)]苯胺基乙酸钠的简便合成

经6步合成了α,β-不饱和砜类化合物2-[2-甲氧基-5-(2,4,6-三甲氧基苯乙烯磺酰甲基)]苯胺基乙酸,总收率为22%。在关键步骤硫醚氧化步骤中,将反应温度由室温改为75℃,收率由55%提高到85%。缩合脱羧反应中,以醋酸铵为碱,此步收率由30%提高到60%,为该类物质的合成提供了适合较大量合成的方法。     

基于PB实现Web Services的系统集成

针对大型企业内部异构系统存在的差异性,提出一套解决目前异构系统集成的有效方案.该方案基于先进的WebServices技术,能很好地克服异构系统之间操作平台、语言、协议等的差异,实现无缝、松耦合的系统集成.     

AADL分级调度模型的分析与验证

针对嵌入式系统体系结构分析设计语言(architecture analysis and design language, AADL)分级调度模型的分析问题,提出了基于模型检验的可调度性分析和验证方法.基于时间自动机理论,将AADL分级调度模型转换为时间自动机网络,将待验证性质描述为时序逻辑公式,通过模型检验工具对可调度性进行分析和验证.研究结果表明,使用模型检验方法来分析AADL分级调度模型的可调度性是可行的.相对其他方法而言,该方法利用了形式化方法的穷举性来分析系统的性质,分析结果更加精确.