Key-Time法及其用于时态过滤运算的研究

基于C-TRDM时态数据模型,利用传统的关系数据库来进行时态数据处理研究。先提出一种修正关系数据表结构的"Key-Time"法,然后讨论如何基于"Key-Time"法进行单表和多表之间的时态过滤操作,并结合实例加以说明。     

基于C-TRDM模型的将来时态数据处理

基于C-TRDM时态数据模型和时间过滤算子的概念,提出一种将来时态数据处理方法,即在延伸时间轴的基础上,实现数据在其生命周期上的预安排,并应用时间过滤算子进行运算。现结合高校教室资源管理实例给以说明。     

基于时空拓扑分析的地籍时态查询

通过分析地籍变更的时空拓扑特性,得出了具有父子关系宗地间存在空间上相交和时间上相接两个拓扑约束条件,籍此拓扑约束条件设计了地籍时态查询算法。并在基于地理对象的基态修正时空数据模型的基础上,设计了历史地籍数据库、现状地籍数据库和临时地籍数据库,辅以变粒度区段时态索引对该时态查询算法进行了实现研究。     

TEER模型和OSAN*/T模型的比较

介绍了时态的实体 -联系模型和面向对象的模型 ,并对 TEER模型和 OSAM* / T模型作了比较 ,对今后时态数据库的研究方向进行了讨论     

基于时态逻辑的形式化联邦校核方法

提出了一种基于时态逻辑的形式化联邦校核方法，采用时态逻辑公式描述联邦各成员的行为逻辑关系，推导出与该时态逻辑公式对应的有限自动机模型，即规范自动机。同时，建立联邦全局行为的状态转移图，即实现自动机，通过检验规范自动机所接受的语言是否包含实现自动机所接受的语言来判断联邦运行时各成员的状态变化是否满足规范要求，达到校核联邦的目的。该方法可用来校核联邦及其成员的交互设计和逻辑行为运行的正确性和逻辑性，具有理论意义和应用价值。     

高校教学计划数据库的设计与维护

分析了高校教学计划的时态性特征；在设计数据库时采用了水平分解时态关系变量的方法，并给出了教学计划数据库插入、更新维护算法。该方案可减少数据库中表的数量、避免对未来时间属性的定期更新维护工作。     

时态数据及其处理

本文根据时态数据的不同特性,结合现代学者对时态数据库的研究成果,就非时态DBMS中如何处理时态数据提出了几种实用处理方法。     

时态因果诊断模型TCDM及其应用(Ⅱ)——时态信息的描述与处理

根据Ａｌｅｎ的时间世界理论,提出了具有因果关系的事件间的时态关系类型、时延区间、时态范围及可接受性等概念,导出了可接受时态范围之间的各种约束及相互关系。结合ＴＣＤＭ因果诊断模型,分别就时态信息描述、时态信息传播的一般过程、时态一致性检验、时态信息传播的算子等进行了研讨,并给出相应的方法及性质。     

全序时态模式中的多值依赖问题

依据时态函数依赖、时态模式、多值依赖的理论,对全序时态模式进行了讨论,给出了全序时态模式、全序时态模块的定义及其性质.最后,给出全序时态模式4NF的定义及其分解算法,并进行证明.     

基于C-TRDM模型的时态数据存储研究

基于时态关系数据模型C-TRDM和时间过滤运算,提出时态数据栈的概念,定义了基于时态数据栈的两种操作方法,即分立时钟法和共用时钟法,并讨论了加速大容量时态数据存取的并行访存技术。     

立方准晶的反平面问题与Ⅲ型裂纹问题

发展了立方准晶材料的断裂理论 .通过应用Fourier分析和对偶积分方程理论 ,得到了立方准晶材料Ⅲ型裂纹问题的精确解析解 ,并由此确定了位移与应力场 ,应力强度因子和应变能释放率 .结果表明 ,应力强度因子与材料常数无关 ,而应变能释放率依赖于所有的材料常数 .这些为研究此新固体材料的变形和断裂提供了重要的信息 .     

FMS中加工质量故障预报的新方法

对引起加工质量故障的原因进行了研究,建立了用于加工中心加工质量故障分析的与/或故障树,提出了隐加工质量故障(FMQF)的概念和由·FMQF 找出制造系统故障的决策树方法.本文在模糊理论基础上,提出了隐加工质量故障识别的新方法,用这种方法可以根据控制图的变化进行设备状态估计.基于以上研究,建立了可用于柔性制造系统隐加工质量故障预测和预报的专家系统.     

Genomics,metagenomics,and microbial oceanography—A sea of opportunities

Microbial oceanography is an emerging discipline resulted from the interaction,cross-fertilization and integration of life science and ocean science.Microbial oceanography integrates the principles of marine microbiology,microbial ecology and oceanography to study the role of microorganisms in the biogeochemical dynamics of natural marine ecosystems.The application of genomics tools to study marine microbes is resulting in rapid advancements in microbial oceanography that has important implications in globa...     

Information for Authors

正General Journal of Beijing Institute of Technology(JBIT),an English language journal sponsored by Beijing Institute of Technology,was established in 1992.JBIT mainly publishes research articles that reflect the latest achievements in basic theory and experimental studies in various engineering fields and in applied mathematics,mechanics,physics,chemistry,and so on.JBIT is listed in Ei,CA,SA,AJ,CSA,MR,ZM and many other abstracting indexes.     

Information for Authors

正General Journal of Beijing Institute of Technology(JBIT),an English language journal sponsored by Beijing Institute of Technology,was established in 1992.JBIT mainly publishes research articles that reflect the latest achievements in basic theory and experimental studies in various engineering fields and in applied mathematics,mechanics,physics,chemistry,and so on.     

Research on How to Teach Vocabulary by Adopting Morphological Method

On the basis of some theories and teaching experience, the thesis first attaches importance to vocabulary teaching and suggests that a morphological method should be applied. Supported by some examples, how to teach vocabulary in a morphological way is mainly discussed in the essay.     

基于WPA的无线局域网安全性分析

本文详细分析了最新的无线安全加密体制WPA的规范并对其安全性做了分析,结合目前广 泛使用的WEP加密体制的弱点,分析WPA的相比与WEP的优点,指出了WPA代替WEP成为无线安全屏 障的必然。     

Banach代数中的不变行列式

研究了 Banach 代数中的不变行列式问题.获得了整迹 Banach 代数(A,τ)具有 G-不变行列式的充要条件,这里 G 表示 A 的自同构群并且保持迹不变.     

热图像显示的连续伪彩色编码

讨论了连续伪彩色编码的视觉特性,提出了连续伪彩色标尺的优化设计方法:以相关性、自然性约束色调、明度、饱和度的变化范围和方向,在均匀颜色空间先自动计算节点的色品坐标,使标尺的路径最长,再进行等色差插值,获取视觉上均匀的连续伪彩色标尺.用于热图像的伪彩色显示,保留了原始图像的相关性、自然性和目标整体模式的认知特性,增加了图像的视觉动态范围和可视信息量,提高了识别目标的对比灵敏度,避免了标尺设计的盲目性.     

基于田口方法的生态环境敏感性评估方法研究

提出基于田口法的生态环境敏感性评估方法。采用统计分析方法描述生态环境敏感性特征,构建生态环境敏感性数据的统计分析模型,结合大数据挖掘方法进行生态环境敏感性关联数据挖掘,提取生态环境敏感性数据统计分布的模糊聚类特征量,采用模糊C均值聚类分析方法和相关性融合分析方法,实现对生态环境敏感性评估和检测,基于田口方法构建生态环境敏感性评估的检测统计量,根据稳健性检验和统计回归分析方法,实现对生态环境敏感性评估和预测。仿真结果表明,采用该方法进行生态环境敏感性评估的自适应性能较好,预测准确度较高,提高了生态环境敏感性评估的置信度水平。