支持AFTER子句的综合算法研究

为了提高综合系统的效率,减少对综合系统的人工干预,提高其自动化程度,对VHDL硬件描述语言中的AFTER子句进行研究.通过对其行为综合语义的定义,给出了在AFTER子句时延约束下的ASAP和ALAP算法,建立了AFTER子句时延约束下的调度模型,并采用整数线性规划法求解调度模型.实验结果表明,在综合过程中考虑AFTER子句,不仅提供了一个有效给出时序约束的手段,而且使得设计描述方式更能够符合思维习惯,同时扩大了行为描述中可用语法范围,提高了行为综合的可预见性.     

箍筋约束超高性能混凝土本构模型

为研究箍筋约束超高性能混凝土(ultra-high performance concrete,UHPC)本构模型,统计了箍筋约束UHPC的试验数据,通过回归分析,理论推导,提出了箍筋约束UHPC的应力-应变关系曲线模型及特征点计算方法,并与试验结果、不同箍筋约束混凝土本构模型进行对比分析。结果表明:钢纤维和箍筋可以有效地提高约束UHPC的峰值应力和峰值应变;峰值应力计算结果与试验结果吻合程度较好,而峰值应变以及峰值应力下降至85%和50%所对应应变的计算结果与试验结果吻合程度不够理想;建议的箍筋约束UHPC应力-应变关系曲线模型与试验结果整体吻合程度较好。     

屈曲约束支撑混凝土框架地震响应分析

文章以一栋5层混凝土框架结构为背景,对其采用TJⅡ型屈曲约束支撑加固前后的结构进行了地震作用下弹性及弹塑性分析,弹性分析采用振型分解反应谱法和规范推荐的静力弹塑性分析(push-over)方法。分析结果表明,在多遇地震下,屈曲约束支撑处于弹性状态,为结构提供刚度,在中震及大震作用下,屈曲约束支撑屈服耗能,为保证结构的安全提供可靠性。     

基于独立碰撞工况的儿童约束系统参数优化

为实现获得专利的集成式儿童安全座椅在碰撞事故中对乘员的最佳保护,以6岁儿童乘员为研究对象,采用经验证的约束系统模型,在正碰、侧碰和追尾等3种汽车碰撞工况下,分别结合拉丁超立方、正交、均匀试验设计方案和多项式响应面代理模型的方法,对座椅高度和座垫深度等设计参数进行碰撞仿真分析和优化设计.仿真试验结果表明,优化后约束系统儿童乘员损伤值在3种独立的碰撞工况下均有显著下降.     

浅析大兴矿二分层炮掘迎头10m内加固金属拉杆应用

棚式支护属于被动支护,没有初撑力,支架稳定性靠背帮背顶而获得,稳定性差,因此,采用防倒装置能使之联成一个整体,从而能有效地防止放炮倒棚和冒顶事故的发生。本文介绍一种用于炮掘工作面梯形架棚巷道迎头10m内加固金属拉杆机构原理、使用方法以及使用效果。该装置结构简单,便于操作、使用方便、成本低,显著提高了放炮掘进迎头10m范围内支架的整体稳定性,在大兴矿二分层掘进中得到了广泛运用,取得了很好的效果。     

带有通讯能量约束的网络控制系统的H∞控制

文章研究带有通讯能量约束的网络控制系统的H∞控制问题．传感器使用不同能量级传输信息导致不同的丢包率．考虑传感器通讯能量约束,将网络控制系统建立为随机闭环系统,利用Lyapunov函数方法,以LMIs的形式给出保证闭环系统随机均方渐近稳定的充分条件和H∞控制器设计方法．     

在约束条件下考虑红利提前退休的最优投资组合

分别研究了在退休期限和借贷约束条件下提前退休的最优投资组合问题,其中考虑风险资产派发红利的情形;退休期限和借贷约束条件会使代理人相应地改变投资策略;运用了随机控制等方法,得到了代理人在约束条件下最优消费投资组合策略显示解.     

基于Gabor滤波与区域生长的细胞分割

贴壁细胞图像中细胞大小形状各不相同,细胞内部分区域与细胞边缘具有相近的灰度,部分细胞边缘较细或者断裂,为后续正确的分割计数带来了困难。传统的基于区域的图像分割很容易造成过分割和欠分割,前者得不到完整的细胞边缘,后者使细胞内部出现大量杂质点。为解决以上问题,首先利用Gabor滤波器的方向性滤波特性对细胞边缘进行增强,然后选择细胞边缘对应的高灰度点作为种子点进行8连通约束的区域生长,最后对区域生长后的图像进行形态学闭运算消除小的空洞和毛刺,得到完整的细胞边缘图像。与阈值法和边缘检测法的比较结果表明,该算法分割效果较好且对噪声不敏感。     

一种井下无线自组织网络自愈路由算法

针对井下无线信道干扰严重、节点能量有限的特点,提出了一种基于误码率和能量约束机制的井下无线自组织网络自愈AODV路由协议,并采用NS2仿真工具进行了建模仿真。仿真结果表明,改进的AODV路由协议在数据包成功接受率上略高于AODV路由协议,较大幅度地减少了路由负担,有利于节省网络能量。