Complete Boolean Satisfiability Solving Algorithms Based on Local Search

Boolean satisfiability (SAT) is a well-known problem in computer science, artificial intelligence, and operations research. This paper focuses on the satisfiability problem of Model RB structure that is similar to graph coloring problems and others. We propose a translation method and three effective complete SAT solving algorithms based on the characterization of Model RB structure. We translate clauses into a graph with exclusive sets and relative sets. In order to reduce search depth, we determine search order using vertex weights and clique in the graph. The results show that our algorithms are much more effective than the best SAT solvers in numerous Model RB benchmarks, especially in those large benchmark instances.     

综合优度法和不一致性法的最优分割参数选择方法

分割参数的选择直接决定着影像对象的大小、形状。因此如何选择最优的分割参数显得尤为重要。用局部标准差和局部Moran指数构建了新的优度度量函数,然后与通过不一致性法选择的分割参数进行比较,进而选取综合的最优分割参数。通过对高空间分辨率IKONOS影像上农田、草地、池塘和建筑物等4种不同类型地物进行实验,表明不同地物类型具有不同的最优分割参数区间,且分别使用本研究所提出的优度法和不一致性法所得度量参数具有基本一致的最优参数分布区间。进而,通过对最优分割参数和其他分割参数下的分割结果进行影像分类,分类结果的精度评价表明综合两种度量方法得到的最优分割参数可获得最佳的分类结果。     

捷联式惯导系统在车辆监控中的实现与应用

在道路交通飞速发展的今天,道路安全问题日益成为社会关注的焦点。特别是危化品货物的道路运输安全问题,已成为交通运输管理部门面临的重大难题。依据捷联式惯导系统和四元数法,提出车辆实时监控模型,并应用在危化品运输智能监控平台中。实验结果表明该模型是有效可行的。     

伪三色LED图文显示屏的设计及实现

介绍由８０３１单片机控制的伪三色ＬＥＤ图文显示屏的构成,硬件结构和抗干扰措施。     

基于SOA架构的立法决策支持系统研究

党的十八大报告将“全面推进依法治国”确立为推进政治建设和政治体制改革的重要任务,而立法工作是其中最重要的基础工作.立法工作相关信息化系统的建设为立法工作提供了重要技术支撑,而随着立法工作中各项业务系统的联系性需要更加紧密,集成度要求越来越高,信息资源的共享范围需要越来越广,使得各业务系统的互联互通和流程规范化等问题成为了立法工作信息化建设必须要面对的一个关键问题.单个的业务系统拓展、功能强化、硬件升级已经不能满足要求,而基于ESB（企业服务总线enterprise service bus）的架构平台,以服务作为基本管理单元提供了很好的解决方案,它可以消除不同业务系统之间的技术差异,让不同业务系统协调运作,从而实现不同业务之间的通信与资源整合.     

车载姿态测量系统的开发

开发了一种基于FPGA的捷联式车载姿态测量系统.自主设计了微惯性测量单元(MIMU)和基于USB2.0接口的数据采集卡,并应用Visual Basic 2005开发了数据采集与处理软件,最后通过实车道路试验对本测量系统的可行性进行了验证.     

基于ArcEngine和C/S构架的矿产资源管理系统开发

基于组件式GIS（Geographical Information System）思想,在Java平台下,以Oracle为后台数据库,通过以下技术的实施：ArcEngine实现地图表现、Java存储过程实现Oracle远程逻辑备份与恢复、ArcSDE实现空间数据存储,成功开发了攀枝花市矿产资源管理系统,并取得良好应用效果。系统的应用和实践促进了该市矿政管理信息化建设进程。     

平稳小波变换在膈肌肌电降噪中的应用

为了去除膈肌肌电中的心电干扰,提出了一种基于平稳小波变换的“逆向”硬阈值的降噪方法.首先,对临床的膈肌肌电信号进行平稳小波变换,根据小波系数检测QRS并确定心电干扰范围;其次,逐层估计心电周期范围的小波系数均方差,并且通过均方差计算各个心电干扰的阈值;最后,对各层心电干扰范围小波系数进行“逆向”硬阈值处理,并进行小波逆变换得到降噪后的信号.实验结果表明,该方法能够有效地去除膈肌肌电信号中的心电干扰,并且能够较好地保留膈肌肌电信号的信号特征.     

基于手绘草图的概念设计工具研究与设计

从认知心理学的角度,研究了概念设计的过程,探讨性地指出辅助设计工具应当以灵感为中心。阐述了适合概念设计过程的新的设计方法和交互技术,并介绍了基于手势的草图技术及新一代交互范式——PIBG交互范式。全面分析了约束捕捉、约束求解等关键问题,最后在此基础上给出智能图板系统的设计与实现,为用户提供了一种自然和谐的界面。     

An on-chip micro-friction tester for tribology research of silicon based MEMS devices

An on-chip micro-tribotester has been developed to investigate the friction and wear properties on side contacting surfaces of single crystal silicon that is most widely used in usual microelectromechanical systems actuators. The device is fabricated with standard bulk silicon process and bonding technology based on parameters that have been theoretically calculated to get the stiffness and friction forces. In this device, two comb shuttles are used. One comb shuttle is used to contact the friction surfaces under a certain normal load. The other comb shuttle moves back and forth to provide relative motion between the two friction surfaces. The tested two surfaces are the top surface of an anchor with rounded end and the lateral surface of a beam that has been connected to the two comb shuttles. Tribology experiments on the etched silicon surfaces that are side contacted have been carried out. Friction coefficients testing results suggest that dynamic friction coefficient is about 0.31–0.33 and the obtained static friction coefficient increases with the decrease of normal force. Wear experiment indicates that oxidation happens between the rubbing surfaces during the course of the testing. Wear debris is collected as agglomerates because of the function of adhesion force and water vapor and the agglomerates that are collected on top and lateral surfaces are of different shapes.