基于OBDD时序电路设计的验证

依据有序二叉判定图（OBDD）和计算树逻辑（或称分支时态逻辑）CTL（Computational Tree Logic)的基本原理，分析了基于OBDD和CTL的验证数据电路设计的基本原理，并在此基础上，给出了时序电路等价验证的方法。     

FRP特种航空集装箱夹层板力学行为分析

研制FRP复合材料航空集装箱,以代替原有的钢质及铝合金集装箱,同时为进一步减轻集装箱质量,采用夹层结构设计集装箱各面板;运用复合材料经典层合理论,结合基尔霍夫(Kirchhoff G)薄板小挠度弯曲理论,对复合材料夹层板进行力学行为分析,得到夹层板的弯曲控制方程,并用莱维(Levy M)矩形板单三角级数解法进行数值求解,进而得到夹层板在给定条件下的弯曲挠度,从而提供了集装箱夹层板的设计依据.     

Vlookup( )函数在高校人事信息管理中的应用

本文探讨使用Vlookup( )函数在人事信息管理工作中实现不同电子表格间数据对接的基本方法和相关问题.通过在两个数据表中使用Vlookup( )函数进行数据查找与匹配的实例,证明使用该函数在进行不同数据库间的信息整合和交叉引用时能显著提高工作效率和准确性.     

A/SDS复配体系中管状结构的自发形成

利用透射电子显微镜(TEM)、扫描电子显微镜(SEM)和动态光散射(DLS),研究了磷酸三酯(PTA)与十二烷基硫酸钠(SDS)混合体系在水溶液中囊泡的自发形成及其向管状结构的转化.当PTA/SDS摩尔比为3︰7,总浓度为0.01mol/L时,观察到球状囊泡聚结成直径约100nm,长度约7000nm的管状结构.而且管状结构的直径、长度及数量均随表面活性剂总浓度及样品放置时间的增加而显著增长.     

浅谈排队论在通信网中的简单运用

根据排队论的单窗口排队模型,讨论在简单的电话局之间的业务状态,对于复杂的情形,通过软件仿真的办法来分析业务的状态.     

小型泵站无人值守PLC自动控制系统

针对中、小型泵站自动控制系统运行的一般特点,提出了采用PLC为控制核心的控制方案.该方案成本低,管理、维护和操作简单易行,便于在广大农村中、小型泵站中推广应用.并以实例形式介绍了可编程序控制器(PLC)小型自控系统的组成.     

有序地质量最优分割的二分算法

1 引言"有序地质量最优分割法"是近年来地质勘探工程中,地层划分和对比所常用的一种定量方法.至今此法仍以最优分割定义为选优准则进行"全面比较选优",这就不可避免地存在着计算量大的缺点.因此,建立有效的最优分割判别准则,改进选优计算方法,是具有重要的实际意义的.     

真蓝甲藻(Gymnodinium eucyanochroum Tseng Sp.nov.)的亚微结构、色素性质及其在藻类进化中的意义

本文报告了在南京发现的蓝色裸甲藻,测定了它的藻胆色素。证明蓝色藻胆蛋白不是山“胞内蓝藻”(Cyanellen)所提供。电子显微镜的扫描表明细胞表面有众多的突起,不是光滑的;横沟内的鞭毛不是“带状”而是由细纤维丝膜状物拉着的螺旋形。透视电子显微镜观察表明,该藻有两个类型的细胞核,即“甲藻核结构”(Dinocaryotic structure)和“真核结构”,(Eucaryotic Structure),真核与叶绿体有一个共同的膜的包被,有一个与原生动物相近似的伸缩泡系统。叶绿体是分枝状,在细胞的边缘位,但也有其它形态。有淀粉颗粒而无“造粉核”或称”“蛋白核”(Pyrenoid),多数位于叶绿体外或之间,类囊体与一般甲藻不同,不是三个排成一条“带”而是两个排列成“带”。有发达的线粒体,和高尔基体;鞭毛不论纵沟内的或横沟内的,其横切面,均为9+2的形式,其纵切面是由纤维丝成束的结构。蓝色色素提取物,可见光最大吸收峰为456nm,与隐藻藻胆色素十分相似。从细胞亚微结构及其色素性质,作者认为它是藻类演化过程中的一个中间类型的甲藻共生体。     

基于强化学习的电磁悬浮型磁浮列车悬浮控制

为了保证磁浮列车的安全、可靠运行,研究了悬浮系统在参数摄动条件下的悬浮控制问题。首先,对电磁悬浮（EMS）型磁浮列车的基本悬浮单元建模,给出了电流控制模型;然后,建立了悬浮系统的强化学习环境以及软演员-评论家（SAC）智能体,并设计了加速训练的奖励函数与“吸死”处理方案;最后,提出了基于强化学习的悬浮控制方法。与传统比例-积分-微分（PID）控制方法的对比结果表明,本方法具有更快的动态响应,在损失50%线圈匝数或磁极面积变化时具有更好的跟踪精度。     

用于物联网的可重构的祖冲之密码算法的硬件设计

针对应用在资源有限的物联网中的祖冲之(ZUC)256密码算法,本文介绍了一种资源优化的ZUC-256密码算法的硬件实现方案,设计了面向资源优化的循环型ZUC-256密码算法的硬件架构和基于块随机存取存储器(BRAM)的可重构S盒(S-box)单元,从而有效地降低了资源消耗。硬件方案在现场可编程逻辑门阵列(FPGA)上进行了硬件验证,结果表明本文资源优化的循环架构中的各个硬件开销相比已有的方案有明显的降低。