论文部分内容阅读
优秀中文网站终极推荐手册（一）
【出 处】
：
新潮电子
【发表日期】
：
1998年1期
其他文献
本文讨论了Ｚ＾＊ｎ（ｎ＝ｐｑ，ｐ和ｑ未知）中离散对数问题的一些基本概念及问题本身的难度；定义了Ｚ＾＊ｎ中离散对数问题中关于判断主平方根的谓词Ｂｎ，ａ（ｘ），证明了谓词Ｂｎ，ａ（ｘ）即为Ｚ＾＊ｎ中离散对数问题的安全谓词。
本文首先讨论了定性推理系统和一量推理系统的描述，进而给出了定性代数的一种形式框架ＦＡＱＡ，提出了定性、定量是不同层次观察结果的观点，并对定性（混合）结构进行了分析描述。ＦＡＱＡ框架是Ｗｉｌｌｉａｍｓ等人
主要介绍了火山渣-混凝土复合自保温砌块的生产技术和产品性能。研究表明,可以完全采用火山渣为骨料生产复合自保温砌块承重半框,组装的700级、800级、900级火山渣-混凝土复
本文首次提出三次ＮＵＲＢＳ曲线精确地表示圆弧的充要条件，解决了两方面的问题：一是已知三次ＮＵＲＢＳ曲线，如何判断它是否是圆弧；二是已知一圆弧曲线，怎样用三次ＮＵＲＢＳ曲线精确地表示．给出了圆弧曲线的三次ＮＵＲＢＳ表示的几何构造算法．均匀有理Ｂ样条曲线和有理Ｂｅｚｉｅｒ曲线精确地表示圆弧曲线的充要条件可作为ＮＵＲＢＳ曲线的特殊情形得到．这些研究结果为ＮＵＲＢＳ应用于ＣＡＧＤ，ＣＡＤ／ＣＡＭ提供了一个