摘要：由于知识库的定义不同,相近领域的知识库不能相互利用已有知识进行推理。为了联合不同的知识库进行推理,通过对描述逻辑的表现形式进行扩展提出一种组合描述逻辑,并基于概念的相似性将不同的领域概念进行关联,给出组合描述逻辑的语法及语义以及相应的Tableau算法。通过实例表明,组合描述逻辑可以利用已有知识进行推理;组合描述逻辑可以将不同的知识库进行结合,为借用不同知识库的知识进行推理提供一条新的途径。

摘要：面向鉴定云终端用户身份、确保用户信息数据安全应用需求,研究和设计了一种基于动态信任管理的云安全认证服务机制。在PKI技术等基础上融入动态信任管理方法,实现了含证书管理、用户管理、用户行为采集、用户信任管理等功能的认证服务系统,适应动态云应用环境的安全认证需求。通过应用实例和测试,对系统实现的可行性和效果完成了验证。

摘要：技术活动是人类最基本的活动,其直接影响着人类的日常生活。现代技术活动以其专业化、体系化、规模化和集权化特质而把普通民众"拒之门外",这与现代社会的民主理念形成尖锐的冲突。如何在技术活动中引入民主机制,让非专业的普通民众也参与其中,使技术设计、实施和推广等环节融入最广泛的"群众智慧",表达出利害相关方的诉求,维护社会公平,是一项迫切的时代课题。从理论与实践两个方面说明"技术活动民主化"的基础与趋向,对于当下中国的工业化和城市化进程有着重要的实际意义。

摘要：使用硬件方法求解SAT问题,采用现场可编程门阵列(FPGA)技术,针对大规模实际系统的CNF公式实例,定制化编译和转换为FPGA芯片,并完全依据FPGA硬件完成SAT满足性求解过程.

摘要：针对传统关键词匹配检索存在的缺陷,论文深刻剖析了语言信息量化机制及词间的语义关系,采用语义空间转换成可以量化的信息量空间,设计了一种基于语义理解的中文智能信息检索模型,从语言量化机制及语境双层次上阐述了模型的设计思想。在分析提取用户检索语义机制的基础上,提出一种计算用户查询语句语义与文档语义及语境相关度的新方法。实验表明这种检索方法可以提高搜索引擎的查全率和查准率。

摘要：针对动中通系统在跟踪状态下可能失去空中目标、纯机械扫描系统搜索速度慢等问题,设计了一种基于现场可编程门阵列(FPGA)的新型动中通地面系统。系统天线接收的信号经射频处理输入数字信号处理器,运算得到相关信息,以判断目标方位。上位机控制整个系统的工作状态,有良好的人机交互,系统可在失去空中目标后快速搜索或跟踪。水平方向上由直流电机驱动天线阵对360°方位扫描覆盖,俯仰方向上采用不同角度的波束切换,在短时间内依据能量准则定位空中目标方位,提高了动中通系统的运行效率。

摘要：研究自由曲面的高精度匹配技术。采用两步法即粗匹配和精匹配对曲面匹配进行逐步求精:采用微分进化算法进行粗匹配,获得下一步精匹配迭代过程的初始点,解决了迭代最近点算法(ICP)存在的容易收敛于局部最优点的问题,并克服了遗传算法收敛速度较慢的缺陷;基于最小二乘准则和最小条件原则,分别采用单纯形法和坐标轮换法循环计算进行精匹配,同时对设计变量进行尺度变换,改善了优化设计数学模型的性态。以Visual C++6.0为开发工具,编程实现了自由曲面的高精度匹配。运行实例表明,上述算法是可行和有效的。

摘要：电力电子器件热分析是当今电力电子技术研究的一个重要发展方向.该文以PLECS软件为平台,以Boost电路为对象,对开关器件进行热分析.借助于PLECS的热模块对开关器件的温度、开关损耗和导通损耗进行分析,提出一种新的热损耗分析方法,为实际器件选择和散热器设计提供参考.

摘要：为了更好地利用太阳能资源,提出一种基于智能调光的光纤导光照明系统设计方案。通过对集光器进行优化设计、采用两级定位跟踪模式来提高太阳自动跟踪器的跟踪精度等措施,系统能最大程度地将太阳光导入到光纤以提高系统的光利用率;同时,通过提高跟踪器的跟踪稳定性和增设智能调光功能等措施,使之能克服天气多变、跟踪抖动等因素所导致的光强波动问题,系统的光强稳定度得到了提高。实验测试表明,系统可以获得较好的照明品质,具有一定的应用推广价值。

摘要：采用水提醇沉法提取八角叶多糖,苯酚-硫酸法测定了八角叶的多糖含量。利用正交设计方法优化得到最佳提取工艺条件为:提取温度75℃、料液比1∶50、提取时间3h、提取次数2次,所得八角叶粗多糖产率达12.87%,粗多糖中多糖总含量为28.22%。