词条 何积丰

何积丰

何积丰(1943年8月),计算机科学家,中国科学院院士。现任华东师范大学软件学院院长,华东师范大学终身教授、博士生导师。上海嵌入式系统研究所所长。研究方向为形式化方法;高可信与信息安全;并发程序设计理论;嵌入式系统设计方法和工具;软硬件混成系统协同设计等。

何积丰简介资料
1943年08 月
计算机软件
英国先进科技女皇奖
何积丰相关文献
“成也萧何,败也萧何”求韩信心里阴影面积
“成也萧何,败也萧何”求韩信心里阴影面积,一提起韩信,谁人不知,刘邦手下的得力干将,但是韩信早年的境遇也是很悲苦的。我
查看全文
上海市何积丰
何积丰,计算机软件专家。华东师范大学教授。1943年8月生于上海市。1965年毕业于复旦大学数学系。现任华东师范大学软件学院院长,上海嵌入式系统研究所所长。2005年当选为中国科学院院士。1980年起,从事程序设计理论及其应用研究。1986年和C.A.R.Hoare提出了“程序分解算子”,并将规范语言与程序语言看成是同一类数学对象。接着又提出了采用“关系代数”作为程序和软件规范的统一数学模型,使得关系代数可用来描写程序的分解和组合过程,直接支持软件的开发。在数据精化方面,给出了处理非确定性程序语言数据精化的完备方法。1995年,在总结了多类程序语言语义理论和方法的基础上,与C.A.R.Hoare提出了程序设计统一理论和连接各类程序理论的数学法则。还提出了用形式化的界面理论沟通几种程序语言,以及非确定性数据流的数学模型及代数定律。近年来,研究的软硬件协同设计系统,为减少系统芯片设计时间和降低...
查看全文
代数对象的积各种代数结构中的对象可以通过定义不同的二元运算得到不同的积。比如说,平面向量可以定义点积,三维向量可以定义叉积和混合积。常见的积还包括:向量空间中两个向量的内积矩阵集合中矩阵的乘积矩阵的阿达马乘积矩阵的克罗内克乘积张量的外积张量的张量积两个函数的逐点乘积代数结构的积在研究抽象代数中的代数结构时,常常会用到代数结构的积的概念。两个代数结构的积,一般定义为将两个代数结构里的元素通过一个二元映射对应为一个新的元素,然后将新的元素通过适当的规则组成的新的代数结构。如果两个代数结构的元素个数都是有限个,那么它们的积的元素个数将会是它们分别元素个数的乘积。这也是这种新代数结构被称为积的原因之一。常见的代数结构的积有:笛卡儿积向量空间的直积群子集的乘积群的自由积拓扑空间的积参考来源
查看全文
积家
历史勒考特家族瑞士勒考特家族的最早记录可追溯到十六世纪。当时,身为法国胡格诺教徒的皮埃尔•勒考特(PierreLeCoultre,约1530~约1600)为躲避宗教迫害,从法国一个名为Lisy-sur-Ourcq的小村庄,逃到日内瓦。1558年,皮埃尔获得日内瓦“居民”身份,并于次年在汝山谷(ValléedeJoux)获得一块土地。随着时间的流逝,汝山谷逐渐形成一个小型社区。1612年,皮埃尔之子在此地建立一座教堂,勒桑捷村庄从此成立,也即今日积家表厂总部。积家表厂1833年,安东尼•勒考特(AntoineLeCoultre,1803-1881)发明出一种能从钢片车削出钟表齿轮的机具,并随即在勒桑捷成立一家小型制表工坊,集合所有钟表技术来打造各种高品质钟表。1844年,安东尼发明出世界上最精准的测量仪器──微米仪(参见1.4.1章节)。1847年,又研制出“无匙上链”系统,对钟表进行上链与
查看全文
向量积
定义在右手坐标系中的向量积两个向量a{displaystylemathbf{a}}和b{displaystylemathbf{b}}的叉积写作a××-->b{d
查看全文
何积丰相关标签
中国科学院信息技术科学部院士
上海人
华东师范大学教授
华东师范大学校友
复旦大学校友
1943年出生
在世人物
信息技术科学家
信息技术科学家
家族谱大览
15.杨世宗谱, 卷15, 季一房 6世积丰公支 ; 季二房 6世积钱公支, 1877
原书: [出版地不详] : 诒环堂, 光绪3[1877]年修. 18册: 插图, 世系表. 受姓祖: (晋)叔向,受封于杨,子孙以为姓. 迁楚始祖(1世): (明)杨文清. 偕弟文泌公,文鸿公,文江公,文海公自江西吉安府大栗村迁居湖广圻,后偕弟文泌公转迁竟陵今湖北天门县荷花堰. 文清公下派祖(3世): (明)杨遵,行一(伯房,居于荷花堰) ; 杨迪,行三(仲房,迁居干镇驿) ; 杨进,行五(叔房,转迁至皂市之南马公埠茅草湾); 杨暹,行六(季房,居皂角市)...等 伯房遵公下房祖(5世): (明)杨渊(伯一房). 仲房迪公下房祖(5世): (明)杨沕,字亦朴(仲一房) ; 杨浚,字伯琳(仲二房). 叔房进公下房祖(5世): (明)杨涟(叔南房) ; 杨濬(叔北房) ; 杨洪,行一(叔一房) ; 杨泯,行二(叔二房) ; 杨浩,行三(叔三房) ; 杨源,字符晖,行五(叔五房) ; 杨演,行六(叔六房). 季房暹公下房祖(5世): (明)杨汲,行一(季一房) ; 杨潽,字名隐(季二房). 辈派字(10世起): 明心光世业 正大培锡芳 立德惟敦本 崇仁自履祥 传家思孝友 在国秉忠良 克广清廉训 诗书百代香. 注: 卷18有远祖1世轩辕公至80世承休公的世传纪录. 散居地: 湖北省天门县等地. 版心题: 大栗杨氏宗谱. 书名据书衣题及书名页题编目.
浏览:100
绥安阮氏族谱, 9, 卷5, (广丰县谷山头) 赛寿公积老世系 21世赛玖公起, 1992
原书: [出版地不详 : 出版者不详], 公元1992年八修. 存13册: 插图, 世系表. 始祖: (汉) 阮肇. 始迁祖(1世): (宋) 阮安所. 肇公18世孙. 任教谕于邵武之建宁县, 遂家于绥安, 居于左街巷. 安所公下支祖: 阮辛郎(10世, 六老公之后) ; 阮乙郎(8世, 福郎公之后) ; 阮丙郎(8世, 福郎公之后). 旧编字派: 原友福胜 世永本广 尚德荣昌 兴绍莆宗. 壬戌编定字派: 瑞兆承先泽 喜开泰运华 英贤资培育 学裕锡名嘉. 辛酉旧编字派: 光家显祖惠 秀毓启文明 鸿祚赓繁衍 贻谋庆守成. 1992年新编字派: 良善仁爱远 绵筵富贵长 书香高觉禄 龙凤谒呈祥. 注: 此谱部分版心的卷数排列杂义; 似缺卷9(丙郎公原仲公世系). 目录所列的卷1及卷 3各有3卷; 卷首,卷5及卷13各有2卷; 卷9为1卷. 散居地: 福建省建宁县等地. 书名据版心题编目.
浏览:100
何氏族谱 [6卷]
原书: [出版地不详 : 出版者不详], 民国20[1931]续修(嵣余庆石印局印). 6册 : 世系表. 始祖 : (明) 何霖(长门) ; 何?,行二(二门) ; 何?,行三(三门). 兄弟三人由河涧府交河县徙大唐御河庄. 再徙治东何家庄. 长门支祖 : (5世) 何九卿(长支,下一子: 何承耀) ; 何九瀛(五支下一子: 何雍新) ; 何九霆(六支) ; (6世) 何承先(二支) ; 何承显(三支) ; (7世) 何文廸(四支). 部分支派5世祖先名讳失考. 二门支祖(5世) : 何仲(三支) ; 何思严(四支,子一: 何翠薪) ; 何思海(五支,子一: 何得印) ; 何起凤(六支,子一: 何见图) ; (6世) 何思登(长支,子一: 何为顺) ; (7世) 何可度(二支,子一: 何树芳). 三门支祖(6世) : 何其吉(长支,子一: 何守贵) ; 何其哲(二支,子一: 何守成) ; 何其言(三支,子二: 何守谦 ; 何守让). 散居地 : 河北省丰润县等地. 书名据书签题, 及版心题编目.
浏览:0
南丰何氏宗谱
原书: [出版地不详 : 出版者不详], 民国10[1921], 信郡仁义堂镌. 合7册: 插图, 人像, 世系表. 始祖: (晋) 何侪. 侪公派下支祖(1世): 何应长,字清七, 号梅亭(安仁祖, 侪公45世孙) ; 何大郎 ; 何华勋(唐朝, 庐游祖). 后二者不确定为侪公第几世孙. 应长公派下支祖: 何景德(13世, 上饶北乡塘溪祖) ; 何国正, 字文正(16世, 上饶南乡里洲祖). 大郎公派下支祖(21世): (清) 何贤玉,名成玉 ; 何贒珍,名干珍(均为上饶南乡船坑祖). 华勋公派下支祖: 何扩,字昭明(19世, 南丰龙池祖) ; 何德(福)研(25世, 广邑溪北祖) ; 何德三(25世, 上饶高湾, 水南祖) ; 何德员(铅邑祖). 派行: 显德梓文奇 世万兴熙国 诗礼传家盛 荣贵启发茂 贞祥应登先 奕大永其昌. 庐江宗派 : 德文汝进福景天 大国中兴永毓贒 象兆鸿逵茂万世 徽嗣龙藻耀千年 功参伊旦勋猷远 学继程朱道绪传 接武显承新祖烈 恩荣奕(衣 冀)允光前. 散居地: 江西省上饶县, 广昌县, 南丰县, 及铅山县等地. 注: 此谱卷数杂异, 仅依目录内容标注册数及卷数. 书名据版心题编目. 书衣题: 何氏宗谱.
浏览:100
何氏族譜
原书: [出版地不详 : 出版者不详], 民国11[1922]序. 20册 : 插图, 世系表. 注 : 此谱至少缺卷8. 版心所标卷数与目录所标卷数不同. 依据目录中内容所标卷数编目. 一世祖 : (宋) 何王,字敬宗,号冈陵. 祥符三年进士. 授湖广郴阳刺史,由江西白鹭洲徙湖南郴州庐阳. 派祖(5世) : (宋) 何鉴,字明远,号潜𤲅. 兰公(字桂芝,号凤仪)次子. 王公4世孙. 下一子: 何用奎,行先一郎. 房祖(10世) : (元明之际) 何祥夫,字应瑞,号松轩,行魁三十六. 生三子 : 何希望,字富梓,行省五郎(止) ; 何希华,字文梓,行省六郎 ; 何希荣,字才梓,行省七郎. 希华公生一子(12世) : (明) 何德宏,行亨三郎. 生五子 : 何汉明,明一郎 ; 何汉真 ; 何汉嵩 ; 何汉均 ; 何汉良,字子循. 希荣公生五子(12世) : (明) 何德仁,行亨五郎 ; 何德义,行亨六郎 ; 何德礼,行亨七郎(止) ; 何德智,字国惠,行亨八郎 ; 何德信,字国正,行亨九郎. 德仁公下二支(13世) : 何汉隆 ; 何汉清. 德义公下四支(13世) : 何汉辉 ; 何汉杰 ; 何汉林 ; 何汉霄,字子富. 德智公下四支(13世) : 何汉瑛 ; 何汉雄 ; 何汉直,字至公 ; 何汉贤,字至卿. 德信公下三支(13世) : 何汉邦 ; 何汉聪 ; 何汉斌. 汉良公下支祖(15世) : (明) 何济轮,字桂溪. 生三子(16世) : 何宗武,字邦威,号梅轩 ; 何宗正,字邦行,号松溪 ; 何宗中,字允执,号苏峰. 排行字 : 王珪鸿兰鉴 用仁仕自祥 希德汉潮济 宗弘必绍香 瑶岭同华盛 𢖍江共泗昌 忠孝遵𢑱训 诗书演义方 家修明礼乐 廷献焕文章 谟烈辉南国 英豪冠楚湘 绵延清淑象 奇特见龙光. 散居地 : 湖南省资兴县, 郴州市等地. 书名据书衣题编目. 版心题 : 台前八修宗谱
浏览:100
何氏族谱 [6卷]
原书: [出版地不详 : 出版者不详], 民国20[1931]续修(嵣余庆石印局印). 6册 : 世系表. 始祖 : (明) 何霖(长门) ; 何?,行二(二门) ; 何?,行三(三门). 兄弟三人由河涧府交河县徙大唐御河庄. 再徙治东何家庄. 长门支祖 : (5世) 何九卿(长支,下一子: 何承耀) ; 何九瀛(五支下一子: 何雍新) ; 何九霆(六支) ; (6世) 何承先(二支) ; 何承显(三支) ; (7世) 何文廸(四支). 部分支派5世祖先名讳失考. 二门支祖(5世) : 何仲(三支) ; 何思严(四支,子一: 何翠薪) ; 何思海(五支,子一: 何得印) ; 何起凤(六支,子一: 何见图) ; (6世) 何思登(长支,子一: 何为顺) ; (7世) 何可度(二支,子一: 何树芳). 三门支祖(6世) : 何其吉(长支,子一: 何守贵) ; 何其哲(二支,子一: 何守成) ; 何其言(三支,子二: 何守谦 ; 何守让). 散居地 : 河北省丰润县等地. 书名据书签题, 及版心题编目.
浏览:0