【中图分类号】G633.6 【文献标识码】A 【文章编号】2095-3089（2014）02-0153-01　　新课标有一个变化较大的地方就是由原来的“双能......

在本文中，通过关联BCK-代数与立体格公理系统的联系，给出了M-R公开问题一个肯定的答复...

有限状态机是根据当前状态以及触发条件进行状态转换的一种机制，包含一组状态集（state）、一个起始状态（start state）、一组输入符号集（al......

从信息共享的角度出发 ,提出在矢量符号技术的基础上 ,借鉴True Type技术并顾及 GIS点符号特点 ,研究设计与设备无关和系统无关的......

给出了计算多状态流约束通讯网络可靠度一个有效算法,这个算法从割集出发,找出每个极小割中的有效割组,求出网络的不可靠度,进而求......

探讨了在城市规划中应用ＡＲＣ／ＩＮＦＯ地理信息系统进行二次开发，创建用户符号集的方法和技术步骤．并且研究符号集如何在城市规划中的应用．......