计算机基础试卷自动生成系统的开发及应用

文章介绍了一种基于面向对象程序设计方法的计算机基础试题库系统的开发过程,对试题数据库的数据模型、系统的功能、总体设计思路以及系统目前的应用情况作了较详尽的介绍.     

在AutoCAD中利用三维模型生成二维投影视图的技巧

快速而精确的绘制设计图纸，是每个设计人员的愿望，这里介绍一种由三维模型直接生成二维投影的方法，给设计提供一种新思路。     

关于高维系统中Poincαre—Bendixson定理的反例

本文给出了在n(n≥4)维系统中,Poincare-Bendixson定理不成立的多项式系统的反例。     

一种可视化CFD网格生成方法

结合可视化技术 ,提出一种CFD前处理中的网格生成方法。阐述了CFD前处理中存在的问题 ,并针对这些问题构架起专用的绘图平台。详细介绍了网格划分的思路及实现方法 ,并将网格自动生成模块集成在绘图平台中。实践证明 ,这种可视化CFD网格划分平台操作界面方便友好 ,算法简捷正确 ,大大简化了前处理工作的复杂性 ,具有很高的实用价值     

关于偏序集到方体的嵌入的一个注记

我们通过一个反例说明下述问题的解答是否定的,假若Z-完备偏序集P可用保任意存在交与Z-并映射嵌入到某方体之中,则P是否为Z-拟连续的?     

模代数在多值逻辑系统中的适应范围

一、引言 在二值和多值逻辑的研究中,使用最广泛的代数系统是格代数系统和模代数系统。由于下述原因使模代数系统的研究受到重视:1)多值模代数中的两个基本运算的作用对象和运算结果都为多值信号,因而避免了在采用格代数时必然出现的译码器—二值电路一编码器的夹心面包式电路结构;2)模代数中的基本运算的含义及法则与普通代数相似,因而符合人们的数学习惯;3)一个函数通过GRM展式往往可以化简成非常简单的形式,从而使电路     

分配格的二个等价条件

首先讨论了格的子集生成幻和生成对偶幻的运算性质。然后给出一个反例，指出［１］中一定理有误，并由此获得分配格的两个等价条件（即：格是分配格的两个等价命题）。     

网的收敛与分离公理

用Ｍｏｏｒｅ－Ｓｍｉｔｈ收敛给出了一个拓扑空间分别是Ｔ０，Ｔ１，正则，正规空间的充要条件．