演绎数据库的研究与实现

讨论了演绎数据库研究的必要性,然后分析了与其相关的理论和实现方法,提出了一种有效的演绎数据库系统DDBASE的实现方法。该系统在功能上分为一般DB操作和演绎推理两部分,并为用户提供一种数据结构独立、非过程化的自主型演绎查询语言(Deductive Qcerg Language),该系统已建立在IBM PC微型机上,实验结果表明:这种实验方法是行之有效的。     

支持多种查询语言的演绎数据库系统

介绍并讨论了当前演绎数据库的理论基础及实现方法，提出了一种基于松、紧耦合相结合的实现机制；讨论了自行研制的演绎数据库系统ＤＡＣ中知识表示的两级模式，简单介绍了ＤＡＣ的总体结构及其功能模块、两种演绎查询语言，并给出了一种基于有向图的递归查询算法。     

考虑耦合关系的故障模式消减方案决策

针对目前复杂产品研制过程中故障模式消减方案确定主要凭经验,未考虑故障模式之间的耦合关系问题,建立了考虑耦合关系的故障模式消减方案决策过程.首先,提出了故障模式关联集(FMCS,Failure Modes Correlation Set)的概念,并运用演绎理论给出了FMCS的确定方法.其次,根据故障模式消减后其发生概率变化,构建了不同层次产品可靠性指标受影响的模型,并以此为依据,给定面向可靠性指标实现的故障模式消减方案决策方法.最后,以某型直升机燃油系统故障模式消减为例验证了上述方法及模型的可行性,初步证明了可靠性定量指标与定性设计之间存在明确的量化关系,可通过其控制故障模式消减,达到以最少资源消耗和较短研制周期实现满足设计要求的产品的目标.上述方法及模型具有实用性,可进一步在实际工程中推广应用.     

基于实例的飞机板金工艺知识库的构建

为了配合航空工业进一步技术更新,以信息化技术提升传统的飞机板金成形工艺,根据航空工业飞机生产、型号预研、板金成形工艺手册、工艺实验等大量信息数据,以Oracle数据库作为后台的支撑数据库,应用面向对象的Visual C+ +.NET作为前台开发工具,研究开发了一套基于实例的飞机板金工艺知识库系统,该系统建立了统一的工艺实例信息模型,以工艺实例作为基本信息单元,涵盖大量的成形工艺、工装模具等数据信息,具有知识维护、知识匹配和知识修正等功能.本文还对该系统的体系结构、实现方法及关键技术进行了分析.      

一种有负泊松比效应的二维多胞材料力学模型

负泊松比多胞材料具有独特的力学性能,有着良好的应用前景.基于旋转机制,提出了一种具有负泊松比效应的、由部分内凹以及部分规则六边形组成的二维多胞材料力学模型;预测了模型的泊松比及刚度系数随角度的变化关系,计算了该模型的剪应变,并通过能量法给出了其弹性本构方程.结果表明:该力学模型不但能产生负的泊松比,而且还可导致大于1的正泊松比及呈现"负刚度"特征;通过调整模型胞壁长度的比值和特征角的大小可以改变模型的刚度系数.这些结果对二维多胞材料的微结构设计具有一定的工程参考价值.     

基于模板数据库的工程CAD拓扑建模方法

应用模板数据库的方法,进行工程CAD管网拓扑建模.通过将工程对象抽象为很多具有各自特征的拓扑结构模板,建立拓扑模板数据库.在模板数据库基础上设计了一种松耦合的3层体系结构的工程CAD管网建模系统.此体系结构包括:用户层、库管理层、数据层.库管理层能够对拓扑模板进行方便快捷的管理、扩展,从而可以高效地建立和维护管网模型的拓扑结构;数据层提供统一的数据接口,使得不同领域之间可以共享拓扑模板数据.系统的层次结构分明,系统模块之间的依赖关系低,并且易于实现.采用本系统能够大大提高管网模型的建模效率和兼容性.     

X射线脉冲星导航标称数据库构建

脉冲星导航数据库是在地面定量验证X射线脉冲星导航关键技术和模拟导航过程必不可少的一部分。然而,目前并无文献针对脉冲星导航进行数据库的专门设计。为此,文章通过搜集现有国际公开的脉冲星数据,构建了脉冲星导航标称数据库。建立了基于品质因子的目标源优选准则,选择了26颗X射线脉冲星作为导航源;分析确立了数据库参数字段的具体组成,包括自转模型参数、延时模型参数、脉冲星到达时间〖BF〗（TOA）〖BFQ〗精度参数与脉冲轮廓参数;对这26颗脉冲星进行了编目;最后给出了标称数据库的接口与应用方式。标称数据库结构与未来星上数据库结构一致,当前服务于地面试验,待观测数据更新后可以升级为星上数据库。     

扩展的基于角色的访问控制模型

提出了一种扩展的基于角色的访问控制RBAC(Role Based Access Control)模型--RTBAC (Role & Task Based Access Control)模型.该模型在RBAC96模型之上引入了任务和任务实例的概念,形式化地定义了任务和任务实例的层次结构,界定了传统会话同任务实例之间的关系以及任务实例同权限之间的关系,并且提供了几种辅助函数.该模型可以更为自然地描述业务流程和访问控制策略,更适合分布式协作应用,特别是工作流和组合服务.基于该模型定义了一种新的动态职责分离约束--基于任务的动态职责分离约束,并且同传统动态职责分离约束进行了比较.该约束可以更准确地刻画访问控制相关的系统运行时上下文的范围,从而提高运行时访问控制的效率.     

Java SDAI Study and Implementation

为了在Internet网上共享产品数据 ,基于Java语言实现了STEP标准数据读取接口SDAI.该实现包括几个部分 :EXPRESS信息模型向Java语言的映射 ,JavaSDAI会话模式的实现和JOS Part2 1文件、JOS STEP数据库两个映射 .基于该JavaSDAI接口的STEP应用系统 ,可采用Browser Server三层体系结构 ,客户端用户通过通用的Internet网浏览器即可操作异地的STEP产品数据 ,该JavaSDAI接口既与Part 2 1文件又与关系型数据库 (SQLServer)相连接 .通过一个演示实例 ,对JavaSDAI的优、缺点进行了总结     

基于经验的抓取姿态构造及数据手套校正

针对数据手套校正过程中真实人手姿态获取困难、校正模型简单的问题,提出一种基于真实抓取经验的校正数据库构造方法.该算法根据人手生理结构和手套传感器布局建立具有更高运动逼真度的虚拟手运动学模型,实现更为灵活的拇指运动和软手掌效果;在不需要任何外部硬件设备的情况下,将真实抓取经验与最优化理论结合,寻找针对给定三维物体及操作任务的最优抓取姿态,从而构造真实人手姿态数据库;利用最小二乘拟合和闭环迭代算法获得精确的数据手套传感器输出模型.实验结果表明:所提出的姿态构造方法能有效提高数据手套校正效率,且操作过程简单,易于实现自动化校正,适合实际工程应用.     

数据库结构和数据的转换方法

介绍了如何把微机上的关系型数据库结构和数据转换成UNISYS 2200401机及MAPPER 上的数据库和数据的转换程序,主要介绍实现方法、设计思想、技术上实现途径和难点,以及系统构成和系统功能。     

非均匀采样系统时基失真的一种新评价方法

提出了在多A/D合成采样系统这种非均匀采样系统中,使用时基微分非线性和时基积分非线性概念评价采样时基失真的新方法.使用正弦波激励系统,将各个子A/D的数据分别抽取形成子抽样序列,用最小二乘正弦波曲线拟合法,获得各个子抽样序列初始相位差,该相位差对应的时间差,即是各个子A/D间的采样延迟时间,它们的一致性,即是系统的采样均匀性,体现了时基失真特性,用时基微分非线性和时基积分非线性描述.在一组仿真数据上进行的实验验证了方法的正确性.在数字存储示波器的实测数据上进行的实验验证了方法的可行性.方法可以用来评价非均匀采样系统的采样时基失真.     

基于异构网络表示学习的评分预测模型

深入分析电商行业的用户个性化数据并提供推荐服务近年来已成为业界的热点。推荐服务的基础是对用户的潜在兴趣进行挖掘,并对商品的感兴趣程度进行预测。因此,以此为背景,研究用户对商品的评分预测。对电商业的关系型数据在推荐系统中的应用进行了研究,提出了通过使用网络表示学习进行评分预测的方法。首先,将关系型数据构建成异构网络,用户和商品为网络中的节点。然后,设计了兼顾网络结构信息和节点之间相似性的个性化异构网络采样方法,并对节点进行表示学习。最后,将学习到的用户、商品表示向量输入到神经网络中进行训练,利用优化后的神经网络模型进行评分预测。实验结果表明:所提方法在YELP 13、Movielens 100k、Movielens 1m数据集上都有较高的准确率,对比常用方法,准确率提升6.5%以上。      

一种面向工业互联网的云存储方法

工业互联网是工业信息化进程中最受关注的热点,海量异构数据管理是其中的重点之一。传统的关系数据库（RDB）对海量多源异构数据的读写和检索都存在性能瓶颈,而近年来兴起的云数据管理方法主要是针对“键-值”（K-V）模式,无法依靠主键以外的数据属性对数据进行快速查找。提出了一种面向工业互联网的云存储方法——StoreCDB,在异构采样数据统一表达数据模型基础上,实现非结构化存储管理,同时,利用两级索引实现海量数据的快速检索。通过实验,在分布式集群实验平台上,采用海量高铁列车运行模拟数据,验证了StoreCDB具有良好的异构数据存储和检索性能,为工业互联网提供了一种新的数据管理方法。      

基于过程质量数据的制造系统可靠性建模分析

针对传统制造系统可靠性评价不考虑加工过程产品质量数据,无法对制造系统可靠性进行及时准确的建模分析,提出了基于过程质量数据的制造系统可靠性建模分析方法.首先,在给出了包含制造产品质量的制造系统可靠性新内涵的基础上,分析了制造过程中关键质量特性检验数据和制造系统组件的退化故障数据等过程质量数据对制造系统可靠性建模的影响,从而明确建模需求.然后,首次提出了基于产品合格概率和制造系统组件退化失效率的制造系统可靠性分析模型.最后,通过某盖板的加工系统的可靠性建模分析验证了模型的有效性.结果表明该模型能够方便地利用制造阶段的质量数据更准确地估计出制造系统可靠性.     

工程数据库管理系统的探讨

工程数据库管理系统是一个面向CAD/CAM的数据(包括知识)管理系统,它是CAD/CAM软件系统的核心。本文对工程数据库系统在CAD/CAM系统中的地位和作用、工程数据库管理系统的特殊要求以及多级数据管理、多重数据模型、复杂实体的定义和操作、变长域类型及版本化作了一些探讨和建议。     

基于改进GRA-TOPSIS的空战威胁评估

针对在确定空战威胁评估指标权重时，未考虑指标间的耦合性以及客观赋权法不能从逻辑视角体现指标相对评价对象真正的重要程度的问题，提出了一种基于灰色关联度、灰色关联深度的极大熵模型初步确定权值，再根据指标间灰色关联度以及确定的解耦阈值修正权值的方法。为了克服灰色关联分析法（GRA）和理想点接近法（TOPSIS）的缺点，提出了一种基于GRA-TOPSIS的目标威胁评估方法。首先，通过实例对比分析了指标采用数学模型与模糊处理后，对目标威胁评估结果的影响；其次，对比分析了采用GRA、TOPSIS以及GRA-TOPSIS、数学模型得出的目标威胁评估结果；最后，考虑不同决策者的主观偏好，得出不同的目标威胁评估结果。通过仿真验证了所提方法的有效性以及科学性。      

归纳推理和归纳进程

分析了归纳推理与演绎推理的区别, 给出了归纳推理的形式化规则,定义了重构和归纳进程(序列)的概念.同时还给出了一个产生归纳序列的归纳过程模式,并证明:若已知模型M的全体实例集合ε_M,则可以从任一给定的理论出发, 使用此归纳过程模式所产生的所有归纳序列都收敛于同一极限,这个极限就是模型M的全部真语句. 这说明了归纳推理规则的合理性.     

自动测试管理系统研究

针对电子测试管理系统开发的需要,总结了电子测试仪器的IO接口驱动方法,给出了采用面向对象技术对仪器控制模型进行封装和操作的一般方法,总结了测试系统中软件同步控制的几种方法,给出了专用测试管理系统软件的通用结构,提出了采用数据库BLOB字段对频谱数据等无结构大型数据进行存储管理的方法。