抽象数据类型条件方程的求取

抽象数据类型的代数规格说明关键在于条件方程的求取。如果能获得简明的条件描述，那么就容易写出条件方程。本文讨论了抽象数据类型的规格说明问题，并提出了基于串和数组求取条件方程的方法，同时给出了若干典型实例，并对求取条件方程方法的正确性作了讨论。     

块三对角矩阵局部块分解及其在预条件中的应用

该文利用块三对阵角阵分解因子的估值分析了其局部依赖性，并用其构了一类不完全分解型预条件子，给出了五点差分矩阵预条件后的条件数估计，并比较了条件数估计值与实际值，表明了估计值的准确性与预备件的有效性，在具体实现时，考虑了预条件的6个串行实现方案并提出了一个有效的并行化方法，该并行算法具有通信量少的特点，最后在由4中微机通过高速以太网连成的机群系统上作了大量数值实验，并将其与其它较效的预条件方法进行了。结果表明该预条件方法效果较好，尤其适用于并行计算。     

一种连续条件属性值的决策表的归纳学习方法

对由连续条件属性值和离散决策属性值组成的决策表，提出了一种归纳学习方法。把决策表中的连续条件属性值看作一矩阵，进行矩阵的奇异值分解，以确定决策表条件属性的数目。用模糊C均值聚类的方法对连续条件属性值进行不同聚类数目的聚类，得到不同聚类数目下的离散决策表，对这些决策表进行条件属性简化，从而得到不同的条件属性数目。比较矩阵奇异值分解后决策表条件属性的数目和上述不同聚类数目下的离散决策表简化后的条件属性的数目，并考虑决策属性的数目，确定最终的聚类数目。在此基础上，给出了由连续条件属性值和离散决策属性值组成的决策表的归纳学习方法，并验证了其有效性。     

粒子过滤器在眼睛跟踪中的应用

提出了一种实时的眼睛跟踪算法，它能在各种照明条件和各种脸部姿势条件下很好地工作．与传统的基于瞳孔亮度的方法比较，此方法不仅克服了各种条件的限制，而且提高了跟踪的正确率．实验研究表明与目前存在的技术相比，该方法有很大地改进．     

控制受限情况下变结构系统的全局稳定性

本文指出了滑动模态到达条件ｓｓ〈０的局限性，用新的方法研究了控制受限情况下变结构控制的全局稳定性，给出了变结构控制实现的新条件，并由此条件考虑了用非线性切换函数提高运动快速性的问题。     

目标识别中信息融合的准则和方法

本文用信息论的观点，给出了在设计单个分类器时使系统性能得以提高的条件，基于群组决策理论和模糊积分方法提出了一种多证据条件下进行信息融合的方法．该方法被用于被动声纳目标分类，数值模拟表明了该方法的有效性.     

基于信息约束的数据库查询界面的自动生成

在分析了现有数据库用户查询界面和条件生成在数据库应用中存在的问题后，基于面向对象的概念，提出了可视对象数据描述表结构、信息来源和取值方式等约束的用户查询界面和条件的生成方法，并给予了形式化描述。查询条件的生成采用的是合取范式的标准形式，用户界面的生成采用了标准的可视对象。该方法已经得到了实现，并在实际系统中获得了应用。     

基于信息几何构建朴素贝叶斯分类器

朴素贝叶斯分类器是机器学习中一种简单而又有效的分期方法。但是由于它的属性条件独立性假设在实际应用中经常不成立，这影响了它的分类性能。本文基于信息几何和Fisher分，提出了一种新的创建属性集的方法。把原有属性经过Fisher分映射成新的属性集，并在新属性集上构建贝叶斯分类器。我们在理论上探讨了新属性间的条件依赖关系，证明了在一定条件下新属性间是条件独立的。试验结果表明，该方法较好地提高了朴素贝叶斯分类器的性能。     

无创在体血气测量中条件参数的测控技术

为保证无创在体血气测量的有效性，必须对测量条件参数进行恒定性控制。介绍了实现条件参数测控的一种探头设计，提出了条件参数的控制方法和工作过程。     

滞后不确定性系统的鲁棒控制

无关满足匹配条件的不确定性时滞系统，文［５］用黎卡提方程方法研究了只有单一常值状态时滞的情形，给出了状态反馈闭环系统鲁棒稳定的一个充分条件。本文采用线性 阵不等式方法研究一般情形，即所考察不确定性系统既具有多重时变状态时滞又有多重时变控制输入时滞，并减弱了对系统的限制条件，得出了这类系统可状态反馈镇定的充分条件：一个线性矩阵不等式有解，最后的例题说明了本方法的有效性和较黎卡提方程方法的优越性。     

基于大数据技术和特征推荐的就业信息管理平台的设计

就业工作是职业院校的一项重要工作,就业信息管理平台是学校就业指导、管理和服务的重要手段。就业信息管理平台应用效果的关键是招聘职位的数量和质量,其核心是能根据学生的就业期望,实现职位的有效推荐,同时,构建政府、企业、学校、学生之间快速沟通的渠道,提高就业指导和服务水平,提供就业调查反馈和就业统计分析功能,为专业人才培养的优化提供支撑。本文对就业信息管理平台的功能进行分析,利用软件工程的思想和统一建模工具,使用Web技术、爬虫技术、数据库技术、大数据处理技术和推荐算法对就业信息管理平台进行了设计与实现,实践表明,该平台能有效满足个性化就业需求,提高就业管理的质量和服务水平。     

一种基于SURF与地理格网模型的增强现实方法

图像识别与匹配是增强现实领域研究与应用的基础和关键,针对户外场景的广域性和随机性,以及目标纹理结构相似性等问题,提出一种基于SURF与地理格网模型的增强现实方法。该方法根据目标场景与地理位置的相关性,检测图像特征点并生成Location-SURF图像特征描述,基于地理格网模型构建空间四叉树索引,建成静态特征样本库。将视频帧、位置和角度信息生成特征图像,上传至服务端解析运算并与样本库训练匹配。选取宁波环球航运广场约0.376km2的区域,采集270余幅图像数据构建样本库并开展试验,通过现场图像的实时采集和计算,能够实现特征点的在线匹配,在此基础上通过调整点位距离比例的阈值,能够提升匹配的准确程度。基于该算法开发移动增强现实系统,运用四层技术架构实现了终端采集显示和服务端分析计算的并行化,达到真实场景与虚拟信息的融合显示效果。系统应用结果表明：该算法可以解决复杂环境下场景图像识别匹配率不高的问题,可快速地完成特征点的检测和提取,能够有效地进行样本训练和匹配,对户外移动增强现实进行了有益尝试并提供一种有效的途径。     

多约束下多无人机的任务规划研究综述

高度信息化的发展使得无人机作战优势凸显。准确的无人机任务规划技术是完成给定任务的重要保障。任务分配、路径规划是构成无人机任务规划技术的两个核心部分。基于该技术,首先讨论了无人机任务规划的发展状况、分类标准、体系结构。其次,分别详细介绍了影响任务分配、路径规划的重要指标,如分类标准、约束指标、相应模型、代表算法、评价指标等,然后,分别分析对比求解任务分配的启发式算法、数学规划方法、随机智能优化算法的优缺点和求解路径规划的数学规划方法、人工势场法、基于图形学法、智能优化算法的优缺点;最后,总结了无人机任务规划存在的开放性问题、未来发展方向和研究重点。     

基于开口度和扭转角的吊钩形变检测算法

针对传统人工吊钩检测中测量工具复杂、测量精度低、效率低、准确性差等问题,提出一种综合点云分割、圆柱中轴提取以及模型对称面提取这3种算法设计实现吊钩形变检测算法。通过重新定义吊钩开口度,采用上述3种算法的结合,提取开口度的2个参照点,并通过点云分割以及对称面提取的结合,获取吊钩的扭转角。实验结果证明,相较于传统人工检测,提出的算法检测时间短,测量精度高,使用工具少,可追溯性强。     

负载均衡技术在并行化符号执行中的应用

动态符号执行在一定的并行算法下是可以并行化的,而且研究发现并行下的路径搜索任务之间没有偏序关系。并行化下的任务调度经常采用集中式策略,但传统的集中式策略由于任务分发的问题,易产生处理单元空闲等待的情况。基于以上分析,本文先采用任务队列缓冲区解决处理单元空闲等待的问题,其次,抓住并行任务无偏序关系的特点,无需考虑任务的执行优先级,只需用负载均衡技术保证各处理单元的工作负荷大致相等即可。实验证明,集中式策略的改进和负载均衡技术的使用显著提升了并行化符号执行的效率。     

基于属性优先关系的多用户Skyline查询处理算法#br#

Skyline查询为多目标决策等问题提供了解决方案。每个用户对数据属性的优先关系的需求不同,传统算法无法有效解决多用户场景下的偏好Skyline查询。针对该问题,提出一种基于属性优先关系的多用户偏好Skyline查询算法--MUPS算法。该算法基于属性权重对原始Skyline结果集通过新的σ-支配方式进行剪枝;同时,通过交互动态修正属性的权重大小,使最终结果更符合用户群的真实偏好需求。最后,在模拟和真实数据上验证MUPS算法的有效性和良好的交互性能。     

未知环境中基于量子蚁群优化的移动机器人实时路径规划

针对未知环境中移动机器人的实时路径规划问题，提出一种基于量子蚁群优化(QuantumAntColonyOptimization,QACO)算法。本文方法中，每只蚂蚁携带一组量子比特从而增大了算法搜索空间，并采用量子旋转操作来增加种群位置的多样性，避免过早收敛，有利于算法跳出局部最优。在栅格环境模型的基础上建立激光探测模型，当激光探测模型探测到有威胁的障碍时，调用本文方法来重新规划路径，直至机器人避开障碍。最后，仿真实验表明本文方法的有效性、快速性及稳定性。     

ARCADE — An architecture for CAD in electronics

Ever since the introduction of computers in development and engineering departments, design activities have been supported by computer methods in a growing number of design functions, in the interest of reducing development time and cost, and increasing the quality of the products. Computer Aided Design (CAD) — a generic term for these computerized tools — is recognized as a method for drastically reducing the development time of industrial products.CAD methods are currently being used during each of the various phases in the development activity. The introduction of these CAD tools for the various stages in the development cycle, however, was to a large extent effected in isolation, i.e. not as a “subset” of an overall concept. Lack of such a concept, with its inherent disciplines and compatibility aspects, has given rise to sub-optimal efficiency and effectivity. To remedy this situation, a generalized architecture for CAD has been developed. This architecture drastically reduced the large variety if input methods, combines all product data in one well-structured product file, supports all necessary design functions, assures the proper generation of technical documents, and above all, facilitates maximum efficiency by integrating the processes for various stages in the development cycle.The essentials of ARCADE will be described in this article, together with how the system is designed.The “ARCADE” way and method of working in an organization in which development, engineering, manufacturing, logistic and documentation departments are concerned with technical automation issues will, as such, be discussed.Benefits will, of course, also be elucidated.     

基于动态调整惯性权重的混合粒子群算法

标准粒子群算法（ParticleSwarmOptimization,PSO）在求解高维非线性问题时容易陷入局部最优解,针对此种情况,提出一种基于Sigmod函数的新的非线性自适应权值调整策略。此外,选用拉丁超立方体抽样的方法产生均匀的初始种群,采用小生境淘汰策略增强算法全局寻优能力。最后选用6个标准测试函数对该改进算法进行性能测试。结果表明,改进的粒子群算法在收敛速度和收敛精度以及全局最优解的获取方面均取得了满意的效果。     

Focus points and convergent process operators: a proof strategy for protocol verification

We present a method for efficiently providing algebraic correctness proofs for communication systems. It is described in the setting of μCRL [J.F. Groote, A. Ponse, The syntax and semantics of μCRL, in: A. Ponse, C. Verhoef, S.F.M. van Vlijmen (Eds.), Algebra of Communicating Processes, Workshops in Computing, Springer, Berlin, 1994, pp. 26–62] which is, roughly, ACP [J.C.M. Baeten, W.P. Weijland, Process Algebra, Cambridge Tracts in Theoretical Computer Science, vol. 18, Cambridge University Press, Cambridge 1990, J.A. Bergstra, J.W. Klop, The algebra of recursively defined processes and the algebra of regular processes, in: Proceedings of the 11th ICALP, Antwerp, Lecture Notes in Computer Science, vol. 172, Springer, Berlin, 1984, pp. 82–95] extended with a formal treatment of the interaction between data and processes. The method incorporates assertional methods, such as invariants and simulations, in an algebraic framework, and centers around the idea that the state spaces of distributed systems are structured as a number of cones with focus points. As a result, it reduces a large part of algebraic protocol verification to the checking of a number of elementary facts concerning data parameters occurring in implementation and specification. The resulting method has been applied to various non-trivial case studies of which a number have been verified mechanically with the theorem checker PVS. In this paper the strategy is illustrated by several small examples and one larger example, the Concurrent Alternating Bit Protocol (CABP).