基于Web的含无关项卡诺图自动化简系统

为学生能在网络上随时随地学习卡诺图化简,提高自主学习的质量,在ASP.NET环境下,利用rapheal框架实现了卡诺图自动化简逻辑函数系统.系统能够对任意输入的三至五变量的逻辑表达式及指定的无关项使用卡诺图化简法进行化简,并且在网页上按步骤展示其化简过程.输入表达式的语法验证采用改进的算法优先分析法,化简过程采用广度优先搜索模仿人工搜索卡诺圈的过程,网页作图由rapheal框架实现.测试结果表明,系统可在常用浏览器下正常运行,可正确的按步骤展示卡诺图化简逻辑函数的过程.     

积分变换法求解点电荷的静电势

应用积分变换法求解点电荷静电势所满足的δ函数形式表示的泊松方程,得到点电荷或电偶极子激发的静电势,在内容上起到衔接电磁学、电动力学和数学物理方法的作用.例举的实例简单易于理解,可作为电动力学或数学物理方法课程教学上的补充材料.     

一类数字半群的极小表示

应用J.C.Rosales的有关理论研究数字半群S=〈m,m 2,m 3,m 4,…,2m-2,2m-1〉,其中m≥5,该类数字半群的Apery集不具有惟一分解性质.本文完全确定了该类数字半群的极小表示.     

含PM-映射的变分不等式

文章在自反Banach空间中，利用锐角原理讨论了含PM-映射的变分不等式解的存在性问题。     

硬线控制冷却工艺

研究了影响硬线性能的主要工艺参数，这些参数是决定线材最终产品质量的关键，并初步讨论了其影响规律。     

人-机结合的智能科学和智能工程

20世纪80年代以来，与人工智能(AI)密切相关的有两件大事，即日本的第五代计算机计划和中国的(“八六三”-306)智能计算机计划。两个计划实施后，使人们对智能自动化问题的认识有很大转变与提高。钱学森先生对此指出了人机结合的重要性，并认为应该研究人机结合的智能系统。笔者于1994年提出“智能科学和智能工程”这一学科领域的设想，到今天，有关人-机结合的智能系统研究已经有了相当的进展。     

评王恕的人事铨选观

王恕是明中叶有宿德重望的大臣。文章对《王端毅奏议集》中的人事铨选理论有较详细的述评。     

基于多目标规划的模糊DEA有效性

传统的DEA模型是通过单目标的线性规划来处理刚性数据，为了更好地评价决策单元的相对有效性问题，在多目标规划的基础上，建立了模糊DEA模型，通过取截集的方法，得到相应的悲观规划和乐观规划，并分别求得与之相应的线性规划(P2)的最优值，由此可以得到更多的关于决策单元的投入和产出情况的信息，还讨论了它们的一些性质，并用数值实例加以说明。