基于不确定控制理论的最优策略研究

本文在不确定理论的框架下,研究一类带背景状态变量的最优控制模型.在乐观值准则下,利用不确定动态规划的方法,证明了不确定最优性原则,得到最优性方程.作为应用,求解一个固定缴费(DC)型养老金的最优投资策略问题,在乐观值准则下,以工资变量为背景状态变量,建立养老金模型.通过求解不确定最优性方程得到最优投资策略和最优支付率.     

钩形弯交叉口信号协同控制优化方法研究

针对车辆在钩形弯交叉口与相邻常规交叉口间的整体运行特性，建立了各条车道的车辆平均延误计算模型。以各交叉口的周期时长和相位绿灯时间为约束，钩形弯交叉口与相邻常规交叉口间的车辆平均延误最小为目标，建立了信号协同配时方案。以位于苏州市高新区内有轨电车沿线的两个相邻交叉口为例，采用实际数据验证所建立的方法，并设置钩形弯渠化方案。将设置的钩形弯交叉口与其相邻常规交叉口的信号协同作为改进方法，在VISSIM软件中对比分析改进方案与现状方案的车辆延误指标。实验结果表明，钩形弯交叉口与相邻常规交叉口的信号协同优化方法可有效提高交叉口的通行能力，尤其是干道直行机动车的通行能力，可降低车辆的平均延误。     

基于LQG控制的整车8-DOF系统振动分析

建立了整车8-DOF系统动力学模型,考虑了主动悬架控制,并增设了主动座椅控制,设计了车辆主动悬架系统的LQG控制器。基于Matlab仿真平台建立了整车8-DOF系统动力学仿真模型,对所得最优控制策略下的动态响应进行了仿真验证。仿真结果表明:为了改善人椅系统质心及车身质心的跳振性能需要在一定程度上弱化各轮轮胎动位移性能。从控制效能上来看,该最优控制器能够满足各行驶状态下对悬架性能的要求,改善了车辆的行驶平顺性。     

Wave-based vibration control of large cable net structures

Large cable net structures have been widely applied in aerospace engineering due to the feature of light-weight, high packaging efficiency, and high thermal stability. Structural vibrations induced by a variety of disturbances are inevitable in the space environment, resulting in the requirement of effective vibration control strategies for large cable net structures. Since the large cable net structures have many closely spaced vibrational modes in the range of low frequencies, traditional modal based control may cause modal truncation and spillover problems. In this paper, a wave-based boundary control strategy is adopted and its effectiveness to control the vibration of cable net structures is investigated, by transfer function analysis and numerical methods. It is found that the structural vibration can be absolutely resisted by applying the wave-based boundary controllers onto all the exterior nodes, when disturbances come from the external boundaries of the cable net. Our results in this paper can provide a theoretical basis for the vibration control of large cable net structures.     

The Szegö kernel on a class of non-compact CR manifolds of high codimension

We generalize Nagel’s formula for the Szegö kernel and use it to compute the Szegö kernel on a class of non-compact CR manifolds whose tangent space decomposes into one complex direction and several totally real directions. We also discuss the control metric on these manifolds and relate it to the size of the Szegö kernel.     

基于重抽样分布的一类模糊累积和控制图

过程变量在代表产品或服务过程信息时并非完美，而使用模糊数可能是另一较好途径。文章进一步完善模糊累积和控制图，其中使用中心和扩展具有重抽样分布的模糊随机变量，并给出模拟例证。     

基于串空间模型的认证测试方法

串空间模型认证测试方法是定理证明安全协议分析法中最具有代表性的一类.利用串空间模型理论对Needham-Schroeder(N-S)公钥协议中中间人攻击问题进行形式化分析与设计,并对其进行证明.与原有技术相比,该方法更为形式化,协议分析人员可以很方便地进行手动分析,并且更有利于协议分析自动化工具的实现.     

浅论高校图书馆的财务管理

结合工作实际,阐述了图书馆财务管理的基本内容及其重要性,探讨了图书馆财务工作的基本规范化管理,强调了加强馆内财务预算管理的问题.     

Microstructural stability and age-hardening behavior of Re-added dual two-phase Ni3Al and Ni3V intermetallic alloys

The effect of Re addition on the microstructure and hardening behaviour of the dual two-phase Ni₃Al (L1₂) and Ni₃V (D0₂₂) intermetallic alloy was investigated by scanning electron microscopy, transmission electron microscopy and Vickers hardness test. The two-phase eutectoid microstructure accompanying the Re-rich precipitates were observed in the channel region of the alloys in which Re substituted for Ni but not in those in which Re substituted for Al and V. The concomitant addition of Nb (or Ta) with Re more stabilized the two-phase eutectoid microstructure and consequently more induced the fine precipitates in the channel region. The annealing at temperatures below the eutectoid temperature was necessary to induce the fine precipitates in the channel region and thereby result in the precipitation hardening. The fine precipitation in the channel region and related hardening was attributed to the alloying feature so that Re is soluble in the A1 (fcc) phase at high temperatures and becomes less soluble in the two intermetallic phases decomposed from the A1 phase at low temperatures.