[其它] Leed credit summary

说明： Leed credit summary LEED 认证概要
<tracy_feisi> 上传 | 大小：25kb

[其它] 雷达数据处理及应用（何友主编）

说明： 关于雷达数据处理很好的入门资料，关于雷达数据处理很好的入门资料，关于雷达数据处理很好的入门资料
<huyongln> 上传 | 大小：6mb

[其它] 经纬度与坐标转换软件

说明： 经纬度与坐标转换软件，可以实现坐标和经纬度的来回转换 很方便
<xuejelly> 上传 | 大小：8kb

[其它] 寻星精灵v0.15b.zip

说明： 寻星精灵v0.15b.zip，用于卫星搜索，卫星锅安装
<dy159818> 上传 | 大小：1mb

[其它] 基于不完全Kripke结构三值逻辑的模型检验

说明： 摘要模型检验技术是形式化验证中比较成熟的技术, 但随着设计系统规模的增加, 状态爆炸已成为其发展的一个 主要问题。 为解决此问题, 本文提出对系统进行抽象, 建立不完全的状态模型, 在此状态模型上来验证表示其属性的 逻辑公式 。 这样一个逻辑公式的真值除了真、 假外, 还出现了第三种情况3 未知, 即在这个状态模型下无法确定其真 值, 需要更多的状态信息才能确定 。本文还讨论了二值逻辑的模型检验技术, 在此基础上给出了基于不完全状态空间 的三值逻辑的模型检验算法, 此算法与二值逻辑模型检验算法
<flyac> 上传 | 大小：509kb

[其它] 基于CTL和Petri网的约束一致性验证方法研究

说明： 论文摘要通过分支时序逻辑(CTL) 公式表示系统约束, 利用Petri 网的可达性分析技术来验证约束一致性是一种重要的、 切实可行的约束一致性验证方法。文章描述了一种由CTL 公式向Petri 网映射的算法, 将表示系统约束和组件约束的 CTL 公式分别映射为Petir 网, 然后利用Petri 网的组合、可达性分析等技术从语义上来验证系统约束与组件约束的一致 性。最后, 通过对算法的实现开发了一个工具包, 并通过一个实例验证了算法正确性和约束一致性验证方法的可行性。
<flyac> 上传 | 大小：436kb

[其它] 教师小助手之扫描图文瘦身专家1.0

说明： 《教师小助手之扫描图文瘦身专家》是帮助教师处理扫描图文资料和数码照片的小软件。该软件非常实用，老师在制作教学课件时常会将一些扫描的图文资料插入到其中，大家都知道扫描生成的图片一般都很大，直接加入会在使用时占用大量的系统资源，严重影响到课件的运行。如果采用图像处理软件单一的进行尺寸调整，往往影响图像质量。本软件针对这些问题采取了根据扫描图文的内容来分别处理的方法，有效的解决了问题。
<hhpwork> 上传 | 大小：371kb

[其它] MP3音频编解码运算中IMDCT算法研究及其FPGA实现

说明： MP3音频编解码运算中IMDCT算法研究及其FPGA实现MP3音频编解码运算中IMDCT算法研究及其FPGA实现
<mujiang770419151> 上传 | 大小：1mb

[其它] 一个好用的lisp程序

说明： 一个好用的lisp程序 集中修剪.lsp 一个好用的lisp程序 集中修剪.lsp
<shuainan2006> 上传 | 大小：711byte

[其它] 中化企业云计算案例介绍

说明： IBM云计算解决方案成功案例之中化企业云解决方案介绍
<chengxianle> 上传 | 大小：853kb

[其它] showtx.rar

说明： 一个查看各类文档的绿色浏览器，应用于各种后缀文档。
<wwl19860213> 上传 | 大小：35kb

[其它] 谁说大象不会跳舞--郭士纳

说明： IBM总裁郭士纳先生撰写的《谁说大象不会跳舞》，读后让你更了解IBM。
<icexuan007> 上传 | 大小：626kb