排序方式: 共有26条查询结果,搜索用时 15 毫秒
1.
图灵机是通用的计算机模型,一般程序设计和以图灵机为机器模型的计算也是支持递归的。本文首先分析了递归的特征,利用多带图灵机作为计算模型,定义了递归技术转移 函数形式,提出了图灵机递归过程信息传递与保存的方法,给出了图灵机调用的实现,继而给出了图灵机递归技术的实现,同时证明了图灵机的调用与图灵机的递归调用是图灵可识别的。 相似文献
2.
3.
4.
针对三阶矩拟正态变换理论公式系数形式复杂及现有相关系数的转换公式适用范围未明确的问题,通过对公式系数进行简化和对相关系数的讨论,提出了独立随机变量和相关随机变量的简化三阶矩拟正态变换模型,并给出了相关系数转换公式的简明适用范围。通过将提出的简化三阶矩拟正态变换模型与一阶可靠度分析方法(FORM)结合,发展了随机变量分布未知条件下的可靠度分析方法,并采用数值算例验证了该方法的准确性和适用性。研究结果表明,所提出的简化三阶矩拟正态变换模型具有较高的准确性和适用性,能够与FORM分析方法结合,实现随机变量分布未知条件下的结构可靠度分析。 相似文献
5.
快速排序算法的时间复杂性的新分析 总被引:1,自引:0,他引:1
作者在算法分析中,提出了渐近时间复杂性分析、时间复杂性平均性能分析的准则。对快速排序算法,基于枢轴元素的随机选取这一前提条件,对这一算法进行了时间平均性能的分析。 相似文献
6.
7.
在集成电路的实际运用中,由于电压的不稳定和芯片电流密度的提升,容易导致电压降过大,从而影响芯片的性能和可靠性。为了提高集成电路的性能和可靠性,需要对电路中的电压降进行分析和优化。本文基于中芯国际55nm工艺完成了一款条形码模块的物理实现,结合业界主流EDA工具的自动化修复流程对其电压降进行分析和优化,在静态电压降和动态电压降分析过程中电压降分别降低了21.37%和27.79%,最终达到签核要求。与传统手动修复电压降的方法相比,该方法可以有效减小修复电压降过程中对绕线资源的占用,达到提高芯片有效利用率的目的。 相似文献
8.
自控网系统是Petri网系统的一个子类,与P/T系统以及基本网系统相比较,具有更强的描述能力和建模能力。本文运用自控网系统定义了加、减、乘、除四种基本运算以及2个算子的自控网模型,通过逐级抽象建立了直接递归的自控网模型。这种分层逐级抽象的方法体现了利用Petri网形式化软件开发的基本思想。 相似文献
9.
10.
为求解核电站在随机地震动激励下的动力可靠度,发展了基于线性矩确定最大反应极值分布的动力可靠度分析方法.首先,根据目标反应谱生成相应的地震动时程样本,结合核电结构有限元模型,采用基于时域显式方法进行随机振动分析得到节点位移响应时程样本;然后,统计各位移响应时程样本的最大值,确定最大响应的前三阶线性矩;进而,根据线性矩匹配识别最大反应极值分布——三参数广义极值分布的参数;最后,根据所确定的最大反应极值分布,估计结构响应在不同阈值下的可靠度.计算结果表明:当核电站在地震加速度峰值为0.3 g时,以轻微破坏为界,结构有良好的可靠性;以中等破坏为界,结构仍具有一定的可靠度.通过核电站动力可靠度分析表明:该方法与蒙特卡洛方法相比,在保证计算精度的情况下,大幅缩减了所须的最小样本量,提高了模拟尾部的计算效率,同时对于其他结构的动力可靠度求解也具有广泛的适用性. 相似文献