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

Linux软件工程师(C语言)实用教程_实例源码课件加源码，很好的入门材料。

张量分解工具包 高维数据SVD分解 多重因子分析的工具

基于java web开发的mes生产制造系统，该系统基于ssm框架开发，系统功能包括：系统管理、车间基础数据建模、计划管理、物料控制、生产执行、质量管理、库存管理、看板管理、数据分析等主体功能模块。广泛应用于汽车、高科技电子、医疗仪器、SMT等离散行业。通过精确物料追溯以及对人员、时间、操作信息的准确记录，为物料管理、生产控制提供准确的参考数据，以便进行预估和统计分析。数据库：mysql数据库脚本在项目的webapp/dbscript/iemes_v1.sql目录下，jdbc.properties中需要写自己的数据库用户名和密码、localhost才能登陆成功

LABVIEW常用的开发技巧，由拥有多年开发经验的工程师几，记录，内容丰富实用，是初学者必看之书。

基于PLECS的三相你不去PLECS仿真，采用PLES的C脚本编写程序，可以实现SVPWM调制

系统功能基本要求 ：1. 操作员权限管理2. 水电费单价设置3. 楼宇信息的录入4. 楼宇住户信息录入5. 水电费用量信息录入6. 欠缴水电费查询：查询每月的水电用量及费用的统计信息，包括：实际用水量、本月水损耗、本月水损耗率、公共用水合计、水费单价;实际用电量、本月电损耗、本月电损耗率、公共用电量分摊、电费单价

文档描述了用CCS直接烧写.out文件的方法步骤，供大家参考使用，

用labview弄一个简易示波器，可以输出正弦波，三角波，锯齿波，方波和直波

数学史pdf版本，很好的反映了数学的历史发展。

基于两维的目标跟踪航迹融合算法MATLAB仿真程序，小程序，对初学者会有帮助，里面有用到简单凸组合航迹融合算法、bar-shalom-campo航迹融合算法和卡尔曼滤波