Pinned Repositories
BaiduMapTest
实习作业，做一个百度地图的Android应用
Combination
关于通过各种姿势生成组合数的算法实现
Compile
编译原理课设代码，备份，防止丢失
FireflyAlgorithm
A normal firefly algorithm
githubRelational
the relational network of github
GradeQuery
This is a django project for grade point query
homework
大四一年，将课程上写的代码全部备份吧，以防丢失
LearningCommunity
MemoryKiller
内存杀手，进程守护
PicServer
Picloud子项目 - 提供图片访问接口的专用图片服务器
InnerAc's Repositories
InnerAc/BaiduMapTest
实习作业，做一个百度地图的Android应用
InnerAc/FireflyAlgorithm
A normal firefly algorithm
InnerAc/Combination
关于通过各种姿势生成组合数的算法实现
InnerAc/githubRelational
the relational network of github
InnerAc/GradeQuery
This is a django project for grade point query
InnerAc/homework
大四一年，将课程上写的代码全部备份吧，以防丢失
InnerAc/LearningCommunity
InnerAc/projectmanager
大学生课外项目管理系统
InnerAc/pyCellularAutomaton
一个用python+opencv实现的元胞自动机
InnerAc/SmartHome
张老师要求的一个简易模拟智能家居的小java程序
InnerAc/belbin
This is a django project for Challenge Cup
InnerAc/blog.io.backup
This is my hexo blog backup
InnerAc/CodeAnalyzer
InnerAc/electronic-wechat
:shipit: A better WeChat client on Mac OS X and Linux.
InnerAc/image
this is a image bed
InnerAc/innerac.github.io
My blog
InnerAc/Invincible-girls-battle
WINNER WINNER ,CHICKEN DINNER!
InnerAc/jeesite
JeeSite 是一个企业信息化开发基础平台，Java企业应用开源框架，Java EE（J2EE）快速开发框架，使用经典技术组合（Spring、Spring MVC、Apache Shiro、MyBatis、Bootstrap UI），包括核心模块如：组织机构、角色用户、权限授权、数据权限、内容管理、工作流等。
InnerAc/jfianlPortal
一个基于jfinal无权限控制的自由调整的门户系统
InnerAc/jfinalm
A simple jfinal demo
InnerAc/keras-cn
Chinese keras documents with more examples, explanations and tips.
InnerAc/lanyuan-notebook-3.1v
蓝缘3.1v版本 官网 www.lanyuanoss.com
InnerAc/LogicHomework
the note for Logic in Computer Sience
InnerAc/musicbox
网易云音乐命令行版本
InnerAc/Newsrss
高校新闻聚合展示网站来自大Boss的需求
InnerAc/nw.js
Call all Node.js modules directly from DOM and enable a new way of writing applications with all Web technologies.
InnerAc/Picloud
InnerAc/PSC2MA
Abstract—Unpredictability and uncertainty about future evolutions of both the system and its environment may easily compromise the behaviour of the system. The subsequent software failures can have serious consequences. When dealing with open environments, run-time monitoring is one of the most promising techniques to detect software failures. Several monitoring approaches have been proposed in the last years; however, they suffer from two main limitations. First, they provide limited information to be exploited at run-time for early detecting and managing situations that most probably will lead to failures. Second, they mainly rely on logic-based specifications, which intrinsic complexity might hamper the use of these monitoring approaches in industrial contexts. In order to address these two limitations, this paper proposes a new approach, called PREDIMO (PREDIctive MOnitoring), which, starting from scenario-based specifications, automatically generates predictive monitors that taking into account the actual status and also possible evolutions of both system and environment in the near future identify risky situations thus enabling the definition of precise strategies to prevent failures. More specifically, the generated monitors evaluate the specified properties and return one of these seven values: satisfied, infinitely controllable, system finitely controllable, system urgently controllable, environment finitely controllable, environment urgently controllable, and violated. The scenario-based notation of PREDIMO is based on the property sequence charts language that facilitates the non trivial and error prone task of specifying, correctly and without expertise in temporal logic, temporal properties. The correctness of the translation process from the properties specification to the monitors is formally proven (see the Appendix). The overall approach is tool supported and a large experimentation with OSGi (Open Service Gateway Initiative) applications demonstrates its feasibility and usability.
InnerAc/webmagic
A scalable web crawler framework.
InnerAc/zookeeper
only a test