[其它] 剩余交换律与剩余交半格及其相关性质

说明：首先，给出了剩余交半格的概念，通过对其性质的研究，证明了剩余交半格中的所有正则元构.成的集合是交半格，并举例说明了剩余交半格中的所有正则元构成的集合不是剩余交半格；其 次，证.明了满足剩余交换律：ｘ（ｘ→ｙ）＝ｙ（ｙ→ｘ）的正则剩余交半格是 Ｗａｊｓｂｅｒｇ代数；最后，由剩余交.换律：ｘ（ｘ→ｙ）＝ｙ（ｙ→ｘ）得出了Ｌ 是满足剩余交换律的 ＭＴＬ代数当且仅当Ｌ 是 ＢＬ代数。
<weixin_38549327> 上传 | 大小：286kb

[其它] 我的项目-源码

说明：我的项目
<weixin_42135753> 上传 | 大小：173mb

[其它] Android基于HTTP协议的多线程断点下载器的实现

说明：1.多线程下载的原理，如下图所示注意：由于Android移动设备和PC机的处理器还是不能相比，所以开辟的子线程建议不要多于5条。当然现在某些高端机子的处理器能力比较强了，就可以多开辟几条子线程。2、为了实现断点下载，采用数据库方式记录下载的进度，这样当你将该应用退出后，下次点击下载的时候，程序会去查看该下载链接是否存在下载记录，如果存在下载记录就会判断下载的进度，如何从上次下载的进度继续开始下载。3、特别注意在主线程里不能执行一件比较耗时的工作，否则会因主线程阻塞而无法处理用户的输入事件，导致“
<weixin_38502814> 上传 | 大小：483kb

[其它] 代数分支-源码

说明：操纵数学表达式的工具，受的论文《的启发。 该项目使用将表达式解析为可以操纵的树形结构，并使用在浏览器中漂亮地显示该表达式。 检出，您可以在其中输入格式的表达式，该表达式将显示为树。 树的某些节点显示红点，这表示可以在该节点上执行的操作。 将鼠标悬停在点上以预览操作。 单击该点以执行操作。 从交互式代数操作中： 介绍 我们的目标是建立一个交互式处理代数公式的系统。 这里的交互表示用户将在计算机的帮助下指导大多数更改，以快速进行更改并验证其正确性。 相反，典型的计算机代数系统（例如Mathemat
<weixin_42175516> 上传 | 大小：430kb

[其它] Android开发之Tween动画实现方法

说明：在Android系统中提供了两种动画实现方式：一种是Tween动画，通过视图组件移动、放大、缩小，以及产生透明度的变化等来实现动画；另一种是Frame动画，这是一种传统的通过顺序播放排列好的图片来实现的动画方法，类似电影。本文先介绍一下Tween动画。Tween动画能完成一系列诸如位置、尺寸、透明度和旋转等简单的变化。例如，对程序中的ImageView组件，可以通过Tween动画使该视图实现放大、缩小、旋转、渐变等变化。下面就对Tween动画类进行简单介绍。1.Tween动画类位于android
<weixin_38653878> 上传 | 大小：167kb

[其它] 可除剩余格中的消去律

说明：：首先，通过对可除剩余格性质的进一步探究，给出了可除剩余格中的蕴涵左消去律；其 次，结 合.剩余格中“′”运算的性质，证明了正则条件下的蕴涵右消去律的存在性；最后，根据“”和 “→”的伴随性.质，进一步探讨了正则可除剩余格中的乘法消去律的表现形式
<weixin_38681736> 上传 | 大小：278kb

[其它] view的几种布局方式及实践

说明：我们对Android应用程序运行原理及布局文件可谓有了比较深刻的认识和理解，并且用“HelloWorld！”程序来实践证明了。在继续深入Android开发之旅之前，有必要解决前两篇中没有介绍的遗留问题：View的几种布局显示方法，以后就不会在针对布局方面做过多的介绍。View的布局显示方式有下面几种：线性布局（LinearLayout）、相对布局（RelativeLayout）、表格布局（TableLayout）、网格视图（GridView）、标签布局（TabLayout）、列表视图（ListV
<weixin_38723513> 上传 | 大小：375kb

[其它] Android、iOS和WindowsPhone中的推送技术

说明：推送并不是什么新技术，这种技术在互联网时代就已经很流行了。只是随着进入移动互联网时代，推送技术显得更加重要。因为在智能手机中，推送从某种程度上，可以取代使用多年的短信，而且与短信相比，还可以向用户展示更多的信息（如图像、表格、声音等）。推送技术的实现通常会使用服务端向客户端推送消息的方式。也就是说客户端通过用户名、Key等ID注册到服务端后，在服务端就可以将消息向所有活动的客户端发送。实际上，在很多移动操作系统中，官方都为其提供了推送方案，例如，Google的云推送、IOS、WindowsPho
<weixin_38663443> 上传 | 大小：295kb

[其它] OpenStack安装部署管理中常见问题解决方法

说明：更多网络原理机制可以参考《OpenStack云平台的网络模式及其工作机制》。OpenStack平台中有两种类型的物理节点，控制节点和计算节点。控制节点包括网络控制、调度管理、api服务、存储卷管理、数据库管理、身份管理和镜像管理等，计算节点主要提供nova-compute服务。控制节点的服务可以分开在多个节点，我们把提供nova-network服务的节点称为网络控制器。OpenStack的网络由nova-network（网络控制器）管理，它会创建虚拟网络，使主机之间以及与外部网络互相访问。Ope
<weixin_38642864> 上传 | 大小：142kb

[其它] rpr-t1-z3-源码

说明：rpr-t1-z3
<weixin_42108778> 上传 | 大小：30kb

[其它] project-M1：我的所有项目都在master 1（代码+融洽）期间完成-源码

说明：project-M1：我的所有项目都在master 1（代码+融洽）期间完成
<weixin_42168265> 上传 | 大小：1mb

[其它] 点文件-源码

说明：点文件
<weixin_42143161> 上传 | 大小：28kb