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 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.     

等熵相对论Euler方程组非线性波的性质

讨论了等熵相对论欧拉方程组黎曼问题解的几何性质,在相互作用条件下,分析了作用前后非线性波的关系,得到了等熵相对论Euler方程组柯西问题非线性波的性质,并通过激波曲线参数化,得到了非线性波的几何性质.     

P2P网络聚集计算估算方法

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

关于FC-群的一些fFrattini性质

对任意群G,它的fFrattini子群fFrat(G)是指其所有具有有限指数的极大子群的交所构成的子群.设X是一个群族,群论性质P被称为X-群的fFrattini性质,如果任意一个X-群G满足如下性质:G/fFrat(G)具有性质P(→)G具有性质P,这类似于Frattini性质.主要对FC-群的一些fFrattini性质进行研究.     

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

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

棉型干法腈纶纺丝油剂抱合性的研究

从纤维性质、油剂单体、纤维含油量和含油纤维的摩擦特性等方面对棉型干法腈纶纺丝油剂抱合性进行了研究,并进行了工业化试验.     

带广义对称性的等变分歧问题的研究

文章将主要研究在广义对称条件下分歧问题的相关性质,提出ΓΔ-等变概念,它是一般定义下等变概念的推广,在此基础上研究在接触等价条件下ΓΔ-等变分歧问题的相关基本性质:ΓΔ-不变函数芽环上的有限生成模与相应切空间的性质,ΓΔ-等变分歧问题的开折是通用开折的一个充分必要条件。推广了前人工作的结果。     

三组城市公共汽车运输网的小世界性质

研究了中国3个不同城市的公共汽车运输网的结构性质。这些网络由一系列的公交车路线和车站组成。分别在L空间和P空间对这些网络的度分布,簇团系数和最短路径进行了研究。研究表明:在L空间中,度服从幂律分布,而在P空间服从指数分布;P空间中大的簇团系数和小的平均最短路径表明小世界效应在P空间中更加显著。     

链烷烃的分子拓扑研究

以分子图的邻接矩阵,距离矩阵为基础,构建了新的拓扑指数ZW.它不仅对链烷烃具有良好的结构选择性,而且结合分子密堆积信息指数P3、分子支化度参量P2与40种链烷烃的部分物理化学性质相关联,结果表明ZW具有良好的结构选择性和性质相关性.     

拓扑指数H_m与饱和脂肪酯物理化学性质的相关性研究

文中提出一种新的拓扑指数Hm并建立饱和脂肪酯物理化学性质X的定量公式,预测了含12个碳原子以内的饱和脂肪酯的水溶解度log S、分配系数log P、保留体积log Vg和沸点B.P.(℃)等4项物理化学性质.     

归纳极限的一些性质

本文继续〔1〕进一步讨论归纳极限的一类特殊有界集——弱紧凸圆集的某些性质,得到定理1及使性质P成立的条件.     

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

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

关于加群自同态不变的环的根

在文中问题6提出:“哪些根性质,对于每个环 A,R(A)关于加群(A,+)的任意自同态是不变的?”本文给出了刻划如此根性质的一个充分必要条件。     

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

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

根性质的一个问题

假定R是一根性质,A是环(环都指给合环),I是A的理想,记I/I=R(A/I),主要研究根性质的一些性质并解决F.A.SZASZ提出的以下开问题:哪种根性质具有I1 I2=I1 I2,得出了一个推论.     

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

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

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

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

结合多尺度特征和多维注意力的人脸风格转换

针对StarGANv2模型生成的人脸图像存在风格重建效果不佳、人脸纹理不够自然等现象,该文提出结合多尺度特征和多维注意力的人脸风格转换模型.1)将多尺度特征融合模块PSConv嵌入StarGANv2生成器内,提高了模型对图像特征的提取能力;2)提出了多维注意力模块MDConv,并将该模块嵌入StarGANv2判别器内,从而提高了模型对真假人脸图像的判别能力.与StarGANv2方法在CelebA-HQ数据集上进行对比实验的结果表明：该方法生成的人脸图像风格更美观,纹理细节更自然,学习感知图像相似度(LPIPS)的值也得到了提升.     

一种基于UPPAAL的智能合约属性形式化验证方法

针对智能合约的属性验证问题,该文提出了一种基于UPPAAL的智能合约属性形式化验证方法.首先定义了Solidity基本语句的操作语义及其到时间自动机的转换,将智能合约转换成时间自动机网络模型;然后定义并描述智能合约常见的安全性和活性,再使用模型检测工具UPPAAL验证智能合约的属性;最后对购物合约进行了建模与验证,验证了该方法的有效性.