搜索结果: 61-75 共查到“知识库 计算机科学技术基础学科其他学科”相关记录148条 . 查询时间(3.625 秒)
参数生产前沿面分析的单边支持向量回归模型
回归 生产决策单元 参数模型
2009/7/23
为了解决了现有参数生产前沿面分析中先验生产函数难以选择的问题，提出参数生产前沿面分析的单边支持向量回归模型．该模型通过引入核方法，采用非线性映射将各生产决策单元的资源投入原始数据由数据空间映射到特征空间，然后在特征空间进行对应的线性操作。这样，则可以通过线性生产函数的非线性映射来解决生产函数的选择问题。最后，通过对珠三角各城市的经济发展效率进行评价，证明了该模型的有效性。
大规模定制产品平台更新熵权——模糊物元决策
公共产品平台 熵权 模糊物元
2009/7/23
为了提供一种更为合理而有效的公共产品平台更新决策依据，建立了基于熵权和模糊物元评估公共产品平台的模型，提出了一种运用4种模糊算子进行自我验证评估模型的稳定性与可靠性的方法。以冰箱产品平台更新为例，采用熵权和模糊物元评估模型对产品平台的综合性能进行了评估，给出了与通用评估方法一致的评估结果。从而为面向产品族设计的公共产品平台综合性能评估与决策提供一种客观、有效的新方法。
描述逻辑是包含了概念、角色以及概念和角色构造子的一阶逻辑的子逻辑，具有表达能力强且推理可判定的特征。但现有描述逻辑无法表示概念和角色上的函数，因此在图书馆的概念模型中，有一些问题便不能表示，如图书的本数、借书的条目数等。在现有描述逻辑基础上引入函数来解决这个问题。首先分析现有描述逻辑在图书馆的概念模型中不能表示的一些问题并提出解决方法，然后给出带函数的描述逻辑的语法和形式语义，最后用带函数的描述逻...
二值命题逻辑理论的结论类型和分类
主析取范式 真度 相似度
2009/7/22
以公式真度为基础，研究了二值命题逻辑系统中有限理论逻辑推出的结论类型和分别基于公式真度以及逻辑等价的分类问题，给出了分类定理以及同一理论结论的相似度的一个下界。
二值命题逻辑中基于条件真度的近似推理
条件真度 有限理论 伪距离
2009/7/22
以公式真度为基础，给出了二值命题逻辑中基于条件真度的逻辑度量的真度表示式，提出了两类在信息Г下的误差不大于ε结论模式，证明了两类结论模式的等价性，并讨论了基于条件真度和真度的近似推理及其关系问题。
基于XML元数据和Schema的Excel信息提取研究
Excel Schema 元数据
2009/7/20
针对地质工作单位中使用的复杂格式的Excel报表中的信息同数据库之间转储的困难，提出了采用XML语言描述的元数据模型来辅助表达Excel报表中的信息。使用XML Schema定义XML元数据语法，使得基于元数据的应用程序来提取Excel报表中信息变得更加灵活通用。
基于贝叶斯定理的势能函数应用于蛋白质结构预测
贝叶斯定理 S势能函数 loop结构预测
2009/7/20
改进了一种基于贝叶斯定理的S势能函数并应用于对loop结构的测试取得较好结果，证明S势能函数对loop结构预测是可行的和有效的。测定结果说明S势能函数的辨别率高于RAPDF势能函数，对loop结构具有较好的预测能力。
基于贝叶斯网络的航班延误波及研究
进港延误 离港延误 航班取消
2009/7/20
在民航业内，航班延误波及问题一直是影响航班延误的一个主要因素。基于贝叶斯网络（BN），讨论了在繁忙的枢纽机场，其航班延误的波及问题。在实验中使用的数据，皆来自国内某大型航空公司的真实记录。通过建立延误波及模型和贝叶斯网络模型，探讨了相关航班中，进港延误和航班取消对离港延误的影响。学习的结果显示了进港延误（Arrival-delay）对离港延误（Departure-Delay）的波及现象的存在；以及...
基于符号化模型检测的对弈必胜策略验证
二值判定图 对弈 必胜策略
2009/7/17
在对弈的研究中，验证对弈双方是否存在必胜策略的问题一直没能很好地解决，因为这涉及到超大规模的状态空间搜索。而随着符号化模型检测技术的发展，大规模系统的验证成为了可能。给出了使用符号化模型检测来验证对弈必胜策略的一般方法，并给出了一个井字棋必胜策略验证的实例。
基于ARM9和CAN总线的远程监控系统
嵌入式网关 CAN总线 监控 网络数据库
2009/7/16
研究基于ARM9和CAN总线的远程监控系统。介绍ARM9与以太网的接口方法、CAN/Ethernet间的协议转换方法以及网络数据库的构建。采用嵌入式网络接口设备在网络环境下的自识别、自描述和互操作性技术，实现网络传感器的动态配置和重构功能。测试结果表明，该系统可以满足自动化设备维护、监控的实时性和可靠性要求，有效实现设备的远程监控。
基于四元域上自正交码的4维最优码的构造
Griesmer界 最优码 拟最优码
2009/7/16
研究了F4上维数为4的最优（或拟最优）自正交码的码长与极小距离之间的关系，用组合方法构造出任意码长的最优（或拟最优）自正交码的生成矩阵，确定了其中达到Griesmer界的码。
结合方向关系和拓扑关系的约束满足推理
方向关系 约束满足问题 定性空间推理
2009/7/15
结合定性空间推理中的区域连接演算（RCC）和基于区域的主方向关系模型，应用拓扑和方向关系上的复合表，将方向关系和拓扑关系的推理看作约束满足问题（CSP），给出了结合RCC8和主方向关系的约束满足问题推理算法，该算法可结合拓扑关系和方向关系进行推理。
矩形的三角形划分问题研究
矩形的三角形划分问题 NP完全 格局
2009/7/15
给出了矩形的三角形划分问题的定义，该问题是三角形Packing问题的一个特例，证明了该问题是NP完全的，并给出了该问题有解的一个必要条件。
模糊关系贴近度的一般形式
模糊集 模糊关系 贴近度
2009/7/14
根据模糊集贴近度理论，分析模糊关系贴近度表示的规律，得到一系列的模糊关系贴近度的表示形式，为模糊关系贴近度的实际应用提供了极大的方便，为计算机的应用与发展提供理论支撑。