![[iOS]将deviceToken转换成字符串](/uploads/reation/bcimg14.png)
[iOS]将deviceToken转换成字符串
- (void)application:(UIApplication *)application didRegisterForRemoteNotificationsWithDeviceToken:(NSData *)deviceToken{ [QNGlobalInitCenter handleDeviceToken:deviceToken];}
激动巨人
![[UIApplication openURL:options:completionHandler:]: unrecognized selector sent to instance](/uploads/reation/bcimg13.png)
[UIApplication openURL:options:completionHandler:]: unrecognized selector sent to instance
最近看日志发现有用户点击跳转闪退的问题，查了一下原因是下面的方法是在ios 10系统以后才支持的，如果用户是ios 10以下系统会崩溃[[UIApplication sharedApplication] openURL:url options:@{} completionHandler:nil];解决办法如下，判断下用户当前系统分开处理if ([[[UIDevice cur...
时序逻辑之线性时序逻辑（LTL）和分支时序逻辑（CTL）对比及典型示例线性时序逻辑分支时序逻辑参考资料
在模型检测工具NuSMV中，时序逻辑是用来描述系统性质（或形式规约）的形式化语言，包括两类，一类是线性时序逻辑（Linear-time Temporal Logic, LTL）,另一类是分支时序逻辑（也称计算树逻辑，Computing Tree Logic, CTL），二者主要的区别在于采取不同的方式对Kripke结构所对应的计算树分支进行展开。线性时序逻辑定义时态运算符限定于描述从一个给定的状态开始的某条路径上的事件。特点将时间建模成状态序列，无限延伸到未来，该状态序列称为计算路径（简称“路
热门文章
