选择特殊符号
选择搜索类型
请输入搜索
批准号 |
79970024 |
项目名称 |
基于因特网的招标投标新模式的研究 |
项目类别 |
面上项目 |
申请代码 |
G0207 |
项目负责人 |
鲁耀斌 |
负责人职称 |
教授 |
依托单位 |
华中科技大学 |
研究期限 |
2000-01-01 至 2002-12-31 |
支持经费 |
9(万元) |
因特网在全球的迅猛发展,给政府部门与企事业单位的招标投标带来巨大的机遇和严重的挑战。本课题研究因特网的应用对传统招标和投标方法的影响以及适合因特网环境的招标投标新方法和新模式。该研究可以丰富招标投标与拍卖的理论和方法,在实践上可以为政府部门和企事业单位利用因特网开拓新的招标投标业务、提高企业参与全球投标竞争的能力。 2100433B
参考价格:4500 元/㎡ (均价)主力户型:全部户型开盘日期:2008-09-01交房日期:2012-09-01装修状况:毛坯建筑类别:多层房屋属性:住宅容 积 率:1.18 关于容积率绿 化 率:...
招标投标活动一般应按照以下程序进行:①有明确的招标范围、招标组织形式和招标方式,并在项目立项审批时经农业部批准。②自行招标的应组建招标办事机构,委托招标的应选择由代理资质的招标代理机构。③编写招标文件...
所谓“以房养老”,就是房主把拥有合法产权的房子抵押给保险公司或银行等商业机构,这些商业机构按照评估得出的房屋价值,然后以定期付给老人一笔养老金的一种养老方式,直到房主去世,房子产权归商业机构所有。这种...
投标保函基本信息
第 1 页 共 3 页 投标保函基本信息 特 征码 标签 特征码 ] 投标保函是指在招标投标中招标人为保证投标人不得撤销投标文 件、中标后不得无正当理由不与招标人订立合同等, 要求投标人在提 交投标文件时一并提交的一般由银行出具的书面担保。 我们就来和大 家简单说一说投标保函基本信息。 担保银行的责任是:当投标人在投标有效期内撤销投标,或者中 标后不能同业主订立合同或不能提供履约保函时, 担保银行就自己负 责付款。菲迪克(FIDIC)条款中,投标保证金又译作 TENDERSECURITY. 投标保函是指在投标中,招标人为防止中标者不签定合同而使其 遭受损失,要求投标人提供的银行保函, 以保证投标人履行招标文件 所规定的义务: 第 2 页 共 3 页 1、在标书规定的期限内,投标人投标后,不得修改原报价、不得 中途撤标; 2、投标人中标后, 必须与招标人签定合同并在规定的时间内提供 银行
基于微信的本科毕业设计新模式探索
微信是一款流行的免费APP,提供可以发送或接收文字、语音、视频的聊天环境,同时支持多人群聊,还可以传递文件。本科毕业设计是大学阶段学生在校完成的最后一项任务,这是对大学阶段学习的总结,也是正式工作前的准备。教师分析了本科毕业设计的作用及问题,探索了利用微信构建本科毕业设计新模式,以期提高本科毕业设计效果。
批准号 |
79770036 |
项目名称 |
基于事例推理的工程项目招标投标决策模型的研究 |
项目类别 |
面上项目 |
申请代码 |
G0107 |
项目负责人 |
张金隆 |
负责人职称 |
教授 |
依托单位 |
华中科技大学 |
研究期限 |
1998-01-01 至 2000-12-31 |
支持经费 |
9(万元) |
对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篇。