实时系统开发与PEARL语言

本文讨论了实时系统的特征、开发方法、设计工具、实现手段工具等开发过程中的主要问题,论述了实时系统开发语言PEARL及该语言的对实时系统的主要支持.     

科学创新思维中实在和虚拟范畴的流动和转化

实在思维是指科学认识活动中保持真实性的思维活动;虚拟思维是指在思维过程中的一种设想或虚构活动.它们共同构成了科学创新思维的两极.在它们之间的流动和转化中,科学创新得以实现.     

SW规约下的一些性质

本文进一步分析了SW规约下的SW度结构的一些性质,得到了强可计算实数的两个性质.并且证明了给定可计算可枚举实数,可构造出sw归约下不小于该数的低的可计算可枚举实数.     

Sasakian空间形式中具有平行平均曲率向量的C-全实子流形的刚性定理

讨论了Sasakian空间形式中具有平行平均曲率向量的C-全实子流形,得到了紧致的C-全实子流形的一个刚性结果.     

校园网终端网络节点自治性的探讨

讨论了校园网终端网络节点自治性的建设，给出了开通另一通信出口，电子邮局及实时在线通信等问题的设计与实现的方法，并指出终端网络节点信息化建设的优劣决定校园网的网络性能。     

发酵监控系统上位计算机软件编程研究

提出了利用上位机参与实时控制,综合分析在线参数、离线参数和间接参数,辅助发酵过程工艺研究和优化控制,并给出了上位机软件包的部分源程序及框图。该软件包对发酵工艺人员进一步了解菌种的遗传特性、细胞代谢调节和反应器工程特性方面有较大帮助。     

Z域正实函数及其定理

定义了一种新的函数──Ｚ域正实函数（Ｚ－ＰＲＦ）；导出了该函数的一些性质和定理．     

关于菏泽房地产市场及金融支持情况的调查与思考

在市场经济条件下，一个地区的房地产状况及其金融支持情况是这个地区的经济运转指向标，本文试图通过对菏泽房地产市场及其金融支持情况的调查与思考，对菏泽今后的房地产市场的发展提出一些意见和建议并作为整个区域经济运转的借鉴。     

海量信息系统与复杂性研究

对海量信息系统在未来信息技术领域中的地位和作用做了简明的阐述。海量信息系统是目前国际互联网基础上将要更快更广泛发展起来的信息技术。对海量信息系统的研究具有一定的前瞻性，是一项很有前途的技术。对海量信息研究中可能存在的复杂性问题做了简要的探索。     

中国物权法对中国船舶登记制度的影响和立法启发

论述中国物权法对中国船舶登记制度产生的影响以及随之带来的法律启发,同时尝试对中国海事立法提出建议。