一种新型4-PUU并联机构运动学分析

介绍了一种新型4-PUU并联机器人机构,该机构可以实现空间三维的移动和绕Z轴的转动.文中利用螺旋理论分析了机构的约束特性,计算了它的自由度数目,讨论了输入的合理性;给出了机构位置反解方程和机构速度方程并分析了机构奇异位形和工作空间。该并联机构结构对称,机构较简单,可以用来开发工业机器人,定位平台等。

构件演化的交互行为一致性研究

构件演化前后的交互行为执行序列不一致,会导致系统行为偏离系统的功能目标。针对该问题,基于进程代数描述构件间的交互行为,归纳交互行为一致性的定义,给出交互行为一致性所需满足的约束条件,提出一种保证交互行为一致性的方法。实例分析结果证明了该方法的可行性和正确性。

谈“面向21世纪计算机实验教学基地”的建设

针对如何提高高等学校的教学水平,为国家培养面向21世纪的高素质人才,阐述了在这种新形势下建立高层次的计算机实验教学基地的重要意义,讨论了该基地应具有的功能和特点,并指出了搞好基地建设的实施步骤。

解决网络环境MIS中数据库读写冲突的方法

使用登记文件来记录文件服务器上数据库的使用情况,解决 MIS 中文件读写冲突的方法.以 Novell 网络环境下用 FoxPro for Dos 开发 MIS 为例,详细介绍这种方法的具体实现技术.

实现用机自动化 使基地管理再上水平

通过对计算机教学实验基地人工管理与 IC 卡自动化管理系统的对比剖析,阐明了公共计算机实验基地的网络化管理的必要性,指出了使基地管理水平再上一个新台阶的重要途径。

制作图形用户界面的FoxPro应用系统帮助文件的方法介绍

提供了在 FoxPro 应用系统中制作一种具有 Windows

Android应用程序的组件间通信行为检测

Android组件间通信为应用程序带来了便利性的同时也增加了安全隐患,可能导致多个应用程序协作进行共谋攻击.针对该问题,提出一种形式化的方法对Andriod应用程序的组件间通信行为进行建模和检测.通过组件级的数据流分析,为每个组件生成组件数据流图.通过跟踪和分析跨组件边界的数据流找到ICC调用者和ICC被调者.基于Pi演算为组件数据流图进行形式化映射,建立了Android应用程序的行为模型.基于该行为模型,通过分析Intent的异常对基于通信的攻击进行检测.最后,分析和实验了该方法的检测效率,并和相关方法进行了对比,并通过对57个Android Apps的分析和检测,部分的验证了该方法的有效性.

被约束刚体连续运动的充分必要条件

在判别约束下刚体能否运动的约束功率判据的基础上，提出了“约束加功率”这一概念，并将“约束加功率为零”作为区分被约束刚体瞬时运动与连续运动的数学判据。给出了被约束刚体连续运动的充分必要条件，揭示了瞬时运动机构的机构学本质。

提高DI—3000图形输出速度的方法

通过修改图形设备的驱动程序，将发送给图形设备的指令“截住”，生成图形文件。每次需要输出图形时，将图形文件传送给图形设备，由于传送指令几乎不占用ＣＰＵ时间，因此图形显示速度得到很大提高。

Novell 网络环境下多用户数据库访问冲突的解决方法

使用登记文件来记录Ｎｏｖｅｌ网络文件服务器上共享数据库的使用情况，解决多用户数据库的访问冲突问题．以Ｎｏｖｅｌ网络ＦｏｘＰｒｏｆｏｒＤｏｓ为例，详细说明了这种方法的实现技术．