基于卡诺图的多变量逻辑函数化简

对卡诺图逻辑变量值的分布、编号规则、对称性等提出新的看法，由此可用卡诺图化简任意多个变量的逻辑函数，并介绍了基于这种方法的计算机程序流程．     

用神经网络进行变量选择

针对变量选择问题的困难,提出了一种基于神经网络的变量选择方法,并以实例表明了该方法的有效性。     

矩阵变量的矩阵值函数的导数

利用矩阵的Kronecker积．对矩阵变量给出了矩阵微分算子．任一矩阵值函数关于矩阵变量的导数定义为矩阵微分算子与矩阵值函数的右Kronecker积，从而通常的一元函数的导数、多元函数的偏导数、梯度等概念都可作为其特殊情形．文中得出了矩阵微分算子的三条基本性质并由此建立了函数矩阵的导数、数量函数对矩阵变量的导数及矩阵值函数对矩阵变量的导数之间的联系．作为Kronecker积的另一应用，文中得出了矩阵方程AX=XB有非零解矩阵的充分条件是；当λ1，λ2，…，λa是n阶矩阵A与B的全部互异特征值，ki，ri分别为λi在矩阵A与B中的重数时，Σki=1 kiri≥1。     

计算机化课程试题库小议

目前,国内各类学校和考试管理部门建设电脑题库的愿望相当迫切。目的是解决日常考试和训练出卷需要,实现教考分离,规范各类考试试卷的出卷程序。为此,建立一套完善的评估制度和各学科教学质量评估标准,建设高校各学科题库,充分利用计算机这一现代化工具优化教学质量管理,势在必行。试图就高校题库建设中的若干问题作些探讨。     

关于部分K值逻辑Sheffer函数(Ⅳ)

根据部分多值逻辑的完备性理论,证明了m=2时关系图为树的两类单纯可离函数集一类P*k在的极大封闭集之最小覆盖中不出现,另一类在P*k的极大封闭集之最小覆盖中必须出现.     

用B样条函数计算柱体的流体动力特性

用Ｂ样条函数求解任意柱体的势流问题，并以ＢＡＳＩＣ语言编制了计算程序，以计算任意形状柱体的水动力特性，如压力分布，附加质量以及两个柱体的干扰对附加质量的影响，得到满意的结果。     

一类用分数次积分算子定义的解析函数

引入一类用分数次积分算子定义的解析函数，一些熟知的函数族是其特例。研究了该函数的几个卷积算子的封闭性，并得到了有关该函数族的几个包含关系。     

用函数宏计算液塑限联合试验数据

本文以JTJ051-93《公路土工试验规程》为标准,分析了液、塑限联合试验的过程及计算过程,编写了用函数宏计算数据的程序。     

用重节点差商法求解埃尔米特插值函数

为了求三次埃尔米特插值函数，采用重节点差商的方法，得到了类似于牛顿插值的结果．与Lagrange插值基函数法相比，本方法十分简便．就一般情况给出了三次埃尔米特插值函数的误差公式，并介绍了误差公式的证明方法．     

用奇异函数法分析复杂载荷下实体三铰拱内力

用奇异函数法导出了实体三铰拱在复杂载荷作用下内力的解析解,与传统的数解法相比,由于用统一的解析表达内力,便于编程计算,也便于根据已知外载情况合理设计拱抽。     

资本逻辑与劳动逻辑的统一

到底是资本逻辑劳动还是劳动雇佣资本,经济学院历来有不同的看法。本文在对上述两种理论评析基础上,提出了一种中性理论,即 ：资本逻辑与劳动逻辑的统一。     

浅析C语言中的变量

文章着重阐述了C语言中变量的概念、定义方式,从计算机硬件层次上分析了变量的分类、作用域、存储类型及存储方式,并对C语言中变量的特性作出了较全面的总结．     

桁架结构离散变量优化设计

在综合、改进线性整数规划中的隐枚举法、分枝定界法和割平面法的基础上，形成适合离散空间规划的隐枚举法以及分枝界加割平面法两种桁架结构离散变量设计方法，其数学芭杆件截面积为设计普量，以结构的最小重量为目标函数，以杆件截面应力约束、结点变位约束加杆件截面离散取值为约束函数。     

双光栅测力传感器制备及温变量与力变量系数标定实验

光纤光栅测力传感器存在温变量与力变量交叉影响光纤光栅中心波长的现象,为消除温变量对光纤光栅中心波长的影响,提出通过双光栅法建立方程组以求解力变量的思路.为验证双光栅法的有效性,进行了双光栅测力传感器的制备,温变量与力变量敏感系数的标定,及不同受力、温度条件下光纤光栅中心波长的测量试验.实验结果表明,力变量的测量结果与实验实际拉力接近,双光栅测力是有效的.