面向多用途的数学概念知识分层表示方法

着重介绍NKIMath中数学概念的知识表示方法.首先给出了NKIMath知识系统的体系结构,分析了获取数学知识的不同用途.在次基础上给出了一种融合了本体、框架和逻辑综合的知识表示方法,将知识分为谓词逻辑层、知识描述层和概念关系层,不同层次可以满足不同用途的需求,详细给出了数学概念知识表示的基本模式以及参数表示形式.NKIMath可以很容易地实现与W3C推荐的数学文档标注语言OMDoc之间的相互转换,同时在知识表示的多粒度、多语言版本知识自动生成等方面优于OMDoc.     

大型广场文艺表演的虚拟编排原型系统

大型广场文艺表演的技术进步和规模扩大使传统人工编排手段难以满足需要.为了降低设计风险和检验构思,提出了大型广场文艺表演中演员行为的人群运动模型,并开发了大型广场文艺表演虚拟编排原型系统,使导演能够在一个虚拟现实环境创作表演内容和预演表演过程.该原型系统包含二维智能编排系统和三维表演仿真工具两部分.二维智能编排系统用于虚拟编排表演内容,并生成虚拟编排脚本.三维表演仿真工具用于按照虚拟编排脚本产生仿真表演的三维动态场景.几何体实例化被用于提高渲染大规模人群的效率.这个原型系统在实践中证明了可用性.     

区域基础设施系统的复杂性与长效性

基于系统科学理论归纳了基础设施的系统特性,解析了区域发展复合系统中基础设施子系统与其它子系统的耦合关系;提出4个命题,论证区域发展复合系统演进过程中各子系统的耦合机理,从子系统间耦合作用的角度阐释基础设施系统长效性的内涵;运用系统动力学构建基础设施系统长效性模型,进行政策实验,提出了长效性保持策略.     

磷化工企业计划模型及其算法研究

磷化工企业计划决策问题非常复杂,涉及的因素非常之多,是一个有待深入研究的领域.本文构建了磷化工企业的计划决策大型线性目标规划模型,该模型分采矿模块、选矿模块、制肥和销售以及综合目标5个模块,同时,提出了求解该模型的有界变量后分析法.实例计算表明,提出的模型和方法可靠实用,有助于企业制定一个优化的计划.     

德科研机构牵头协调欧盟氢与燃料电池研发

据德国卡尔斯鲁尔技术研究院（KTI）透露,该院核与能源技术研究所（IKET）将负责一项欧盟关于氢与燃料电池领域的综合研发项目。该项目代号为H2FC（意为Hydrogen and FuelCell,氢与燃料电池）,是欧盟科研基础设施计划框架内的一个项目,欧盟委员会将在未来四年间提供800万欧元资金支持。     

俄核战空中指挥所曝光

<正>5月4日,俄罗斯红场阅兵的空中预演中,由4架米格战机护卫的伊尔-86VKP大型飞机,被外界视为重头戏。这种神秘至极的飞机在1992年首度被曝光,而今年的红场大阅兵可称之为正式登台亮相。该机之所以备受关注,是因为它的特殊使命——它是     

大型公共建筑能耗数据集成技术

针对大型公共建筑能耗数据集成的问题,讨论构建建筑能耗监测系统平台涉及的关键集成技术.首先提出了建筑能耗监测系统的集成框架,然后讨论了能耗数据集成自下而上各个重要环节涉及的实现技术,并应用这些技术实现了某城市能耗监测平台的建设.     

浅谈提升运行变电站大型施工的安全管理

本文探讨了大型施工对变电站运行安全的影响,分析了变电站现场作业安全管理的难点,并从运行管理的角度提出了做好变电站大型施工现场安全管理方法。     

山西省大型分析仪器资源共享工作初探

本文通过分析山西省目前大型科研仪器资源共享的现状和面临的形势,提出了“十五”期间大型科研仪器资源共享工作发展的主要目标、工作内容及政策与措施。     

大型金属薄片曲面构件分瓣模具设计的计算方法

提出了大型金属薄片曲面构件分瓣模具设计的计算方法.从数学的角度,建立了模具设计的数学模型.这个模型具有实用性、普遍性,对各种大型曲面构件的模具设计,都可按此方法进行操作.