口服结肠靶向给药系统专利技术综述

基于CNABS、DWPI、SIPOABS、VEN数据库,通过检索、统计和分析国内外有关OCDDS的专利申请,对该领域申请量趋势进行统计,梳理OCDDS领域的技术发展脉络,同时,对OCDDS领域的核心专利和重要申请人进行分析,以期为国内相关企业的发展提供参考。     

基于博弈论的开放环境下场景规约监控语义

在开放环境中,环境和系统本身行为的改变可能使得软件系统的实现不再满足原来规约,从而最终导致软件失效的发生.运行时监控是一种轻量级的形式化动态验证技术,已成为开放环境下检测软件失效的基本手段.针对基于场景的规约属性序列图,从博弈论的角度定义其多值监控语义:满足、无限可控、系统有限可控、系统紧急可控、环境有限可控、环境紧急可控和违例.通过多值监控语义的定义,监控器能够根据当前轨迹尽可能早地检测到系统失效或异常,并提供足够信息为失效的预防和恢复服务.实例研究表明了属性序列图多值监控语义的实用价值,并显示了其广泛的应用前景.     

忆阻器阻变随机存取存储器及其在信息存储中的应用

忆阻器具有依赖于激励历史的动态电阻,可以用来构造少晶体管的非易失性半导体存储器(NVSM),也称为阻变随机存取存储器(RRAM).本文提出了一种基于忆阻器的阻变随机存取存储器(MRRAM)——可与现代计算系统相兼容的纳米级二值存储器实现方案,其结构与静态随机存取存储器(SRAM)类似,但用忆阻器替代基本RS触发器存储信息.在此基础上,通过改进该MRRAM,可以实现在一个存储单元中存储多比特信息(以灰度级形式)的多值存储器,大大提高了存储密度.给出的计算机仿真和数值分析验证了本方案在存储ASCII字符和图像中的有效性,探讨了灰度图像存储的新方法.     

隧道围岩施工监测及位移动态模拟分析

为了研究不同支护结构参数和不同开挖方法对围岩位移的影响,以百勺洋隧道为研究对象,通过现场实测、回归分析和数值模拟的技术手段,以大型非线性有限元软件ADINA为研究工具,建立有限元模型。通过改变锚杆支护相关参数和开挖方法,进行大量模拟运算。运算结果表明,随着锚杆长度的增加,地表点下沉量不断减小,隧道的底鼓幅度也逐渐减小,边墙的收敛量也逐渐减小;随着锚杆间距的增加,顶端最大下沉点的竖直方向沉降值增大,边墙收敛值也增大;开挖方法不同时,随着开挖步数的减少,地表下沉值增加,隧道底鼓现象也越明显。开挖步数越多,洞周收敛值越小。     

集值离散动力系统的拓扑遍历性、拓扑熵与混沌

设(X,d)为紧致度量空间, f: X→X连续, (K(X),H)是 X所有非空紧致子集构成的紧致度量空间. 通过研究点运动与点集运动的关系, 证明了集值映射拓扑遍历 与f拓扑双重遍历等价并构造一个零拓扑熵且不具有任何混沌性质的紧致系统, 其诱导的集值映射有无穷拓扑熵且分布混沌, 表明集值离散动力系统的拓扑复杂性可以远远大于原系统.     

光声光谱技术中斩光频率对光声信号影响的研究

利用低温光声光谱检测系统,对相对光声信号幅值随斩波器斩光频率的变化进行研究分析,同时,对低温情况下(液氮)两者间的关系也进行探索。     

对于初等多值函数问题的研究

首先研究了辐角函数的一些性质,进而对对数函数的多值性进行了分析,最后讨论了多值函数的应用问题.     

四川蜂桶山省级自然保护区4个1hm2固定观测样地植物物种组成

为研究大巴山南麓物种组成特征,在四川蜂桶山省级自然保护区建立4个有代表性的1 hm2固定观测样地,调查并鉴定样地内胸径≥1 cm的木本植物.结果 显示:固定观测样地内有木本植物145种,共计7594株,分属39科89属.在活个体数量上,1号样地有2802株,2号样地有2041株,3号样地有1777株,4号样地有974株...     

一种基于多策略的改进黏菌算法

针对黏菌算法(slime mould algorithm, SMA)搜索效率低和陷入局部最优的问题,本文提出一种多策略改进黏菌算法。首先,通过Tent映射反向学习策略求得较优种群作为初始种群,提高算法收敛速度;其次,黏菌通过自适应权值策略和扰动策略更新位置,调整算法勘探能力和开发能力,避免陷入早熟并提高收敛速度;最后,与PSO、WOA、GWO、SMA等4种算法和相关改进SMA算法相比,对CEC测试函数的寻优结果表明：本文改进算法的搜索效率和避免陷入局部最优能力较强,算法能在较短时间内找到全局最优值,对测试函数的收敛速度和收敛精度均有不同程度提高。     

单样本条件下基于图像增强和Fourier频谱的人脸识别

目前有许多处理正面视觉人脸的识别方法,当有充分数量的有代表性的样本时,能取得较好的识别效果。然而当处理单样本识别问题时,现有的许多方法的识别率将明显下降或甚至不适用。为了加强单训练样本的分类信息,训练样本与其基于受扰动的奇异值的重构图组合成新样本,Fourier频谱作为人脸识别特征,在ORL人脸库上的实验结果表明了该方法的有效性。