9691.
总被引：1，自引：0，他引：1
本文设计了一种通用的光档库数据组织，并在此基础上实现了基于ＳＧＭＬ的光盘文档库生成系统，该系统利用通用的文档转换工具把ＳＧＭＬ文档转换成光盘文档的格式，并对其建立目录，索引等浏览机制以方便用户浏览和检索，光盘文档的数据组织充分考虑了光盘存储器的特点，提高了浏览与检索操作的效率。… … 相似文献
9692.
总被引：1，自引：3，他引：1
本文介绍了一个面向分布式语言ＮＣ＋＋的测试系统原型ＰＳＥＴ。该系统由两部分组成：静态测试部分ＰＳ用于分析和显示程序的静态控制流程；动态测试部分ＥＴ用于显示程序执行过程中所产生的各类事件，从中分析各进程间的调用关系。 相似文献
9693.
总被引：1，自引：0，他引：1
本文介绍了在Ｗｉｎｄｏｗｓ环境下，对图像进行９０度旋转和小于９０度的任意角度旋转的处理方法，并给出有关程序实例。 相似文献
9694.
总被引：1，自引：0，他引：1
本文以可扩充的一体化词表概念语义网为背景，分析了语义网络向关系数据库的转换问题及关知识推理的实现技术，并讨论了此方法在智能化大型图书馆管理与决策支持系统ＬＩＭＤＳ中的应用。 相似文献
9695.
总被引：1，自引：0，他引：1
本文提出了一种可显多媒体（包括静态图象、图形、文本、数值等）特技显示的技术，该技术采用两层结构，使各种可显媒体及其不同子类（如不同字体的文本，位图＊．ＢＭＰ，静态压缩图象＊．ＪＰＧ等）都可以用同一个算法进行特技处理。 相似文献
9696.
总被引：1，自引：0，他引：1
ＥＸＰＲＥＳＳ是ＳＴＥＰ资源和应用协议的定义基础。本文主要介绍ＥＸＰＲＥＳＳ语言比较特殊的类和对象特征：子类和超类，属性和规则的继承以及子类超类约束关系 相似文献
9697.
总被引：1，自引：0，他引：1
约束数据模型作为一种新的数据库模型正受到广泛关注，为了约束数据库的有效应用，需要研究的设计。为此对密序约束数据中的变量独立函数依赖，模式设计，分解，无损连接规范表示概念给出了严格的定义。给出了计算规范表示的算法，它能保持约束元 组的变量独立，并证明了它的正确性。 相似文献
9698.
总被引：1，自引：0，他引：1
本文在简单地介绍了Ｏｒａｃｌｅ７之后，引出了两阶段提交机理的概念，详细地阐明了两阶段提交机制的基本原理，扼要地说明了Ｏｒａｃｌｅ对提交过程中发生的故障的处理方法，接着详细地解释了提交参与节点组成的会话树的概念和方法，最后以一个实例说明两阶段提交机制的工作过程。 相似文献
9699.
总被引：1，自引：0，他引：1
本文推导出了Ｂｅｚｉｅｒ矩形片的退化条件。在此基础上利用约束优化方法，给出了Ｂｅｚｉｅｒ矩形片的一种降价方法。同时，该降价方法可以和离散方法相结合，使降价逼近误差控制在预先给定的范围之内。 相似文献
9700.
总被引：1，自引：0，他引：1
本文在集成模型的选择和集成系统的设计上引入了面向对象的思想，提出了一个基于对象的信息集成框架，并着重讨论了本地对象模式和全局对象模式设计和实现的关键技术。 相似文献
关于我们 |
广告服务 |
商务洽谈 |
联系我们 |
免责条款 |
隐私声明 |
网站导航
网站版权所有：中国科学院软件研究所 京ICP备09084417号-9
地址：北京海淀区中关村南四大街4号 邮编：100190 电话：010-62562563 E-mail ： cj_mail@jscas.ac.cn
本系统由:北京勤云科技发展有限公司提供技术支持
网站版权所有：中国科学院软件研究所 京ICP备09084417号-9
地址：北京海淀区中关村南四大街4号 邮编：100190 电话：010-62562563 E-mail ： cj_mail@jscas.ac.cn
本系统由:北京勤云科技发展有限公司提供技术支持
