内蒙古自治区现代测绘基准的建立方法与实现

介绍了内蒙古自治区三维测绘基准的建立方案和过程,其内容包括GPSB级点建设,三等水准测量,大地水准面精化,NMGCORS系统建设等。     

道传千古 法境长存——武当真宗丹脉太乙混元密持法述真(上)

武当真宗丹脉,门内称之为太乙混元大法,渊源太古,承传武当,门中相传。由"混元老祖"开天辟地时流传下这一千古绝学,门中有"先有武当后有天,劈开混沌出大贤"之说。太过久远的历史已难以考证,可考的是明之三丰祖师创法武当,"金锋伏龙虎,丹砂养太和",开一代宗风,使内外显密,武法丹华,共     

“天行健,君子以自强不息!” 周亮恭祝天下武友马年奋发图强

为答谢新朋老友的厚爱与支持,值此年末岁尾,周门向大瘃免费赠送"锁阳酒"一瓶,通过宅急送快递(邮费自付),只要把地址、姓名发短信到13241770558即可。锁阳酒:道家配方,天然草本制作,是古代丹家在"炼精化气"阶段,用来固精锁阳之用,杜绝漏精走丹现象发生。2012年,周亮先生根据古传秘方配制完成。对于舒经活血、固精健体有特效,保元涵藏大有裨益。而已婚男     

基于B方法的体系结构描述语言的精化研究

通过分析B方法和软件体系结构描述语言各自的特点,提出了一种使两者无缝集成的精化开发方法：首先定义精化约束和规则保证在精化过程中模型系统的一致性;然后对ABC/ADL复合构件和复杂连接子使用定义的精化约束和规则逐步精化,直到可执行程序,最后给出实例加以说明该方法的可行性.     

内家三大拳种之特点

中华武术繁花似锦,内家拳法博大精深,我国古代就有导引吐纳术的演练,以活动筋骨强健体魄。唐朝时有许宣平、李道子传练37式先天拳;元明之际武当道士张三峰创编了太极推功13式,又称武当内家拳,拳勇之技始有"武当"、"少林"、"内家"、"外家"之说。     

求解大型稀疏二次特征值问题的精化的二阶Arnoldi方法

利用精化投影原则,我们对求解二次特征值问题的二阶Arnold i方法(SOAR)进行改进,提出了精化的二阶Arnold i方法,并给出一个实用算法,最后给出一个数值算例,说明算法的有效性.     

具有中断算子进程的语义动作精化的操作语义(英文)

以SOS规则的方式定义了含中断和精化算子的进程代数LOTOS的操作语义,使得这一操作语义与指称语义相对应,即 :由指称语义导出的传输系统和操作语义定义的传输系统双模拟.操作语义的基本思想是 :重新命名被精化的动作并且使所有与之相关的选择都被激发.     

形式化PAR方法及其算法程序规约精化机理

用形式化方法开发软件是提高软件生产效率和可靠性的革命性途径,是实现软件自动化的决定性关键。文章介绍了一种新的支持作为软件开发核心的算法设计的形式化方法PAR,分析了其理论基础及算法程序规约精化机理,并结合一个经典实例开发展示了PAR的具体使用,给出PAR的实际应用项目,最后对PAR进行了评述。