实时系统开发与PEARL语言

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

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

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

SW规约下的一些性质

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

处理优化约束条件的微分方程法

在文[1]中,作者曾提出求解一般约束优化问题的一种新方法。本文利用微分方程对约束条件做进一步的讨论,证明了从一可行点的某邻域出发的该微分方程组的解关于部分变元总收敛到问题(1.1)的可行点。     

泛Loeb可测集的S-饱和性

在 K-饱和的非标准模型中,研究了泛 Loeb 可测集 m(A),pns(~*X),cpt(~*X),fin(~*X),ns(~*X)的 S-饱和性.当 A 是紧致 Hausdorff 空间 X 的子集时,得到了 st~(-1)(A)是标准集的充分条件.     

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

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

籽瓜植株(地上部)的生长发育规律

对内蒙古地区有代表性的四个籽瓜品种植株(地上部)的生长发育进行了研究．结果表明：内蒙古籽瓜的全生育期为92-101d，籽瓜植株的生长发育可分为发芽期、幼苗期、伸蔓期和结果期，结果期分为前期(开花座果期)、中期(果实膨大期)、后期(种子成熟期)．发芽期、幼苗期以叶为生长中心，伸蔓期、结果前期以茎为生长中心，进入结果中期以果实为生长中心不同生育分期长短的差异主要表现在结果中期的差异上．     

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

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

基于多Agent的交通运输枢纽虚拟组织信息集成框架

面对动态、快速、多变的市场环境 ,虚拟企业开始出现并得以快速发展 ,传统的交通运输枢纽有了新的要求 .在虚拟企业思想的启示下 ,本文试用系统的观点提出作为结合部的交通运输枢纽虚拟组织的概念、特点 ,并指出其信息管理的重要性 .接着在基于多 Agent系统的基础上对其进行分析 ,给出交通运输枢纽虚拟组织信息集成框架 ,并利用面向对象的 Agent进行设计 .最后提出了今后的研究方案 .     

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

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