人工智能中一个很重要的组成部分——知识图谱,能将互联网中海量的信息进行有秩序地组织、管理与理解。通用的知识图谱结构是以三......

投资决策的重点在于如何分配资金到一定数量的资产上,构造最优的投资组合。为保证收益和分散风险,经典的投资组合选择模型会根据投......

应用约束规划方法建立炼厂原油混输模型,并通过搜索求解获得可操作的调度方案。约束规划允许以逻辑约束表达混输过程中的操作规则,......

针对传统的一致性推理模型多测重于单纯的定量、定性时态推理，难以适用于协同救援方案求取问题，基于Allen区间代数理论，添加逻辑约束，......

如何在软件设计过程中对软件需求加以正确描述和验证一直是软件开发过程中困扰开发者的重要问题之一.在传统UML面向对象的分析与设......

针对ICAD中在高层次几何推理及概念设计中图形的逻辑构造及约束问题,根据各种图形表示的依赖因素,通过谓词逻辑,提出了二维、三维......

ue＊M＃’＃dkB4＃＃8＃”专利申请号:00109“7公开号:1278062申请日:00.06.23公开日:00.12.27申请人地址:（100084川C京市海淀区清华园申请人:清......

如今肺癌已成为威胁人类健康的头等杀手,而肺癌在起初都表现为结节形式,所以对肺结节的检测变得尤为重要。在肺结节检测中存在的主......

针对城市电网日益严重的运行阻塞问题,建立高压配电网负荷转供中独有的顺序、互斥、方向3类逻辑约束,以110kV容量单元的电源选择变......

介绍了基于国产K7系列和V5系列的现场可编程门阵列(FPGA)高速总线Aurora协议驱动设计方案,以及针对某国产FPGA性能和高速口的不稳......