位置：成果数据库 > 期刊 > 期刊详情页
一类半线性时变常微分方程解的分布
  • 期刊名称：武汉理工大学学报(交通科学与工程版)
  • 时间：0
  • 页码：554-557
  • 分类：O175.1[理学—数学;理学—基础数学]
  • 作者机构：[1]武汉理工大学理学院,武汉430063, [2]电子科技大学计算机科学与工程学院,成都610054
  • 相关基金：国家自然科学基金项目资助（批准号：60773205）
  • 相关项目：基于广义符号轨迹赋值理论的模型检测
作者： 李义年|杨国武|
关键词： 半线性时变常微分方程, 渐进性质, 解的分布, semi-linear timing-varying ordinary differential equations, asymptotic property, distribution of solution
中文摘要：

研究了一类赋初值的半线性时变常微分方程在不同参数条件下方程的正解和负解的分布情形及其渐进性质.通过Matlab数值分析,直观地展示了该类半线性时变常微分方程解的分布.

英文摘要：

The positive and negative solutions＇ distribution and their asymptotic properties in the different parameters are studied,for a class of semi-linear timing-varying ordinary differential equations with initial value.Through the Matlab numerical computing,the distribution of such semi-linear timing-varying ordinary differential equations＇ solutions is showed.

同期刊论文项目
基于广义符号轨迹赋值理论的模型检测
期刊论文 27 会议论文 8
量子计算中可逆逻辑电路的合成
期刊论文 7 会议论文 4
同项目期刊论文
三位量子电路的非二值量子门的精确综合
Realization and synthesis of reversible functions
可逆电路的最小代价综合
4位可逆电路的双向综合
n阶可逆电路的最小一致性库
可编程逻辑控制器的形式化建模与综合
多端图切割的改进参数算法
Wire congestion estimation in a bounded-bend model
Exact synthesis of three-qubit quantum circuits from non-binary quantum gates
基于S3C2410X的I~2C总线接口的软件仿真与验证
符号轨迹赋值中对称结构的自动化探索
NAND Flash仿真模块的一种验证方法
混杂前缀选择系统的形式化分析
超图中发现最小的3路切割
AN ANALYTICAL CONGESTION MODEL WITH BOUNDED-BEND DETOURS
基于广义符号轨迹赋值模型验证的反例的产生
Mathematical analysis of stage-based programmable logic controller
SST39VF040 NorFlash芯片的软件仿真实现
基于贝叶斯网络的PLC系统的可靠性分析
生化应用里同步布尔网络中发现吸引子的高效算法
一类SAT Benchmark的算法研究
基于局部搜索的完备SAT求解算法
New strategies for reliability analysis of Programmable Logic Controllers
基于状态迁移模型的NAND闪存的软件仿真
Markov链使用模型的测试用例生成方法研究
基于GSTE的验证在UART模块中的应用研究
电路并发性质在GSTE中的研究和实现
Performance-driven assignment and mapping for reliable networks-on-chips
Complete Boolean Satisfiability Solving Algorithms Based on Local Search