命题推理的新图式(英文)

本文引进新图式的概念,并且给出一个关于命题推理有效判定的方法。它解决了证明论中命题逻辑部分的一个重要问题。由于此方法直观,机械,可用于计算机对人工智能问题的处理。     

关于指标阶的Huppert问题

对具有4个顶点的指标阶图进行了研究,证明了下述定理：不存在有限可解G,使得G的指标阶图同构于下面的图： ·——·——·——·这一结果解决了Huppert在1990年提出的一个公开问题。该结果和所用方法也为解决著名的指标图半径猜想开辟了道路。     

非齐次泊松过程中向量参数极大似然估计的重对数律

对于具有向量参数的非齐次泊松过程的一般模型,论证了向量参数极大似然估计每个分量的收敛速度符合重对数律。     

二分图的Laplace矩阵的最大特征值

图的Laplace矩阵的谱,在物理、化学和计算机等学科有着广泛应用。但是,求图的Laplace矩阵的谱,是很不容易的。文章通过分析二分图的结构,研究了二分图的Laplace矩阵的特点,利用非负矩阵的经典理论和图论方法,导出了一般二分图的Laplace矩阵的最大特征值的界值。     

数控铣床图形自动编程系统设计中DXF文件图元信息读取技术研究

基于autoCAD数控铣床图形自动编程系统设计中,各功能模块分别完成将DXF文件中各图元信息读入双向链表、数据排序组环、工艺设置、后处理生成数控加工程序。本文利用Visual C 6.0语言设计一个比较完整的DXF文件的接口程序读取各图元信息。在读取模块设计中、本文定义了双向链表结点复合结构体类型。在存储非均匀B样条曲线结构体成员中使用STL类库中list列表容器存储其控制顶点、节点坐标等。简化了读取模块设计。利用迭代和访问方法、可变序列算法和不可变序列算法对列表容器中的元素进行正反迭代指向返回元素个数、查找等操作。可简化后置处理程序设计。     

与路2—正交的（g,f）—因子分解

设ｇ和ｆ分别是定义在图Ｇ的机点集合Ｖ（Ｇ）上的整数值函数且对每个ｘ∈Ｖ（Ｇ）有４≤ｇ（ｘ）≤ｆ（ｘ）。证明了若Ｇ是一个（ｍｇ＋ｍ－１,ｍｆ－ｍ＋１）－图,则对Ｇ中任意给定的长为２ｍ的路Ｐ,Ｇ有一个（ｇ,ｆ＿－因子分解２－正交于Ｐ。     

6个多色Ramsey数的下界

研究了素介完全图ＫＰ的边的ｎ－染色,给出了计算它的子图Ｇｐ（Ｓｉ）的团数的一种算法,得到２个三色,４个四色Ｒａｍｓｅｙ数的新的下界。     

微波心动图仪的设计和研制

设计了一个能够提取人体微波心动图的“微波心动图仪”.该仪器使用1 150 MHz微波连续波作为载波信号,用计算机控制的零平衡方法进行未调制载波抵消,用检测前向散射波(透射波)的方法绘制心动图.所研制的样机具有结构简单、灵敏度高、噪声小的特点.还给出了该样机采集的微波心动图样例,并进行了讨论.     

简单连通图的k阶幂图的指数集(英文)

设Ｇ 是一个ｎ 阶简单连通图,ｋ≥２ 是一个整数．Ｇ 的ｋ 阶幂图记作Ｇｋ ,定义为：Ｖ（ Ｇｋ） ＝ Ｖ（ Ｇ） 且对任意ｕ ,ｖ∈Ｖ（ Ｇｋ） （ ｕ≠ｖ） ,（ ｕ ,ｖ） ∈Ｅ（ Ｇｋ） 当且仅当ｄＧ（ ｕ ,ｖ） ≤ｋ ,则对任意的ｋ≥２ ,Ｇｋ 本原．令Ｅ（ｋ,ｎ） ＝ ｛ γ（ Ｇｋ）｜ Ｇ 是ｎ阶简单连通图｝ ,可以得到Ｅ（ｋ ,ｎ） ＝ｄｋ ｋ＋ １ ≤ｄ ≤ｎ － １ ,　　若２ ≤ｋ≤ｎ － ２ ,｛２｝ ,　　　　　　　　　　　　若ｋ≥ｎ － １ ．     

基于程序图的路径测试

本文给出了一种利用程序图进行软件测试的路径测试方法。