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

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

征稿启事

<正>《南阳理工学院学报》是由河南省教育厅主管、南阳理工学院主办的综合性学术期刊.创刊于2009年,双月刊,A4开本,本刊分为自然科学版和社会科学版,单月25日出版,国内外公开发行来稿必须为原创性或评述性论文.要具有创新性、学术性和科学性,务须论点明确、文     

基于WEB方式的电子政务初探

本提出了基于WEB方式的电子政务设计、开发、运营方法和技术平台的总体框架。描述了电子政务数据开发模型的雄度，电子政务系统工程的实施原则、实施步骤及应用系统集成的一整套的实践模型。     

MySQL安全机制及应对措施探讨

探讨作为一种最主要的网络数据库系统MySQL的基于授权表的安全机制，以及如何在应用中就文件系统保护、口令保护、权限表设置和运行选项的采用来提高安全性能的问题。     

高校图书馆“读者数据库”的建立与管理

根据高校图书馆读者群的特征，从理论与实践两方面提出了建立与管理好“读者数据库”的若干建议。     

名词委承担的科技部基础性工作专项日前通过验收

全国科技名词委与中国标准化研究院联合承担了科技部科技基础性工作“科学名词审定”专项 (项目编号2 0 0 1DEMOO15 ) ,在 2 0 0 2年底完成预定任务。在此专项工作中 ,全国科技名词委承担了免疫学、遗传学、地理信息系统、生态学等 4个学科的科学名词审定和两岸信息科技名词对照工作。全国科技名词委在落实科技部下达任务中 ,认真组织各分委员会开展工作 ,并及时予以指导和检查 ,使上述 5个学科的工作在 2 0 0 2年短短的一年时间内按计划进度完成全部预期任务。本项目的实施和运作具有以下四个方面特色和创新 :1 在科技部的大力支持下 ,本…     

浅论我国档案光盘数据库的商业化运行

针对现状,提出将非电子档案数字化以解决原生电子资源不足的问题,与科技公司合作来解决技术上和商业运作的问题,通过转化观念解决运作的思想障碍,以及借鉴相关信息光盘数据库商业化的有效经验,来实现和发展我国档案光盘数据库的商业化。     

CNKI数据库及其应用

根据多年从事CNKI镜像站点工作的体会，对CNKI数据库的产品体系、服务模式及检索系统功能进行了系统的阐述，旨在宣传、普及、推广CNKI数据库的应用，使其发挥应有的作用，并对提高CNKI数据库的利用率提出了具体措施。     

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

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