一类非线性四阶常微分方程边值问题正解的存在性

用一种较简单的方法建立了非线性四阶常微分方程边值问题{u（4）（t）=f（t,u9t）,u″（t）0,t∈（0,1） u（0）=u（1）=u″（0）=u″（1）,正解的存在性结果,对非线性项f只要求其满足一个局部条件．     

Particle simulation of the failure process of brittle rock under triaxial compression

In order to investigate the failure process of brittle rock under triaxial compression through both experimental and numerical approaches, the particle simulation method was used in numerical simulations and the simulated results were compared with those of the experiment. The numerical simulation results, such as fracture propagation, microcrack distribution, stress-strain response, and damage patterns, were discussed in detail. The simulated results under various confining pressures (0-60 MPa) are in good...     

定制非周期极化LiNbO3中多频率THz波的产生

描述一种非周期极化结构晶体中多频率太赫兹辐射波的产生.在此非周期结构的LiNbO3,超晶格中,基于飞秒脉冲二阶非线性光学整流效应,模拟多频率模式的太赫兹波形.通过选择最佳畴宽度,得到转换效率基本相等的3个主要太赫兹频率模式.该方法对多频率模式的个数无限制,且有助于多频率激光器中超晶格晶体的设计.     

高等学校固定资产核算的分析与思考

在高等学校固定资产内涵以及固定资产核算方法的理论基础上,针对当前高等学校固定资产核算存在的问题,提出了高等学校固定资产核算的相关对策.     

时间模上二阶三-点边值问题的三个正解

运用Legget—Williams锥上的不动点定理,讨论时间模上的二阶非线性方程三一点边值问题至少有三个正解的存在性．     

带积分边界条件的二阶微分方程三个正解的存在性

运用不动点定理,研究了一类带积分边界条件的二阶微分方程三个正解的存在性．推广了以前的结果．     

基于Petri网的固定结构决策组织建模技术研究

在指挥自动化系统中,固定结构决策组织模型的建立存在多维性、复杂性、开发研制周期长、耗资巨大等问题,仿真技术为这类问题的解决提供了一条途径,而建模技术对仿真的有效实施提供了保障．文中在对现有固定结构决策组织建模技术深入分析的基础上,提出一种基于格论生成法和两阶段生成法相结合的建模方法．该方法具有可在不同抽象级别上变换的特点,更适合描述系统状态的改变,提高系统设计开发效率．     

一类含参数二阶两点边值问题正解的存在性

运用不动点指数理论,讨论了二阶两点边值问题u″（t）＋λu（t）＋f（u）=0 t∈（0,1）,u（0）=u（1）=0.正解的存在性,其中λ∈[0,∞）为参数,f∈C（[0,∞）,[0,∞））.     

一类二阶边值问题反对称变号解的存在唯一性

研究了一类二阶边值问题反对称变号解的存在唯一性,利用上下解方法、单调迭代方法及解的延拓技巧研究一类非线性二阶边值问题,得到了该问题反对称变号解的存在唯一性定理,应用该定理说明了一个具体的二阶边值问题具有唯一反对称变号解。     

节点数固定的ER网络演化模型拓扑性质的研究

复杂网络模型的研究主要集中在ER网络模型、小世界网络模型和无标度网络模型,其中ER网络模型是最经典的复杂网络模型之一。文章研究了节点数固定情况下的ER网络模型,根据网络内部边的动态演化特点,将节点数固定的网络模型进行了细分,给出了模型的生成算法,并模拟了算法生成的随机网络的平均路径长度和聚类系数。仿真结果表明,节点数固定的ER网络具有小世界特性,出现这种小世界特性的主要原因是由于网络内部边的异质性,而与网络的节点数变化没有必然联系。