共查询到20条相似文献，搜索用时 15 毫秒
1.
缺省逻辑的累积性变种的扩张特征 总被引：1，自引：0，他引：1
Ｇｉｏｒｄａｎｏ提出了Ｒｅｉｔｅｒ的缺省逻辑（ＤＬ）的两个新变种：ＣＡＤＬ（ＣｏｍｍｉｔｍｅｎｔｔｏＡｓｓｕｐｔｉｏｎｓＤｅｆａｕｌｔＬｏｇｉｃ）ＱＤＬ（Ｑｕｓａｓｉ－ＤｅｆａｕｌｔＬｏｇｉｃ）它们都具有累积性，但不再具半单调性，ＱＤＬ甚于不再承诺预设（Ｃｏｍｍｉｔｔｏａｓｓｕｍｐｔｉｏｎｓ）本文基于我们已经导出的ＣＤＬ（ＣｕｍｍｕｌａｔｉｖｅＤｅｆａｕｌｔＬｏｇｉｃ）与ＤＬ扩张的特征，通过建立Ｃ 相似文献
2.
１ＩｎｔｒｏｄｕｃｔｉｏｎＭｅｃｈａｎｉｃａｌＣＡＤｓｙｓｔｅｍｓｕｓｅ３Ｄｇｅｏｍｅｔｒｉｃｒｅｐｒｅｓｅｎｔａｔｉｏｎｔｏｆｏｒｍｔｈｅｇｌｏｂａｌｐｒｏｄｕｃｔｉｎｆｏｒｍａｔｉｏｎｍｏｄｅｌｆｏｒｓａｔｉｓｆｙｉｎｇｔｈｅｗｈｏｌｅｌｉｆｅ... 相似文献
3.
页面描述语了（ＰａｇｅＤｅｓｃｒｉｐｔｉｏｎＬａｎｓｕａｇｅ）Ｐｏｓｔｓｃｒｉｐｔ是一种新型的程序设计语言，具有很强的图形描述功能。Ｐｏｓｔｓｃｒｉｐｔ—３Ｄ是对Ｐｏｓｔｓｃｒｉｐｔ的三维扩充。本文结合Ｐｏｓｔｓｃｒｉｐｔ－３Ｄ观察流水线的实现技术进行详细讨论。 相似文献
4.
5.
《CAD/CAM与制造业信息化》1996,(11)
Ｍｅｃｈａｎｉｃａｌ Ｄｅｓｋｔｏｐ的历史性意义ＡＵＴＯＤＥＳＫ中国办事处给予ＡＭＤ（ＡｕｔｏｄｅｓｋＭｅｃｈａｎｉｃａｌＤｅｓｋｔｏｐ）正确的市场定位乃是关系到我们的合作伙伴及其客户对之如何反应和如何取向的关键问题。ＡＭＤ是目前唯一能够满足广大客户... 相似文献
6.
ＡＳＰ是服务器端脚本编写环境,使用它可以创建和运行动态、交互的ＷＥＢ页,提供基于ＷＥＢ的各种应用。它的最强大功能莫过于访问服务器端的数据库。 在 ＡＳＰ中,我们可以用 Ｄａｔａｂａｓｅ Ａｃｅｓｓ ｗｔ轻而易举地通过 ＡｃｔｉｖｅＸ Ｄａｔａ Ｏｂｊｅｃｔｓ（ＡＤＯ）编写紧凑简明的脚本,连接到与 Ｏｐｅｎ Ｄａｔａｂａｓｅ Ｃｏｎｎｅｃｔｉｖｉｔｙ（ＯＤＢＣ）兼容的数据库和ＯＬＥ ＤＢ兼容的数据源,如 Ａｃｃｅｓｓ、 ＳＱＬ Ｓｅｒｖｅｒ、 Ｏｒａｃｌｅ或Ｅｘｃｅｌ等。这种连接方法也是ＡＳＰ与数据库连接的一种基… 相似文献
7.
页面描述语言Ｐｏｓｔｓｃｒｉｐｔ是一种新型的程序设计语言，具有很强的图形描述功能，Ｐｏｓｔｓｃｒｉｐｔ－３Ｄ是对Ｐｏｓｔｓｃｒｉｐｔ的三维扩充，本文结合Ｐｏｓｔｓｃｒｉｐｔ－３Ｄ观察流水线的实现技术进行详细讨论。 相似文献
8.
工控组态软件FIX和PC机数据采集卡的接口程序开发 总被引：2，自引：0，他引：2
本文探讨了了控组态软件ＦＩＸ与ＰＣ机数据采集卡的接口程序开发方法,作者利用ＦＩＸ提供的ＥＤＡ（Ｅａｓｙ Ｄａｔａｂａｓｅ Ａｃｃｅｓｓ）瑕Ｗｉｎｄｏｗｓ下的ＤＬＬ（Ｄｙｎａｍｉｃ Ｌｉｎｋ Ｌｉｄｒａｒｙ）成功地实现了一个实验系统的数据采集与控制。 相似文献
9.
ＲｅｓｅａｒｃｈｏｎＥｎｔｅｒｐｒｉｓｅＰａｒｔＦａｍｉｌｙＭａｎａｇｅｍｅｎｔＡｒｃｈｉｔｅｃｔｕｒｅｉｎＰＤＭＳｙｓｔｅｍＴｉａｎＬｉｎｇ，ＴｏｎｇＢｉｎｇｓｈｕ，ＭｅｎｇＸｉａｎｇｓｈｅｎｇＤｅｐａｒｔｍｅｎｔｏｆｐｒｅｃｉｓｉｏｎＩｎｓｔｒｕ... 相似文献
10.
朗飞 《CAD/CAM与制造业信息化》1999,(12)
国ＭＤＩ（Ｍｅｃｈａｎｉｃａｌ Ｄｙｎａｍｉｃｓ Ｉｎｃ）公司于近日在京发布了ＡＤＡＭＳ１０．０（ＡｕｔｏｍａｒｉｃＤｙｎａｍｉｃ Ａｎａｌｙｓｉｓ ｏｆ ＭｅｃｈａｎｉｃａｌＳｙｓｔｅｍ））版本。ＭＤＩ公司同时发布了三个新模块,即Ｅｎｇｉｎｅ（发动机系统设计软件包）、Ｈｙｄｒａｕｌｉｃ（液压系统设计软件包）、ＰｏｓｔＰｅｏｅｓｓｏｒ（数据后处理模块）。ＭＤＩ公司开发的ＡＤＡＭＳ是世界上最权威的机械系统动力学分析软件,全球市场占有率超过７０％。它可以自动生成包括机－电－液一体化的复杂机械系统的多… 相似文献
11.
《计算机辅助绘图.设计与制造(英文版)》1997,(1)
ＩＮＳＴＲＵＣＴＩＯＮＳＴＯＡＵＴＨＯＲＳＳｕｂｍｉｓｓｉｏｎｏｆＭａｎｕｓｃｒｉｐｔｓＭａｕｎｓｃｒｉｐｔｓｓｈｏｕｌｄｂｅｔｙｐｅｄｉｎＥｎｇｌｉｓｈａｎｄｓｕｂｍｉｔｅｄｉｎｔｒｉｐｌｉｃａｔｅｔｏＣＡＤＤＭＥｄｉｔｏｒｉａｌＤｅｐａｒｔｍｅｎ... 相似文献
12.
１ＩｎｔｒｏｄｕｃｔｉｏｎＴｈｅｔｈｅｏｒｙｏｆｇｅｏｍｅｔｒｉｃｃｏｎｔｉｎｕｉｔｙａｎｄｉｔｓａｐｐｌｉｃａｔｉｏｎｓｈａｖｅａｔｒａｃｔｅｄｃｏｎｓｉｄｅｒａｂｌｅａｔｅｎｔｉｏｎｉｎｔｈｅｃｉｒｃｌｅｓｏｆＣＡＤ／ＣＡＧＤ［１，２，３，９，１... 相似文献
13.
Ｏｐｔｒｏｎｉｃｓ公司采用Ｈａｒｌｅｑｕｉｎ随机加网技术Ｏｐｔｒｏｎｉｃｓ公司首次在ＤｅｓｋＳｅｔｔｅｒ３０００和ＤｅｓｋＳｅｔｔｅｒＥｘｐｒｅｓｓ采用了新的随机加网技术－ＨａｒｌｅｑｕｉｎＤｉｓｐｅｒｅｄＳｃｒｅｅｎｉｎｇ（ＨＤＳ）。这两台图文输出... 相似文献
14.
在分析Ｎｏｔｅｓ文档数据库和关键数据库各自特点的基础上,阐述了Ｎｏｔｅｓ访问关系数据库的必要性。给出了多种Ｎｏｔｅｓ访问ＲＤＢＭＳ的主要技术,重点介绍了如何通过ＬｏｔｕｓＳｃｒｉｐｔＤａｔａＯｂｊｅｃｔ访问ＲＤＢＭＳ,以一个Ａｃｃｅｓｓ数据库为例,实现了ｏｔｅｓ对它的查询,写入,修改。 相似文献
15.
利用DCS顺序控制功能实现压缩机的联锁保护 总被引：1，自引：0，他引：1
利用ＤＣＳ顺序控制功能实现压缩机的联锁保护张洪垠ＵｓｅＦｕｎｃｔｉｏｎｏｆＤＣＳＳｅｑｕｅｎｃｅＣｏｎｔｒｏｌｃｏＲｅａｌｉｚｅｔｈｅＩｎｔｅｒＬｏｃｋｉｎｇＰｒｏｔｅｃｔｉｏｎｉｎｔｈｅＣｏｍｐｒｅｓｓｏｒ￥ＺｈａｎｇＨｏｎｇｙｉｎ１引言沧州化肥厂... 相似文献
16.
《计算机辅助绘图.设计与制造(英文版)》1996,(2)
ＩＮＳＴＲＵＣＴＩＯＮＳＴＯＡＵＴＨＯＲＳ￥ＳｕｂｍｉｓｓｉｏｎｏｆＭａｎｕｓｃｒｉｐｔｓＭａｎｕｓｃｒｉｐｔｓｓｈｏｕｌｄｂｅｔｙｐｅｄｉｎＥｎｇｌｉｓｈａｎｄｓｕｂｍｉｔｔｅｄｉｎｔｒｉｐｌｉｃａｔｅｔｏＣＡＤＤＭＥｄｉｔｏｒｉａｌＤｅｐａｒｔｍ... 相似文献
17.
18.
ＤｉｒｅｃｔＸ是微软公司为了提高在Ｗｉｎｄｏｗｓ下的游戏性能而专门开发的一套ＡＰＩｓ,共包括六大部分：①ＤｉｒｅｃｔＤｒａｗ直接写屏;②ＤｉｒｅｃｔＰｌａｙ透明的网络通信;③ＤｉｒｅｃｔＳｏｕｎｄ透明的声音驱动;④Ｄｉｒｅｃｔ３Ｄ透明的硬件３Ｄ加速;... 相似文献
19.
《计算机辅助绘图.设计与制造(英文版)》1997,(2)
ＩＮＳＴＲＵＣＴＩＯＮＳＴＯＡＵＴＨＯＲＳＳｕｂｍｉｓｉｏｎｏｆＭａｎｕｓｃｒｉｐｔｓＭａｎｕｓｃｒｉｐｔｓｓｈｏｕｌｄｂｅｔｙｐｅｄｉｎＥｎｇｌｉｓｈａｎｄｓｕｂｍｉｔｅｄｉｎｔｒｉｐｌｉｃａｔｅｔｏＣＡＤＤＭＥｄｉｔｏｒｉａｌＤｅｐａｒｔｍｅｎｔ... 相似文献