Application of the Constrained Predicated Nets and Interval Logic to Production Systems

1 .INTRODUCTIONDuetotheireconomicsignificanceandclosenesstopersons,productionsystemsmustbemodeledbeforetheirimplementationanduse,thus,amethodwhichspecifies ,analyzesandsynthesizestheproductionsys tems—discreteeventsystems (DES)hasbeenestab lishedanddevelopedstepbystepinrecentyears.DESmethodspecifiestheplantbasedonitsdiscretecharacters,however,intherealworld ,therearefewplantsthatcanbemodeledbypurelydiscretemathe maticalmodelbecausetherearealwayssomecontinu ousparametersforstudyinnearlya…     

企业绿色营销系统的构建与绩效评价

在构建企业绿色营销系统的基础上，建立绿色营销系统绩效的指标体系，提出对绿色营销系统绩效进行模糊综合评价的方法，为改善绿色营销绩效提供依据。     

基于连通树的兵棋推演热区检测算法

提出了一种基于连通树的热区检测算法, 可检测任意形状的热区, 目的是通过检测兵棋推演过程中军事行动频繁的区域, 为受训人员了解整个战场态势提供辅助参考. 算法在明确了热区定义的基础上, 首先构建连通树将数据集按连通区域进行最小划分, 再根据设定的密度阈值对连通树进行剪枝. 剪枝处理后的每棵连通子树是最终的热区. 理论和实验结果均验证了该算法的有效性.     

消除增长上限制约的管理对策生成法——-以银河杜仲区域规模养种生态能源系统发展为例

社会经济复杂系统中存在大量增长上限问题,刻画此问题的增长上限基模是由正反馈环、 负反馈环和延迟构成,其中负反馈环存在抑制系统不断发展的制约作用. 针对负反馈环产生制约作用的根本原因是存在起制约作用的负因果链, 首先基于对负因果链所属负反馈环中极大开环的结构特征分析, 遵循极大开环中输入变量改变量小于零的原则生成初始对策集, 接着根据复杂系统发展的多目标筛选得到目标筛选初始对策集, 再根据对策的实际实施条件筛选获得可操作的管理对策集, 然后仿真验证双筛选得到的管理对策的有效性.以银河杜仲区域规模养种生态能源系统发展为例, 基于2008-2010年的历史数据和其他实际信息,建立含七个核心变量的增长上限基模,利用此方法生成三条可操作性的管理对策. 以核心变量为基础,建立六棵流率基本入树,建立仿真模型.然后,定量仿真分析了消除增长上限制约的管理对策生成法的实施效应, 实现了从定性至定量综合有效分析,为实际系统发展提供决策依据,验证了此消除增长上限制约管理对策生成法的有效性.     

Impulsive controller design for nonlinear networked control systems with time delay and packet dropouts

The globally exponential stability of nonlinear impulsive networked control systems(NINCS) with time delay and packet dropouts is investigated.By applying Lyapunov function theory,sufficient conditions on the global exponential stability are derived by introducing a comparison system and estimating the corresponding Cauchy matrix.An impulsive controller is explicitly designed to achieve exponential stability and ensure state converge with a given decay rate for the system.The Lorenz oscillator system is presented as a numerical example to illustrate the theoretical results and effectiveness of the proposed controller design procedure.     

The large sample properties of the solutions of general estimating equations

This paper develops the large sample properties of the solutions of the general estimating equations which are unbiased or asymptotically unbiased or with nuisance parameters for correlated data.The authors do not make the assumption that the estimating equations come from some objective function when we establish the large sample properties of the solutions.So these results extend the work of Newey and McFadden(1994) and are more widely applicable.Furthermore,we provide some examples to justify the importance of our work.     

三维水声传播建模及并行算法研究

宽带声传播、匹配场定位、水下环境仿真等技术的发展对水声传播提出了越来越高的要求,如何开发快速准确并与实际海洋环境条件相吻合的三维声传播模型,并充分利用现代计算机技术实现声传播的快速计算已成为水声技术的一个重要研究方向。基于波束位移射线简正波(BDRM)理论,将射线-简正波方法和简正波-抛物方程方法结合起来,建立三维射线-简正波-抛物方程模型,同时为满足三维声场计算的时间需求,设计了射线-简正波-抛物方程模型并行算法,在高性能集群系统上的测试分析结果表明,设计的并行算法具有较高的并行计算效率。     

基于正则信道求逆预编码的MIMO功率分配方案研究

提出一种多用户MIMO系统中基于正则信道求逆预编码并具有QoS保障的功率分配方案:结合信道状态信息和用户QoS需求,分析得出约束条件的可行性判断依据;利用连续几何规划算法将非凸优化问题近似为凸优化问题,并辅以内点法求解最优功率分配方案;最终综合得出一套基于滑动窗口机制的功率分配框架。仿真结果表明,与现有算法相比,该方案能在有效保障用户最小速率和时延需求的基础上,显著提高系统可达速率。     

模糊加工时间调度问题的研究

提出模糊加工时间调度问题,隶属函数建立在工件的模糊加工时间上,隶属度表示工件在一段加工时间下属于完工集合的程度,在假设工件的隶属函数是单调递增的情况下,的多个工件所迭加的联合隶属函数所对应的性质,根据迪些性质研究了一种单机模糊加工时间的调度模型。     

闽东柳杉人工林密度效应模型研究

应用闽东地区柳杉人工林样地材料,探讨了密度效应二次模型,并对其进行生产弹性分析和边际产量分析,测定了柳杉人工林林分密度的生产弹性值和边际产量。