搜索资源列表
Goedel
- Goedel语言是一种说明性逻辑程序设计语言。该语言基于一阶逻辑，引入了一个多态多类的类型系统和多种新的语言成分，支持抽象数据类型和模块化程序设计等技术，语言本身也具有很强的说明性语义。详细介绍了Goedel语言的类型系统及其构造，对在逻辑程序设计语言中引入类型系统的作用进行了一些深入的分析和讨论。[-Goedel descr iptive language is a logic programming language. Based on the language of the first o
xiaocun
- 该论文可作为毕业设计参考论文或是课程设计参考论文 其摘要如下： 本论文的主要内容是如何设计一个企业进销存管理系统。进销存管理是商品流通领域一个重要的基础性工作。在管理中引入计算机和进销存管理信息系统已经得到各商业企业业主的认识，并将逐渐成为一种管理手段。改善管理手段，提高管理效率，是提高企业效率的主要任务。它使各级管理人员在面对日益繁多、日益复杂的问题和业务时，能够充分认识问题，及时准确地把握、分析问题，进行有效地组织和管理，以达到最高的经济效益。 进销存管理系统是企业生产、管理的关键。
基于IP网络的QoS路由算法研究
- 太原理工大学硕 士 学 位 论 文 摘 要 随着网络和多媒体技术的不断发展，当前可以提供实时数 据特别是多媒体数据传输服务的分布式多媒体网络已经成为网 络发展的一个重要方向。为了实现这一目标，如何在现有的 Internet 中引入服务质量（QoS）就成为网络服务中的一个重要 课题。-Taiyuan University of Technology with a master's degree thesis Abstract network and multimedia technolog
200626101512
- 本文力图把当前软件开发技术和Java技术领域中逐渐成熟的设计模式和方法，引入到WebGIS基础开发框架的设计中，以提高框架的可设计性和简化应用开发；表现层中引入MVC模式，数据访问层使用对象－关系映射技术,逻辑层提供有关空间操作的Java APIs（Java Application Programming Interface）.以此作为框架的基本组成单元.基于Java平台对这个框架的原型进行了实现。以期能为WebGIS框架设计提供一个有意义的参考实现。-err
ASP.NET2.0clientcallback
- 开发人员使用Javascr ipt的一个主要原因就是可以避免回发过程中带来的页面刷新。例如我们可以根据用户的需要使用Treeview控件来展开和折叠相应的数据节点。当你展开一个节点时，该Treeview控件将会利用Javascr ipt读取服务器上的子节点信息，然后平滑无刷新地插入这些新节点。如果没有使用Javascr ipt的话，Treeview控件将会因为页面的回发而重新构建。不但用户会发现因页面刷新而带来的延迟，而且页面极有可能回复到原来的状态，即丢失前面所展开的那些子节点信息。对于服务器
RLSchaoshengbo
- 针对超声换能器的传输特性随着温度和压力发生变化这一普遍存在的问题, 利用自适 应滤波技术对超声换能器的传输特性进行校正, 以减小温度和压力的变化对检测信号的影响。实测数据的处理结果表明: 基于RL S 算法的自适应滤波技术能准确地求出在不同温度压力条件下换能器传输特性变化的逆函数, 从而能很好地校正由于超声换能器传输特性随温度压力变化所引入的信号误差。-Ultrasonic transducer for the transmission properties change with tem
Data-Collecting-and-Transmittin
- 首先，论文在分析了电缆故障种类及原因的基础上论证了研究电缆故障监测数据采 集与传输系统的必要性。紧接着又详细的阐述了虚拟检测技术的发展，更进一步证明了 基于 Lab VIEW 的电缆故障监测数据采集与传输系统设计的可行性，并且研究了故障信 息的小波分析及其在虚拟仪器中的实现，将小波变换引入到数据分析中，为更好的识别 故障信号提供了理论支持，并通过仿真验证了理论的可行性。 -First, the paper analyzed the types and causes of ca
doc001
- HotelBE接口是中国航信TRAVELHUB酒店分销平台的下游接口，分销商可以通过此接口进行二次开发，将travelHUB平台上不同供应商的酒店引入到分销商呼叫中心系统、直客网站、差旅管理系统、后台管理系统当中，为分销商提供数据下载及同步、酒店查询、预定等功能，是可以为分销商提供无缝数据支持的先进技术接口。-HotelBE interface is the TravelSky TRAVELHUB hotel distribution platform downstream interface,
time-remote
- 为抵消网络可变时延对遥操作系统的影响,基于一种新的改进型Smith预估器, 构建了预估控制下的网络实时遥操作移动机器人系统. 该系统根据主、从端传感器交换的 信息,通过动态模型管理器及其算法,保证了主、从端模型的一致性. 文中根据端到端数据 包多个到达的特性,提出了新的时延缓冲器管理算法,从而更好地将可变时延转化为常时 延. 为了增强系统控制的实时性,系统中还引入了模型的虚拟显示. 长距离的网络遥操作 实验验证了文中系统和控制策略的实用性及有效性.-Estimated und
android
- Android 4.0引入了一项很重要的技术就是 WiFiDirect (WiFi直连) ，它可以让WiFi设备无需热点即可实现两个WiFi设备的P2P数据交换。-Android 4.0 introduces a very important technology is WiFiDirect (WiFi Direct Connect), which allows WiFi devices without WiFi hotspots can be achieved two devices P2P
dace
- 克里金插值法引入了统计理论，其结果是一个最优无偏估计量，所以相比于其它方法，克里金插值能更好的反映数据点的整体趋势，这一特点非常适合于描述地形的变化，所以也主要应用在地学中-The Kriging interpolation method
Tomasulo
- 在动态调度中，记分牌算法只能检测竞争，但是不能消除竞争，所以需要引入Tomasulo 算法。Tomasulo基本思想是Tomasulo方法所采用的寄存器重命名的实现方法，是把记分牌中的寄存器名用一大组虚拟寄存器的名来代替，即用虚拟寄存器集来代替真实的FP寄存器组虚拟寄存器集所含虚拟寄存器数目远大于真实的寄存器组。因此用它来完成寄存器改名就很容易了。但是，为了完成这些复杂的操作，算法的实现复杂大大的提高，并受到了数据总线的限制，本文将提出总线缓存概念，用以解决由于总线一起的冲突。-Scoreboa
123456
- 采用Phone光照模型并通过引入外部光源来凸显生成图像的真实感，给出了一种预先为体数据场计算法线并编码，根据编码后的法线和Phone光照模型生成三类明暗光照表的加速算法，-Phone illumination model adopted by the introduction of an external light source to highlight generate realistic images, gives a pre-calculated data field normal to
Intelligent-Vehicular-Visual-
- 基于特征的视觉里程计系统主要由特征检测与跟踪模块以及位姿计算模块两部分组成.为分析车载视觉里程计系统中引入车辆运动学约束的位姿计算算法性能,根据摄像机成像及视觉几何学原理,采用Matlab结合车辆动力学仿真软件CarSim建立车载视觉里程计仿真平台.该仿真平台由车辆运动仿真模块、成像仿真模块、数据显示与分析模块组成,仿真平台的测试对象为视觉里程计的位姿估计算法模块.该仿真平台充分考虑车载视觉定位系统的运动特性,为研究车辆运动学约束在视觉里程计系统中的应用提供新的思路和工具.对提出的一种全新的基于
yuruiguling
- 炒股类资金分析软件 Ver1.2版 2015-08-10 1、优化了自动更新代码，实现自动检测和提醒 2、添加了 查看增持、查看减持排序功能 3、添加了 个股资金汇总及数据分析 使你可以清楚地了解近2周内，哪些股票增持最多，哪些股票减持最多。 4、修改了股票小行情图为 搜狐股票 数据 5、添加了实时解盘功能，帮助你一起决策（免费） Ver1.1版 2015-08-03 1、对部分代码进行了优化，引入线程操作 2、增加了新版本自动检测，提
Robust_Face_Landmark
- 在现实世界条件下获取人脸存在较大的变化在形状和遮挡由于不同在姿态、表情、附属品的使用，例如，太阳镜和帽子以及与目标体（e.g. 食物）的交。当前的人脸界标估计方法在这种条件下努力但由于缺乏一种有效的理论方法用于处理局外点。我们提供了一个新奇的方法，称为Robust Cascaded Pose Regression (RCPR)，通过检测显式的遮挡且使用鲁棒的形状索引的特征可以减少exposure对于局外点。我们证明RCPR改进先前的界标估计方法在3个通用的人脸数据集上(LFPW, LFW and