帝国竞争算法在组合优化问题上的应用研究综述，本科毕设，自己写的，一共六页

互斥是通过每个线程看到的各自的view得到关于global的关于criticalarea的owner的一致看法实现的。
根据2.8的证明，锁的实现必须有写的动作，如果第一条指令是读，且只依据这一条指令是不能区分先后的;如果写了之后没有读，线程不能得到view，和没写一样;如果又写又读，并得到某些顺序则它实际就是个gate。
11.满足互斥。
假设不成立。
假设CS(A)-->CS(B)=＞R(A)(turn=A)-->R(B)(turn=B)&&W(A)(turn=A)-->W(B)(turn=B)&&R(A)(turn=A)-->W(B)(turn=B);否则turn由B改变后不能再变成A。
所以有W(A)(busy=true)-->R(A)(turn=A)-->W(B)(turn=B)--＞R(B)(busy=false)=＞W(A)(busy=true)-＞R(B)(busy=false).矛盾。
不满足无饥饿，因为某个线程A执行完turn=A之后，等待busy=false的时候，别的线程可能无限次的turn=X-->busy==false--＞busy=true。
不满足无死锁。
可能有W(A)(turn=A)-->W(B)(turn=B)-->R(A)(busy=false)-->W(A)(busy=true)-->R(B)(busy=false).Awaitsturn==A,Bwaitsbusy==false.

全英文版，相对来说比较容易看懂，而且配图很多。
照着这个就可以一步一步学些如何使用protege。
如果您没有积分，可以按照英文名称搜索如下文件，免费下载。
APracticalGuideToBuildingOWLOntologiesUsingProtege4andCO-ODETools如果有积分，就拜托下载一下这个资源，给哥们点积分。

光电组的，下面是程序，小车可以跑起来，但速度有待提升

matlab最优化算法讲义。

自适应滤波器原理（第四版）配套答案！西蒙编配套答案！超清晰！可复制编辑！

单级倒立摆的simulink仿真模型，实现串级控制~~~~~可作参考

基于c#和sqlserver2008的简单的汽车销售系统，实现基本客户管理，员工管理，订单管理功能

文件中使用的都是腾讯地图的坐标。
全国各个省份的经度纬度，包含香水，澳门和台湾；
全国400多个城市，8000多个区县。
文本是js格式，已经用define开发成模块，直接引入就可以使用。
格式举例：{id:"110000",name:"北京",fullname:"北京市",pinyin:["bei","jing"],location:{lat:39.90469,lng:116.40717}

如果你打开某些PDF文档提示需要密码，请下载最新的PDF阅读器，如AdobeAcrobat9Pro本资料由信管网(www.cnitpm.com)整理发布，包含2005年至2020年所有真题（上午、下午案例分析、下午论文）其中上午综合知识都包含答案，部分年份含解析。
下午案例分析部分年份含解析。
2006年和2007年上半年没有开考信息系统项目管理师，所以只有下半年信息系统项目管理师真题。
2020年上半年受新冠疫情影响没有开考，合并至下半年11月7日考试