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

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

单自由度状态下SMA-KBF耗能减震能力研究

SMA和隅撑支撑(KBF)分别为近些年发现的有超弹性力学性能的一种金属材料和新型结构框架,并被国内外学者广泛关注,应用在了很多的工程试验中。以此为基础该文的主要研究在地震荷载下,通过实验模拟SMA阻尼器隅撑构件的耗能以达到结构减震的目的。     

黄冈公铁两用长江大桥维修通道施工

维修通道专为桥梁竣工后接收管养单位而设。本文以黄冈桥维修通道为例,从下部基础到上部主体框架乃至附属,全面地叙述了各部位的施工情况及工序控制要点,为以后类似施工提供一定经验。     

一类数字半群的极小表示

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

硬线控制冷却工艺

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

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

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

多维随机大与SNBU多维寿命分布类

本文从多维随机序──随机大入手，定义了多维寿命分布类ＳＮＢＵ，证明了该定义与文［１］中的定义等价，研究了其部分性质。     

与半群的完全不可逆生成集相关的几个性质

讨论了半群环的两个性质以及关于半群的a.c.c.p.（主理想升链条件）的一个结论。