基于ActiveX控件与Office对象模型的技术文档管理系统

针对传统的Web技术文档管理系统中版本控制难、修改缺乏可追踪性、系统响应时间长、用户体验差等问题,提出一种结合Active X控件与Office对象模型的技术文档管理系统开发方案。在系统结构分析、审批流程建模、系统功能构建的基础上,详细介绍系统实现中的两大关键技术:在线审批的版本控制及修改信息提取、文档自动受控生成。实际应用表明,该系统文档版本控制准确,文档修改过程的可查性强,系统响应速度快,用户体验效果好。

软件服务器端注册机制的研究与实现

计算机软件是一种容易借助网络破解、拷贝、传播的特殊商品,现阶段其知识产权很难得到有效保护。传统的客户端注册机制往往把破解的机会留给了盗版者,如果尝试在服务器端完成用户软件的注册,并提供与客户机一对一注册文件的下载,势必会收到良好的效果,有效抑制盗版侵权行为的发生。

计算最大无基集的多项式时间算法

以无基集为基础,结合最大无基集的定义,提出一个多项式时间算法。算法给定一个逻辑程序P和它的一个解释I,求得一个作用在P和I上单调算子的最小不动点,并将该最小不动点中的元素从逻辑程序P的Herbrand基中删去得到一个集合A,集合A即为关于I的最大无基集。实验结果证明了该算法的正确性及复杂性。