王振宇教授论文集PDF电子书下载
- 电子书积分:14 积分如何计算积分?
- 作 者:徐宝文编
- 出 版 社:北京:清华大学出版社
- 出版年份:2006
- ISBN:7302125511
- 页数:424 页
第1部分 理论数学(函数论) 1
全纯函数的某些性质 3
参考文献 10
整函数的正规上升性及值的分布 12
参考文献 19
关于整函数的Weierstrass函数 20
参考文献 24
无限级整函数的插补问题 42
参考文献 48
整函数系数的聚值方向及其对封闭性问题的应用 49
参考文献 53
第2部分 计算数学 55
I01逼近与多项式计算中的系数舍入 57
一、问题的提出 57
二、I逼近和I01逼近 58
三、例证 65
四、舍入算法 68
五、ALGOL程序 69
参考文献 70
I01逼近与多项式计算中的系数舍入(续) 71
一、I01逼近的不惟一性 71
二、舍入误差的更精密估计 73
三、一般区间上的舍入算法 74
四、舍入实例 76
五、小结 78
参考文献 78
第3部分 树枚举与算法复杂性分析 79
关于树的带次数路径长度问题 88
一、二叉树 88
二、三叉树和t叉树 89
三、有序树 90
参考文献 90
自由树的端点数问题 100
有序树上的一个计数问题 122
树的几个计数问题 123
有向树上的可加枚举问题 151
参考文献 152
BB图的枚举特征 169
参考文献 172
第4部分 Ada语言、编译与工具 173
Ada语言分别编译及其实现 175
一、引言 175
二、支持分别编译的语言特征 175
三、程序库、库文件与名字表结构 176
四、编译单位的分别编译处理 179
五、库文件管理 181
六、结束语 182
参考文献 183
为Ada95引入A型对象 215
1.对Ada95面向对象能力的看法 215
2.A型对象 216
3.A型对象的封装 218
4.结论 221
参考文献 221
提高Ada并发效率的一种途径 273
1.会合机制与异步消息通信机制并发性分析 273
2.Ada会合服务模型的异步实现 275
3.结论 277
参考文献 278
附录 278
程序树的快速定位算法 281
1.前言 281
2.程序树及其构造 281
3.一种新的搜索方法 283
4.算法描述 284
5.性能分析 285
6.结束语 286
参考文献 286
第5部分 程序复杂性度量 287
程序的结构路径复杂性度量 289
1.概论 289
2.程序复杂性 290
3.子程序间关系对复杂性的影响 297
4.度量工具 299
参考文献 299
SSACC:基于软件科学法的Ada并发复杂性度量 301
1.引言 301
2.并发程序的运算符-运算元模型 301
3.Ada程序中的并发运算、运算符和运算元 302
4.关于运算符和运算元计数的几点考虑 304
参考文献 305
第6部分 软件工程、工具与环境 315
面向对象的可重用软部件库系统的设计与实现 321
1.部件模型 321
2.部件的检索及选择 323
3.部件的获取 324
4.部件的组合规则及Ada目标软件的生成 324
5.基于重用的Ada快速原型设计及编程环境 325
6.系统的组织结构及CBA对库的维护 326
7.结束语 327
参考文献 327
PERTS:一个实时软件原型建造环境的设计与实现 328
1.引言 328
2.实时系统描述模型和原型描述语言 328
3.原型建造的工具集和原型仿真环境 333
4.RTSPDL到Ada代码的映射 334
结束语 336
参考文献 336
关于软件标本重用技术的研究 338
1.引言 338
2.软件体系结构与标本 338
3.标本重用的基本概念、途径及实现方法 339
4.可重用软件单元库的结构和管理 342
5.结论 343
参考文献 343
并发软件的图形化设计方法研究 344
1.引言 344
2.基本假设 345
3.通信之间的关系 345
4.并发设计语言CONDL的定义 346
5.CONDL的图形表示 347
6.并发软件设计工具CONDLAS 349
参考文献 349
第7部分 软件体系结构 351
软件体系结构在舰载指挥控制系统中的应用 362
1.引言 362
2.舰载指挥控制软件系统与软件体系结构 363
3.典型舰载指挥控制系统软件体系结构的设计 363
4.应用与结论 366
参考文献 366
基于体系结构模型检查分布式控制系统 367
1.背景 368
2.基于软件体系结构方法形式设计分布式控制系统 370
3.分布式控制系统实例BCS的形式分析 374
4.总结与将来工作 378
参考文献 378
可扩展和可配置事件通知服务体系结构的研究 381
1.引言 381
2.事件通知服务可配置和可扩展的需求及其分析 382
3.事件通知服务可扩展和可配置的设计框架 383
4.事件通知服务可配置和可扩展体系结构的设计 385
5.实现情况与相关工作 391
6.结束语和未来工作 392
参考文献 392
TFSP:一种分布式实时系统的形式化描述工具 395
1.基本概念 395
2.TFSF基本语法的BNF形式 396
3.案例研究:TRMCS 397
4.讨论 400
参考文献 401
一种基于ADL规格说明的实时系统测试用例生成方法研究 402
1.引言 402
2.用DRTSADL描述实时系统的行为 402
3.基于DRTSADL规格说明的测试用例生成研究 403
4.实验与结论 406
参考文献 407
王振字教授的主要成就与贡献 409
一、函数论 409
二、计算数学 409
三、树枚举与算法复杂性分析 410
四、Ada语言、编译与工具 410
五、程序复杂性度量 411
六、软件工程 411
王振宇教授的主要著作目录 412
一、论文 412
二、书 419
三、主持翻译的著作 419
四、主持编制的国家军用标准 419
感谢师恩——编者后记 420
- 《王蒙文集 新版 35 评点《红楼梦》 上》王蒙著 2020
- 《现代水泥技术发展与应用论文集》天津水泥工业设计研究院有限公司编 2019
- 《李公朴文集》方仲伯编 1987
- 《赵松乔先生百年诞辰纪念文集》《赵松乔先生百年诞辰纪念文集》编辑组 2019
- 《王蒙文集 新版 37 评点《红楼梦》 下》王蒙著 2020
- 《凯恩斯文集 第13卷 社会、政治和文学论集》严忠志译 2018
- 《绿色过程工程与清洁生产技术 张懿院士论文集精选 上》《绿色过程工程与清洁生产技术》编写组编 2019
- 《复旦大学新闻学院教授学术丛书 新闻实务随想录》刘海贵 2019
- 《王蒙文集 新版 17 短篇小说 下》王蒙著 2020
- 《王蒙文集 新版 10 这边风景 下》王蒙著 2020
- 《东方杂志 第110册 第25卷 第一至四号 1928年1月-1928年2月》上海书店出版社编 2012
- 《清明 我们的节日》冯骥才编 2017
- 《现代水泥技术发展与应用论文集》天津水泥工业设计研究院有限公司编 2019
- 《激光加工实训技能指导理实一体化教程 下》王秀军,徐永红主编;刘波,刘克生副主编 2017
- 《甘肃省档案馆指南》甘肃省档案馆编 2018
- 《莼江曲谱 2 中国昆曲博物馆藏稀见昆剧手抄曲谱汇编之一》郭腊梅主编;孙伊婷副主编;孙文明,孙伊婷编委;中国昆曲博物馆编 2018
- 《花时间 我的第一堂花艺课 插花基础技法篇》(日)花时间编辑部编;陈洁责编;冯莹莹译 2020
- 《中央财政支持提升专业服务产业发展能力项目水利工程专业课程建设成果 设施农业工程技术》赵英编 2018
- 《东方杂志 第94册 第22卷 第四至七号 1925年2月-1925年4月》上海书店出版社编 2012
- 《远去的老调》经典文库编委会编 2019
- 《大学计算机实验指导及习题解答》曹成志,宋长龙 2019
- 《指向核心素养 北京十一学校名师教学设计 英语 七年级 上 配人教版》周志英总主编 2019
- 《大学生心理健康与人生发展》王琳责任编辑;(中国)肖宇 2019
- 《大学英语四级考试全真试题 标准模拟 四级》汪开虎主编 2012
- 《大学英语教学的跨文化交际视角研究与创新发展》许丽云,刘枫,尚利明著 2020
- 《北京生态环境保护》《北京环境保护丛书》编委会编著 2018
- 《复旦大学新闻学院教授学术丛书 新闻实务随想录》刘海贵 2019
- 《大学英语综合教程 1》王佃春,骆敏主编 2015
- 《大学物理简明教程 下 第2版》施卫主编 2020
- 《指向核心素养 北京十一学校名师教学设计 英语 九年级 上 配人教版》周志英总主编 2019