用MUX实现组合逻辑的卡诺图列解法

本文采用卡诺图列解法来处理MUX组件的地址变量少于待发生逻辑函数变量的设计问题。方法简单易行、适用范围广。尤其是对于含有任意项的逻辑函数中任意项的处理,提供了寻找最佳方案的途径。     

基于多项式组主项解耦消元法的几何定理机器证明

用多项式组主项解耦消元法，将几何定理的假设条件（多项式组PS）化为主系数不含变元的三角型多项式组DTS，可得到定理命题成立的不含变化的非退化条件，即充分必要或更接近充分必要的非退化条件，由于多项式主系统不含变化，已不存在DTS多项式之间的约化问题，故方法有普遍意义，文中例为西姆松定理的机器证明。     

集成系统中工艺卡片填写与工序图绘制的研究

利用VBA实现CAD和CAPP系统集成，讨论了基于Word平台进行工艺卡填写，并在此基础上进行工艺卡填写和工序图并行输出的一般问题。工艺文件的填写是在CAPP数据库的支持下，直接读取CAD所提供的CAPP工艺数据文件，经推理机推理自动生产工艺过程；工序图绘制是在特征图表级和参数化绘图原理的基础上进行的。     

图族S_(r(k+m)+1)~ψ∪(rk-1)K_1的补图的色等价性定理

设ψ( k,m)表示把星图 Sk+ 1的 k度点与路 Pm的一个 1度点重迭后得到的图 ,Sψ*r(k+ m) + 1表示把星图 Srk+ 1的 rk个 1度点分别与 rψ( k,m)的每个分支的 k个 1度点 (均邻接于ψ( k,m)的 k +1度点 )依次重迭后得到的图。证明了图族 Sψ*r(k+ m) + 1∪ ( rk -1 ) K1的补图的色等价性及非色唯一性 ,进而推广了这一结果     

借用平抛运动辨析矢量、标量的求和

我们知道，矢量的合成遵守几何法则(平行四边形定则或三角形法则)；而标量的合成遵守代数法则。但在平时的教学中却发现许多同学对矢量遵守的平行四边形定则心存疑虑，解题时不能很好地应用。甚至有的同学在对标量求和时错误地应用了平行四边形定则。下面我们借用一道平抛运动的习题，来对上述问题作一辨析。     

表达建筑设计思想的重要工具--轴测图

轴测图凭借平行投影的特点，传递着一种模型般的空间感。近年来国外对轴测图的研究开发和利用已达到很高层次。本文从建筑三维构图的角度，对轴测图的教研问题，轴测图与透视图的比较以及关于轴测图绘制手段进行讨论。     

卡尔达诺的构造性几何证明

基于对《大术》第7章关于三项方程变换法则的几何证明的构造性特点分析,总结了卡尔达诺的构造思想,并按照其方法把他针对三项三次方程的证明自然地推广到一般三项方程.由此认为,卡尔达诺在《大术》中的几何证明大多区别于经典的综合证明,而属于以分析为基础的验证.他对涉及高次方程的几何证明一般是通过具体例子来展示一般方法,但是,他针对特殊情形的证明方法具有一般性.另外,在方法论上指出,古证复原方法也适用于历史上存在的几何证明.     

桥梁结构截面特性计算的梯形分块法

本文具体阐述了桥梁结构常用截面几何特性计算的基本原理,探讨了桥梁结构常用截面几何特性的电算方法,可供从事悬索桥设计与施工的人员参考。     

浅谈数字测图中的几点工作体会

随着电子全站仪及电子计算机的普及,地形图的成图方法正在逐步地由传统的白纸法成图向数字测图方向发展。特别是在我国的东部沿海发达地区,数字测图几乎已占据了大部分的地形图测绘市场。本人从事军事测绘工作20多年,数字测图工作已近2年,就数字成图中的几个方面谈一点个人的体会。     

中国科学家揭示太空三维磁重联的几何结构——《Nature Physics》再次发表北京大学与国家天文台等最新合作成果

以中国科学院国家天文台肖池阶副研究员、北京大学王晓钢教授、濮祖荫教授等为主的研究小组，继去年首次发现了自然界中存在磁场零点（Nature Physics2（7），478—483，2006）之后，最近又合作完成了三维磁重联完整几何结构的卫星观测研究。