用NPT系综模拟计算方阱位能流体

本文介绍了 NPT 系综原理及其计算机实施步骤;应用作者编制的计算机程序模拟计算了方阱流体的性质,表明该程序能够正确地描述方阱流体的行为。当采用其它势能函数时,也可以模拟计算其它模型流体的性质。     

含临界区流体混合物的统计缔合理论研究

含临界区流体混合物汽液平衡等热力学性质的研究是化工热力学的一个难题。本文用改进的统计缔合流体理论方程(SAFT-CP)^[1,2]结合范德华单流体混合规则(vdWl)计算了含临界点的二元混合物的汽液平衡。与原始的SAFT方程^[3/4]相比,SAFT-CP方程以非球形的硬体项作为参考流体,代替原来的硬球项,考虑了分子成链对色散作用的影响,对于极性流体,考虑了分子的偶极-偶极相互作用而忽略了缔合作用。本文计算的二元体系包括非极性-非极性体系：二氧化碳-丙烷、二氧化碳-丁烷和二氧化碳-戊烷,以及非极性～极性体系：硫化氢-戊烷、甲烷-丙酮和二氧化碳-甲醇。含临界点在内的计算结果与文献实验值符合很好,表明该方程适用于二元混合物含临界区的相平衡计算,具有广阔的应用前景。     

改进SAFT方程用于链状分子流体PVT性质的计算

采用Ｃｈｉｅｗ的硬球链方程描述分子间的排斥作用,改进了ＳＡＦＴ状态化学方程。对烷烃、芳香烃、酮、卤代烃和聚合物体系ＰＶＴ性质的计算结果表明,改进后的ＳＡＦＴ状态方程进一步提高计算精度,初值的敏感性降低,模型参数呈良好的规律性,为提高模型对聚合物溶液相平衡预测能力奠定了良好的基础。     

自然语言显式命题自动识别和解析方法

自然语言中包含很多显式命题,正确理解这些命题是理解文本信息的关键.正确识别显式命题并解析其中的关键成分有助于理清语言中的逻辑关系、辅助自然语言理解.该文基于百度百科数据构建了自然语言显式命题标注数据集,并提出两个研究任务:自然语言显式命题自动识别和命题关键成分解析.其中,显式命题自动识别任务判断一个自然语言句子是否为命...     

隔膜平衡式流体温度传感器

本发明提供一种简单实用、效果明显的隔膜平衡式流体温度传感器。其技术方案为:限位体A设置于金属隔膜内,金属隔膜和绝缘限位体B设置在壳体内,金属隔膜与壳体及感温囊形成的密闭空间内充满感温液,利用改变金属隔膜两侧压力平衡与失衡来促使金属隔膜产生微变形,实现其与绝缘限位体B上的镀膜触点短路和断开的方法做压力平衡触发信号,来捕捉平衡压力值。本发明设计合理实用,不易损坏,提高了生产效率,降低了采油成本,适合普遍推广使用。     

解析Swift函数式编程

闭包的引入使得在Swift语言中使用函数式编程成为可能。本文将结合函数式编程的特性来介绍其在Swift语言中的应用,并帮助开发者熟悉Swift提供的函数库、应用函数柯里化以及高阶函数的概念。从而帮助开发者写出更简洁、更模块化的代码。     

递进式网络数据包解析与过滤方法研究

在分析企业对内部网络监控系统需求的基础上,提出了一种适用于内网监控系统的递进式网络数据包解析与过滤的方法。该方法包括网络数据包的截获、解析和过滤3个主要功能,其中主要分析了数据包解析与过滤的实现,采用递进式分级解析数据包的方式和高效的BM模式匹配算法进行规则匹配,提高了数据包解析过滤的效率。实验结果表明,该方法的应用对网络数据传输产生的延时较小,基本不影响内网用户对网络的正常使用。     

面向查询式实体解析的多属性数据索引技术

实体解析是数据集成的关键方面,也是大数据分析与挖掘的必要预处理步骤.大数据时代,随着查询驱动的数据应用需求的不断增长,查询式实体解析成为热点问题.为了提升查询-解析效率,研究了面向实体缓存的多属性数据索引技术.涉及两个核心问题:(1)如何设计多属性数据索引?设计了基于R-树的多属性索引结构.为了满足实体缓存在线生成需求,提出了基于空间聚类的在线索引构建方法.提出了基于“过滤-验证”的多维查询方法,利用多属性索引有效地过滤掉不可能命中的记录,然后采用相似性函数或距离函数逐一验证候选记录.(2)如何将不同的字符串属性插入到树形索引中?解决思路是,将字符串映射到数值空间.针对Jaccard相似性和编辑相似性,提出了基于q-gram的映射方法,并提出了基于向量降维的优化和基于z-order的优化,实现高质量的“字符串→数值”映射.最后,在两个数据集上进行实验评估,验证多属性索引的有效性,并测试其各个方面.     

声自导鱼雷射击有利提前角的显式解析研究

能使自导鱼雷获得最大发现概率的射击提前角称为有利提前角。采用几何解析法求解有利提前角时,求算公式不是显解形式,需要迭代法解算。该文求算的自导鱼雷有利提前角,是以鱼雷自导扇面与目标的相遇点作为基础,算法是显解形式,不需要进行迭代法解算。通过计算机编程计算发现,两者求得的值相差不大,特别是在雷速大和敌速较小的情况下,二者数值非常接近,但计算时间,后者明显快于前者。     

层次路由模型中特征指数的解析关联式

Kleinrock和Kamoun揭示了层次路由模型中路由表长度指数与路由路径长度指数的逆相关关系。在层次路由模型中,以路由路径长度指数缓和增加为代价,路由表长度指数可以显著缩减。较小的路由表长度带来较少的通信开销。路由表信息汇聚缩减路由表长度,同时也降低了路由表信息的精度,这就导致了比最短路由路径更长的层次路由路径。陆廷荣等人修改了Kleinrock和Kamoun模型,使用不同类地址标识地址空间的层次,使路由表长度进一步缩减,提高了层次路由模型效率。本工作给出层次路由模型中路由表长度指数与路由路径长度指数的逆相关关系的解析表达式。     

有机物临界参数的关联式估算研究

为改善有机物临界参数估算方法的精度,提出了以化合物的正常沸点Tb、常温比重d、分子量M和分子中原子数N估算临界参数的一组关联式：其中：Tc=a0 a1Tb^k1 a2Tb^k1d^k2/M^k3 a3Tb^K1d^k4/m^k5 Pc=a0 a1x1 a2X2 a3x1^2 a4x2^2 Vc=a0 a1x1 a2x2 a3xa^2 a4x2^2其中:x1=Tb^k1M^k2N^k3d^k4,X1=Tb^k5M^k6N^k7d^k8,用正交优化法对上述关联式进行参数估值,得出各类有机化合物的关联式参数,用312个有实测l临界数值的化合物进行验算,结果表明：本文关联式估算Tc、Pc、Vc的平均误差均比前人估算方法的平均误差大大降低,且计算方便,适用范围广。     

PR状态方程在烷烃粘度计算中的应用

本文基于P-V-T与T-u-P联系的相似性，结合Peng—Robinson立方型状态方程（PREOS），建立了一个预测纯烷烃气液相粘度的统一模型。新模型首先运用PREOS方程来计算指定温度下物质的饱和蒸汽压，然后以温度和饱和蒸汽压为独立变量，计算饱和气液相粘度。采用大量实测数据对新模型进行考核的结果表明，新模型在亚临界和超临界范围内，都有较好的计算结果。     

可达性等价于状态方程可满足性的petri网子类

定义了一个petri网子类:PN=(S,T;F,M0),满足条件s∈S→｜·s｜≤1。证明:当目标标识Md>0时,此petri网子类的可达性等价于状态方程Md=M0+ATX的可满足性。同时,当此petri网子类的可达性等价于状态方程可满足性时,可得出如下两点结论:(1)对于满足M0+ATX>0的每个非平凡的非负整数向量X,都■t∈Tx:M0[t>;(2)对于满足M0+ATX>0的每个非平凡的非负整数向量X,X都是PN的一个可执行向量。     

可达性等价于状态方程可满足性的一个petri网子类

本文定义了一个petri网子类： ,满足条件 。本文证明：当目标标识 时,此petri网子类的可达性等价于状态方程 的可满足性。同时,当此petri网子类的可达性等价于状态方程可满足性时,可得出如下两点结论：①对于满足 的每个非平凡的非负整数向量 ,都 ;②对于满足 的每个非平凡的非负整数向量 , 都是 的一个可执行向量。     

Statistical properties of controlled fluid flows with applications to control of mixing

In this paper, we study statistical properties of fluid flows that are actively controlled. Statistical properties such as Lagrangian and Eulerian time-averages are important flow quantities in fluid flows, particularly during mixing processes. Due to the assumption of incompressibility, the transformations in the state space can be described by a sequence of measure preserving transformations on a measure space. The classical Birkhoff's pointwise ergodic theorem does not necessarily apply in the context of sequences of transformations. We call B-regular a sequence for which this theorem holds. Motivated by mixing control concepts, we define three notions of asymptotic equivalence for sequences of transformations. We show an example in which Birkhoff's pointwise ergodic theorem does not hold even when a ‘strong’ asymptotic equivalence to a B-regular sequence is assumed. Under a ‘very strong’ asymptotic equivalence condition, we prove B-regularity. In the context of optimize-then-stabilize strategy for mixing control, we also prove that very strong asymptotic equivalence to a mixing sequence implies mixing. The mean ergodic theorem and the Poincare’ recurrence theorem are also proven for sequences of transformations under suitable asymptotic equivalence assumptions.     

An upper bound for the distance between a zero and a critical point of a solution of a second order linear differential equation

This paper presents an upper bound for the distance between a zero and a critical point of a solution of the second order linear differential equation (p(x)y^′)^′+q(x)y(x)=0, with p(x),q(x)>0. It also compares it with previous results.     

On the convergence of an extended state observer for nonlinear systems with uncertainty

The extended state observer first proposed by Jingqing Han in [J.Q. Han, A class of extended state observers for uncertain systems, Control Decis. 10 (1) (1995) 85-88 (in Chinese)] is the key link toward the active disturbance rejection control that is taking off as a technology after numerous successful applications in engineering. Unfortunately, there is no rigorous proof of convergence to date. In this paper, we attempt to tackle this long unsolved extraordinary problem. The main idea is to transform the error equation of objective system with its extended state observer into a asymptotical stable system with a small disturbance, for which the effect of total disturbance error is eliminated by the high-gain.     

Ground state solutions of Pohoz̆aev type for fractional Choquard equations with general nonlinearities

In this paper, we study the fractional Choquard equation

${(?\Delta )}^{s}u+u=\left(\right|x{|}^{?\mu }1F\left(u\right))f\left(u\right),\text{in}{\mathbb{R}}^N,$

where $N\ge 3$, $0<s<1$, $0<\mu <min\{N,4s\}$, and $f\in C(\mathbb{R},\mathbb{R})$ satisfies the general Berestycki–Lions conditions. Combining constrained variational method with deformation lemma, we obtain a ground state solution of Pohoz?aev type for the above equation. The result improves some ones in Shen et al. (2016).     

Chaotic vibration of the one-dimensional linear wave equation with a van der Pol nonlinear boundary condition

The one-dimensional linear wave equation with a van der Pol nonlinear boundary condition is one of the simplest models that may cause isotropic or nonisotropic chaotic vibrations. It characterizes the nonisotropic chaotic vibration by means of the total variation theory. Some results are derived on the exponential growth of total variation of the snapshots on the spatial interval in the long-time horizon when the map and the initial condition satisfy some conditions.