逻辑函数化简法——表格法

介绍一种逻辑函数化简方法－－表格法,并给出多输出逻辑函数化简方法的实例,该方法可为计算机处理逻辑函数的化简提供理论依据。     

关于高维非欧几何的几个基本定理

在文献[1]、[2]的基础上，建立了n维球面型空间和双曲空间中单形内切球半径之计算公式，建立了n维球面型空间两种形式的余弦定理，并对n维非欧空间中Euler不等式的建立提出了分析．     

WEB应用系统性能测试的实现

对WEB应用系统进行合理的性能测试是保证系统质量的一个重要过程。以某远程教学系统为案例,借助于测试工具Load Runner,从负载反应层面对系统性能进行验证,并对测试结果进行分析,以保证系统的合理优化。     

居民心理——城市空间扩展的另一个重要因素

本文从分析当前城市空间扩展与城市居民心理之间的冲突出发,探讨了城市空间利用的主客体之间的关系。作者特别分析了在当前形势下城市居民的心理行为表现,指出城市居民心理行为也是城市空间扩展决策的一个重要依据。     

乘积空间的不动点定理

本文中,我们得到如下结果:设(X,d)是一个完备的度量空间,Y 是一个具有不动点性质的空间,又 f:X+Y→X+Y 连续映象,如果 f 是一个关于第一变元的局部平均压缩的映象,则 f 有一个不动点。此结果推广了 Fora[1]中关于局部压缩映象的结果。本文还讨论了乘积空间的拟压缩映象,并改进了 Fisher[4]的结果。     

集成式计算机协同工作(CSCW)支持环境的研究与实现

提出了一种构造集成式计算机支持的协同工作（ＣＳＣＷ）支持环境的解决方案,介绍了集成机制的原理、消息机制与挂接机制的结合和应用,以及ＣＳＣＷ支持环境的设计与实现技术．讨论了相关问题,提出并实现了改进方案．同时,也介绍了集成式ＣＳＣＷ支持环境与视频会议系统的结合．     

TEXPRO设计系统的使用技巧

介绍了TEXPRO设计系统的三维模拟、款式设计、自动配色等主要功能以及服装设计师在实际操作中应了解和掌握的使用技巧。     

碳纤维材料在梁板加固工程中的应用

以南京某高校教学楼卫生间梁板加固工程为例，阐述了应用碳纤维材料对混凝土梁板进行结构补强加固的设计原理、施工工序，提出了应用碳纤维布进行结构加固时应注意的事项。     

对我国油脂深加工的化工产品综述

对我国加速开发植物油脂深加工产品及经济重要性、产品用途、生产工艺等方面作了探讨。介绍了较为成熟的生产工艺,提出了开发生产环氧大豆油、脂肪酸、硬脂酸、甘油、亚油酸、磷脂、糠蜡、植酸钙、肌醇等多种油脂化工产品,创造经济效益的建议。     

工业机器人校正技术及软件设计

机器人末端执行器准确到达预先指定位姿的能力是其重要的技术指标之一,而机器人位姿误差校正补偿技术正是提高机器人位姿精度的有效方法.本文采用机器人位姿误差局部校正方法,建立了机器人工作空间位姿转换矩阵及误差模型.以AdeptOne机器人为对象,利用光电检测手段,自行设计研