赵正旭，温晋杰，赵卫华著2015 年出版145 页ISBN：9787030447876
形式化方法Z是一种基于一阶谓词逻辑和集合论的规格说明语言。其基本思想是利用一些已知特性的数学抽象来为目标软件系统的状态特征和行为特征构造模型。在需求规格说明中，Z语言精确的描述软件系统”做什么”...
赵正旭，张廷廷，王威编著2015 年出版229 页ISBN：9787202108697
FreeForm触觉系统由三部分组成：硬件设备—PHANTOMDESKTOP、软件平台—FreeFormModelingPlus和OHAE软件开发包。使用FreeForm系统所设计的三维模型及其产品在航空航天、临床医学、影视动漫和工艺生产等领域得...
赵正旭，郭阳，王威等著2018 年出版110 页ISBN：9787030575708
随着1998年、1999年小世界网络和无标度网络的相继发现，复杂网络理论分析与应用研究引起了各个学科领域的广泛关注并形成了一个快速发展的交叉学科，对各种复杂网络的定量与定性特征的科学理解已成为网络时代科...
赵正旭，王正友编著2017 年出版202 页ISBN：9787509570067
本书收录了2015年“计算机科学与技术及教育技术”学术研究讨论会的优秀论文38篇，内容包括：虚拟现实与可视化技术、软件开发与测试技术、网络技术与应用、算法及图像智能处理、教育技术及应用等。本书所集论文...
赵正旭主编2015 年出版249 页ISBN：9787030427984
操作系统的研发和推广一直被美国等的西方国家所关注，并作为社会稳定的重要基石而应用于政府办公、能源管理、军事战略、高校教育以及商业运作等方方面面。而随着我国的综合国力不断提升和社会信息化不断发展...
