共查询到20条相似文献，搜索用时 109 毫秒
1.
给出循环对称设计和循环差集等价证明的新方法,同时对一些组合设计文献中的某些问题进行了探讨。 相似文献
2.
综合讨论了任意循环的两种卡诺循环分解法 ,指出不能采用“串联”分解法来证明任意循环效率的极限 ,但可用这两种分解法来证明克劳修斯等式和不等式 ,同时指出了一些文献在涉及该问题时所存在的不妥之处。 相似文献
3.
王彩芬 《西北师范大学学报(自然科学版)》1996,32(3):25-30
讨论了循环界函数在程序正确性证明和程序推导技术中的应用问题，提出了求取几类已知循环程序的界函数和面向目标的程序推导中循环界函数的方法． 相似文献
4.
5.
非线性数据结构递归问题非递归算法的循环不变式的开发一直是形式化开发的难点.研究二叉树类非递归算法的推导及形式化证明方法,对二叉树排序算法进行推导,得出非递归Apla(Abstract Programming Language)算法及其精确而简单的循环不变式,然后用Dijkstra-Gries标准程序证明法证明算法的正确性,最后使用PAR平台C++程序自动生成系统自动生成C++代码.实例的实验结果简化了算法程序的推导和证明过程,对递归问题非递归算法的循环不变式的探测具有一定的借鉴意义,而且对非线性数据结构算法程序的推导及形式化证明具有指导意义. 相似文献
6.
关于实数连续性定理的等价性的证明,大都采用循环证明的方法。本文给出以区间套定理证明其它定理的一种等价性的证明方法。 相似文献
7.
8.
循环矩阵与周期矩阵，本原矩阵与非周期矩阵分别有不同的定义方式，本文证明了循环矩阵等价于周期矩阵，而本原矩阵等价于非周期矩阵。 相似文献
9.
给出了一类分块r-循环Toeplitz矩阵的特征向量的求法及证明. 相似文献
10.
本文提出了一种新型氯化钠热分解循环，采用二氧化钛为循环介质，利用循环中各反应热效应及一部份外界供热使氯化钠分解为氯与碱，本文侧重研究了循环中各主要反应的适宜条件，并从热力学计算出循环中能量流动过程，证明此循环为一种非电解法制备氯与碱和新途径，有与电解法相竞争的前景。 相似文献
11.
一个小型实用的科研成果管理系统 总被引：2，自引：0，他引：2
采用Visual Foxpro for Windows 6.0开发设计了高校科研成果管理系统，该系统具有输入，查询、统计、汇总、报表等功能，操作简单，使用方便，报表形式多样，适用于个人、科室、系部和学校科研成果的管理。 相似文献
12.
13.
14.
黄光鑫 《西华师范大学学报(哲学社会科学版)》2001,22(3):234-236
在定义了三交系和三交系的扩充的概念的基础上,得到了几类特殊的三交系判定的充要条件和一类三交系的扩充定理,给出了一类规模更大的三交系,并给出了该类三交系的规模统一公式表示。 相似文献
15.
任慧勇 《科技情报开发与经济》2005,15(7):277-279
总结了森透里昂-600型煤矿监测监控系统在使用中存在的问题，经过技术调研，确定了系统升级方案。升级后的KJ75系统，消除了原有的各类隐患，解决了原系统存在的不足，取得了良好的使用效果。 相似文献
16.
依法治理腐败是社会主义市场经济的内在要求,是社会主义民主政治的内在要求,是反腐实践的理性选择。如何依法治理腐败?笔者认为,第一要加强立法工作,完善社会主义法律体系,建立完备的反腐败制度;第二要强化普法宣传教育,提高全民的法律意识;第三要依法建立监督机制。 相似文献
17.
介绍了模拟存贮的方法,设计了以ML2500模拟存贮语音芯片构成的语音系统硬件电路,并提供了主程序及录音、播放子程序的流程图.该系统结构简单、控制灵活,适宜于一些语音提示的场合. 相似文献
18.
介绍了国际上通行的体系概念，通过实例阐述了常见的体系类型，从多个维度描述了系统与体系的区别，根据实践总结，提出体系与系统的核心界定准则，并结合工程实践进行了详细描述。 相似文献
19.
20.
本文对高速列车制动控制系统进行了阐述,提出了在列车制动系统中采用模糊控制策略的方案,并对该模糊控制器进行了系统仿真．得出模糊控制对提高列车制动系统的灵敏性和可靠性具有指导意义。 相似文献