基于本体的信息与信息空间及其代数结构

实现特定信息环境下基于信息组织的信息资源服务,需要对信息、信息空间有更合适的、形式化的描述。文章基于本体层次对信息、信息的运算、信息之间的关系以及信息空间给出了数学描述并对其代数结构进行了研究。从而为特定信息环境下的信息资源服务提供理论支撑。     

表格/文本图像歪斜度检测方法

在表格处理和光符识别软件中．歪斜图像校正是一项重要的预处理技术。针对文本和表格图像,本文提出了一种基于线条检测模型的高精度、快速的歪斜图像检测方法。     

复自治微分系统(E)的奇点量计算公式

文献[1]对(E)引入奇点量和 Lie 不变量概念,实现了实自治微分系统焦点量和鞍点量概念的统一,并得到奇点量的结构定理。文献[1]还对三次系统(E_3)找到了全部120个基本 Lie 不变量并具体计算了二次系统(E_2)和缺二次项的三次系统(E_3~((3)))的奇点量。文献[2]还计算了一类特殊三次系统(4)的奇点量。但是,对于计算(E_3)的奇点量的工作,仍有很大困难,甚至前几个奇点量也得不到,况且对(E)找到全部基本Lie 不变量亦非常困难。本文利用规范形理论讨论(E)的奇点量的计算问题,得到了计算公式。该公式对一些特殊系统可直接得到前几个奇点量。作为公式的应用及验证,我们给出(E_3)的前两个奇点量,至于 M(3)=?的问题将另文讨论。     

算术映射交织器设计的改进

首先分析算术二次同余映射的原理 ,然后在此基础上对交织器的映射关系加以保奇偶序限制和移位运算 ,从而得到两个改进型的算术映射交织算法。通过仿真对改进型交织器的性能进行验证 ,结果说明在复杂度可比的情况下 ,改进后的交织器比传统分组交织器具有更好的译码性能。     

一种高精度六面体广义协调元

在八节点六面体等参单元的基础上在其各个面的法向方向上增加一个自由度 ,同时为了提高精度 ,改善其性能 ,消除几何敏感性 ,又引入七个非协调的内部位移函数和一个泡状函数作为附加位移。数值计算表明该单元的性能良好。     

关于强增生算子的Mann迭代序列收敛的充要条件

设Z是一致光滑Banach空间,T：X→X是次连续强增生算子,｛an｝、｛βn｝是两个实数列且满足0≤an≤1,及an→0（n→∞）,令Mann迭代序列｛Xn｝定义为证明了迭代序列｛xn｝强收敛于S的不动点q的充要条件是｜｜Txn｜｜有界。     

数学模拟中产生正态随机数的方法研究

针对在火灾烟气和其他气态物质扩散的模拟研究中经常遇到正态分布的随机数的产生问题进行研究,探讨了特殊分布随机数的产生方法。特别给出了正态分布随机数的产生算法及其代码,并进行了验证。结果表明了所述产生正态随机数算法的可行性和可靠性。     

系统延迟对脱靶量的影响研究

Paul Zarchan在研究一类由二项式传递函数描述的制导律的脱靶量时,提出了一个命题,即这一类制导律的脱靶量随制导时间的变化曲线可由时间常数为1时的那条脱靶量曲线经过时间轴的比例变换得到。证明了这一命题,并将它扩展到系统中存在纯延迟的情况,得到的结果可以很方便地用于研究系统延迟对脱靶量的影响。     

现代社会城市灾害的表现形式及其原因分析

工业社会的城市灾害突出的表现为各式各样的环境公害,城市环境恶化日益引起人们的普遍关注。城市是一个国家和地区政治、经济、文化的中心,又是人口、财富、信息的聚散地,正是现代化城市的这种特征造成了一旦发生灾害就会导致灾难。城市灾害的防治和减灾事关一个城市的存亡。传统的城市灾害的特点表现为人员伤亡惨重、经济损失巨大、社会影响广泛等。进入21世纪,随着城市化进程的加快,城市灾害表现出了许多新的形式。例证了几种城市灾害,并分析了导致这些城市灾害的各种原因,寻求解决城市灾害的有效途径。     

采用小弹性模量方法的空间飞网构型优化设计

飞网构型设计对提高空间飞网系统的展开抓捕性能具有重要意义。用小弹性模量分析方法对空间飞网构型优化设计问题进行研究。以绳网中内力分布均衡性为优化目标,选取飞网抛射过程中最大受力时刻为研究工况,赋予绳索单元极小弹性模量,进行静力学计算,并以变形后的结果为初始条件进行迭代分析。优化结果表明,绳网中的内力分布随迭代步数的增加而更趋于均匀。在不改变绳网拓扑结构的前提下,所建立的优化设计方法为空间飞网构型优化设计提供了一种参考途径。