模型检测器SPIN图形化工具的研究与应用Research and Application of the SPIN Model Checker Graphical Tools
陈平, 王德成 下载量: 3,155 浏览量: 11,239
软件工程与应用 Vol.3 No.3, June 20 2014, PDF, , DOI:10.12677/SEA.2014.33009 被引量
基于多Agent技术的个性化随机慢化机制研究Personalized Mechanism of Randomization Based on Multi-Agent Technology
于黎明, 乔欢 下载量: 2,680 浏览量: 10,829 国家自然科学基金支持
软件工程与应用 Vol.3 No.3, June 20 2014, PDF, , DOI:10.12677/SEA.2014.33010 被引量
VXWORKS系统并发程序动态测试工具设计The Design of Dynamic Checking Tool for VXWORKS Systems Concurrent Program
梁昊, 艾云峰, 沈怀荣, 赵永超 下载量: 2,688 浏览量: 9,185
软件工程与应用 Vol.3 No.3, June 20 2014, PDF, , DOI:10.12677/SEA.2014.33011 被引量
线性二次型最优控制器的设计The Design of Linear Quadratic Optimal Controller
姜 静, 孟利东 下载量: 3,379 浏览量: 7,970
软件工程与应用 Vol.3 No.4, August 19 2014, PDF, , DOI:10.12677/SEA.2014.34012 被引量
某工程飞行模拟器中便携式数字测试仪的研究Study on Engineering Flight Simulator Portable Tester
罗 成, 沈为群 下载量: 2,514 浏览量: 5,303
软件工程与应用 Vol.3 No.4, August 19 2014, PDF, , DOI:10.12677/SEA.2014.34013 被引量
基于FPGA和WiFi技术的电子鞭炮系统设计Design of a Electronic Firecrackers System Based on FPGA and WiFi Technology
任小强, 陈金鹰, 吴蓉, 李文彬 下载量: 3,347 浏览量: 9,659
软件工程与应用 Vol.3 No.4, August 20 2014, PDF, , DOI:10.12677/SEA.2014.34014 被引量
船行波和舰船浪花生成技术研究与实现Research and Implementation of Generating Technology of Ship Wakes
李芳芳, 李思昆, 王文珂 下载量: 3,058 浏览量: 7,298 国家自然科学基金支持
软件工程与应用 Vol.3 No.5, October 13 2014, PDF, , DOI:10.12677/SEA.2014.35015 被引量
高性能并行可视化服务器的资源管理技术研究Research on the Resources Management Technique of High-Performance Parallel Visualization Server
路 石, 孟创斌, 李思昆, 王文珂, 曾 亮 下载量: 2,564 浏览量: 10,819 国家自然科学基金支持
软件工程与应用 Vol.3 No.5, October 29 2014, PDF, , DOI:10.12677/SEA.2014.35016 被引量
时间序列分析在山岳型景区用水量预测的研究与应用Study and Application of the Time Series Analysis for Water Demand Forecasting in the Mountainous Tourist Area
黎 杰, 朱珊珊, 宣善立, 凌 亮 下载量: 2,949 浏览量: 7,937
软件工程与应用 Vol.3 No.6, December 16 2014, PDF, , DOI:10.12677/SEA.2014.36017 被引量
云计算综合信息服务平台下基于REST的单点登录模型设计与研究The Design and Research of Single Sign-On Model Based on REST in the Cloud Computing Integrated Information Service Platform
邢 军, 孙其博, 张光卫 下载量: 2,561 浏览量: 7,906
软件工程与应用 Vol.3 No.6, December 16 2014, PDF, , DOI:10.12677/SEA.2014.36018 被引量