机器人运动分析自动建模

用计算机代数系统自动生成机器人运动学模型,是机器人运动学建模的新课题。本文将计算机代数系统移植到机器人运动学自动建模研究,开发了适用于计算3～6个自由度的机器人运动学正、反解的计算机代数软件系统。该程序软件采用计算机代数语言REDUCE3·2编写,并在微机上实现。     

变量间依赖关系的计算机自动推理机器证明方法及其应用

给出机器证明原理在微分情形和一些力学问题中的应用．引进保持性质的导数的形式记号,建立了微分方程变量间依赖关系的自动推理的机械化证明原理,从而方程间的变换（如Ｂａｃｋｌｕｎｄ变换等）均可机械地验证．并具体给出该方法在：弹性力学控制方程的自动推理;（ＰＫＰ）方程的Ｂａｃｋｌｕｎｄ变换的正确性的机械化验证及各向异性弹力中的不变量的自动推理中的应用并用计算机代数系统实现了其运算．给出了计算机判断和推导方程变量间内在关系的计算机代数方法．     

针对财务知识的计算机考试系统

介绍了一种新的具有自动阅卷功能的财务知识计算机考试系统，提出了记分点的概念。论述了自动阅卷功能的实现策略，并举例说明了自动阅卷的具体实现。     

数学归纳法自动推证研究

数学归纳法广泛应用于数学以及其它学科上相关定理证明.　运用有关数学理论在计算机代数系统Maple下,　讨论了算法的实现技术,　分析了复杂度与输出结果的关系,　在此基础上,　设计并实现了数学归纳法可读型自动推证.　结果表明,　该算法简单正确,相应的程序操作简单,　功能强大,可以解决归纳法问题的自动推证问题,具有一定的推广价值.     

高等代数计算机辅助教学与实践

高等代数传统教学模式要与时俱进，实践证明，在高等代数的教学中应用计算机辅助教学的一些技巧，不但可以提高课时利用率，而且可以大大增加单位时间内给学生传授知识的信息量，扩大学生的知识面，有利于提高高等代数教学质量。     

微分中值定理自动推证研究

应用积分辅助函数法给出了微分中值定理在计算机代数系统Maple下的自动推证的实现程序,特别是成功解决了Maple中符号积分缺陷问题.该程序方法简单,相应的计算机程序功能强大,操作性强.应用该程序可以成功解决一类有关问题的计算机自动推证,具有一定的推广价值.     

PC控制系统的计算机辅助设计

针对ＰＣ控制系统设计过程中的关键性技术问题，提出并实施了计算机辅助设计方法。通过对梯形图的分析比较，绘出了逻辑表达式的变换方法。进而使用模块化和计算机编译技术，实现了电气图向梯形图逻辑表达式的自动转换、以及梯形图的自动绘制和ＰＣ指令的自动编程     

可编程控制器控制系统的计算机辅助设计

针对可编程控制器控制系统设计过程中的关键性技术问题，提出并实施了计算机辅助设计方法．通过对梯形图的分析比较，得出了逻辑表达式的评价指标及逻辑变换方法．通过使用模块化和计算机编译技术，实现了电气图向梯形图逻辑表达式的自动转换，以及梯形图的自动绘制和可编程控制器指令的自动编程     

支持多媒体的MIS自动编程方法的研究

随着计算机网络技术和多媒体技术的不断发展，信息系统也提出了许多新的要求，系统的自动生成技术也必须支持这些新的需求。本文主要讨论在计算机网络和多媒体环境下，关于信息系统的自动生成实现方法，讨论基于这种方法的程序自动生成工具的研究。实践证明，这种方法是可行的，取得了很好的效果。     

空间网格结构的自动成形

依据形式代数（ｆｏｒｍｅｘａｌｇｅｂｒａ）理论，用ＦＯＲＴＲＡＮ语言编制了实用程序，使外形比较复杂的球面网壳、椭球形网壳、双曲抛物面形及筒壳等形式的网格结构能够利用计算机自动成形，避免了以往冗长、单调且易于出错的结构成形工作，与计算机辅助图形相结合，既直观又便于修改和检查．通过工程实例来说明形式代数在空间网格结构自动成形中的优越性和很强的实用性．     

计算机网络辅助教学系统的研究

介绍了基于 Ｉｎｔｅｒｎｅｔ／ Ｉｎｔｒａｎｅｔ 技术、基于视频会议技术的计算机网络辅助教学系统,详细讨论了该系统的结构、功能、技术难点,并指出了进一步发展的方向．     

基于多维体理论的生命线网络可靠性的不交和算法

根据生命线网络系统的图论模型,应用计算机辅助逻辑综合技术对网络可靠性的精确算法进行了探讨.采用多维体列阵表示网络可靠性的逻辑函数,应用锐积和二进制布尔运算实现网络的路经不交和算法和计算机编程.最后,通过算例验证了该算法的有效性.     

程序算法实验考核系统的设计与实现

提出程序算法实验考核的设计方案,实现了对算法程序进行自动评价的功能。系统采用多线程技术、计算机管道技术实现对程序的自动编译、运行,并根据测试用例判断程序的正确情况。文章就系统的设计和实现进行了较为详尽的分析和阐述。     

Agent技术在智能辅助教学系统中的应用

文章对智能计算机辅助教学系统进行了深入的研究,介绍了网络教学的优势和Agent的基本特性。在此基础上提出了将Agent技术应用于网络智能计算机辅助教学系统,构造出一种新的智能辅助教学系统的系统模型,并且对系统所用到的关键技术进行了详细的分析。     

基于Web的网络教学系统建设

网络教学是利用计算机网络技术，多媒体技术等现代信息技术手段开展起来的一种新型教学形式。文章分析了基于Web的网络教学系统的几种教学模式，着重讨论了几种基于Web的软件开发技术，说明了基于NT的Internet应用开发环境。     

一种关于分布式工作流管理系统的设计方法

基于分布式工作流技术是计算机应用领域的一个较新的研究方向,分析了当前分布式工作流技术的研发现状,提出了一种基于XPDL文件的分布式工作流管理系统DWF,实现对XPDL文件的分片执行,为分布式工作流管理系统的设计提供了一种方法.     

机动车辆遥测监查管理系统研究与实现

介绍一种新型车辆收费管理系统--机动车辆遥测监查管理系统,它融合了无线电遥测技术、数字通信技术和计算机技术,实现了在不停车、不减速以及无需人工参与的情况下,完成机动车辆缴费的自动监测和管理,为当前亟待解决的机动车辆收费管理提供了一种方便、实用、可靠的有效手段.具有推广价值.     

船舶维修级别分析程序的设计与实现

为实现船舶维修决策和管理自动化,将经济性分析与非经济性分析相结合,以综合成本最低为原则确定船舶故障设备的最佳维修级别方案,运用计算机技术和统计决策方法研发船舶维修级别分析系统.系统试运行实现了船舶设备维修级别的自动化决策,表明采用的理论方法具有可行性.     

路灯照明监控系统的设计与实现

介绍了集计算机网络技术、移动通信技术、GIS、电子技术、自动控制技术等高技术为一体对城市路灯照明系统进行监控的一种新系统。系统中提出环网型供电、点控方式、GPRS4-PCC＋INTERNET的通讯模式等一系列新方法,并简述了系统可对每个路灯的点控、监测和分时控制,实现节能和提高路灯的使用寿命,达到提高路灯运行管理水平的目的。     

城市测量自动化系统的研究

文章在综合分析现有自动化测绘技术的基础上,阐述了利用便携式微型计算机可视性的特点实施野外数据采集的可能性。研究了形象直观的城市测量自动化系统软件,从而实现数据处理以及电子平板数字化测绘的自动化。