缺省逻辑的累积性变种的扩张特征

Ｇｉｏｒｄａｎｏ提出了Ｒｅｉｔｅｒ的缺省逻辑（ＤＬ）的两个新变种：ＣＡＤＬ（ＣｏｍｍｉｔｍｅｎｔｔｏＡｓｓｕｐｔｉｏｎｓＤｅｆａｕｌｔＬｏｇｉｃ）ＱＤＬ（Ｑｕｓａｓｉ－ＤｅｆａｕｌｔＬｏｇｉｃ）它们都具有累积性，但不再具半单调性，ＱＤＬ甚于不再承诺预设（Ｃｏｍｍｉｔｔｏａｓｓｕｍｐｔｉｏｎｓ）本文基于我们已经导出的ＣＤＬ（ＣｕｍｍｕｌａｔｉｖｅＤｅｆａｕｌｔＬｏｇｉｃ）与ＤＬ扩张的特征，通过建立Ｃ     

Windows95和NT下的网络游戏开发(下)

其中所有的参数都取自ＥｎｕｍＳｅｓ－ｓｉｏｎｓ,系统每收到一个回复的消息便调用一次ＥｎｕｍＳｅｓｓｉｏｎ,并在结构ＬＰＤＰＳＥ－ＳＳＩＯＮＤＥＳＣ中添入适当的值。以下是ＥｎｕｍＳｅｓｓｉｏｎｓＣａｌｌｂａｃｋ的程序实例。ＢＯＯＬＦＡＲＰＡＳＣＡＬＥｎｕｍｓｅｓｓｉｏｎ（ＬＰＤＰＳＥＳＳＩＯＮＤＥＳＣｌｐＤＰＧａｍｅＤｅｓｃ,ＬＰＶＯＩＤｌｐＣｏｎｔｅｘｔ,ＬＰＤＷＯＲＤｌｐｄｗＴｉｍｅｏｕｔ,ＤＷＯＲＤｄｗＦｌａｇｓ）｛ＬＯＮＧｉｌｎｄｅｘ：ＨＷＮＤｈｗｎｄ＝（ＨＷＮＤ）ｌｐＣｏｎ－ｔｅｘｔ;／…     

分布式控制系统的现状及趋势

分布式控制系统的现状及趋势俞文光ＴｈｅＣｏｎｄｉｔｉｏｎａｎｄＤｅｖｅｌｏｐｍｅｎｔｏｆＤｉｓｔｒｉｂｕｔｅｄＣｏｎｔｒｏｌＳｙｓｔｅｍ￥ＹｕＷｅｎｇｕａｎｇ在７０年代中期推出的分布式控制系统ＤＤＳ（ＤｉｓｔｒｉｂｕｔｅｄＣｏｎｔｒｏｌＳｙｓｔｅｍ）...     

软硬天师

问：当我用Ａｄａｐｔｅｃ　Ｅａｓｙ　ＣＤ　Ｃｒｅａｔｒｏ刻录ＣＤＲ／ＣＤＲＷ时Ａｄａｐｔｅｅ　Ｅａｓｙ　ＣＤ　Ｃｒｅａｔｒｏ　４却提示当前刻录机正被 Ａｄａｐｔｅｃ　Ｅａｓｙ　ＣＤ所使用，另外ＣＤＨ是不是不能格式化的？因为我已有好几张的ＣＤＲ被刻坏了。但我每次放新的ＣＤＲ进ＣＤＲＷ时，Ａｄａｐｔｅｃ　Ｅａｓｙ　ＣＤ　Ｃｒｅａｔｒｏ　４都提示我要格式化。答：Ａｄａｐｔｅｃ Ｅａｓｙ ＣＤ Ｃｒｅａｔｒｏ　４运行后是一个长驻后台的 程序，将有限取得对刻录机的控制权。因此就会出现 你遇到的情况。由于安装完Ｄ…     

补丁铺子

补丁下载 ＫＯＤＡＫ柯达数码相机 ＰＲＯＦＥＳＳＩＯＮＡＬ ＤＣＳ Ｈｏｓｔ软件最新版 支持以下数码相机：ＤＣＳ ６６０、ＤＣＳ ６２０、ＤＣＳ ５６０．ＥＯＳ－Ｄ６０００、ＤＣＳ ５２０、ＥＯＳ－Ｄ２０００、ＤＣＳ ４６５、ＤＣＳ ４６０、ＤＣＳ ４２０。ＤＣＳ ４１０、 ＤＣＳ ３３０、 ＤＣＳ ３１５、 ＥＯＳ－ＤＣＳ ５、 ＥＯＳ－ＤＣＳ ３、ＥＯＳ－ ＤＣＳ１、ＮＣ２０００ｅ。下载网址：ｈｔｔｐ：／／ｆｉｌｅ：２．ｍｙｄｒｉｖｅｒｓ　ｃｏｍ／ｏｔｈｅｒｓ／ｋｏｄａｋｄｅｓ．ｚｉｐ Ｓｔａｒｔ实达 Ｍｏｄｅｍ …     

BCAD－Win Windows版通用CAD系统

ＢＣＡＤ－ＷｉｎＷｉｎｄｏｗｓ版通用ＣＡＤ系统韩凯ＢＣＡＤ系列产品ＢＣＡＤＷｉｎＹ９８００元Ｗｉｎｄｏｗｓ版通用设计ＣＡＤ系统ＢＣＡＤ一机械设计基于ＢＣＡＤ－Ｗｉｎ４台的机械设计专用ＣＡＤ系统集成参数化设计，配备国标库。典型零件库ＢＣＡＤ一内燃机设计...     

CD WinBench99 CDROM测试专家

ＣＤ ＷｉｎＢｅｎｃｈ ９９是ＺＤ ＢｅｎｃｈＭａｒｋ ９９中一个新增的测试工具软件,可以提供ＰＣ系统中ＣＤＲＯＭ子系统的详细信息。众所周知,ＣＤＲＯＭ现已成为ＰＣ系统的一个标准配置部件,在日常应用中起着无法替代的作用。所谓ＣＤＲＯＭ子系统包括ＣＤＲＯＭ驱动器、ＣＤＲＯＭ接口、驱动程序、软件Ｃａｃｈｅ、数据传输总线和系统处理器等相关部分。 ＣＤ ＷｉｎＢｅｎｃｈ ９９是一个３２ｂｉｔ的测试工具,可以在Ｗｉｎｄｏｗｓ ９ｘ和Ｗｉｎｄｏｗｓ ＮＴ平台上运行。它包括ＣＤＩｎ－ｓｐｅｔｉｏｎ Ｔｅｓｔｓ和ＣＤＲＯ…     

一个高质量汉字笔划字形到轮廓字形的转换系统

本文介绍一个基于三阶Ｂｅｚｉｅｒ曲线的字形转换系统ＳＯＣＳ（ｓｔｒｏｋｅｔｏｏｕｔｌｉｎｅｃｏｎｖｅｒｔｉｏｎｓｙｓｔｅｍ）．该系统作为汉字字形设计系统ＣＣＤＳ（Ｃｈｉｎｅｓｅｃｈａｒａｃｔｅｒｄｅｓｉｇｎｓｙｓｔｅｍ）的后端，把ＣＣＤＳ产生的多笔划曲线轮廓字形数据加工成整字曲线轮廓字形数据．其结果适于多种高精度输出，如Ｐｏｓｔｓｃｒｉｐｔ印字机．ＳＯＣＳ系统具有一定的通用性，它不只限于接受ＣＣＤＳ的加工结果，还可以作为独立的系统使用．     

Windows95和UCDOS及CCED之间的快速转换

在硬盘上安装了Ｗｉｎｄｏｗｓ９５以后，那些习惯于使用ＵＣＤＯＳ及编辑软件ＣＣＥＤ的用户，对于Ｗｉｎｄｏｗｓ９５和两者之间的转换感到非常不便。有的是在Ｗｉｎｄｏｗｓ９５ＭＳ－ＤＯＳ方式下启动ＵＣＤＯＳ，然后运行ＣＣＥＤ；有的是通过改变系统的配置文件在启...     

TDC3000集散控制系统的配置与应用

ＴＤＣ３０００集散控制系统的配置与应用王锦标ＴｈｅＤｉｓｐｏｓｉｔｉｏｎａｎｄＡｐｐｌｉｃａｔｉｏｎｏｆＴＤＣ３０００ＤｉｓｔｒｉｂｕｔｅｄＣｏｎｔｒｏｌＳｙｓｔｅｍ￥ＷａｎｇＪｉｎｂｉａｏｌ引言近两年来，我们承接了某石油化工公司ＤＭＴ装置和ＣＰ装置...     

与设备无关的CAD／CAM软件生成环境

程序分级交互绘图系统ＰＨＩＧＳ（Ｐｒｏｇｒａｍｍｅｒ′ｓＨｉｅａｒｃｈｉｃａｌＩｎｔｅｒａｃｔｉｖｅＧｒａｐｈｉｃＳｙｓｔｅｍ）是一种有用的ＣＡＤ／ＣＡＭ软件生成工具。本文叙述一个应用程序设计环境，ＣＡＤＭＡＤＥ（ＣｏｍｐｕｔｅｒＡｉｄｅｄＤｅｓｉｇｎａｎｄＭａｎｕｆａｃｔｕｒｉｎｇＡｐｐｌｉｃａｔｉｏｎｓＤｅｖｅｌｏｐｍｅｎｔＥｎｖｉｒｏｍｍｅｎｔ）它被设计成为一个标准支持软件的框架，帮助ＣＡＤ／ＣＡＭ程序员去产生一个新的用户ＣＡＤ／ＣＡＭ应用软件。ＣＡＤＭＡＤＥ不是对软件的一种描述，而是提出一套生成应用程序设计环境所必需的规则和风格。     

钻压遥测系统设计

钻压遥测系统设计程汉湘，李传肖，周勇ＴｈｅＤｅｓｉｇｎｏｆＲｅｍｏｔｅＭｅｓｓｕｒｅｍｅｎｔＳｙｓｔｅｍｆｏｒＤｒｉｌｌｉｎｇＰｒｅｓｓｕｒｅｉｎＯｉｌＥｘｐｌｏｉｔａｔｉｏｎ￥ＣｈｅｎｇＨａｎｘｉａｎｇ；ＬｉＣｕａｎｘｉａｏ；ＺｈｏｕＹｏｕｎｇ１引...     

一种新颖的BCD码转换程序的设计方法

一种新颖的ＢＣＤ码转换程序的设计方法高怀钢ＡＮｅｗＤｅｓｉｇｎＭｅｔｈｏｄｏｆＨＥＸＣｏｄｅｔｏＢＣＤＣｏｄｅＣｏｎｖｅｒｓｉｏｎＰｒｏｇｒａｍ￥ＧａｏＨｕａｉｇａｎｇ１引言在单片机应用中，经常使用ＢＣＤ码转换程序。实现这种转换的常规方法是采用循环减...     

Feature-based Integrated CAD/CAPP/CAM System For Concurrent Engineering

Ｆｅａｔｕｒｅ＿ｂａｓｅｄＩｎｔｅｇｒａｔｅｄＣＡＤ／ＣＡＰＰ／ＣＡＭＳｙｓｔｅｍＦｏｒＣｏｎｃｕｒｅｎｔＥｎｇｉｎｅｒｉｎｇＷａｎｇＨｕｉｃｈｅｎｇＺｈａｎｇＸｉｎｆａｎｇＺｈｏｕＪｉ（ＣＡＤＣｅｎｔｅｒｏｆＨ．Ｕ．Ｓ．Ｔ）ＡｂｓｔｒａｃｔＴｈｉｓ...     

关于传递闭包和函数依赖完备公理系统存在问题研究

数据依赖在数据库设计中起着十分重要的作用．自Ｃｏｄｄ提出函数依赖（ＦＤｓ）、Ｆａｇｉｎ引入多值依赖（ＭＶＤｓ）后，近几年来人们又根据设计中的需要引入多种新的依赖，如在工程数据库设计中所引进的传递闭包依赖（ＣＤｓ）等．对这些依赖一般是按其是否具有完备的公理系统而划分为两大类，因为完备性公理系统往往具有有效的判定算法为先决条件．本文对ＣＤｓ和ＦＤｓ的ｋ元完备公理系统存在问题进行了研究，证明了ＣＤｓ和ＦＤｓ不具有共同的ｋ元完备公理系统这一结论．     

ODBC在数据库集中的应用研究

描述了ＯＤＢＣ技术以及如何使用ＶＣ＋＋的Ａｐｐｗｉｚａｒｄ和Ｃｌａｓｓｗｉｚａｒｄ工具编写ＯＤＢＣ应用程序。     

市场直通车

惠普进军 ＤＣＣ 日前,惠普展示了其为ＤＣＣ开发的新产品,其中包括 ＨＰ Ｖｉｓｕａｌｉｚｅ Ｐ、 ＨＰ Ｖｉｓｕａｌｉｚｅ Ｘ系列个人工作站和 ＨＰ Ｖｉｓｕａｌｉｚｅ ｆｘ５／ｆｘ１０ Ｗｉｎｄｏｗｓ图形加速器。 ＤＣＣ（ｄｉｇｉｔａｌ ｃｏｎｔｅｎｔ ｃｒｅａｔｉｏｎ）是数字媒体制作的代名词。ＤＣＣ市场主要专注于三维动画制作、视频编辑和电影、电视的后期制作和播放。ＤＣＣ在中国起步较晚,但此次发布会,象征着惠普终于叩响了ＤＣＣ通向中国市场的大门。 目前,该工作站的销售工作由华普信息技术有限公司代理。 全新 Ｈ…     

CAD技术的变革与EDS／Unigraphics的发展战略

ＣＡＤ技术的变革与ＥＤＳ／Ｕｎｉｇｒａｐｈｉｃｓ的发展战略ＥＤＳ／Ｕｎｉｇｒａｐｈｉｃｓ北京办事处沈承璐中国的ＣＡＤ市场象一面镜子，反映着世界ＣＡＤ技术的变革和ＣＡＤ软件公司的兴衰。８０年代，随着中国市场向外敞开大门，国外流行的ＣＡＤ软件开始进入中国...     

主从分布式多机系统中智能通道机的研制

主从分布式多机系统中智能通道机的研制ＤｅｖｅｌｏｐｍｅｎｔｏｆＩｎｔｅｌｉｇｅｎｔＣｈａｎｎｅｌＣｏｎｔｒｏｌｅｒｉｎｔｈｅＭａｓｔｅｒ－ＳｌａｖｅＤｉｓｔｒｉｂｕｔｅｄＭｕｌｔｉｃｏｍｐｕｔｅｒＳｙｓｔｅｍ●赵纯青刘红义姚燕南ＺｈａｏＣｈｕｎｑｉｎ...     

AutoCAD R13c4鼎力支持Windows 95

ＡｕｔｏＣＡＤＲ１３ｃ４鼎力支持Ｗｉｎｄｏｗｓ９５１９９６年１月２２日，世界第四大ＰＣ软件公司Ａｕｔｏｄｅｓｋ，宣布即日起正式发行ＡｕｔｏＣＡＤＲ１３ｆｏｒＷｉｎｄｏｗｓ９５，即ＡｕｔｏＣＡＤＲ１３ｃ４，该版本使世界领先的设计软件ＡｕｔｏＣＡＤ成为３...