对并行设计基于约束的一致性检测算法进行了研究,建立了Petri网模型.分析了模型的性质,给出了适用于并行设计冲突检测的算法,并且通过具体应用实例进行了验证,说明了方案的可行性

一、课后练习 1. 设 , 是二阶线性微分方程 对应的齐次方程的基本解组，直接验证是非齐次方程的特解. 2. 求方程 的通解. 3. 求方程 的通解

一、实验目的与意义 1、验证静力学的基本方程 2、学会使用测压管与差压计的量测技能 3、理解绝对压强与相对压强及毛细管现象 4、灵活应用静力学的基本知识进行实际工程量测

本文在应用铸坯凝固传热数学模型离线计算的基础上,并参照电路瞬态过程参量变化规律,提出了新的连铸二冷水量动态控制模型。它系采用前馈控制方式,拉速变化时过渡过程中水量变化曲线呈指数形式。该模型具有快速简便而精确的优点经计算机仿真验证,该动态控制模型的控制效果明显地优于一般静态比例控制

为拓展混沌控制与混沌同步在保密通信等领域方面的应用,通过对一类n维不稳定线性系统添加非连续状态反馈控制项,实现了不连续三状态线性反馈系统混沌反控制,并对这一类高维耦合混沌系统的动力学性质进行了理论分析,给出了定理和证明.然后分别给出了具有特殊形式的系统和一般系统的例子,计算机数值模拟及计算Lyapunov指数验证这样构造的高维系统确实存在混沌

利用扫描电子显微镜和透射电子显微镜对热轧后双相钢的微观组织进行分析,用Image-Pro Plus软件测定双相钢微观组织中各独立相的体积分数.根据多相材料中间混合法则和Swift方程,建立热轧双相钢微观应力-应变模型,并用DP590和DP780钢单向拉伸曲线进行验证.结果表明,该应力-应变关系微观模型基本阐明热轧双相钢微观组织参数与宏观力学性能的内在联系,能够准确地描述材料的变形行为,同时很好地预测热轧双相钢宏观的拉伸曲线

提出了点接触热弹流润滑的简化数值解。在等温弹流润滑完全数值解的计算结果基础上,通过联立求解能量方程和热界面方程等,计算出重载条件下点接触弹流润滑状况下的三维温度分布。研究了热弹流问题的温升规律,并提出了油膜和接触体表面的最大温升公式。该公式得到了弹流测温实验的初步验证

以\金属晶粒Euler指数与空间直径相对等值规律\为基础,本文采用列表方式系统地归纳总结了金属多晶体的晶粒尺寸与拓扑参量两类参量的分布数字特征之间的定量函数关系。这些关系可相当便利地用于根据晶粒尺寸参量的分布数据直接估计出拓扑参量分布的宽度、不对称程度和峰态等,并对这种估计办法的可靠程度进行了实验验证

认证（Authentication）就是对于证据的辨认、核 实、鉴别，以建立某种信任关系。在通信中，要 涉及两个方面：一方提供证据或标识，另一方面 对这些证据或标识的有效性加以辨认、核实、鉴 别。从认证的内容看，可以分为数据（报文）认 证和身份验证；从认证过程看，需要有证据符 （标识）、认证算法和认证协议三个要素

2.1 实验目的 （1） 验证基尔霍夫定律。 （2） 学会测定电路的开路电压与短路电流；加深对参考方向的理解