在前几章中,我们已经介绍了使用门和UDP实例语句的门级建模方式,以及用连续赋值 语句的数据流建模方式。本章描述 Verilog HDL中的第三种建模方式,即行为建模方式。为充 分使用 Verilog HDL,一个模型可以包含所有上述三种建模方式

提出一种基于支持向量数据描述(support vector data description,SVDD)的生产过程监控、诊断与优化方法.首先,利用正常样本建立SVDD监控模型,获得控制限;然后,利用贡献图对超过控制限的异常点进行诊断,分析引起异常的主要原因;最后,利用邻近点替换法对异常的生产样本进行工艺参数优化.将新方法应用于热轧薄板的生产过程中,结果表明:新方法比传统的监控方法T2 PCA具有更高的检出率,且可以实现对异常点的工艺参数优化,使之回到受控状态

§2–1 理想气体状态方程用于实际气体偏差 范德瓦尔方程和R-K方程 维里型方程 对应态原理与通用压缩因子图 麦克斯伟关系和热系数 热力学能、焓和熵的一般关系式 比热容的一般关系式 通用焓与通用熵图 克劳修斯-克拉贝隆方程和饱和蒸气压方程 单元系相平衡条件

以赞比亚一露天铜矿南帮边坡(矿体下盘)为研究对象,将Rosenbluth点估计方法与节理有限元方法相结合应用于该节理发育的岩质边坡稳定性评价中.建立以边坡岩体材料强度参数(内摩擦角和黏聚力)为输入变量,安全系数为输出变量的概率模型,点估计状态函数的求解过程引入节理有限元方法.通过现场节理及结构面调查,建立边坡节理有限元模型求解边坡安全系数,得到基于安全系数的边坡变形破坏概率统计指标,对边坡稳定性进行了概率分析,分析结果与现场失稳情况一致.该方法既考虑了岩体材料参数在赋值过程中实际存在的不确定性,同时也考虑了节理岩质边坡的节理属性,充分体现了岩层接触作用的非线性关系,使得对节理岩质边坡的稳定性评价更加合理

涉及到多组分混合物燃烧时,其物理过程和化学过程是极其复杂的,物理描述和数学表达都将十分困难。本章以尽可能简单的方式来介绍,以期处理下列三种情况: （1)一维平面稳流(仅x方向); （2)一维球面稳流(r方向); （3)二维轴对称稳流(r和x方向)

针对设计模式识别结果的假阴性问题与重叠问题,为提高设计模式实例恢复的精确性,提出一种形式化上下无关文法关系驱动的设计模式检测方法.依据设计模式实例中的参与者属性及其关系,以形式化可视化语言描述模式实例的识别文法.在此基础上,改进该文法检测设计模式实例参与者间的附加关系,并识别共享实例的模式.实验结果表明,新方法不仅减少了模式实例的假阴性结果,还解决了模式实例识别的重叠问题,与其他检测方法的精确度、召回率及F-score指标比较,新方法取得了较好的效果

为了克服传统辊弯工艺和设备对室温下高强钢的影响,提出弯角局部感应加热辊压成形工艺制备高强钢方管,并通过单向拉伸试验、断口形貌观察、微观组织扫描电镜观察和X射线衍射分析研究热辊压成形温度对高强钢方管弯角处组织及力学性能的影响.结果表明,随着温度的升高,弯角力学性能得到明显的改善,断口形貌由室温下解理断裂逐渐过渡为韧性断裂,弯角处微观组织由板条状贝氏体向粒状贝氏体发展且多边形铁素体晶粒开始长大,方管外表面周向和纵向残余应力都明显降低且分布更加合理.综合实验分析,高强钢方管热辊压成形工艺的最佳温度为650℃

提出了一种分数阶的对称性近似平移不变过完备小波的构造方法.首先,给出一种构造具有对称性且具有最小长度的低通滤波器方法.其次,通过拓普利兹矩阵分解法求出对应的具有近似平移不变性的高通滤波器,此方法比其他分解方法具有更低的计算复杂度.此外,利用此构造方法,也得到具有更高阶消失矩的分数阶过完备小波变换.最后,将构造出的分数阶对称平移不变过完备小波应用到轴承故障诊断中.实验结果表明,提出的小波变换能有效地提取出轴承的故障特征

通过室内模拟试验装置,研究源于强制电流阴极保护系统的直流杂散电流对外部无阴极保护管道干扰的缓解方法,包括跨接电阻法、牺牲阳极法和金属屏蔽线法.文中主要考察跨接电阻、牺牲阳极位置和材质、金属屏蔽线位置和连接方式等对不同干扰类型的缓解效果和规律,讨论不同缓解方法的适用性,并对不同干扰类型提出推荐方法及适用条件,可为实际工程应用提供借鉴

利用与Tent Map拓扑共轭的两类混沌系统,以及产生独立均匀分布密钥流的方法,设计了一种通用的流加密方案.此方案类似数字信封,但传递过程中不传输具体加密使用的密钥流,只传输随机产生的Tent Map初值以及两个系统的参数值作为系统密钥,产生两列独立同分布的密钥流对原始图像进行两次密文反馈异或加密.该方案达到初始值掩盖的目的,增加了截获者破译的难度.图像加密的实验结果显示该方案安全且有效