因特网在全球的迅猛发展，给政府部门与企事业单位的招标投标带来巨大的机遇和严重的挑战。本课题研究因特网的应用对传统招标和投标方法的影响以及适合因特网环境的招标投标新方法和新模式。该研究可以丰富招标投标与拍卖的理论和方法，在实践上可以为政府部门和企事业单位利用因特网开拓新的招标投标业务、提高企业参与全球投标竞争的能力。 2100433B

对98例哮喘家系成员，用PCR-SSP对HLA-DQ行基因分型；荧光标记-Genescan分析系统，对TCRvβ的26个基因mRNA半定量分析，检测TCRvβ受体谱，研究发现HLA-DQA1*0101，*0601和DQB1*0303，*0601是哮喘遗传易感等位基因标志；TCRβ链的B8和α链的A2等位基因是哮喘的遗传易感基因；哮喘病人外周血的TCRvβ受体谱不存在限制性取用，但哮喘病人支气管肺泡灌洗液有TCR的BV5.2限制性取用；HLA-DQB1*0201等位基因和TCR BV9基因片段可限定对屋尘螨的特异性IgE反应；HLA-DQA1*0101等位基可限定哮喘病人对TCR BV6基因片段的限制性取用。 2100433B

混成系统是近些年来学术研究的热点领域之一，其主要特征表现为物理进程和计算进程的深度融合，广度交互，混成系统的异构性、复杂的时间约束性、一定的时间可预测性、更高的安全性以及交互的复杂性和不可预测性，给这类系统的描述、设计、分析和验证带来了巨大的挑战。如何保证信息物理融合系统的正确性业已成为国内外工业界和学术界的难题之一。本项目发展了一种混成系统的建模语言和基于事件的建模方法，引进了when型程序和Until型程序分别用来处理离散行为变迁和连续模式切换，形式化地描述了混成系统的行为和性质，提出了混成建模语言的若干语义模型，我们首先以公理化的方法描述基本原子反应和组合算子的含义，探讨混成建模语言的规范型，揭示了混成系统行为的基本模式，所有不同语法形式的混成程序都可以利用代数规则转化为规范型，从而将程序行为的语义分析转化为程序规范型的语法分析，为混成系统的分析和验证提供坚实的语义基础。研究了混成系统的中断机制，构造中断程序的描述语言和语义模型，发展了混成系统中断机制的分析方法和验证技术，如：中断程序的总体执行时间、不同中断类型的中断点检查以及中断次数统计。运用提出的建模技术，对自动驾驶、车联网、多智能体等实例系统进行建模和分析，为其他类型混成系统的分析和验证提供了参考和思路。该项目共发表学术论文12篇，其中SCI论文4篇，EI论文8篇，CCF B类论文3篇，CCF C类论文4篇。