水资源约束下的乌鲁木齐绿洲城市发展模式研究

文章在探讨乌鲁木齐市水资源开发利用现状的基础上,主要利用前人通过运用SD模型对乌鲁木齐进行中长期进行人口、粮食需求和农业生产能力预测,预测乌鲁木齐水资源承载能力的结果。提出了在水资源约束下乌鲁木齐绿洲城市发展的节水型城市发展模式、产业结构优化模式、新亚欧大陆桥绿洲经济带型模式。为实现其社会经济、水资源与生态环境之间的协调、健康发展。     

钢筋混凝土框架结构温度应力的一种算法

伸缩缝间距与温度应力及混凝土收缩产生的应力关系密切，《混凝土结构设计规范（GB50010—2002）》给出的铜筋混凝土框架伸缩缝间距取值比较原则化，如能保证温度应力及混凝土收缩应力不大于混凝土的抗拉能力，保证混凝土不开裂，则可确定伸缩缝间距。以单层框架为例，通过理论分析，计算出框架结构的温度应力，这将有助于伸缩缝间距的计算。     

关于一类不可微非线性规划的约束品性

就一类在凸集C上目标函数为黎普希兹连续的带有可微不等式约束的非线性规划问题(P),在广义Kuhn-Tucker约束品性或广义Arrow-Hurwicz-Uzawa约束品性的条件下,研究了问题(P)的Kuhn-Tucker型必要条件.并且说明了当C为开集时相应的规划问题是问题(P)的特殊情况;目标函数为可微函数与凸函数的和时的相应的不可微非线性规划问题也是问题(P)的特殊情况;以及目标函数由黎普希兹连续的函数的商式构成的相应的分式规划问题也是问题(P)的特殊情况.     

一种基于冲突消解的资源分配算法

许多领域都涉及资源分配问题,但具体应用领域的分配策略各不相同。针对资源分配中策略多样、易发生资源冲突问题,提出了基于冲突消解的资源分配算法。在冲突消解的约束条件下,依据算法的性质及约束对冲突消解的影响进行优先级分组,使得约束序列得以规范,从而提高消解冲突效率,避免陷入局部最优缺陷。实验结果表明了算法的有效性。     

基于区间相容技术与GA的测试数据自动生成方法

针对测试数据自动生成完全依赖约束集求解问题（Constraint Solving Problem，CSP）进行求解会导致耗时较大甚至求解不出最终测试用例，以及采用动态GA算法又无法确定变量的最初论域空阃，首次将基于CSP求解与GA的动态算法进行了有机结合，摒弃了二者固有的缺陷，吸取了静态算法对变量论域空间削减速度快的优点。采用eBox区间相容削减标准，过滤变量的论域空间，并在经过削减的空间上采用GA搜索算法自动产生测试数据，应用常变量的逆向推导技术、表达式直接遗传等技术，大幅度地提高了测试数据的生成速度。     

随机资源分配问题建模和随机模拟遗传算法求解

为了最大限度地满足用户对紧缺随机资源的需求,对随机资源分配问题建立了相关机会多目标规划模型和相关机会目标规划模型,通过表示各个(级)目标事件的诱导约束,建立决策向量和机会函数之间的关系,并运用随机模拟遗传算法求解模型。     

框式约束凸二次规划的预估校正光滑算法

研究了框式约束凸二次规划的一种光滑算法，算法中应用了牛顿法及其变形形式，证明了算法的全局收敛性．     

一类不确定时延状态反馈网络化系统鲁棒稳定性

考虑控制器和执行器事件驱动、传感器时钟驱动、恒定周期采样和不大于一个采样周期的不确定时延,将有控制约束的状态反馈网络控制系统建模为含有不确定性的离散时变系统.利用Lyapunov理论和线性矩阵不等式方法,导出系统鲁棒稳定的充要条件.利用Matlab LMI工具箱求解该条件,可在判定该类系统稳定性的同时,获得系统鲁棒控制律.仿真算例说明了分析方法和稳定判据的有效性.     

广义Sylvester矩阵方程AX-XF=BY的显式解

给出了广义Sylvester矩阵方程AX-XF=BY当F为任意矩阵时的一种完全的解析通解.该通解由矩阵对(A,B)构成的能控性矩阵,一个对称算子矩阵和矩阵对(Z,F)构成的能观性矩阵组成,这里Z是一个任意的参数矩阵,用来表征该方程的解的自由度.利用著名的Levverrier算法,该解析解的一个等价形式被给出.给出的结果是参考文献[13]的推广,在[13]中F被假设为友矩阵.     

汽车转弯防抱制动系统中双模控制器的应用

针对当前ABS系统的分析大多集中在少自由度的直线制动方面。采用十一自由度汽车转弯制动数学模型,用MATLAB/SIMULINK建立仿真模型。考虑到此系统的非线性、时变性及工况的不确定性,采用了模糊控制算法,并对防抱死制动系统的制动过程进行了仿真研究。针对模糊控制算法的不足,建立了双模控制器,用传统的PID算法优化模糊控制器。采用的十一自由度的转弯制动模型充分考虑到仿真的复杂度及仿真的可信度,完全反应了制动过程中汽车的宏观运动及微观运动。