多延迟微分方程数值解θ—方法的稳定性

研究延尺微分方程数值解的稳定性。主要分析用新θ－方法解一般线性试验方程ｙ＇（ｔ）＝ａｙ（ｔ）＋ｂ１ｙ（ｔ－τ１）＋ｂ２ｙ（ｔ－τ２）＋．．．＋ｙ（ｔ－τｓ），其中ａ∈Ｃ，ｂｊ∈Ｃ，τＪ＞０，ｊ＝１，２，．．．，ｓ，所得到的数值解的性态。证明出新θ－方法是ＧＰｓ－稳定的充要条件是１／２≤θ≤１。     

多延迟微分方程数值解θ－方法的稳定性

研究延迟微分方程（ＤＤＥ）数值解的稳定性。主要分析用新θ－方法解一般线性试验方程ｙ＇（ｔ）＝αｙ（ｔ）＋ｂ１ｙ（ｔ－τ１）＋ｂ２ｙ（ｔ－τ２）＋．．．＋ｙ（ｔ－τｓ），其中α∈Ｃ，ｂｊ∈Ｃ，τｊ＞０，ｊ＝１，２，．．．，Ｓ，所得到的数值解的性态。证明出新θ－方法是ＧＰＳ－稳定的充要条件是     

临界状态下一阶中立型时滞微分方程的振动性

证明了一阶中立型时滞微分方程「ｘ（ｔ）－Ｐ（ｔ）ｘ（ｔ－τ）」’＋Ｑ（ｔ）ｘ（ｔ－σ）＝０所有解振ｌｉｍｔ→∞Ｐ（ｔ）＝１且ｌｉｍｉｎｆｔ→∞∫＾ｔ,ｔ－τＱ（ｓ）ｄｓ〉０,其中Ｐ（ｔ）,Ｑ（ｔ）∈Ｃ（「ｔ０,∞）,Ｒ＾＋）τ,σ∈（０,∞）《     

一类二阶非齐次时滞微分方程属于L．S∩L．C的判定

通过构造泛函，并引入辅助函数Ｆ（ｔ），得到了保证一类二阶非齐次时滞微分方程ｘ″（ｔ）＋ｐ（ｔ）ｘ′（ｔ）＋ｑ１（ｔ）ｘ（ｔ）＋ｑ２（ｔ）ｘ（τ（ｔ））＝ｆ（ｔ）所有解ｘ（ｔ）均满足ｘ（ｔ）∈Ｌ２［ａ，∞）∩Ｌ∞［ａ，∞）的充分条件。     

一类Fuchs型偏微分算子Cauchy问题解的结构

本文在Ω＝［Ｏ，Ｔ１］×［Ｏ，Ｔ２］×Ｒｎ上讨论如下Ｆｕｃｈｓ型偏微分算子Ｐ＝ａ０ｓｔ２ｓ２ｔ＋ａ１（ｓ，ｔ，ｘ，ｘ）ｔｓ＋ａ２（ｓ，ｔ，ｘ，ｘ）其中ａ０为非零常数，ａ１（ｓ，ｔ，ｘ，ｘ），ａ２（ｓ，ｔ，ｘ，ｘ）是关于ｘ的阶数小于２，系数属于Ｃ∞（Ω）的线性偏微分算子，且ａｉ（ｏ，ｏ，ｘ，ｘ）＝ａｉ（ｘ）（ｉ＝１，２）．本文给出了算子Ｐ和由Ｐ产生的“特征算子”Ａ１（θ），Ａ２（λ）的Ｃａｕｃｈｙ问题和平坦Ｃａｕｃｈｙ问题的相互关系，以及这三个算子的Ｃａｕｃｈｙ问题和平坦Ｃａｕｃｈｙ问题适定的充分必要条件．     

几类泛函微分方程周期解的存在性

采用存在周期解的Ｋａｐｌａｎ－Ｙｏｒｋｅ方法讨论了泛函微分方程ｘ（ｔ）＝－ｇ（ｘ（ｔ））［ｆ１（ｘ（ｔ±τ１））＋ｆ２（ｘ（ｔ±τ２）］周期解的存在性．     

二阶非性线性中立型时滞微分方程的振动性

在ｃ≠－１时，给出中立型时滞微分方程：［ｘ（ｔ）－ｃｘ（ｔ－τ０）］＾（２）－ｍ／∑／ｉ－１ｐｉ（ｔ）ｆｉ（ｘ（ｇｉ（τ）））＝０ｔ≥ｔ０解的振动与近充分条件。     

具“积分小”系数一阶中立型微分方程的振动性

本文讨论了非线性方程［ｘ（ｔ）－Ｐ（ｔ）ｘ（ｔ－τ）］＇＋Ｑ（ｔ）ｎ／∏／ｉ＝１｜ｘ（ｔ－σｉ｜＾ｑｉｓｇｎｘ（ｔ－σ１）＝０的振动性，而不需要求常条件：∫＾∞ｔ０Ｑ（ｓ）ｄｓ＝∞     

一类二阶非齐次时滞微分方程属L.S∩L.C的判定

通过构造泛函，并辅助函数Ｆ（ｔ）得到了保证一类二阶非齐次时滞微分方程ｘ＾ｎ（ｔ）＋ｐ（ｔ）ｘ‘（ｔ）＋ｑ１（ｔ）ｘ（ｔ）＋ｑ２（ｔ）（τ（ｔ））＝ｆ（ｔ）。     

一类Fuchs型偏微分算子Cauchy问题的例外解

在Ω＝［Ｏ,Ｔ１］×［Ｏ,Ｔ２］×Ｒｎ上讨论如下Ｆｕｃｈｓ型偏微分算子Ｐ＝ａ０ｓ２ｔ２２ｓ２ｔ＋ａ１（ｓ,ｔ,ｘ）ｓｔｔｓ＋ａ２（ｓ,ｔ,ｘ,ｘ）其中ａ０为非零常数,ａ１（ｓ,ｔ,ｘ）,ａ２（ｓ,ｔ,ｘ,ｘ）是关于ｘ的阶数小于或等于１,系数属于Ｃ∞（Ω）的线性偏微分算子,且ａ２（ｏ,ｏ,ｘ,ｘ）＝ａ２（ｘ）本文在Ｌｈ１ｈ２上讨论并给出了算子Ｐ的Ｃａｕｃｈｙ问题的例外解     

深化我国投资融资体制改革的思路

我国投资融资体制改革已取得很重大进展。但是仍存在一些问题 ,主要是 :社会融资结构不合理 ,社会融资风险难以释放 ;投资主体没有形成一个完整体系 ,社会融投资效率不高 ;社会投资效益不好 ;缺乏风险投资机制。改革的思路是 :进一步转变政府职能 ,必须加快资本市场的建设步伐。     

A new robot-assisted orthopedic surgery simulation system

Surgicalsimulationisoneofthemostpromisingareasinmodernmedicine.Somenewtechnologies,inparticularvirtualrealitytechnologyandrobottechnology,willbea bletohaveamajorimpactonsurgeryinthenextdecade.McCloyandStonehavereviewedvirtualrealityinsurger y[1].Currently…     

城市给水管网可靠性分析初探

本文在解节点方程求节点可用流量的基础上,将给水管网中的取水节点划分为三种状态：满足、断水和剖分满足,并在给水管网的可靠性分析中采用节点可靠度,体积可靠度,网络可靠度三个可靠性指标,对城市水管网和可靠性分析作了初步尝试。     

实时多任务应用最坏情况设计的研究

论述了实时应用软件从循环轮询系统,前后台系统到实时多任务系统的发展及实时多任务系统的特点;分析了实时操作系统所提供的典型性能指标、任务切换时间、中断延迟时间;研究了其性能指标与实时多任务应用的最坏情况设计的关系,最后提出实时操作系统应该提供的性能指标供应用设计。     

知识库系统的可终止性与正确性问题

本文讨论的内容共分三部分:不包含递归规则的系统,包含递归规则的系统,与包含非逻辑设施的系统。通过严格的定义和证明,给出了有关终止性和正确性问题的一些充要条件与充分条件。对存在的一些问题,待进一步探讨。     

人类信息的多层次结构

通过分析信息的本质定义，逐层分析了人类在不同意义上的信息特点；人作为一种客观存在的高等生物，有三层信息交流：个体与环境，内部生命系统，意识思维系统。后者是最复杂的信息系统，在信息交流中意识思维主体还在不断地构建发展。本文并提出了主体信息论的概念。     

略论社会主义核心价值体系的普遍主义理论前提

价值体系型普遍主义、形式主义型普遍主义和整体价值体系型普遍主义是三种虚假的普遍主义。以马克思主义为理论指导的全面价值型普遍主义认为,所有的价值都是普遍的,但是所有的价值构成的全面的价值组合并不组成固定＼的价值级序。以全面价值型普遍主义为理论前提,社会主义核心价值体系的建构需要实现全面价值和全面认识价值世界。     

基于知识库和系统建模分析的计算机辅助人机系统框架研究

介绍了计算机辅助人机工程设计概念和它与传统人机工程设计相比所表现的优势.论述了计算机辅助人机工程设计系统的两个关键问题:系统知识库的建立和系统建模,以此为核心提出了计算机辅助人机工程设计系统知识库构建框架.     

n中取相邻n-1好的多状态可修系统的可靠性分析

研究了n中取相邻n-1好的多状态可修系统．当系统部件存在两种失效模式,部件失效时间服从指数分布,修理时间是一般连续型分布的情况下,利用向量马尔可夫过程和Laplace变换分析了该系统．求出该系统的可靠度的Laplace变换式和首次故障前平均时间的精确表达式．     

大学生思想政治教育生态环境系统的构建与优化

大学生思想政治教育的生态环境系统主要包括社会生态环境系统、家庭教育生态环境系统、学校教育生态环境系统和虚拟社会生态环境系统四个子系统。各子系统之间以及各子系统内部的生态因子之间相关联系、相互牵制,要实现其良性互动,就必须加强对整个生态环境系统的协调和优化。