形式化建模验证SMV模型检验器.rar

NURbs曲线绘制，通过MATLAB绘制NUrbs曲线

本系统主要是对在淘宝网、京东网和亚马逊网三大购物网站中的相同产品的信息进行抽取。本系统的重点是实现使用HTML页面爬取功能获取产品数据，对获取到的网页数据进行抽取分析，最后以Web页面形式呈现出来。本系统的难点是使用HTML页面爬取功能获取产品数据，对获取到的网页数据进行抽取分析，结构化抽取的数据和信息。使用到的技术：JSP技术，网络爬虫技术，HTML解析技术Jsoup等。本系统是使用JAVA编写的B/S模式系统，没有用到数据库，开发工具用的是IntelliJ IDEA 13，你也可以使用其它工具（像MyEclipse等），但需要手动将类复制到你创建的项目中。内部包含源码和系统文档。其中代

三自由度机械臂的运动工作空间，可以实现角度与坐标的变换 (2012-01-03, matlab, 10KB, 5次).zip

本人的程序设计通识课期末大作业源代码和说明文档，欢迎大家参考，共同学习python

资源包含H3CMIB，包括交换机、WLAN、路由等MIB。

这份matlab代码是下载后可以直接运行的，包含了仿真数据，GPS与INS组合导航，亲测可用！

STM32F107 +Lwip 实现以太网通讯，有详细的移植注明请多阅读源码

为满足经济发展的需要，根据有关单位的决定修建1座110KV盐北变电所。本工程初步设计内容包含变电所电气设计，新建的盐北变电所从110KV侧东郊变电所受电，其负荷分为35KV和10KV两个电压等级。通过技术和经济比较，现采用下列方案：1. 内设两台三绕组变压器，电压等级为121/37.8/11。2. 110KV进线采用内桥接线形式。3. 本工程初步设计内容包括变电所电气设计。4. 35KV和10KV配电装置同样采用单母线分段接线。5. 所用电分别从10KV两端母线获得。为满足经济发展的需要，根据有关单位的决定修建1座110KV盐北变电所。本工程初步设计内容包含变电所电气设

数值分析作业，矩阵的三角分解编程一、 算法的设计方案1、 输入矩阵A。2、 将A拟上三角化为A（n-1），并输出。给定精度e，最大迭代次数L。3、 求特征值：

该文档介绍了GPS基于伪距的单点定位的原理与编程实现方法，内含程序源代码和运行结果截图。