《国家自然科学基金进展报告》由会员分享，可在线阅读，更多相关《国家自然科学基金进展报告（13页珍藏版）》请在金锄头文库上搜索。
1、国 家 自 然 科 学 基 金资 助 项 目 进 展 报 告资助类别： 面上项目亚类说明： 附注说明： 项目名称： 使用代数化元语言构建跨领域的工程决策支持系统负 责 人： 顾学雍 电话： 010-62784622电子邮件 ： bkooalum.mit.edu依托单位： 清华大学联 系 人： 宿芬 电话： 010-62784622资助金额： 20.0000(万元) 累计拨款： 12.0000 (万元)执行年限： 2008.01-2010.12116695 0填表日期：年月日国家自然科学基金委员会制（2004 年 11 月）项目批准号 70771059申请代码 G0110归口管理部门收件日期国家
2、自然科学基金资助项目进展报告第 1 页关于填报国家自然科学基金资助项目进展报告的说明2004PF一. 项目负责人每年须填报国家自然科学基金资助项目进展报告 （简称进展报告） ，以此作为自然科学基金资助项目跟踪、管理的主要依据。二. 项目负责人应认真阅读自然科学基金项目管理和财务管理有关规定、办法（查阅http:/）, 在年度工作的基础上，实事求是地撰写进展报告 。三. 项目依托单位认真审核, 于每年 1 月 15 日前将本单位受资助项目的进展报告统一报送国家自然科学基金委员会归口管理部门。四. 进展报告由报告正文和附件两部分组成, 报告正文请参照 “进展报告报告正文撰写提纲”撰写，并可根据需要
3、增设栏目，要求层次分明, 内容准确。项目执行过程中的进展或研究成果、计划调整情况等，须在报告中如实反映。五. 国家自然科学基金委员会归口管理部门负责审核项目年度进展报告 、跟踪项目进展与研究成果、核准项目负责人的次年度研究计划和调整要求，确定项目继续资助的情况。对不按要求填报进展报告 ，或项目执行不力，或内容、人员等调整不当而影响项目顺利进展的，视其情节轻重要求负责人和依托单位及时纠正，或给予缓拨资助经费、中止或撤消项目等处理。六. 经费执行情况报表由重大项目的课题和重点项目填报，重大项目每年度填报随进展报告一同报送，重点项目在进行中期检查的年度填报。其他项目无需填报经费执行情况报表 ，只需在
4、进展报告中对经费使用情况和下一年度经费安排做出必要的说明。注：国家自然科学基金强调科学道德和良好的学风，反对弄虚作假和浮躁作风，要求工作认真、填报材料实事求是。部分探索性研究内容，虽经过努力，也可能没获得理想结果或甚至失败，特别是面上项目。如有这种情况，也请在报告中实事求是地反映出来，说明工作状况和发展态势，供国家自然科学基金委员会和专家参考。国家自然科学基金资助项目进展报告第 2 页报 告 正 文 撰 写 提 纲1. 年度计划要点和调整情况。简要说明是否按计划进行, 哪些研究内容根据国内外研究发展状况及项目进展情况做了必要的调整和变动，哪些研究内容未按计划进行，原因何在。2. 研究工作主要进
5、展和阶段性成果。(本部分是进展报告的重要部分,请认真撰写)。请分层次叙述所开展的研究工作、取得的进展或碰到的问题等，给出必要的数据、图表。根据实际情况提供国内外有关研究动态的对比分析及必要的参考文献。本部分亦包括国内外合作与学术交流、研究生培养情况等。3. 下一年度工作计划，包括国内外合作与交流计划。如要求对原研究内容和主要成员作重要调整，需明确要求调整的内容，并说明理由、必要性以及对项目实施的影响。 （注：为保证基金项目顺利进行，研究人员要求稳定，一般不作变更。如确需变更，须按基金项目管理办法规定的要求提出申请，经自然科学基金委归口管理部门核准后方可变更。 ）4. 当年经费使用情况与下一年度
6、经费预算。给出必要的经费使用情况的说明，逐项列出固定资产超过 5 万元的设备的名称、使用情况等有关说明。5. 存在的问题、建议及其他需要说明的情况。说明项目执行中的问题和建议。对部分探索性强的研究，有可能未获得理想结果或甚至失败，请如实地反映，说明原因、工作状况、发展态势和建议等，供基金委管理人员或同行专家参考。6. 附件：给出标注基金资助的已发表和已有录用通知的论文目录、其他成果清单和必要的证明材料复印件等。发表论文按常规文献引用方式列出。国家自然科学基金资助项目进展报告第 3 页国家自然科学基金资助项目进展报告第 4 页报 告 正 文1 年度计划要点和调整情况按照项目研究目标，2008年度
7、研究计划要点包括：第一阶段：（2008 年 1 月2008 年 9 月）调研不同工程领域决策支持系统的实现手段和使用方法，使用元语言来描述这些不同决策过程的内容，比较和分析其共性和个性，确定目标系统的平台通用功能和应用于专门领域的工具包的功能。运用启发式评估(Heuristic evaluation)和可用性工程(Usability engineering)的方法分析和总结现有决策支持系统的建模和分析过程的人机交互模式，并且分析用户使用相关系统进行操作的人机界面引导体系；第二阶段：（2008 年 10 月到 2009 年 6 月）使用“事物网” 语言的数理规格实现一个工程决策问题的元语言核心，
8、并且在现有理论的基础上根据实际工程的特点，更新推理机的算法；通过决策任务分析、用户需求分析和用户状态转移矩阵分析，得到使用者在跨领域工程决策系统中的全状态转移列表，给出基于特定领域应用情景的用户指导书，确定系统的各个人机交互状态和功能模块；归类数据类型，做出数据字典。本年度已经圆满完成上述计划，并提前开展下一年度计划工作的部分任务的划分与安排。研究工作按计划顺利进行，目前研究计划无调整。2 研究工作主要进展和阶段性成果(1)研究工作的主要进展(a)调研了多家工程领域决策支持系统，分析目标系统平台的通用功能和应用于特定领域的工具包的功能，并分析了其实现手段和使用方法。 (b)将事物网模型中的可执
9、行元语言在高端工程软件Mathematica下重新编译，并加入了新的编程机制，拓展了元语言核心的灵活度和可靠性。 (c)在跨领域工程决策的实例研究中，我们结合汽车购买决策辅助网站的相关数据以及进行系统建模，通过对用户行为模式数据进行分析，自动计算出用户的相关需求及决策结果。并继承国内外汽车行业对RFID中间件技术及RFID数据管理领域的研究成果，在服务质量管理(Quality of Service, QoS)研发框架下，研究如何对汽车行业在供应链中所产生的RFID动态数据实现实时管理。这些数据，包括用户行为模式与供应链的动态数据，提供本课题一系列的跨领域的数据内容，并将运用于以后的跨领域决策数
10、据管理以及决策推算的案例。(2)阶段性成果(a)以调研分析了上海通用公司，上海铁路局机车维修系统，航空排班，以及公交系统等跨领域工程决策支持系统为切入点，确定目标系统的平台通用功能和应用于专门领域的工具包的功能，并对其工程系统进行了相应的仿真建模，在实现共性功能的基础上分析实现个性功能的手段和使用方法。国家自然科学基金资助项目进展报告第 5 页图一：上海通用汽车供应链网络及汽车制造系统如图一所示，上海通用汽车供应链网络主要由工厂，配送中心，以及供应商三部分组成。其中工厂存在向配送中心和供应商订货这两种途径，同样，供应商也存在向工厂和配送中心的供货这两种途径，而供应商之间也存在分包的情况。因此上
11、海通用汽车供应链网络的核心问题是如何对该系统进行自动排列组合并找到最优方案。(b)在供应链问题的基础上，我们结合上海通用汽车的集装箱调运问题，以及RFID 的应用，进行了系统仿真建模。技术上，我们将模型分为过程模型和数据模型两部分，并用数据驱动的方式，将这两部分整合。不但高效的仿真出集装箱的配送方式，更使得整个系统更具活性，当线路，数量等数据发生变化时，只需要更改相应的数据数量即可，对整个系统构架不会产生任何架构上的影响，这是以往建模所难以实现的特点。图二：上海通用汽车集装箱运输问题实体关系图国家自然科学基金资助项目进展报告第 6 页P a r tI n v e n t r o yC o n
12、t a i n e r S c h e d u l i n gO r d e r L i s tP r e p a r i n gO r d e r G e n e r a t i n g_ IT r a n s p o r t i n gD e p o s i t i n gD a t a I n i t i a l i z i n gC o n t a i n e rI n v e n t o r yP l a c eT r a n s W a i t i n gL i n eD e p o s i t W a i t i n gL i n eT e r m i n a t o r_ FD
13、 a t a R e c o r d i n gP r e - p r o c e s sS i m u l a t i o n E n g i n eP o s t - p r o c e s s图三：经事物网语言编译后的集装箱运输问题二步图(c)下图（图四） ，为公交实时排班系统。在本系统中，我们根据公交站点以及每个站点的客流量将公交系统进行仿真建模，并根据客流量的时间分布计算出最优的排班计划。Bus StationInformationReal-timeParametersReal-timeChartingSystemManipulationsReal-timeAnimationDyna
14、micDecision图四：公交实时排班系统国家自然科学基金资助项目进展报告第 7 页(d)下图（图五） ，是根据现有航班数据的，以数据驱动的方式建立航空时实排班系统的仿真模型，并实现当发生突发事件时，系统可以根据改变的数据，自动产生新的排班系统，解决了以往人工调试所需的工作量和复杂度。 图五：航空重调度系统（2）将可执行的元语言模型在工程软件Mathematica下重新编译，并加入Binding（绑定）和Barrier & Lease（壁垒与权契）的机制。实现利用基本的数据类型，将跨领域决策模型中的大量实质相同的概念和处理方法，通过元语言统一的语法和语义进行描述，通过代数法则对模型进行分类、
15、简化、变换等功能，实现建模自动化。Mathematica下的事物网模型不但精简了其元语言核心的代码量，更增强了其灵活度和可靠性，但运算的速度还需要进一步调试。(a)图六为加入绑定机制的元语言的示意图。在“student has camera”这个语句中，student的属性可以先和Tian Ju,Huang Ke, Ryan中的一个绑定，而has的属性也可以和borrow, buy中的一个绑定，camera可以film,digital中的一个绑定。这样同一个语句通过不同的属性而拥有了多种排列组合，从而使元语言在不增加其代码量的基础上更具有表达性。StudentHuangBuyFilmDigit
16、alBorrowTianRyanProcess - FunctionObject -Object - Data ContentProcess图六：加入绑定机制的元语言国家自然科学基金资助项目进展报告第 8 页(b)图七为加入壁垒与权契机制的元语言的示意图。壁垒对可通过某一特定过程的实体进行了限制。如图所示，只有当同时拥有红色和黄色这两个实体时，才可以出发过程，而经过该过程的红，黄实体，也相应的转变成了蓝色的实体。而契机则对当拥有红，黄实体时，何时将其触发成蓝色这个时间做了规定。图七：加入壁垒与权契机制的元语言(c)我们应用元语言对“哲学家用餐”这个经典的问题进行了仿真建模。图八为“哲学家用餐”的示意图。在该问题中，哲学家主要进行思考和吃饭两种活动，如图所示，五个哲学家，五只叉子，而有当哲学家同时拥有两只叉子时，才可以进餐。因此， “哲学家用餐”这个问题同时包
