大鼠血液细胞介电谱的数学模型分析

利用Cole-Cole方程的数值计算大鼠血液细胞介电谱,并进行曲线拟合分析,确立正常大鼠血液细胞射频电生理特性.结果显示:在射频段大鼠血液细胞介电谱满足Cole-Cole数学方程,曲线拟合误差＜3%.     

HH模型阈值特性分析及参数空间拟合

通过寻求HH(Hodgkin-Huxley)模型中参数的变化与阈值变化之间的关系,得到神经元的阈值特性.首先,根据神经元阈下离子通道的特性来对四维HH模型做一定的简化,使所得到的二维简化模型保持原有四维HH模型的阈值特性.然后,用相平面法来对简化模型的阈值特性进行定性分析,给出了参数变化与二维简化模型中的鞍点电压值变化之间的关系.最后,把四维HH模型的数值仿真结果与相平面分析结果进行对照,发现可用鞍点附近动力学特性来反映阈值特性.在定性上,这是一种寻求参数变化与阈值变化关系的方法,也是分析阈值下参数空间的手段.     

嵌入式人脸识别实验系统的模型压缩及其分析

现有国产化嵌入式人工智能计算平台运算能力有限,不能满足部署人脸识别模型等高复杂度模型的要求。在DarkNet19网络中引入跳连接、模型剪枝,提出了一种基于深度卷积网络压缩的嵌入式人脸识别模型。采用8比特定点量化压缩,进一步实现了该网络模型的轻量化。在国产化嵌入式人工智能实验平台K210上,分别部署DarkNet19、DarkNet53和MobileNet-v1的压缩模型,对比其识别性能。同时分析了模型剪枝、精细化模型、模型量化三种压缩方式对上述三种模型的影响。实验结果表明,基于跳连接的DarkNet19压缩模型在模型参数规模、准确率和推理耗时上有更好的综合表现。     

电路模型的改进及若干相应结果

指出1段导线可以采用注上3个非负常数L,R，Q或分式（LP^2＋RP＋Q）／p的1段有2个端点的简单曲线来表示，且L恒≠0；可定义电路为有限条导线串并联而成的组件，使电路图可相应简化．提出用等价电路来简化电路的概念，从而得出用电路图来计算拉氏阻抗的较直观简洁的新方法，并证明了在任何电路中都存在拉氏阻抗，并且是个分子次数比分母次数高1的分式；也证明了拉氏电位降定理中的L{u（t）}=ZL{i（t）}可加强为L^s{u（t）}=ZL{i（t）}，其中L^s{u（t））则为u（t）的强拉氏变象．同时也证明了空载电路中电流可通过电路特征表达电路特征定理，即i（t）=g（t）·ue（t）=∫0^1g（t—τ）ue（t）dτ，而ue（t）为外接电动势两端之电位差，g（t）=L^-1{Z^-1}为拟连续、缓增的函数，也被称为电路的电路特征；又证明了电路特征测定定理ue（t）=δ0（t）时，i（t）即为g（t），并且电路特征定理和测量定理对一切电路均成立．     

曲线钢箱梁上翼缘有效宽度分析和实用计算方法研究

采用空间薄板有限元法,分析了曲线钢箱梁桥的有效宽度规律;通过算例分析验证了计算方法的准确性,提出了供工程设计参考的实用箱梁上翼缘有效宽度比计算方法;为完善规范有关钢结构箱梁桥上翼缘有效宽度计算提供依据.     

内源性n-3多不饱和脂肪酸对fat-1转基因小鼠血糖血脂的影响

利用fat-1转基因小鼠模型,研究内源性n-3多不饱和脂肪酸(n-3 PUFAs)的血糖血脂调节作用.采用fat-1转基因小鼠和C57BL/6野生型小鼠喂食高n-6、低n-3 PUFAs的标准配方饲料4周,然后2组小鼠给予高糖饮液自由饮用4周,每周测体重.第8周末,取血离心测血糖、胰岛素、甘油三脂(TG)、胆固醇(TC)、高密度脂蛋白(HDL-C)、低密度脂蛋白(LDL-C)水平.结果表明：fat-1转基因小鼠体重增加幅度、空腹血糖值、血清胰岛素、胰岛素抵抗指数、血清TC、TG、HDL-C、LDL-C水平明显低于野生型小鼠(P<0.05).认为n-3 PUFAs能抑制体重增长,降低小鼠血糖、血脂和胰岛素抵抗,起到调节血糖、血脂的作用.     

基于IBIS模型的仿真分析在SDRAM印刷电路板设计中的应用

针对高速数字视频系统印刷电路板(PCB)设计中由于传输线的高频特性导致的信号完整性问题,通过输入/输出缓冲器信息规范(input/output buffer information specification,IBIS)模型对TI公司提供的TMS320DM642芯片扩展的外部存储器的反射仿真以及对同步动态随机存储器(SDRAM)的时序仿真来优化数字视频系统的PCB的设计.结果表明,使用这些设计方案可以有效地提高信号完整性,从而增强高速数字视频系统的可靠性.     

基于信息流模型的TCB完整性策略分析方法与工具

TCB(trusted computing base)完整性保护对于计算机系统安全具有十分重要的意义,目前的静态度量方法并不完善,而动态度量方法还很不成熟,因而提出一种基于策略的分析方法来分析系统TCB和域TCB的完整性.这一方法将系统策略文件中的描述解析成信息流形式,然后再将其抽象为有向图形式,最后利用图论中的方法分析信息流情况,给出完整性破坏的信息流传播路径.此方法的思想可以用在任何通过执行某些操作会产生信息流的环境中.根据这一方法,开发了一个原型工具,并以SELinux操作系统为例进行了实验分析.实验表明它能分析策略中的信息流向,并能实时给出策略违反图.此方法和工具可以作为现有完整性度量方法的有效补充.