基于POMDP的跨层机会频谱接入优化设计

在功率受限的机会频谱接入(OSA)研究中,大多使用完全可观测马尔可夫决策过程(MDP)对环境建模,以提高物理层或介质访问控制(MAC)层指标,但由于感知设备的限制,无法保证用户对环境完全感知。为解决该问题,提出一种基于部分可观测马尔可夫决策过程(POMDP)与Sarsa(λ)的跨层OSA优化设计方案。结合MAC层和物理层,采用POMDP对功率受限且有感知误差的次用户频谱感知和接入过程进行建模,并将其转换为信念状态MDP(BMDP),使用Sarsa(λ)算法对其进行求解。仿真结果表明,在功率受限条件下,该Sarsa(λ)-BMDP方案的有效传输容量、吞吐量和频谱利用率分别比完全可观测Q-MDP方案低9%、7%和3%左右,其误比特率比基于点的值迭代PBVI-POMDP方案低20%左右,比Q-MDP方案高16%左右。     

实用的MEMS惯性器件外场标定方法

在实际工程应用中,当不具备高精度实验室标定设备时,研究简易可行的MEMS惯性器件外场标定算法非常有必要。在分析MEMS惯性器件误差模型的基础上,提出一种基于椭球模值约束算法的外场标定方法,通过设计合理的实验编排方案和有效的求解算法来实现对误差模型参数的估计。对比实验结果表明:所提出的标定方法简易可行,其误差系数在合理的误差范围内,从而证明了该外场标定方法的有效性。     

基于时间Petri网的AADL模型

随着嵌入式系统设计日益复杂,对系统的描述也提出了越来越高的要求,特别是实时性能。因此如何描述实时性能逐渐受到重视。在嵌入式系统中,线程的时间属性影响着系统的实时性,因此在设计早期利用AADL描述线程,但是AADL只是一种半形式化的语言,不够精确,并可能产生二义性。因此,把AADL模型转化为时间Pe砸网,但是时间Petri网不能很好地表示AADL的时间属性。故在研究AADL模型的时间属性的基础上,针对时间Petri考虑区域值延时与固定延时,并把固定延时当作区域值时延的一种特殊情况。最后给出针对AADL模型转化为时间Petri网的相应规则。     

Optimal reaction conditions for the minimization of energy consumption and by‐product formation in a poly(ethylene terephthalate) process

We determined the optimal reaction conditions to minimize the energy cost and the quantities of by‐products for a poly(ethylene terephthalate) process by using the iterative dynamic programming (IDP) algorithm. Here, we employed a sequence of three reactor models: the semibatch transesterification reactor model, the semibatch prepolymerization reactor model, and the rotating‐disc‐type polycondensation reactor model. We selectively chose or developed the reactor models by incorporating experimentally verified kinetic models reported in the literature. We established the model for the entire reactor system by connecting the three reactor models in series and by resolving some joint problems arising when different types of reactor models were interconnected. On the basis of the simulation results of the reactor system, we scrutinized the cause and effect between the reaction conditions and the final quality of the polymer product. Here, we set up the optimization strategy by using IDP on the basis of the integrated reactor model, and the process variables with significant influence on the properties of polymer were selected as control variables with the help of a simulation study. With this method, we could refine the reaction conditions at the end of each iteration step by contracting the spectra of control regions, and the iteration process finally stopped when the profile of the optimal trajectory converged. We also took the constraints on the control variables into account to guarantee polymer quality and to suppress side reactions. Constituting six different strategies by setting weighting vectors differently, we examined the differences in optimal trajectories, the trend of optimality, and the quality of the final polymer product. For each of the strategies, we conducted the optimization to examine whether the number‐average degree of polymerization approached the desired value. © 2002 Wiley Periodicals, Inc. J Appl Polym Sci 86: 993–1008, 2002     

一种优化内容适配技术的设计与实现

针对传统内容适配技术的特点和目前手机浏览器的发展现状,本文提出优先适配浏览器的内容适配技术。在传统内容适配技术上增加uA特征串和Accept特征串作为内容适配参数,并设计浏览器优先终端、终端优先Accept的适配规则。综合网络侧适配和终端侧适配优点,有效优化终端上的内容适配率,使得终端能够动态地、智能地针对不同的手机浏览器适配最佳的浏览版本。     

基于APDL的ANSYS嵌入式配筋实现

以ANSYS为平台,应用APDL实现钢筋混凝土有限元模型中钢筋单元嵌入混凝土单元的功能.应用该方法可以在ANSYS中方便地建立复杂的钢筋混凝土分离式模型.利用Newton-Raphson方法求解等参数单元的坐标插值函数中被约束节点在自然坐标系下的坐标值,得到自然坐标系下节点对应形函数值,并将对应的形函数值作为约束方程中混凝土单元节点位移的分项因数,从而实现嵌入节点与被嵌入单元位移协调.计算结果与Marc的算例结果吻合良好,说明该方法合理.     

尺寸效应和约束条件对土基回弹模量的影响

室内承载板法是测定土基回弹模量的标准试验方法。尺寸效应和约束条件的影响使得室内测定的回弹模量往往与现场不符,不能直接用于公路结构设计。以红黏土为研究对象,采用室内试验和数值模拟的方法研究了试样的尺寸效应和约束条件对土基回弹模量的影响。结果表明:试样的尺寸效应(试样直径和高度)对回弹模量的影响较大,随着试样直径的增大回弹模量增大,随着试样高度的增大回弹模量减小;无侧限条件下测定的回弹模量乘以约束条件系数1.2即得有侧限条件下回弹模量值。研究成果为室内合理测定土基回弹模量值提供参考依据。     

二维参数化图形技术研究进展

近几年来，参数化图形技术得到了不断的发展。目前已有多种参数化图形方法及系统。这些参数化图形方法可分为３种，即变分几何法、几何推理法和过程法。主要介绍这３种方法的研究进展。     

Urban water demand,climatic variation,and irrigation-water insecurity: interactive stressors and lessons for water governance from the Angat River basin (Philippines)

Climatic variation and intersectoral water competition increasingly challenge the effective provision of irrigation services. This article explores their combined effects on irrigation allocation from the Angat Reservoir (Philippines), where domestic water use in Metro Manila has overtaken regional irrigation as the dominant right-holder. Rules protecting Metro Manila’s large right to water ‘interact’ with dry spells to affect irrigation security in wet and dry seasons. Historically, irrigators were uncompensated because re-allocation’s cause was contested as (1) an unforeseeable climatic event (releasing domestic utilities of liability), or (2) produced by urban demand (requiring compensation). Trade-off rules must be prepared to navigate combinatory effects.     

基于梯度投影法与随机优化算法的约束优化方法

针对带有线性等式和不等式约束的无确定函数形式的约束优化问题,提出一种利用梯度投影法与遗传算法、同时扰动随机逼近等随机算法相结合的优化方法。该方法利用遗传算法进行全局搜索,利用同时扰动随机逼近算法进行局部搜索,算法在每次进化时根据线性约束计算父个体处的梯度投影方向,以产生新个体,从而能够严格保证新个体满足全部约束条件。将上述约束优化算法应用于典型约束优化问题,其仿真结果表明了所提出算法的可行性和收敛性。