在WFW网络下的动态数据变换

本文介绍在ＭｉｃｒｏｓｏｆｔＷＩＮＤＯＷＳＦＯＲＷＯＲＫＲＯＵＰＳ３．１（以下简称ＷＦＷ）网络环境下用ＭｉｃｒｏｓｏｆｔＶＩＳＵＡＬＢＡＳＩＣ３．０（以下简称ＶＢ３．０）实现不同计算机之间动态数据交换的方法，并给出了主要程序     

CL—KR与与K—WM性质

本文首先引入了Ｂａｎａｃｈ空间Ｘ的Ｋ－ＷＭ性质，它是Ｂ．Ｂ．Ｐａｎｄａ和Ｏ．Ｐ．Ｋａｐｏｏｒ在［１］中引入的ＷＭ性质的推广。然后证明了：若Ｘ是ＣＬ－ＫＲ的，则Ｓ有（Ｓ）性质；若Ｘ有Ｋ－ＷＭ性质，Ｘ有（Ｓ）性质，则Ｘ是ＣＬ－ＫＲ的；若Ｘ是ＣＬ－ＫＲ的，Ｍ是Ｘ的自反子空间，则Ｘ／Ｍ是ＣＬ－ＫＲ的；若Ｘ有Ｋ－ＷＭ性质，Ｍ是Ｘ的处反子空间，则Ｘ／Ｍ有Ｋ－ＷＭ性质。此外，本文还指出：（Ｓ）性质和ＣＬ－ＫＲ不     

一类脉冲微分方程组周期解的存在性

本文利用压缩映象原理及Ｓｃｈａｅｆｅｒ定理处理了一类带有周期边值的脉冲周期方程组解的存在性问题，是Ｊ．Ｎｉｅｔｏ最近结果的推广。     

某类半线性抛物型方程的最大值原理

文中证明了具有Ｄｉｒｉｃｈｌｅｔ边界条件的某类半线性抛物型方程的泛函的最大值原理，获得了这些最大值原理的一些应用。     

CL－KR与K－WM性质

本文首先引入了Ｂａｎａｃｈ空间Ｘ的Ｋ－ＷＭ性质，它是Ｂ．Ｂ．Ｐａｎｄａ和Ｏ．Ｐ．Ｋａｐｏｏｒ在［１］中引入的ＷＭ性质的推广。然后证明了：若Ｘ是ＣＬ－ＫＲ的，则Ｓ有（Ｓ）性质；若Ｘ有Ｋ－ＷＭ性质，Ｘ有（Ｓ）性质，则Ｘ是ＣＬ－ＫＲ的；若Ｘ是ＣＬ－ＫＲ的，Ｍ是Ｘ的自反子空间，则Ｘ／Ｍ是ＣＬ－ＫＲ的；若Ｘ有Ｋ－ＷＭ性质，Ｍ是ｘ的自反子空间，则Ｘ／Ｍ有Ｋ－ＷＭ性质。此外，本文还指出：（Ｓ）性质和ＣＬ－ＫＲ不具有对偶性质。     

“C／S”模式及其开发工具

作者介绍了客户机／服务器模式的结构特点及其形式和应用，在分析Ｃ／Ｓ体系结构的基础上具体介绍了面向Ｃ／Ｓ模式的开发工具ＰＯＷＥＲＢＵＩＬＤＥＲ，对利用ＰＯＷＥＲＢＵＩＬＤＥＲ开发前端数据库的过程进行了详细的描述，并对其中的核心部件－－数据窗口的维护和操作给出了完整的Ｓｃｒｉｐｔ编码。目的是对想了解Ｃ／Ｓ模式并想基于这种模式进行开发的读者提供一点帮助。     

A STUDY ON THE LOW FREQUENCY PRESSURE RESPONSE OF THE VENTED ENCLOSURE WITH A NEW THEORY

ＡＳＴＵＤＹＯＮＴＨＥＬＯＷＦＲＥＱＵＥＮＣＹＰＲＥＳＳＵＲＥＲＥＳＰＯＮＳＥＯＦＴＨＥＶＥＮＴＥＤＥＮＣＬＯＳＵＲＥＷＩＴＨＡＮＥＷＴＨＥＯＲＹＳｈｅｎＹｏｎｇＳｈａＪｉａｚｈｅｎｇ（ＩｎｓｔｉｔｕｔｅｏｆＡｃｏｕｓｔｉｃｓ，ＮａｎｊｉｎｇＵｎｉ...     

黄土高原的VA菌根真菌（Ⅲ）—新纪录种橙棕色盾巨孢囊霉…

描述比较了中国新纪录种橙棕色盾巨孢囊霉Ｓｃｕｔｅｌｌｏｓｐｏｒａ ｅｒｙｔｈｒｏｐａ与其类似种异配盾巨孢囊霉Ｓ．ｈｅｔｅｒｏｇａｍａ的基本特征。补充了Ｓ．ｅ．的Ｗ３在ＰＶＬ中变厚及Ｓ．ｈ．的Ｗ３应为有瘤饰的膜状壁（Ｍ０）（原述为膜状壁（Ｍ０））。描述了Ｓ．ｅ．的Ｗ４及Ｓ．ｈ．的Ｗ３和Ｗ４在棉蓝中染蓝的事实。     

Wolbachia在Drosophila auraria复合种和Drosophila simulans中的感染

用 Ｐ Ｃ Ｒ 方法检测了多种果蝇中共生菌 Ｗ ｏｌｂａｃｈｉａ 的感染,发现 Ｄｒｏｓｏｐｈｉｌａ ａｕｒａｒｉａ 复合种以及采集于北京地区的 Ｄｒｏｓｏｐｈｉｌａ ｓｉｍ ｕｌａｎｓ为 Ｗｏｌｂａｃｈｉａ 所感染, Ｒ Ｆ Ｌ Ｐ分析证实为单一感染．克隆了编码 Ｗ ｏｌｂａｃｈｉａ 外膜蛋白质的 ｗ ｓｐ 基因并进行了序列测定．同时比较了 Ｄｒｏｓｏｐｈｉｌａ ａｕｒａｒｉａ 复合种内 ４ 个种和采集于北京及美国加州的 Ｄｒｏｓｏｐｈｉｌａ ｓｉｍ ｕｌａｎｓ 的线粒体的细胞色素氧化酶 ２ 亚基基因的部分序列． 进而讨论了 Ｗｏｌｂａｃｈｉａ 对 Ｄｒｏｓｏｐｈｉｌａ ａｕｒａｒｉａ 复合种成员之间进化关系的影响．     

多变量拟协调元法解流函数形式的两维Navier-Stokes方程

本文应用多变量拟协调元方法解二维Ｎ—Ｓ方程，克服了Ｃ１类连续性条件给流函数方法带来的困难，采用文中提供的单元列式，可以构造出一族适于该方程计算 的低参数三角形和四边形单元。这种列式以显式的形式出现．在形成单元矩阵过程中． 不必进行数值积分，减少了计算量。本文讨论了虚功（率）原理和伪变分原理（Ｐｓｕｅｄｏ－ Ｖａｒｉａｔｉｏｎａｌ Ｐｒｉｎｃｉｐｌｅ）在 Ｎ—Ｓ方程上的应用，并构造出一种适用于低参数单元的 伪变分原理泛函，最后，推导出一种九参数三角形流函数单元，进行了数值试验，说 明本文提供的方法和单元，具有较高的计算精度，且有一定的实用意义。     

Banach空间中半线性发展方程的可控性

利用Schaefer不动点定理得到了在Banach空间中一类半线性发展方程可控性的充分条件。     

Existence of Solutions for Semilinear Impulsive Delay Differential Equations with Nonlocal Conditions

In this paper, by using Schaefer fixed-point theorem,the existence of mild solutions of semilincar impulsive delay differential equations with nanlocal conditions is studied. The results obtained are a generalization and coatinuation of the recent results on this issue. In the end, an example is given to show the application of the results.     

广 义 KRA 抽 象 模 型

针对KRA抽象模型的表示框架进行扩展, 将感知过 程分解为初步感知过程和抽象感知过程两部分: 初步感知过程将该模型提供的一个框架R表示世界W在初步感知系统P的作用下映射为P(W), 该过程不改变W中具体对象的实体属性; 抽象感知过程将P(W)在感知系统P^*的作用下映射为P^*(W), P^*(W)中的对象称为抽象对象, 抽象对象的类型根据感知者预先定义的抽象对象库O_a的不同而不同. 这种建模过程的细化可生成W的不同抽象模型, 使推理得到简化.     

厚向异性值r及应变硬化指数n对板料拉深成形性能的影响

基于R·Hill的各向异性材料理论及W·Panknin的关于拉深应力的计算方程,通过理论分析研究了n,r值对拉深成形时杯形件简壁的屈服和破裂的影响。实验表明,n值对极限拉深率几乎无影响,在n,r值对材料破裂的影响方面,实验结果同理论分析吻合得相当好。本又对拉深成形的理论分析解释了r,n值之间的相互关系,因此,更好地理解和预测板料的拉深性能是可能的。     

3R-3P双臂机器人用于纤维缠绕运动分析研究

在丝嘴处于缠绕轴平面运动的基本运动方程的基础上，推出一种能方便地用于异形缠绕的3R-3P双臂机器人缠绕机，并对运动学特点加以分析研究。     

一类具有非局部条件的Sobolev型Hilfer分数阶发展方程的有限近似可控性

研究了Hilbert空间中具有非局部条件的Sobolev型Hilfer分数阶发展方程的有限近似可控性.在控制系统对应的线性系统是近似可控的这一假设下,通过使用分数阶微积分理论、半群理论、变分法和Schaefer不动点定理,得到了控制系统有限近似可控的充分条件.     

PR状态方程用于混合致冷剂热力性质的计算

包含一个可调参数的Peng-Robinson状态方程可准确计算混合致冷剂的饱和压力及气液平衡,但对液相容积的计算误差稍大。本文针对非共沸混合工质R22/R114和R13B1/R152a进行了计算,同时也计算了两种共沸工质R500和R502,并与实验数据作了比较,获得了较满意的结果。     

星图上的一类非线性Caputo序列分数阶微分方程边值问题解的存在性

研究了一类定义在由3个节点和两条边构成的星图上的非线性Caputo类型的序列分数阶微分方程边值问题(boundary value problem, BVP)解的存在性。通过变量变换,将所研究的带混合边界条件具有不同定义域的分数阶微分方程组转化为等价的具有相同定义域的带同等边界条件的微分方程组。然后借助Schaefer和Schauder不动点定理得到了边值问题解存在的充分条件,借助Banach不动点定理得到了边值问题解存在且唯一的充分条件。     

PC在机床电气控制中的应用

本文以Ｘ６２Ｗ卧式万能铣床为例，介绍ＰＣ在机床电气控制中的应用。给出了Ｘ６２Ｗ铣床的ＰＣ控制Ｉ／０电路；梯形图和指令表。控制程序在Ｆ１—２０ＭＲＰＣ上运行通过；经模拟完全符合Ｘ６２Ｗ铣床的电气控制要求。     

R/W法在复杂自动机结构的动力参数影响规律研究中的应用

该文应用Ｒ／Ｗ法分阶段建立了无壳弹自动机结构的动力学方程，利用Ｒ／Ｗ法中的碰撞处理普遍公式来建立自动机各阶段之间的碰撞方程，通过数值计算和结果和结果分析，得出了自动机动力参数变化对武器三发点射工作性能的影响规律，为实物模型的研究提供了理论依据和数据参考。