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

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

高维分层混合模糊系统的规则缩减及逼近性假设检验

混合模糊系统,即通过调控参数将Mamdani和T-S合并建立的一种新型系统模型.混合模糊系统不仅能保持各自模糊系统的优良特性,还可大大缩减系统内部的模糊规则总数.为避免因增加输入变量引发高维混合模糊系统规则爆炸,基于混合模糊系统的分层表示,给出了分层混合模糊系统对连续函数的逼近算法.对比发现,高维分层混合模糊系统的规则总数可被大幅度削减.此外,通过实例模拟了一个三维混合模糊系统分层后的实际输出,并用统计学的t-假设检验方法检验了该分层混合模糊系统的逼近性能.     

矩阵系统扰动后的稳定性问题

本文证明：若矩阵系统是广义各态历经的，则系统是稳定的；若矩阵系统是善真的，则系统是条件稳定的。     

基于UG NX的大型复杂零件反求软件开发及应用

针对大尺寸复杂零件反求设计应用的实际需要,基于点云数据获取与预处理、多视测量与数据拼接、复杂曲面特征提取与重构的理论基础,对三维CAD系统——UG NX进行二次开发,获得了反求系统——RETOOL系统,该系统可内嵌于UG NX系统。通过应用实例介绍了RETOOL系统开发过程中系统构成、核心模块设计、关键实现方法以及系统的运行环境。     

基于系统调用的macOS软件行为监测技术和框架

通过基于系统调用hooking的技术手段,实现了macOS系统下系统调用hooking的通用框架.该框架可根据用户配置对指定系统调用进行监控并输出定制日志,构建了基于策略的安全事件监测与处理机制.实验测试结果表明,该框架具备对macOS底层系统所有系统调用函数的监控能力,其基于策略的事件监测机制运行有效,可为macOS系统下的安全研究及应用提供良好支撑.     

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

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

HS-代数的(落影)模糊演绎系统

定义了HS-代数的模糊演绎系统,由模糊积和模糊上集给出了模糊演绎系统的一个新刻画,讨论了模糊演绎系统的像和逆像的性质.使用落影理论讨论了HS-代数的演绎系统,并研究了落影模糊演绎系统和模糊演绎系统的关系.     

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

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

增强安全隐匿网格系统的研究

网格技术的广泛应用对网格环境的安全、隐私和服务质量提出了越来越高的要求．提出了增强网格安全和匿名系统构架，包含系统模型、身份保护系统、洋葱路由系统、信誉系统和安全技术等．并通过计算机网络系统模拟分析了其可扩展性．     

研究蛋白质相互作用的新系统——酵母双杂交系统

自酵母双杂交系统创建以来,已经成为研究蛋白质相互作用的重要手段,被广泛用于各个生物学研究领域,揭示了大量未知蛋白质之间的相互作用. 近来,在经典的酵母双杂交系统基础上,又相继提出许多新的研究方法,如:三杂交系统,单杂交系统,逆向双杂交系统,SOS富集系统等等. 酵母双杂交及其衍生系统已经成功地运用于蛋白质之间,蛋白质与DNA、RNA、配体之间的相互作用的研究     

基于MATLAB的数字通信系统可视化设计

利用MATLAB高级语言实现了数字通信系统的可视化设计，介绍了系统设计方法与运行结果，从中可直观地观察到信号在通信系统各部分中的时域波形与频域波形，有利于深入理解通信系统．同时，通过修改系统的相应参数，可以对该数字通信系统进行仿真研究．     

微机模拟开发系统MSDS

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

光纤束共焦显微成像

在光纤共焦显微系统理论的基础上，结合普通并行共焦理论和抽样定理，研究光纤束共焦系统的有效点扩散函数，得出光纤束共焦系统的光场分布情况。根据光纤束共焦系统的有效点扩散函数和光纤束中光纤的排列特点，分析光纤束共焦显微系统成象质量的影响因素。结果表明光纤束的光纤间距与物镜的放大率决定了系统的横向分辨率。     

环境因素影响下的宿主内部与宿主之间疾病传染耦合系统的离散情形（英文）

通过非标准差分法,研究了一个环境因素影响下的宿主内部与宿主之间疾病传染的离散耦合系统.下面将耦合系统分为快系统和慢系统来分析.在快系统中,得到了解的正性、有界性和无病平衡点和被传染平衡点的存在性,然后,用线性化方法证明了平衡点的稳定性.在慢系统中,得到地方病平衡点的存在性和它的局部稳定性.     

SoC软硬件自动划分系统设计

设计了一种将IP核复用和多目标优化相结合的SoC软硬件自动划分系统，详细探讨了系统各个模块的功能，重点论述了系统实现的关键技术，包括基于遗传算法的软硬件划分方法和基于表调度的系统性能评估方法，实验结果表明，该系统满足了SoC软硬件协同设计中对软硬件自动划分的要求，为开发SoC系统级仿真验证平台奠定了基础．     

基于CAS理论的指挥自动化系统

分析了指挥自动化系统的复杂性，提出了应用自适应复杂系统理论的基于智能主体的自适应指挥自动化系统的体系结构，并对多主体系统的组织结构进行了分析和设计。     

开关寿命连续型的不同型部件冷贮备系统可靠度

为了讨论开关寿命连续型的不同型多部件冷贮备不可修系统的可靠度，假设系统由1个部件和n-1个冷贮备部件组成，转换开关寿命和部件的工作寿命都服从指数分布、所有随机变量均相互独立。首先根据两部件、三部件、四部件冷贮备系统可靠度以及冷贮备系统可靠度的定义推导了多部件开关寿命指数型的冷贮备系统可靠度关于部件个数的递推关系式，从而得出该系统可靠度的理论表达式，最后从开关完全可靠的多部件冷贮备系统这方面来实例验证该系统可靠度函数的正确性。     

直流闭锁引发多馈出直流系统换相失败分析

直流换相失败后的功率动态特性会对交流系统的安全稳定产生很大影响.文章从换相失败的本质出发,详细分析了直流换相失败的机理及影响因素.建立了多馈出直流输电系统模型,探讨直流闭锁对多馈出直流系统直流电流的影响,并分析直流闭锁引发换相失败的影响因素.基于直流标准测试系统搭建两回直流系统进行仿真验证,分析结果与仿真结果表明,直流系统间的耦合阻抗、交流系统的短路容量、直流闭锁容量都是影响多馈出直流系统发生换相失败的主要原因.     

玻色化方法在超对称可积系统的应用

利用玻色化方法可以避免超对称可积系统中反对易费米场带来的计算困难. 本文以N=1超对称mKdVB系统为例, 利用玻色化方法, 将其转化为只有玻色场的耦合系统. 应用标准的WTC方法, 证明了该耦合系统具有Painlevé性质. 运用Painlevé截断方法, 可以得到玻色化后超对称mKdVB系统的非局域对称. 为了求解与非局域对称相关的Lie第一性原理, 引入新的场将玻色化后系统拓展为更大的系统. 通过引入新的场, 该非局域对称局域化为Lie点对称. 因此, 可以利用Lie点对称约化方法研究拓展后的系统, 得到超对称mKdVB系统的孤子与其他孤波相互作用解.     

具III类功能反应的非自治捕食扩散系统的全局稳定性(英文)

讨论了一类具有扩散率和 III类功能性反应的非自治捕食系统 ,证明了在适当条件下 ,系统是持久的 ,进一步如果系统是周期系统 ,则在一定条件下存在惟一全局稳定的周期解 .