T-RBAC访问控制模型及其约束描述语言

一种结合了基于任务的访问控制模型TBAC和基于角色的访问控制模型RBAC特点的新型访问控制模型-T-RBAC.该模型采用了以任务为中心的"用户-角色-任务-权限"的四级访问控制结构,较好地解决了当前工作流系统中存在的安全性问题.此外,在新模型的基础上设计了一套描述约束机制的语言ETCL,该语言在RCL2000的基础上扩充了时间特性和任务的概念,使新模型具备了较完整的约束描述能力.     

综合网管中基于模型驱动的元数据管理

提出了一种基于模型驱动的元数据管理方案．方案采用了基于模型的形式化描述方法，统一了专业网管子系统间的元数据模式；通过引入模型驱动技术，从元模型的抽象层次消除了不同专业网管子系统之间存在的“信息孤岛”；方案还对综合网管环境下的元数据理论和交换机制进行了研究，并给出了元数据的管理框架以及元数据交换的Java接口映射．     

基于电子商务的集群式供应链跨链库存控制

以电子商务环境下集群式供应链库存控制为对象,建立了时变需求下跨链合作的交叉库存模型,并用H∞控制中抑制外部干扰的对策理论来寻求最优订货策略,以减小库存、订货波动和提高供需网快速响应市场的能力.文中采用对比分析方法分别针对供应链间有合作与无合作情形对模型做了仿真实验,仿真表明,实施H∞控制和交叉紧急库存补充策略可以有效避免货物积压或缺货现象,提高供应链及集群的竞争力.     

屋顶绿化的自动灌溉系统设计

屋顶绿化对提高城市空气质量、减少“热岛效应”、改善居住环境有积极的意义，但其灌溉环节与普通园林绿化灌溉相比有更高的要求．为了增强屋顶灌溉的科学性，根据其特点提出了建立自动灌溉系统的设想，并对灌溉过程建立了混杂自动机模型，从离散事件动态系统与连续变量动态系统的角度共同描述了自动灌溉的过程，最后给出了自动灌溉系统的工程设计方案，对屋顶绿化自动化、精细化程度的提高具有一定的启示意义．     

Superconvergence analysis of fully discrete finite element methods for semilinear parabolic optimal control problems

We study the superconvergence property of fully discrete finite element approximation for quadratic optimal control problems governed by semilinear parabolic equations with control constraints. The time discretization is based on difference methods, whereas the space discretization is done using finite element methods. The state and the adjoint state are approximated by piecewise linear functions and the control is approximated by piecewise constant functions. First, we define a fully discrete finite element approximation scheme for the semilinear parabolic control problem. Second, we derive the superconvergence properties for the control, the state and the adjoint state. Finally, we do some numerical experiments for illustrating our theoretical results.     

中国产业各要素完全消耗效率变动分析

本文提出对各产业各要素的完全消耗量核算思路,并进行实证核算,分析全要素能源效率及变动趋势。研究显示我国经济近几年全要素效率持续提高,但增长方式有明显变化,技术进步开始起着主导作用,规模效应、纯技术效应成为经济效应提升的阻碍。石油相关类产业、机械制造相关产业等效率提升较明显,而农业、食品、木材、皮革等产业效率有一定下降。产业发展的思路要兼顾产业中间产品的消耗,转变粗放式发展方式,以提升技术进步为中心。     

水葫芦生态系统状态反馈控制

本文研究一类以Logistic增长为基础的具有群体防御的水葫芦生态系统.首先得到无脉冲作用的系统定性结论.其次对具有状态反馈控制的脉冲系统,利用微分方程几何理论中后续函数法得到系统的阶一周期解存在的充分条件,证明该周期解是轨道渐近稳定的,同时利用数值模拟讨论了系统生态意义.     

基于时间序列建模和控制图的异常交易检测方法

可疑交易识别是打击洗钱犯罪所要面对的一项重要任务.为辅助反洗钱分析人员从海量金融交易信息中甄别客户异常交易,本文提出一种新的基于非线性马尔科夫随机过程、相空间重构和隐马尔科夫链的非线性随机方法,用于对金融交易时序进行建模拟合,然后应用鲁棒控制图对估计误差进行检验以发现异常.应用该算法对实际交易数据和仿真数据的分析验证了所提方法的有效性和可行性,可以被用于异常交易的监测.     

一类带有不育控制的离散单种群模型

建立一类不育控制下的害鼠种群的离散模型.首先利用三个Jury条件,得到平衡点的局部渐近稳定性的充分条件.其次利用李雅普诺夫函数和细致分析法分别给出了零平衡点全局稳定及持续生存的充分条件.最后给出了平衡点全局稳定的数值模拟.     

Best bounds on the distance between 3-direction quartic box spline surface and its control net

We present the best bounds on the distance between 3-direction quartic box spline surface patch and its control net by means of analysis and computing for the basis functions of 3-direction quartic box spline surface. Both the local bounds and the global bounds are given by the maximum norm of the first differences or second differences or mixed differences of the control points of the surface patch.