塑料模具估价预算表
这是一个关于注塑模具的估价预算表。里面包括了模架、模仁、油缸等的选择。
这是一家台湾公司的估算表。
学术论文撰写与发表经验谈（PPT）
学术论文撰写与发表经验谈 哈尔滨工业大学的一个讲座PPT。
成功的产品经理-华成培训研发管理系列课程之RDM052
这是一个产品、服务挂帅的年代，产品管理作为一种组织结构，已经广布各行各业。在这样的组织结构中，产品经理形同在组织中经营一家小型虚拟公司，他的职能是跨部门的，甚至是联结企业内外的桥梁。因此产品经理必须具备各种知识和技能，包括营销规划、销售、产品开发、财务、客户关系、时间管理等，只有这样才能在竞争激烈的今天，成功的为产品打造出一片天。
Principles of Protocol Design
《Principles of Protocol Design》(2008)
协议设计原则方面的一本新书。给需要的朋友参考。
以下为电子图书资料发贴选项：
【原书作者】： Robin Sharp
【ISBN 】： 3540775404
【页数 】：402
【开本 】 ：16
【出版社】 ：Springer
【出版日期】：2008-03-01
【文件格式】：PDF
【封面附图】：附件
【摘要或目录】：
1 Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
1.1 What is a Protocol? . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
1.2 Protocols as Processes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
1.3 Techniques for Actual Protocols . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
1.4 Real Protocols . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
1.5 Reader’s Guide . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
2 CSP Descriptions and Proof Rules . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
2.1 Processes and Process Synchronisation . . . . . . . . . . . . . . . . . . . . . . . . 8
2.1.1 Process Expressions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
2.1.2 Process Algebra . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
2.1.3 Process Expressions for Process Networks . . . . . . . . . . . . . . . 20
2.2 Channel History Semantics . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 26
2.2.1 Transitions and Traces . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 26
2.2.2 Inference Rules for Specifications Based on Traces . . . . . . . . 29
2.3 Failure Semantics . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35
3 Protocols and Services . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 45
3.1 Providing a Service . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 48
3.1.1 Proving the Protocol Correct . . . . . . . . . . . . . . . . . . . . . . . . . . . 50
3.1.2 Structuring your Proof . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 54
3.2 Service Features . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 55
3.2.1 Sequence Preservation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 56
3.2.2 Data Unit Synchronisation . . . . . . . . . . . . . . . . . . . . . . . . . . . . 56
3.2.3 Flow Control . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 56
3.2.4 Freedom from Error . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 57
3.2.5 Service Reset . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 58
3.2.6 Connection Establishment and Release . . . . . . . . . . . . . . . . . . 58
3.2.7 Change of Mode . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 60
3.2.8 Information about Peer Change of State . . . . . . . . . . . . . . . . . 62
3.2.9 Expedited Data . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 63
。。。
Design and Validation of Computer Protocols
Design and Validation of Computer Protocols was published by Prentice Hall in November 1990. Among others, it details the design and implementation of the Spin model checking system.
Prentice Hall, 1991, 512 pgs.
ISBN 0-13-539925-4 hardcover (USA)
ISBN 0-13-539834-7 paperback (international edition)
考虑到有的兄弟找不到这本书，再次上传。
Maple使用初步（教程）
这个是MAPLE软件使用的初步教程，对于第一次使用这个人软件的人比较有用。强烈推荐！
Excel 2009：横向照片月历（含农历, 毎月 1 页）
这个是微软公司网站上的2009月历，还不错。可以用于打印出来做台历。
固件标准手册（Firmware Standards Manual）
关于Firmware开发的标准手册。这个网站http://www.state-machine.com/resources/goodies.htm 有介绍
Embedded Systems Dictionary
一个关于嵌入式系统的百科全书。
这个网站介绍的好书！http://www.ganssle.com/book.htm
小分值，只要您下载后评价一下就可以了！
Practical Statecharts in C/C++:Quantum Programming for Embedded Systems
嵌入式系统的微模块化程序设计——实用状态图C/C++实现的英文原版书Practical Statecharts in C/C++:
Quantum Programming for Embedded Systems
Mathcad在永磁同步电机设计中的应用
<br>通过实例介绍了在永磁同步电机设计中使用Mathcad进行各种数值运算、方程求解、图表处理、数据分析及编程设计等.
MathCAD在机械原理设计及优化中的应用
介绍了MATHCAD的特性及其在机械原理设计及优化中可能的应用，并举了一个例子，详细说明了如何用MATHCAD来大大简化对复杂机构的设计及优化。
电力拖动（DOC版）
电力拖动学习的好资料，里面的图画的非常仔细。而且是DOC版本的，非常好，强力推荐。
Digital Signal and Image Processing Using MATLAB
The most important theoretical aspects of image and signal processing (ISP) for both deterministic and random signals are covered in this guide to using MATLAB®. The discussion is also supported by exercises and computer simulations relating to real applications such as speech processing and fetal-heart–rhythm tracking, and more than 200 programs and functions for numerical experiments are provided with commentary.
Design and Implementation. of Real Time Software. for Control of Mechanical Systems
Design and Implementation of Real Time Software for Control of Mechanical Systems
by. DM Auslander.
项目管理知识体系概览(中文)
项目管理知识体系概览(中文)
微软研发致胜策略
作者详细描述了他在美国领导项目的各种实际的策略方法，教您如何开发高质量的软件，<br>而且绝不延误。本书中，作者以直率、真诚的笔调 ，与您畅谈在微软中经历过的种种成<br>功与失败，他将告诉您 ：如何增进团队的工作效率，而且让每个人都乐在其中？为什么<br>您曾想把超级程序员赶走？如何避免落入行政程序的天罗地网？有哪些小小的改变，可<br>以获取极大的效益？不必加班就能如期完成软件的秘诀？如何让所有的工作都价值翻倍？<br>如何让团队保持续的创造力？如何提高程序员的整体技术水平？本书是为每一位从事研发<br>工作的朋友而写，相信您在读过本书之后，一定急于推荐给您的主管、同事和您的朋友。
微软项目求生法则
本书是特为每个关注项目开发成败的人，特别是寻些没有经过正式软件项目管理训练的<br>人而写的一本书。作者利用在研究与工作中获得的经验告 诉您项目开发过程中的规划、<br>设计、管理、质量控制、测试与完工所需的策略与观念，并利用大量技巧建立一套精简<br>可靠的框架来成功地管理项目。不论是新手还是老练的项目管理者教将从中获益匪浅。<br>本书将是每个项目人员案头不可或缺的指导书。<br><br>本书作者曾著有两本颇受好评的微软经典著作，通过他的亲身经历，现身说法，使您获<br>得“原汁原味”的微软经验与法则，助您攀着巨人肩膀步入巨入行列！
RSS订阅
942
