计算机科学中的几个泛系关系(二)——面向对象程序设计中的继承关系

本文从泛系的角度探讨了面向对象程序设计中继承关系的引入,对继承关系进行了泛系分析;然后讨论了伴随继承关系而产生的几个泛系模拟关系。

计算机科学中的几个泛系关系(Ⅰ)

本文从泛系观的的角度揭示计算机科学中的各种关系,从而能更深刻认识计算机科学的系统特征。

文理科辅修《计算机操作系统》的探讨与研究

本文结合作者的教学实践体会，以我校开设的文、理科辅修《计算机操作系统》为例展开探讨。全面研究了OS课程的教学方法，提出了一些新的观点方法。

微型计算机按键查号系统

本文描述了微机按键电话编号查找系统的结构、工作过程、主要指标.设计了一种良好的输入界区——分页数据管理方法.解决了电话编号查询时间要短.而库容量又要大的技术问题.

计算机安全在教育管理中的应用研究

本文通过讨论计算机安全在教育管理中的应用 ,使人们重视对计算机病毒及信息泄漏的防范 ,并采取相应的安全措施。

计算机算法设计中的归约原理与应用

本文以图为模型,给出了归约的概念,并将其应用到图的最小生成树问题中,得到了计算复杂度平均情况下为θ(m+n),最坏情况下为θ((m-n)1ogn)的最小生成树算法.该算法易于在多机处理中并行化,文中指出了归约概念在其他方面的应用.

从泛系观看人工智能的几个基本问题

本文从科学历史鸟瞰角度分析了人工智能的发展以及它的任务，并提出用泛系哲学逻辑作为人工智能新的理论框架，最后，从泛系观角度展望了人工智能的前景。

印鉴自动识别系统中封闭凸多边形图像的提取

提出了一种封闭凸多边形图像的提取方法——种子扩散浮置实体算法 ,解决了印鉴自动识别系统中将待验印鉴图像从背景噪声中提取出来的问题 ,并在实际应用中取得了良好的效果 .

邮政编码查询系统

本文介绍了一种邮政编码微型计算机查询系统.为了提高查询速度,阐述了建立数据库的原则;给出了语音报号电路和报号程序.

一个经济效益评价模型及系统实现

本文根据目前我国基本建设施工企业经济活动的客观规律和经济效益基本来源形式,提出了一个既适应于施工工程,又适应于施工企业的统一的、定量化的经济效益评价模型,并进而在计算机上实现了一个既利于保证工程质量、又利于提高企业管理水平的多功能经济效益评价系统.

“滚动电梯式”随机服务系统探讨

探讨滚动电梯的流量问题，提出了有关滚动电梯式随机服务系统的排队模型；运用“循环服务”的典型方法进行了近似求解，得到了顾客滞留时间、稳定队长、等待时间分布等一系列重要参数；并确立了属于非经典排队模型的“滚动电梯式”服务模型．

泛系哲学逻辑和人工智能

不管什么学科都是在特定的物质运动层次上展开对客观世界某一方面的研究,人工智能(AI)这门年轻而又处于前沿的学科在对人类的智能、人类的认知行为这一人类本身主观世界,主观世界与客观世界的关系(认识和改造),这样一个侧面的研究中,必须寻求一种正确的哲学思想为指导.几十年来AI研究之所以走过不少弯路,除了其本身的困难性之外,研究方法与指导哲学上也存在问题,这是在AI研究中值得注意的问题.在经过近十年的人工智能研究的紧张角逐之后,西欧科学工作者出现了寻求东方哲学的心理,日本在宣布完成第五代计算机计划之后,在更新的一代计算机计划中提出了“soft logic”(软逻辑)的理论需求.

仿社会学初探──技术科学对社会的模仿

本文根据技术模仿社会现象的事例提出了仿社会学研究，并对仿社会学研究的目的、特征、依据及其意义进行了初步探讨和分析，从而指出社会是一个大课堂，科技工作者也应从人们生活的社会里摄取营养，开拓思维，创造更新的技术为人类服务。

绒线染色微机集散控制系统

本文介绍了一种集中管理,分散控制的计算机温度控制系统,该系统控制精度高,控制方法先进,测量手段简单实用,抗干扰能力强,性能价格比好.在甘肃武威麻纺织厂的试运行中取得了良好的绒线染色效果.希望本文对当前渴望进行技术改造,而又经费不足的企业能够提供一点有益的经验.

BSP用于分布式系统的协议规范

ＢＳＰ（ＢｒｏａｄｃａｓｔｉｎｇＳｅｑｕｅｎｔｉａｌＰｒｏｃｅｓｓｅｓ）是一种带有广播原语的分布式语言，能很好地支持分布式系统中的消息传递。本文强调了ＢＳＰ在分布式系统协议规范方面的应用，并完成了对ＯＳＩ参考模型的网络协议以及数据库并发控制的ｔｉｍｅｓｔａｍｐ协议的规范说明。

电子剪报系统—EPCutter的设计和实现

介绍了一个剪报资料处理和检索系统EPCutter(Electronic Press Cutter)， 它包括3个子系统：剪报资料处理子系统、网上智能代理子系统和全文数据库检索子系统。网上智能代理子系统利用数据挖掘技术和智能自主代理技术，自动从Web上挖掘出用户感兴趣的信息；全文数据库采用了字索引和词索引相结合的索引检索方法，从而大大提高了检索速度、查全率、查准率。此外还提出了一个统计模型，可对剪报来源作出评价以辅助用户决策。

Church-Rosser系统表现——么半群中正则问题的可判定性

设(T,A)是字母表A上的Church-Rosser Thue系统,M_T是它表现的么半群.M_T中元素u称为正则的,如果存在x,使得xux=u.本文证明了:M_T 中是否有一非平凡正则元是多项式时间可判定的;而对于一个任给的元素 u,u 是否是正则元却是不可判定的.

关于奇异Hamilton系统的无穷多周期解的存在性

应用Ｌ－Ｓ畴数理论，对一类二阶奇异Ｈａｍｉｌｔｏｎ系统无穷多周期解的存在性进行了研究．在强力条件成立的情况下，对位势函数在无穷远处加上不同的限制性条件。

并发系统的模型与验证

petri网这种转移模型很好地描述了并发系统的静态与动态行为.本文介绍一种新的树结构模型能够直观地表示并发系统的动态特性,可以对 petri 网进行分析和验证.

泛系观控模型在自动控制系统中的应用

运用观控原理，为自动控制系统分析和设计建立了一个统一的模式和方法。