图书介绍
王振宇教授论文集PDF|Epub|txt|kindle电子书版本网盘下载
- 徐宝文编 著
- 出版社： 北京：清华大学出版社
- ISBN：7302125511
- 出版时间：2006
- 标注页数：424页
- 文件大小：16MB
- 文件页数：435页
- 主题词：王振宇－文集；函数论－文集
PDF下载
下载说明
王振宇教授论文集PDF格式电子书版下载
下载的文件为RAR压缩包。需要使用解压软件进行解压得到PDF格式图书。建议使用BT下载工具Free Download Manager进行下载,简称FDM(免费,没有广告,支持多平台）。本站资源全部打包为BT种子。所以需要使用专业的BT下载软件进行下载。如BitComet qBittorrent uTorrent等BT下载工具。迅雷目前由于本站不是热门资源。不推荐使用！后期资源热门了。安装了迅雷也可以迅雷进行下载！
（文件页数 要大于 标注页数，上中下等多册电子书除外）
注意：本站所有压缩包均有解压码： 点击下载压缩包解压工具
图书目录
第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.并发软件设计工具CONDLAS349
参考文献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.案例研究：TRMCS397
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