霍比特人3:五军之战

<正>中土系列最后问世的一部电影——《霍比特人3:五军之战》终于上映了。从承上启下的意义上来讲,它像一块色泽璀璨的拼图,最终被嵌入两大三部曲中间后,一幅中土世界的雄伟蓝图便完整铺展在了眼前:111岁的比尔博是如何与甘道夫白首相见,甘道夫与凯兰崔尔有着怎样的难舍情愫,精灵和矮人的世纪基情为何缘定前生……整个六部电影的故事脉络变得通透明白,绝大部分人物都将在战场上相会。《霍比特人3》的副片名原本     

基于多文种科技期刊业务集成平台建设的刍议

通过采用跨媒体信息传播和处理技术,解决新疆在多文种采编系统、排版软件中存在信息化不对称的问题,开发多文种采编系统和排版软件、信息资源库等,形成多文种科技期刊业务集成平台。实现多文种信息资源共享和期刊生产的规范化、网络化、无纸化,达到规范工作流程,提高工作效率,节约成本、提升生产管理水平的目标。     

带有缓冲库的串联CIMS渐近稳定性分析

讨论了一个可靠机器,一个不可靠机器和一个缓冲库构成的计算机集成系统(CIMS),利用由该系统所决定的算子A+E生成的Banach空间中的正压缩C0半群,证明了此系统的非负稳定解恰是算子A+E的0本征值所对应的规范化后的本征向量;同时通过对算子A+E的谱点分布的分析,证明了算子A+E的谱点均位于左半平面且在虚轴上除0点外无谱,作为线性算子半群稳定性的一个直接结果,得出了该系统解的渐近稳定性.     

论测试与评价在CMM和CMMI中的作用

测试与评价在CMM和CMMI中有着不同的作用，这两种作用反映了两种不同模型对测试与评价技术在软件管理工程中作用的不同认识，体现了CMMI对测试与评价支持优于CMM，论证了CMMI是一个更适应于时代发展的模型。     

Banach空间中二阶Volterra型积分微分方程边值问题解的存在性

利用上、下解法在正规锥上证明了二阶非线性Volterra型积分微分方程边值问题解的存在性。     

集成电路设计产业产品创新趋势研究——国际片上系统（SOC）IP核发展现状及对策分析

基于国际集成电路设计产业的分析，系统阐述了国际SOCIP核的发展状况，指出SOC设计将是集成电路设计企业技术创新的发展方向。提出了一些国际SOCIP核发展的对策，包括口核标准化、SOC技术平台开发及加强与Foundry的合作。     

人-机结合的智能科学和智能工程

20世纪80年代以来，与人工智能(AI)密切相关的有两件大事，即日本的第五代计算机计划和中国的(“八六三”-306)智能计算机计划。两个计划实施后，使人们对智能自动化问题的认识有很大转变与提高。钱学森先生对此指出了人机结合的重要性，并认为应该研究人机结合的智能系统。笔者于1994年提出“智能科学和智能工程”这一学科领域的设想，到今天，有关人-机结合的智能系统研究已经有了相当的进展。     

并行工程产品开发过程的建模方法学

在并行工程中，为了实现产品开发过程的集成、并行和最优化，首先要建立能够充分反映产品开发过程各方面信息的产品开发过程模型。通过对模型的仿真分析和优化，指导产品开发过程的实施。本文首先提出了并行工程产品开发过程模型是集成多视图模型，随后提出了采用集成多视图建模理论的并行工程产品开发过程建模、分析和管理的方法学框架     

对二甲苯分离提纯进展

对混合二甲苯中分离对二甲苯的现有工艺进行了总结，综述了对二甲苯分离工艺的国内外研究进展，指出吸附－结晶集成分离技术将是对二甲苯分离的发展趋势。