Maximally parallel attribute on P System: Properties and applications

In this paper, we investigate the maximally parallel attribute of P Systems. Some properties of P Systems are introduced, which are the filter property and the enumeration property. The two roperties are applied to solving the sorting problem and the Hamilton cycle problem, respectively.     

Maximally parallel attribute on P Systems: Properties and applications

In this paper, we investigate the maximally parallel attribute of P Systems. Some properties of P Systems are introduced, which are the filter property and the enumeration property. The two properties are applied to solving the sorting problem and the Hamilton cycle problem, respectively.     

P2P网络聚集计算估算方法

为了解决P2P网络计算聚集查询问题 ,引入了 3种算法 ,并给出了算法形式化描述 ,为实现P2P网络聚集查询提供了方法 .这三种算法都是基于图的连通性 ,采用生成树和信息广播等方法以适应于P2P网络应用环境 ,基本上能够保证聚集计算的有效性、准确性     

半导体材料科学和等离子体物理学中的流体动力学模型

介绍半导体材料科学和等离子体物理学中的电子输运流体动力学模型的最新进展。首先介绍各种数学模型及相庆的数学理论研究课题，然后给出等熵（shang）或非等熵（shang），一维或高维流体动力学模型适定性及大时间渐近性方面的数学分析结果。     

一种神经网络模糊推理协作系统

基于专家系统的模糊推理原理，利用ＦＣＢＰ网络较强的学习功能，对输入样本较小的敏感性能，收敛速度较快等特性以及网络很好的分类特性，对模糊量良好的适应性能等特性，建立了一种新型的神经网络模糊推理系统。并提出了实施软件。     

扭曲型向列相液晶中纳米金属丝的动态行为

液晶中的纳米颗粒悬浮体系由于其独特的性质引起了极大的关注.采用保角变换法和等效电容法,对悬浮于扭曲型向列相液晶盒中的磁性纳米金属丝在外加恒定磁场下的动态响应行为进行了研究,并将理论计算结果与实验结果作比较.通过比较发现,理论计算结果与实验结果符合得很好.     

基于膜计算模型的数独游戏基本解法

为了更好地求解数独问题,提出了一种新的求解方法,利用一个具有抑制催化和膜溶解规则以及进化规则的优先级的膜系统来进行求解;结果表明,对于一个数独问题,只要其所有部分解都至少包含一个具有唯一解的单元格,方法都是有效的;如果数独问题可以利用此策略求解,则膜系统在计算的最后一步将问题的解编码并返回物质YES,否则,膜系统可以检测出数独问题不符合上述特征,返回物质NO,计算停止;方法求解策略与人类求解数独问题的思考过程非常类似,并且给出的是数独问题的统一解,即与数独问题的维度和提示数无关。     

用数值方法构造二阶收敛的平面弹性问题非闭锁三角形元

对于纯位移平面弹性问题,在不完全3次多项式空间中,用数值方法基于div→∈P1构造了一个二阶收敛的非协调三角形单元,该单元是非闭锁的,数值算例验证了该单元的收敛性结果。     

一种基于移动agent的P2P网络任务负载均衡策略

提出基于移动agent的任务负载均衡策略（MA—LBP）．该策略使用移动agent技术替代传统的VS技术，并在异构P2P系统中考虑了任务迁移时的通信耗费，使得计算结果更加符合现实情况．同时，移动Agent的游走特性消除了原有的计算瓶颈，实现较好的任务均衡效果．     

无穷维随机微分方程的最优宽松控制

W.H.Flcmng—M.Nisio在文[3]中讨论了n维空间上如下形式随机微分方程的最优宽松控制问题:本文利用A.Bensoussan—M.Nisiso在文[1]中引入的测度的殆紧性,将文[3]中最优宽松控制的存在性定理推广到无穷维情形.     

不确定系统的区域极点配置

研究了不确定系统的鲁棒区域极点配置问题，利用本文提出的方法可以将不确定系统的闭环极点配置在左半复平面的某一扇形域，同时本文也给出了输出反馈和状态反馈控制器的解析表达式。     

直接跟踪参考信号的自适应控制(Ⅰ)

本文考虑连续时间的线性系统,按照它的相对阶n=0和n=1两种不同情况,分别设计出不含微分环节的自适应控制器,并证明了所构成的自适应控制系统是大范围一致稳定的,其输出渐近地跟踪直接给定的参考信号.     

摄动Delta算子代数Riccati方程解矩阵的估计

基于Delta算子描述,研究摄动Delta算子代数Riccati方程解的估计问题．利用矩阵运算性质给出满足一定的不确定性假设下其对称正定解矩阵的上下界的估计,且界的估计均由一个矩阵不等式与一个Delta算子代数Riccati方程确定．并给出了摄动Delta算子代数Riccati方程中P,Q与R的几个基本关系．     

重叠型P2P网络中的查询负载均衡策略研究

提出了一种资源发布和查询过程中的负载均衡策略.通过将超级结点的资源信息组织为 B+树,利用B+树中叶子结点的均衡性来实现超级结点的负载均衡.实验结果表明:在网络中资源发布数和查询数较多的情况下,该方法能够在相对不降低搜索性能的前提下,有效地解决重叠型 P2P 网络中超级结点负载不均衡的问题     

非线性控制系统的控制器型

M.Zeitz引入了非线性系统的控制器型,证明了由控制器型描述的非线性系统是可控的。本文进一步给出了化一般非线性系统为控制器型的条件及其状态变换的具体算法,从而解决了通过化控制器型证明非线性系统可控性的方法。     

CURE聚类方法及其在交通信息服务系统中的应用

交通信息服务系统是智能交通系统的重要组成部分,针对交通信息服务系统中存在的模糊地名匹配问题,研究了空间数据挖掘方法中聚类分析方法,并提出了基于串行表示(Clusfering Using REpresentatire,CURE)聚类方法的模糊地名匹配模型和算法.最后以广州市电子地图为例,对提出的算法进行了验证.实验证明采用该算法可以有效的提高空间信息的检索速度和模糊地名匹配效率.     

一类优化问题的线性松弛方法

对一类优化问题（P）给出了一线性松弛方法。利用对数的性质建立了问题（P）的等价问题（P1）,利用切平面和凹包逼近,建立了问题（P1）的松弛线性规划（LRP）。通过对可行域线性松弛的逐次细分以及求解一系列的线性规划（LRP）,提出的算法收敛到问题（P1）的全局最优解。数值实验结果表明了提出方法的可行性。     

“次二次”Hamilton系统周期解

研究“次二次”非自治Ｈａｍｉｌｔｏｎ系统的周期解问题,所用方法是分成两个分量来考虑,利用极小极大原理,建立一个临界点定理;并提出了一种新的“次二次”条件,这推广了已有的关于次二次的Ｈａｍｉｌｔｏｎ系统周期的结果。     

动态环境中的概率信息流安全

在概率安全进程代数的基础上，研究了概率系统在动态环境中的信息流安全，以解决可动态配置的恶意进程对系统带来的危害．同时，提出了动态环境中的概率互拟复合不可演绎性质，即持久P_PBNDC．使用敌意环境下的弱概率互拟和动态敌意环境等概念讨论了P_PBNDC是概率系统在动态环境中合适的信息流安全性质，该性质能够揭露出概率互拟复合不可演绎性质（PBNDC）所不能暴露的潜在的安全隐患．最后，证明了PPBNDC和SBSPNI性质的一致性，在限制算子和前缀算子下的P_PBNDC具有复合性质，而在并行算子下不具有复合性质．     

柔性制造系统生产调度中的运筹学模型及方法

在讨论柔性制造系统概念的基础上,提出了按三维体系结构描述FMS生产调度问题的概念;建立了柔性制造系统生产调度问题的四层结构模型;系统地分析了运筹学模型及方法在柔性制造系统运行管理的静态调度及动态调度各个问题中的应用现状,指出了存在的困难;最后简略地分析了人工智能技术和人工神经元网络方法在FMS生产调度中应用的新趋势。