某大客车车架结构模态分析

为计算某大客车车架骨架模态,分析设计的合理性,考察各部件间的共振特性,用HyperWorks对车架有限元模型进行前、后处理,抽取三维模型的中面,在中面上划分网格,采用SHELL单元为基本单元,建立各零部件的有限元模型.应用OptiStruct求解得到车身骨架前6阶的模态及振型描述.从仿真分析可知,客车车身固有频率能避开...     

基于经济的网格资源调度算法研究

网格使构建虚拟组织,在全世界范围内共享资源成为现实.但是,在网格环境下的资源管理和调度是一项相当复杂的工作,这主要是由于资源分布在世界各地,隶属于不同的组织,各个资源拥有者都有不同的使用和访问策略、开销模型、不断变化的负载和可用性.为了满足网格计算环境中资源调度的复杂需要,可以将现实世界中的经济原理和模型应用到网格环境下的任务调度中,并据此提出了几种经济资源调度算法.     

基于聚四氟乙烯表面滴状冷凝的传热分析

表面材料对滴状冷凝传热影响很大,本文建立聚四氟乙烯复合材料表面传热的数学物理模型,分析滴状冷凝的传热机理,计算表面液滴和液膜的冷凝传热,获得冷凝面的总传热系数.应用ANSYS软件模拟液滴,液膜传热,液膜区换热对整体滴状冷凝影响很大.     

谓词模态逻辑中变量的严格指派问题

目前,命题模态逻辑已成为人工智能以及计算机科学等其他领域的有效工具,但谓词模态逻辑却不是.关于谓词模态逻辑还存在着很多的争议和问题.表面上看,在命题模态逻辑中添加相应的量词而得到谓词模态逻辑似乎是一件很简单的事情,但是这些新添加的量词却带来了许多的问题和麻烦,例如,变量的严格指派问题、不变论域与可变论域问题、跨界相等问题等.主要研究谓词模态逻辑中变量的严格指派问题.首先,介绍什么是变量的严格指派问题;其次,讨论对于该问题现有的解决办法及所存在的不足;最后,分析造成该问题的深层次原因,并简要介绍该问题的解决办法.     

基于CAN总线的模态测试悬挂控制系统设计

阐述了模态测试悬挂控制系统的研究意义,分析了模态测试悬挂控制系统的工作原理和硬件结构,制定了适合模态试验悬挂控制系统的CAN通讯协议,设计了底层电磁力与气压控制软件、上/下位机通信软件和上层工控机监控软件;试验结果表明,基于CAN总线的模态测试悬挂控制系统具有控制精度高、工作稳定可靠、通信速度快和可扩展性强等特点,很好地实现了模态测试悬挂控制系统预期的研制指标。     

计及多模态分量的新能源电力系统节点频率分析方法

“双碳”背景下,大规模新能源接入电力系统,频率响应空间分布差异扩大,此时各节点频率响应中的非全局分量可能主导频率稳定问题,而对于此类问题的研究目前尚不充分。为此,基于频率响应模态分解思路,提出新能源电力系统节点频率响应量化分析方法。首先,用惯量-阻尼-调频系统统一结构近似各类型设备频率-有功传递函数。然后,基于二次特征值分析方法将各节点频率响应进行分解,获得共模频率与若干差模频率的表达式。进一步地,解析了各频率分量的最大偏移量、变化率等关键特征量,并类比总惯量与全局频率变化率间的对应关系,针对各节点各模态频率分量定义了节点模态惯量指标。所提频率分解方法与指标直观地展示了电力系统中各差模频率的节点分布差异。最后,仿真验证了所提频率分解方法和指标的有效性。     

基于提取双选紧密特征的RGB-D显著性检测网络

针对现有算法对不同来源特征之间的交互选择关注度欠缺以及对跨模态特征提取不充分的问题,提出了一种基于提取双选紧密特征的RGB-D显著性检测网络。首先,为了筛选出能够同时增强RGB图像显著区域和深度图像显著区域的特征,引入双向选择模块(bi-directional selection module, BSM);为了解决跨模态特征提取不充分,导致算法计算冗余且精度低的问题,引入紧密提取模块(dense extraction module, DEM);最后,通过特征聚合模块(feature aggregation module, FAM)对密集特征进行级联融合,并将循环残差优化模块(recurrent residual refinement aggregation module, RAM)配合深度监督实现粗显著图的持续优化,最终得到精确的显著图。在4个广泛使用的数据集上进行的综合实验表明,本文提出的算法在4个关键指标方面优于7种现有方法。     

基于改进样板机法的风光互补新能源电站容量配比优化

风光等新能源电站出力具有间歇性和波动性,合理的风光容量配比可以充分实现二者的互补。不准确的电站理论功率计算会影响风光真实特征的提取,进而导致较大的容量配比误差。本文在新能源电站理论功率计算所通常采用的样板机法基础上进行改进,首先对异常数据进行识别及重构,然后识别新能源电站中的异常样板机并更新样板机集合,进一步根据非样板机的实际运行情况选取动态信息窗,利用动态信息窗内样板机和非样板机的实测功率,对非样板机分组并动态识别每组非样板机的比例系数,从而计算新能源电站的理论功率。基于多年历史理论功率对新能源电站进行特征分析,模拟随机出力场景,并进行场景筛选,建立了基于源荷不匹配风险的风光配比优化方法。通过算例验证了改进样板机法的准确性,利用该方法得到西北某地区电网风、光伏电站多年的改进理论功率数据,并优化得到该地区的风光最优配比。     

Modal Pure Type Systems

We present a framework for intensional reasoning in typed -calculus. In this family of calculi, called Modal Pure Type Systems (MPTSs), a propositions-as-types-interpretation can be given for normal modal logics. MPTSs are an extension of the Pure Type Systems (PTSs) of Barendregt (1992). We show that they retain the desirable meta-theoretical properties of PTSs, and briefly discuss applications in the area of knowledge representation.     

Common Knowledge and Update in Finite Environments

Logics of knowledge have been shown to provide a useful approach to the high level specification and analysis of distributed systems. It has been proposed that such systems can be developed using knowledge- based protocols, in which agents' actions have preconditions that test their state of knowledge. Both computer-assisted analysis of the knowledge properties of systems and automated compilation of knowledge-based protocols require the development of algorithms for the computation of states of knowledge. This paper studies one of the computational problems of interest, the model checking problem for knowledge formulae in the S5_nKripke structures generated by finite state environments in which states determine an observation for each agent. Agents are assumed to have perfect recall and may operate synchronously or asynchronously. It is shown that, in this setting, model checking of common knowledge formulae is intractable, but efficient incremental algorithms are developed for formulae containing only knowledge operators. Connections to knowledge updates and compilation of knowledge-based protocols are discussed.