1) graph reduction
图归约
1.
A graph reduction method with 5 rules for the structural correctness verification of DCG based workflow models is presented in this paper.
详细论述了对基于有向有环图 (DCG图 )的工作流模型结构正确性进行验证的图归约法及其五种归约规则。
2) graph reduction machine
图归约机
3) reduction graph
归约图
1.
In giving web service and an output object of user requestor,a reduction graph is inducted.
针对给定的服务库及用户请求的一个输出对象,引入了归约图的概念,证明了完备归约图与输出对象的等价性,论证了裁剪规则、归约规则求解归约图的可行性,由此提出了一种基于归约图的Web服务自动组合方法。
4) reduction of SOM
自组织图归约
5) Sperese Turing reduction
稀疏图灵归约
6) Turing reducibility
图灵可归约性
补充资料:明安图(约1692~约1765)
中国清代天文学家、数学家。字静庵,蒙古正白旗人。约生于清康熙三十一年,卒年不早于乾隆二十八年。他青年时被选入钦天监,专门学习天文、历法和数学。康熙五十一年(公元1712年),随康熙皇帝往承德避暑山庄,回答科学问题。次年学业结束,留钦天监任职,参加编纂《历象考成》一书,对书中的理论和数据进行实际考察和检验计算。全书于康熙六十一年完成。康熙六十年起,明安图任钦天监五官正,负责编纂每年的时宪书(即民用历书),预报日月食等天文计算工作。乾降二十四年至二十八年(公元1759~1763年)任钦天监监正。乾隆二年参加编修《历象考成后编》,乾隆九年至十七年,参加编纂《仪象考成》。乾隆二十一年和乾隆二十四年,两次去新疆测绘地图。在测量中使用测太阳午正高弧决定地理纬度,观测月食决定地理经度的方法,同时配以三角测量。在此测量基础上编成《康熙皇舆全图》和《乾隆内府舆图》。此外,他还著有一本数学名著《割圜密率捷法》初稿。这是他三十年的研究成果,由其后人成书,共四卷,于道光十九年(公元1839年)刊行。
参考书目
李迪:《蒙古族科学家明安图》,内蒙古人民出版社,呼和浩特,1978。
参考书目
李迪:《蒙古族科学家明安图》,内蒙古人民出版社,呼和浩特,1978。
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条