依赖尺度结构的竞争种群的最优出生率控制

讨论了一个具有尺度结构的竞争种群模型。首先利用特征线法以及Banach不动点定理对系统解的存在惟一性予以证明,通过比较原理证明系统解对控制变量的连续依赖性;最后利用法锥的定义,证明最优控制存在的必要性。     

几个不等式的概率函数证明方法

数学上某些不等式若运用确定性数学方法进行证明是比较困难的,而运用随机方法进行证明则较为简易。利用概率论的基本性质、随机概率模型、函数的凹凸性、分布列以及概率密度较为系统地论述了不等式证明中的一些概率方法,总结了应用概率的思想证明不等式的技巧。     

试论我国刑事诉讼证明标准的体系化及相关问题

刑事诉讼证明标准的体系是指刑事诉讼证明标准在其模式以及刑事诉讼的性质、诉讼证明、证据理论的共同作用下,结合立法司法实践所自有的体系化内容,也可以说是以证明标准模式与具体的证明标准为主要内容的产物。也有学者认为刑事诉讼证明标准的体系是指刑事诉讼证明标准法律规定的体系。笔者同意前一种观点。我国刑事诉讼证明标准的理论探讨中,存在对到底选择哪一种证明标准的模式或多或少地予以回避,对模式支配下的具体证明标准研究不够深入等问题。这反映出证明标准的体系化研究不够到位,本文以此为出发点,着力论证刑事诉讼证明标准的体系化及相关问题。     

微积分理论重要极限"非汉字符号"sinx/x的再证明

微积分学中重要极限limx→0sinxx的大多数传统证明方法用到尚未严格证明过的圆周长或圆面积公式。论文通过新的途径对此进行了再证明,与传统证明方法以及近来的某些其它方法都是不同的,避免了循环论证之嫌,对完善微积分经典理论是有益的。     

齐次Sobolev空间和齐次Besov空间的一些注记

Sobolev空间和Besov空间在偏微分的学习中占有重要地位,与其对应的齐次空间知识的应用也逐渐得到重视.在这里研究齐次Sobolev空间内的主要定理以及齐次Besov空间等价定义.就齐次Besov空间的等价定义给出具体证明过程;对于齐次Sobolev空间中给出的一些定理,利用环上分解的方法做出详细的证明.这些定理以及相关的证明方法对偏微分方程以及其他研究都有很大意义.     

拉格朗日中值定理的应用

本文列举了拉格朗日中值定理在证明不等式、证明函数极限以及讨论函数的解析性方面的应用,有利于加深对拉格朗日中值定理的理解并能熟练应用它解决一些实际问题。     

用特征函数证明一些定理

特征函数的性质,以及用特征函数证明一些定理,可使得一些定理在证明中更简略。     

论我国量刑证明标准的构建

在独立量刑程序改革语境下,我国有必要构建科学合理的量刑证明标准体系,其有助于实体正义与程序正义的实现以及诉讼效率的提高。西方国家量刑证明标准的引入具有重要的借鉴意义。我国量刑证明标准应作层次性设计,其中法定量刑情节中的从重、加重、免除情形宜采排除合理怀疑证明标准,从轻、减轻情节宜采清楚且有说服力的证明标准;对酌定量刑情节应采优势证据标准;基于生命权的重要性,对死刑案应采确定无疑的量刑证明标准。     

一种命题形式系统的等价性证明

Lukasiewicz提出的一个命题形式系统与两个常见的命题形式系统之间的等价性证明关键就在于在Lukasiewicz系统中证明公理模式A→(B→A)和(A→(B→C))→((A→B)→(A→C))。而要证明这两个公理模式其关键又在于证明若干重要的中间公式,如A→((﹁B→B)→B)以及皮尔士律、吸收律、段定律等。就此,在Lukasiewicz给出的证明的基础上,讨论了一种不同的、相对简单一些的证明过程。     

论梅文鼎的几何思想——梅文鼎对勾股定理的研究

本文通过勾股定理的证明、勾股定理证明的基础和勾股定理的应用三个方面,论述了梅文鼎融通中西几何,以及从研究中确定了勾股定理在几何中的重要作用.     

诗与"在"--海德格尔诗学的阐释

海德格尔对荷尔德林诗歌的阐释，目的是进行诗与思的对话，归根结底还是探讨存在。诗与“在”的关系，是海氏诗学框架的核心内容，诗与“在”的关系又进一步引申为艺术与真理的关系，本从真理如何被遮蔽的问题入手，试图读解海德格尔诗学的内涵。艺术是无蔽的真理显明的一种方式，诗是危机的拯救，语言是存在的家园。海德格尔对诗与在的探讨最后又转入了对语言的探讨，无法走出语言的牢笼。只有在实践中，把艺术变成为社会变革的一个因素，才可以解放被传统理性压迫的力量，显现艺术的真理，确立艺术的价值。     

论信托财产的人格性

信托财产是信托关系的基本要素,由于信托的特殊性,信托财产与传统民法的财产有很大区别,正确给信托财产定位,是信托业得以健康发展的核心问题。信托财产的特性在于其人格性,而这种人格性的赋予是以交易成本最小化为动因,尽管信托财产人格性设计对受益人的利益有偏袒,但从社会成本而言,其目的在于促使交易成本最小化,当然,对信托财产的人格性不能绝对化,由于利益平衡的需求,往往在特定情况下对信托财产予以人格否认。     

多腔速调管主要性能指标简化分析

介绍了速调管在我国的发展现状和几种不同结构的多腔速调管的主要特性比较,并给出了小信号条件下速调管的各种主要特性的简化分析方法.在这种简化分析方法中,把多腔速调管看作是几个双腔速调管的级联,并且没有考虑非线性、空间电荷效应和相对论效应等带来的影响,目的是阐述基本原理和基本分析方法.     

文艺复兴时期欧洲声乐艺术的特点与成就

"文艺复兴"是西方文明史上的一次重大的思想文化运动。文艺复兴时期音乐文化的重要特点,一是世俗音乐的发展,二是专业音乐的发展。声乐艺术在文艺复兴时期所取得的成就及在各个历史时期的发展、变革以及各种流派和风格的产生,必然和当时社会的现状紧密相连。     

水中物点成像位置的定量研究

从光的折射定律出发,运用有关数学知识,定量研究了水中物点成像的规律.得到了观察者自坐标原点o出发沿x轴正向改变观察方位观察时所看到虚像连成的曲线方程和观察者在圆柱体形装水容器上空附近不同方位观察时水中物点A成像的区域,并且利用计算机描绘出了其曲线与成像的区域.     

气体对阴离子表活剂压裂液破胶实验研究

阴离子表活剂压裂液是新型清洁压裂液,原油和地层水对其破胶机理与实验研究已相当充分,但气体对其破胶作用至今研究很少.为解决阴离子表活剂压裂液在压裂应用中的障碍,研究采用一套实用的实验流程,评价了天然气、氮气、二氧化碳三种常见气体对阴离子表活剂压裂液的影响.实验证明,三种不同的气体对阴离子表活剂压裂液的降粘幅度存在较大的差别,其中,二氧化碳气体对阴离子清洁压裂液降粘幅度最大,可使交联液体彻底破胶,天然气对阴离子型表活剂压裂液降粘幅度较小,氮气对阴离子压裂液的粘度几乎没有影响,氮气和天然气可以使液体泡沫化,从而有利于返排.实验结果为优化压裂设计提供了依据,可有效提高现场压裂施工成功率.     

DEM/CFD modelling of the deposition of dilute granular systems in a vertical container

Deposition of granular materials into a container is a general industrial packing process. In this study, the deposition behaviour of dilute granular mixtures consisting of two types of particles that were of the same particle size but different particle densities in the presence of air was numerically analyzed using a coupled discrete element method （DEM） and computational fluid dynamics （CFD）. Bilayer granular mixtures with light particles at bottom and heavy particles at top were first simulated. It was found that the presence of air significantly affected the flow behaviour of the bilayer mixtures. For the system with a relatively low initial void fraction, the air entrapped inside the container escaped through the dilated zones induced due to the friction between the powder bed and wall surfaces. The escaping air streams entrained light particles that were originally located at the bottom of the granular system. Consequently, these light particles were migrated to the top of the granular bed at the end of deposition process. More light particles were migrated when the deposition distance was increased. For the system with a high initial void fraction, some light particles penetrated into the top layer of heavy particles and created a mixing zone. Deposition of random mixtures with different initial void fractions was also investigated and the influence of initial void fraction on the segregation behaviour was explored as well. It was found that the increase of void fraction promoted segregation during the deposition in air. It was demonstrated that, for granular mixtures consisting of particles of different air sensitivities, the presence of air had a significant impact on the mixing and segregation behaviour during the deposition.     

等离子体刻蚀对纤维结构的影响

本文讨论了等离子体刻蚀作用对纤维结构的影响,并应用差示扫描量热法、X-射线衍射法、光电子能谱法、红外光谱法、光学双折射法以及表面润湿性分析等测试手段进行了测定分析。实验结果表明,等离子体刻蚀后,纤维的结晶部分和取向情况均有明显改变,纤维大分子基团亦发生变化,并优先向亲水基团转变。通过层叠薄膜刻蚀实验可以看到,等离子体的刻蚀作用不但明显改变纤维表面结构,而且已经影响到整根纤维,是一种整体效应。本文认为这种整体效应主要由等离子体区域中的紫外线远程辐射引起的。     

嵌入式系统在起重机吊具防摇控制中的应用

针对起重机吊具防摇系统中PLC实现模糊PID控制算法的迟滞性及编程工作量大等问题,提出将嵌入式系统运用到其防摇控制中.系统采用主从控制方式,将嵌入式处理器设定为从机工作模式,PLC设定为主机工作模式.从机负责起重机吊具参数的采样和模糊PID控制算法的运算,主机根据从机运算结果负责控制起重机小车电机的转速和方向,通过主从机协同控制达到起重机吊具防摇的目的.串行通讯接口RS485保证主从机数据的可靠通信.系统借助嵌入式处理器运算平台,通过运用C语言编程,实现模糊PID防摇控制算法,程序简洁,处理器读写指令周期短,提高了系统的数据处理能力和控制效率,嵌入式处理器与PLC主从控制方式增加了系统结构的灵活性.同时,结合模糊PID算法的自适应特性,使系统具有较强的鲁棒性.     

F检验临界值和模型定阶

模型类型选择和模型适用性检验是时序建模的两个基本问题。时序模型适用性检验的核心是模型阶数确定问题。本文以统计学中的F检验和AIC准则为基础,推导出模型定阶F检验临界值。用它定阶简便实用。举例计算表明其结果和其他定阶方法相一致。