基于VxWorks的微小型AUV体系结构设计

为提高自主式水下机器人(Autonomous Underwater Vehicle,AUV)控制系统的鲁棒性,将分层递阶结构与包容式结构相结合,提出了一种混合式控制体系结构,开发了基于VxWorks的微小型AUV控制系统.该系统以“海事金枪鱼”号AUV为载体,以嵌入式PC104计算机为系统核心,通过传感器的信息融合、算法实现和多任务运行,控制系统驱动推进器、舵、翼等执行单元实现AUV的姿态调整、导航和路径规划,最终达到自主作业的目的.“海事金枪鱼”号AUV的开发应用,验证了方案的可行性以及控制系统的可靠性和稳定性.     

共享模式下的集装箱空箱调运优化

为解决共享模式下的集装箱空箱调运问题,基于航线、船舶运力、运输时间等限制性因素,以多决策期的空箱调运总成本最低为目标,建立集装箱共享系统的不确定需求随机机会约束模型。使用MATLAB,利用模拟退火(simulated annealing, SA)算法与遗传算法(genetic algorithm,GA)结合的混合算法进行数值求解和算例分析,表明模型是有效的,对船公司制订空箱共享、舱位共用策略有参考价值。     

复合图书馆的业务流程构建

基于复合图书馆业务流程产生的背景，提出复合图书馆业务流程设计的基本目标与要求。在分析影响复合图书馆业务流程设计的多种因素的基础上，作者探讨了复合图书馆业务流程的实施方案的基本框架，并指出现阶段推广复合图书馆的业务流程亟待解决的若干问题。     

论复合图书馆时代的编目工作——兼议“编目工作弱化”

在对复合图书馆定位的基础上,论述复合图书馆环境下编目工作所面临的新形势和新挑战,并对“编目工作弱化”的观点提出不同看法。     

基于时空自动机的CPS建模与验证

为了描述信息物理融合系统(cyber-physical systems,CPS)的时空一致性,一种实时规范语言STe C已经提出[1],CPS的设计和实现能否满足时空一致性显得十分重要。文中对混成自动机进行了扩展,提出了具有位置驱动特点的时空自动机。文中提出了基于时空自动机的CPS建模与验证框架。在框架中,首先使用STe C语言对CPS进行了描述并使用时空自动机对CPS进行建模。文中采用的形式化验证方法为微分动态逻辑(differential dynamic logic,DL),其操作模型为HP(hybrid program)。利用DL可以将所建模型转换为对应的HP。结合得到的HP对验证的CPS属性进行规约,最后使用定理证明器Ke Ymaera对属性进行自动化验证。     

Hybrid Journals: Ensuring Systematic and Standard Discoverability of the Latest Open Access Articles

An important current challenge for research information providers is ensuring the automated discovery of Open Access (OA) content in hybrid journals. We found no evidence of discovery services that are able to systematically identify the crucially important free full-text availability of OA articles regardless of where and how such articles have been published (i.e., in fully OA journals or in hybrid journals). A solution is important because hybrid journals are proliferating and consequently the chances of missing OA articles is real and is happening. Nearly all of the major publishers now provide such journals in order to take advantage of recent changes in research funder requirements, and to be competitive in the new OA business model. By working with a group of scholarly publisher partners and by using standard metadata elements that publishers are already familiar with, we show a systematic and standardized manner to identify OA at the article level. Our proposal is to embed OA-related elements in the metadata freely exposed by publishers for aggregators and discovery services. For example, in the Table of Content (TOC) Really Simple Syndication feeds the publishers use to announce new journal issues and content. Based on the initial results obtained, we discuss the capabilities of our solution, and evaluate the impact produced by our application in the systematic discoverability of OA content from the participating hybrid journals, using an implementation done with the freely available journal current awareness service—JournalTOCs.     

混合动力汽车动力系统仿真研究

针对混合动力汽车中新型动力总成系统的部件构成,研究了新型动力总成的结构形式;以混合动力汽车动力性能仿真研究为目的,对总成中的动力电池、驱动电机、发动机等关键部件以及整车行驶动力学数学模型进行研究;应用Matlab/Simulink仿真软件对数学模型进行了仿真模型的实现,并讨论了模型的有效性;指出了关键总成部件的仿真应用及其方法,为混合动力汽车动力性能仿真研究工作奠定了基础技术条件。     

混合动力助力车车架结构强度分析及轻量化设计

以某混合动力助力车为研究对象,采用有限元方法对所设计的车架进行静态结构强度分析,得到了车架结构的应力分布图。以轻量化设计为出发点,在车架结构强度满足条件的前提下,对车架结构部分参数改进后的模型进行了进一步的分析,为混合动力助力车车架结构的优化设计以及轻量化设计提供了理论依据。     

超轻度混合动力汽车动力转换控制策略

讨论以发动机最佳燃油经济性或电动机最佳效率为控制目标的动力转换控制策略,以油门踏板位置及蓄电池SOC状态为输入变量,设计了混合动力汽车动力转换模糊控制器,建立了整车控制仿真模型。文中阐述了由电机切换到发动机工作时发动机的起动、调速控制,以及离合器快速平稳地结合的过程。仿真结果表明：对转换车速的门限值控制模糊化能够使转换车速更加符合驾驶员对动力性的要求。     

三维动画模型制作的混合建模流程探讨

要制作出一个优秀的三维动画模型需要具备艺术修养和软件技术,同时不能忽略制作方法及工作流程的总结和提炼。本文分析了各种制作方法,初步提出混合建模的工作流程,以探索三维动画模型的制作方法。