一个Turbo C的鼠标头文件

通过对BIOSINT33H中断功能的讨论，给出了一个TurboC的鼠标头文件及由此定义的鼠标函数及其使用方法。     

再论暗物质、暗能量、引力波-中微子及力的统一问题——从宇宙微波背景辐射B模偏振之发现的物理学意义谈起

进一步探讨暗物质、暗能量、引力波-中微子及力的统一问题,结果认为:(1)以宇宙大部分星系合并成的重力真空星的类似局部暴涨解释了宇宙加速膨胀的可能是暗能量的高比例之源;证明哈佛—史密森天体物理学中心等BICEP2望远镜发现的宇宙微波背景辐射的B模式偏振信号,可能是宇宙暴涨与上述的类似局部暴涨的引力波叠加作用的结果。(2)英国《自然》杂志发表的76个"黑洞"探测所发现的强大的磁场,客观上较强有力地支持作者提出的"黑洞"(暗星)的夸克星模型:由1/3基本电荷的正负夸克以类似于金刚石的正四面体"空间点阵"组成。质能守恒定律提示1/3基本电荷的夸克可能是空心结构。(3)进一步支持"黑洞"(暗星-夸克星)作为暗物质的候选者的可行性。     

一个微分方程解的整体存在性及唯一性定理

利用类李雅普诺夫算子和微分不等式，获得了一个Banach空间中具不连续右端函数的微分方程解的整体存在性与唯一性结论。     

非线性半群的生成元与微分方程的解

利用非线性半群理论，获得了一个Banach空间中具不连续右端函数的微分方程解的整体存在性与唯一性结论。     

面向海量RDF数据的术语集冗余划分方法

基于术语集规模小、内容稳定、入度高、访问频率高、具有整体性的特性,提出了术语集冗余预处理.在此之上设计了符合海量资源描述框架(RDF)数据集特性的划分框架.与经典多层次图划分算法的对比实验结果表明:引入术语集冗余和边权重因子的划分框架适用于海量RDF划分任务,能够以较小的冗余开销有效地降低边切分,从而为上层计算提供了良好的数据分布管理基础.