微机模拟开发系统MSDS

本文提出了一种开发微机化专用系统的工具——微机模拟开发系统。利用该工具可以在没有被开发的系统硬件环境的条件下,单纯用模拟软件开发调试被开发的系统。这样在微机化专用系统的设计与硬件系统的实施之间提供了一种中介过程的辅助开发手段,提高了开发效率,同时,该工具在移     

带有时间变量和分布时滞的多时间刻度的竞争神经网络的指数稳定

介绍了带有时间变量和分布时滞的竞争神经网络,研究了该网络的指数稳定．利用非光滑分析技术,证明了该系统平衡点的存在唯一性．通过运用分析方法、不等式技术,取得了该系统平衡点的指数稳定．     

分布式系统调试器IVD的系统实现

介绍了一个自主式智能车辆AIV系统的分布式系统测试床IVD系统.首先讨论了IVD系统的设计目标,然后在介绍AIV结构的基础上,详细地分析了IVD系统,按实时在线调试和离线重放两种情况进行一一讨论.该系统已在智能车辆AIV系统开发及调试实验中得到应用,实验结果验证了该系统是进行在线实时观察,离线分析问题的强有力的工具.     

折线Mamdnai模糊系统及其权值参数的萤火虫优化算法

折线Mamdnai模糊系统是基于折线模糊数的线性运算构造的系统模型,其主要特点是前件模糊集及后件中心连接权均取值于由有限个有序点决定的折线模糊数.依据折线模糊规则建立了折线Mamdnai模糊系统模型,进而基于适应度函数、荧光素和决策半径设计了该系统权值参数的萤火虫优化算法,以优化该系统的后件中心连接权参数.最后,通过一个双输入单输出仿真实例,验证了该萤火虫优化算法的有效性.     

基于网络的数字视频监控系统

提出了一个基于网络的数字视频监控系统 ,该系统具有视频压缩、解码、网络传输、图像储存、图像索引回放、摄像机远程控制和图像内容报警等功能 .因采用了基于视频硬件压缩芯片以及快速以太网技术 ,该系统的图像质量和帧率指标远远高于一般基于电话线和软件压缩的监控系统     

集装箱船配积载计划编制系统及其在教学中的应用

在介绍集装箱船配积载计划编制系统的概况、特点的基础上,将系统进行教学模拟设计并归纳其优点,提出该系统在航海技术教育与培训、载运工具运用工程研究生教育与培养等方面的教学应用,分析了影响该系统教学质量的因素．     

基于GIS的海洋环境信息数据库在海洋环境信息可视化分析中的应用

利用数据库技术,结合GIS和遥感技术建立了集数据处理、数据分析、数据可视化综合管理为一体的海洋环境数据库系统.该系统以综合管理为目标,重点在于对海洋环境信息的分析和监测数据的管理.该系统以海洋环境监测数据为主,海洋水色遥感卫星数据为辅,遥感图像的分析处理、GIS技术的空间查询、分析等一系列功能被融入到了系统中.通过应用实例表明,该系统可以成为海洋环境信息管理中可视化分析处理的有力工具.     

相空间中的Noether定理及其应用

从修改的哈密顿变分原理出发导出相空间的 Noether 定理,对正则拉氏量系统,分析该系统在相空间中的对称性质,可导出其相应的守恒量,而这种相空间中的对称性质在位形空间中常常又是不呈现出来的.对奇异拉氏量系统,该系统具有 Dirac约束,我们分析了约束系统的对称性质,讨论了 Dirac 猜想是否有效.     

两个参数受到随机干扰的一类传染病模型研究

研究了两个参数同时受到随机干扰的一类SI传染病动力学模型,采用Fokker-Planck方程的方法,详尽的分析了该模型的动力学性质,而且得到了系统均衡解的均值和方差的显示表达式,从而该系统的的动力学行为就被完全弄清楚了。     

一类具季节性时变参数和脉冲控制的捕食-被捕食系统的动力学

研究一类脉冲控制的微分动力系统,该系统基于具有一般功能反应和季节性影响的捕食-被捕食系统,并加入了脉冲控制扰动,用来模拟农业生产中包括生物防治和化学防治在内的虫害综合防治过程或其他生物资源开发过程。利用脉冲微分方程中的Floquet理论和比较方法分析了该系统的动力学     

脉冲周期种群动力系统的正周期解

使用Poincare映射和Horn不动点定理对具有脉冲的周期种群生态系统进行研究,得到了脉冲周期种群系统的正周期解存在性,从而为进一步从理论上研究脉冲周期种群动力系统打下基础．     

多元代数方程组解的重数的计算

本文利用多项式理想对偶基的理论给出了当代数方程组只有孤立解(即零维理想的零点)时解的重数的一个算法,同时得到了零维理想有重零点的几个判定准则.     

径向剪切干涉法测量气体温度场

提出双Fresnel波带板共光路径向剪切干涉测量系统，导出该光路系统下的待测波面的计算方法。用该系统对轴对称气体温度场进行实验测试，采集气体温度扰动的干涉条纹图，经傅里叶变换解调相干波相差，求解扰动波面及扰动引起的波面差，重建气体温度场。结果表明双Fresnel波带板径向剪切干涉系统具有较高的测量精度和测量灵敏度，适合横向尺度较大、纵向尺度（光传播方向）较小，与环境最大温差较小时的位相物体的测量研究。     

边界元法在辐射换热中的一个应用

运用Stokes公式及边界元理论,导出了辐射换热计算中的辐射角系数与相互辐射面积的计算基本公式。通过四个典型例子的计算,结果与精确解加以对比,表明本方法计算可靠、稳定,具有输入数据少,准确度高等优点。分析了影响计算准确度有关因素,对所遇到的奇异积分给予了有效的处理。     

基于无线IP技术的运动会管理系统的短消息平台

在引入无线IP技术的基础上,提出了无线网络的运动会管理系统的架构思路.文中详细描述了从初步的模块建构,到运动会管理系统生成,以及无线IP技术的应用实现.同时预测将短信息查询平台作为另一大特色运用在该系统之上,这也是未来无线网络发展的趋势之一.     

基于RBF神经网络的双语教学评价系统的设计与实现

在传统的教学评价体系中,评价的结果受人为主观因素影响较多,往往不能客观地对教学过程进行评价,本文在对国内外双语教学评价方法进行系统研究的基础上,建立了双语教学评价指标体系,基于RBF神经网络构造评价模型,使用JSP技术实现了双语教学评价系统。     

应用客户机/服务器技术开发热自助系统

热自助系统是证券信息中的重要组成部分,现有的热自助系统在系统适应性和可维护性上存在着不足,本文介绍了使用客户机／服务器技术开发热自助系统,从而提高了系统的逻辑独立性和适应性。     

基于数据集中处理的技术架构设计模型

针对目前国际化的竞争环境,数据集中处理可以提高跨区域经营企业的核心竞争力,通过实例介绍了数据集中处理的系统总体架构模型、主机应用系统模型、前置前端系统模型等部分,给出初步模型设计,为企业完成数据集中处理提供一种最佳设计方案.     

一类随机方程组的解及其连续性

本文中给出了一类非单调压缩型随机映射的随机不动点定理,并在Polish空间中讨论了一类随机算子方程组的随机解及其关于参数的连续依赖性问题,推广已知的某些重要结果。     

线性支出系统及其在我国的应用

研究我国城市居民家庭支出模式是有意义的。本文采用线性支出系统和广义线性支出系统,建立了我国城市居民家庭支出结构的数学模型。线性支出系统有助于人们搞清价格在家庭对各种商品支出份额配置上的作用和影响。根据线性支出系统和广义线性支出系统,我们求得价格弹性、交叉价格弹性和收入补偿价格弹性等。文章最后部分,我们对改善我国城市居民家庭支出结构提出一些建议。