搜索资源列表
sat
- FDM卫星通信仿真程序及一些辅助函数，共有六条上行链路-FDM satellite communication simulation program and some auxiliary functions, a total of six uplink
gb9113_14_a
- 机械产品的底座三维模型 sat格式 3D model bracket sat-3D model bracket sat
Worldsat
- world sat ultimate bin ab sat decrypter for stm 5000 ng 9-world sat ultimate bin ab sat decrypter for stm 5000 ng 9000
source_carte_sat
- source api for carte sat in c plus-source api for carte sat in c plus
twin_protocol
- twinprotocol sat sc used for satellite comunication kesy
walksat-dist
- 解决SAT问题的经典WalkSat算法，基于linux平台开发。-Typical WalkSat algorithm designed for solving SAT problem, developed based on Linux platform.
untitled3_784
- sat finder shematique to get signal dish
loader-2.6.16-sat-sd.tar
- 缥缈九哥开发的AT91RM9200中带SDRAM测试的LOADER-AT91RM9200 ethereal Jiu Ge in the development of test LOADER with SDRAM
TS_ANALYSE_1.2
- ts流 pat、pmt、sat、bat 解析-pat, pmt, sat, bat Analysis
sat
- 对于给定的带权 3-CNF，设计一个蒙特卡罗算法，使其权值之和尽可能大。此程序可以解决这个问题-For a given weighted 3-CNF, a Monte Carlo algorithm designed to make the right value, and as large as possible. This program can solve this problem
practical_design_verification
- Improve design efficiency and reduce costs with this practical guide to formal and simulation-based functional verification. Giving you a theoretical and practical understanding of the key issues involved, expert authors explain both formal tec
yuesefu
- 编号从一到N坐成一圈报数，报到M的人出局，下一个从1开始，如此循环。-Numbered from one to N sat in a circle reported the number of people who report M out, the next starting at 1, and so on.
sim52xx_sat_application_note_v1.00
- SAT Application Note
RS_Agarwal_Aptitude_books-Prawinr
- this a Quantitative Aptitude book for the competitive exams as well as the exams like the GRE, GATE, CAT, SAT,GMAT and all other exams and also for the aptitude round of any JOB INTERVIEW. it covers from the basics to the complicated Aptitude questio
bessel
- Code to create bessel function in 2D. Arguments are: rad - radius amp - amplitude sat - saturation level (0 to 1) x, y - image dimensions
minisat2-070721
- 最新SAT 可满足性问题的求解的C源码，在最近的几次国际比赛中都取得了很好的结果-Compact design SAT solver for conjuctive normal form structure SAT problem. very efficient
faustokeys
- Disclaimer: All keys contained within are in the main obtained by Sat-Universe Team, (except Fausto exclusive Canal Digitaal Netherlands keys for Fausto, exclusive to JKF) at Sat-Universe Forum Sat Universe Team Members are available the Sat-Univ
Anexo-20-de-la-Resolucion-Miscelanea-Fiscal-del-2
- Anexo 20 del SAT del 23 de Septiembre, vigente para el 2011 CFDI y C-Anexo 20 del SAT del 23 de Septiembre, vigente para el 2011 CFDI y CBB
examplesACIS7.0
- ACIS的3D造型相关源码 主要包括《基于ACIS的几何造型技术与系统开发》一书中所有例子的源码，以及一些之中所需要到的工程及SAT文件等。适合acis初学者配合书籍进行学习。-3D Modeling with ACIS > > ACIS Version 7.0 > > > The archive contains : > 1) Example program presented, or menti
2-SAT
- 本文详细介绍了2-STAR算法，此算法在图论里面具有较高的地位，本文详细推到了染色算法的时间复杂度O(e).具有较高的学术价值。-This paper describes a 2-STAR algorithm, the algorithm in graph theory, which has a higher status, the paper pushed to the coloring algorithm of time complexity O (e). Has high academic