Modal extension rule

Modal logics are good candidates for a formal theory of agents. The efficiency of reasoning method in modal logics is very important, because it determines whether or not the reasoning method can be widely used in systems based on agent. In this paper, we modify the extension rule theorem proving method we presented before, and then apply it to P-logic that is translated from modal logic by functional transformation. At last, we give the proof of its soundness and completeness.     

一种IP/DWDM光因特网中的路由选择机制

研究了一种资源约束最短路径优先 (RCSPF ,Resource ConstrainedShortestPathFirst)路由选择机制·这种机制可以用于扩展以通用多协议标记交换GMPLS为基础的IP/DWDM光因特网控制平面·借助光网络设备的可编程功能 ,在现有开放最短路径优先OSPF协议基础上 ,增加基于资源的路由约束条件 ,在一定程度上减少发生网络拥塞的可能性·另外 ,由于采用源路由以及在选路由过程中采用资源预分配机制 ,因此增强了对GMPLS信令系统的支持·同时 ,为了解决在资源不足情况下造成的信道分配失败问题进一步提出了相对路由的概念 ,使IP/DWDM光因特网在大幅增加带宽容量的同...     

一类约束满足问题及其算法

针对具有解析约束形式、同一变量多赋值的约束满足问题,提出了一种新的约束满足问题定义·通过一种特殊约束满足问题的研究提出一套建立在这个定义基础之上的概念和三种算法:整数规划法、不等式组法和直接求解不定方程法,详细研究了其中的第三种算法,并给出了最坏情况下的时间复杂度,从而能够比较清晰地描述一类约束满足问题的一般分析过程,揭示了约束满足问题同经典的整数规划、数论和整数环论的联系·     

结构时变模态参数辨识的时频分析方法

应用线性和二次时频变换方法，即短时傅里叶变换和魏格纳—维尔分布，进行了时变结构模态参数的辨识．通过对刚度突变和刚度连续变化的单自由度系统时变参数辨识的仿真，论述了两种时频辨识方法的特点．仿真结果表明，时频变换辨识方法是辨识时变模态参数的有效工具，而且魏格纳—维尔分布二次时频表示能得到比基于短时傅里叶变换的谱图更好的辨识结果．     

激励与项目投资预算决策

研究了存在内部人控制的情况下，激励方案在企业项目投资预算决策制定中的重要作用．指出无论温和的激励方案还是严厉的激励方案都能激发出更高的后期努力水平，但是不一定能有效地激发前期努力水平．只有严厉的激励方案可在一定程度上缓解内部人控制问题．     

关于经验论模态词相互关系的注记

经验论模态逻辑系统含有两组关于经验推理的模态词，证明了该系统中复合模态词间的一系列蕴涵关系，并构造反模型说明了其蕴涵关系的反方向不成立，从而全面弄清了该系统中各种复合模态词的相互关系。     

桥梁顺风向等效风荷载计算方法及其分布

桥梁等效风荷载一般被分为平均风荷载、等效背景风荷载和惯性风荷载 3部分 ,分别计算后再按一定的方式将其组合为总的等效风荷载 .对于惯性风荷载 ,一般可根据结构随机振动理论采用模态分解的方法计算得到各阶振型对应的惯性力 ,然后采用完全平方组合 (CQC)法或平方和开方 (SRSS)法将它们组合起来成为总的惯性风荷载 .对于背景风荷载 ,目前主要有荷载响应相关 (LRC)法和经典的模态分解法 .前者得到的背景荷载的分布形式与风压和结构响应的影响函数有关 ,而后者得到的分布形式则与惯性荷载相似 ,两者得到的结果可能并不相同 .这里主要研究LRC法和模态分解法 2种桥梁等效风荷载的计算方法 ,对 2种方法的区别和联系进行讨论 ,并给出风荷载 3个部分的组合方式 ,最后还给出了数值算例 ,进一步对不同计算方法和组合方式进行比较     

轴承-转子系统动态特性研究的数值方法

采用集总质量法、梁单元法和有限元法3种数值方法研究轴承-转子系统动态特性。数值结果表明，有限元法能够高精度地分析系统固有频率和模态振型，为轴承-转子系统提供了设计依据并为油膜力、电磁力支承的轴承-转子系统奠定了理论分析基础。     

带有预算费用约束的多地点报童模型

有针对性地研究了一种带有预算费用约束的多地点(连锁店)报童问题。在各地需求变量均服从正态分布的情况下,建立了数学模型,利用最优化方法进行了求解,并对模型的灵敏度进行了分析。     

利用试验模态参数建立轮胎滚动模型

为发展整车试验场模拟计算(virtualprovingground)和深入理解弹性轮胎滚动运动学及动力学机理,利用轮胎的模态参数直接对轮胎在平面上的滚动建立了便于离散计算的时域仿真模型。该模型可模拟轮胎时域滚动的动态过程并可计算出不同工况下的滚动特性、有效滚动半径、垂直刚度以及印迹内变形和分布力。计算结果揭示了以往模型难以描述的微观现象,与以往文献的试验研究结果定性一致,充分显示了模型的合理性。可作为发展轮胎在不平路面上滚动时域模型的基础。