矩形板动力响应计算的迁移子结构法

矩形板动力响应计算的迁移子结构法杜国君，陈继荣（东北重型机械学院，齐齐哈尔）ＴＨＥＴＲＡＮＳＦＥＲＳＵＢＳＴＲＵＣＴＵＲＥＭＥＴＨＯＤＡＢＯＵＴＤＹＮＡＭＩＣＲＥＳＰＯＮＳＥＣＡＬＣＵＬＡＴＩＯＮＯＦＲＥＣＴＡＮＧＵＬＡＲＰＬＡＴＥＳ￥ＤｕＧｕｏ－ｊ...     

EUCLID3

ＥＵＣＬＩＤ３ＥＵＣＬＩＤ起源于法国国家科学研究中心，由法国ＭＡＴＲＡ集团的ＭＡＴＲＡ－ＤＡＴＡＶＩ－ＳＩＯＮ公司加以商品化，并于８０年代后期合并法国雷诺汽车公司的权威的曲面设计与制造软件ＵＮＩＳＵＲＦ与ＳＵＲＦＡＰＴ，成为以实体造型为基础的、以面向...     

整矩阵的MT分解及MT过程

整矩阵的ＭＴ分解及ＭＴ过程张知难，张建宁（新疆大学）陈伟侯（北京农业大学）ＴＨＥＭＴＤＥＣＯＭＰＯＳＩＴＩＯＮＡＮＤＭＴＰＲＯＣＥＳＳＯＦＮＯＮ－ＳＩＮＧＵＬＡＲＩＮＴＥＧＥＲＭＡＴＲＩＣＥＳ￥ＺｈａｎｇＺｈｉ－ｎａｎ；ＺｈａｎｇＪｉａｎ－ｎｉｎｇ（...     

运输问题的Alphabeta算法的分析

运输问题的Ａｌｐｈａｂｅｔａ算法的分析刘诚，杨承恩（长沙铁道学院）ＡＮＡＮＡＬＹＳＩＳＯＦＴＨＥＡＬＰＨＡＢＥＴＡＡＬＧＯＲＩＴＨＭＦＯＲＴＨＥＴＲＡＮＳＰＯＲＴＡＴＩＯＮＰＲＯＢＬＥＭ￥ＬｉｕＣｈｅｎｇ；ＹａｎｇＣｈｅｎｇ－ｅｎ（ＲｅｓｅａｒｃｈＤ...     

空间表面三角形二次单元网格自动剖分

空间表面三角形二次单元网格自动剖分张德贤，刘筱连，师汉民，陈日曜（华中理工大学机械工程一系）ＡＵＴＯＭＡＴＩＣＧＥＮＥＲＡＴＩＯＮＯＦＴＲＩＡＮＧＵＬＡＲＳＩＸ－ＮＯＤＥＥＬＥＭＥＮＴＳＯＦＴＨＲＥＥ－ＤＩＭＥＮＳＩＯＮＡＬＳＵＲＦＡＣＥＳ￥Ｚｈａｎ...     

Schwarz多重网格法在跨音速流场计算中的应用

Ｓｃｈｗａｒｚ多重网格法在跨音速流场计算中的应用欧阳洁，聂铁军（西北工业大学应用数学系）ＴＨＥＡＰＰＬＩＣＡＴＩＯＮＯＦＳＣＨＷＡＲＺ－ＭＵＬＴＩＧＲＩＤＦＯＲＣＯＭＰＵＴＩＮＧＴＲＡＮＳＯＮＩＣＦＬＯＷＳ￥ＯｕｙａｎｇＪｉｅ；ＮｉｅＴｉｅｊｕｎ（Ｄ...     

LOCAL INTERPOLATING BLENDED B－SPLINE SURFACE AND ITS CONVERSION TO THE NURBS SURFACE

ＬＯＣＡＬＩＮＴＥＲＰＯＬＡＴＩＮＧＢＬＥＮＤＥＤＢ－ＳＰＬＩＮＥＳＵＲＦＡＣＥＡＮＤＩＴＳＣＯＮＶＥＲＳＩＯＮＴＯＴＨＥＮＵＲＢＳＳＵＲＦＡＣＥＷａｎｇＬａｚｈｕ；ＺｈｕＸｉｎｘｉｏｎｇＬＯＣＡＬＩＮＴＥＲＰＯＬＡＴＩＮＧＢＬＥＮＤＥＤＢ－ＳＰＬＩ...     

A DIRECTED GRAPH ALGORITHM OF VARIATIONAL GEOMETRY BASED ON GEOMETRIC REASONING

ＡＤＩＲＥＣＴＥＤＧＲＡＰＨＡＬＧＯＲＩＴＨＭＯＦＶＡＲＩＡＴＩＯＮＡＬＧＥＯＭＥＴＲＹＢＡＳＥＤＯＮＧＥＯＭＥＴＲＩＣＲＥＡＳＯＮＩＮＧＸｕｅＨｏｎｇｙｕａｎＳＭＯＯＴＨＳＵＲＦＡＣＥＩＮＴＥＲＰＯＬＡＴＩＯＮＯＶＥＲＡＲＢＩＴＲＡＲＹＴＲＩＡＮＧ...     

结构动力响应计算的瞬时界面关连矩阵法

结构动力响应计算的瞬时界面关连矩阵法杜国君，彭天国（东北重型机械学院）ＴＲＡＮＳＩＥＮＴＢＯＵＮＤＡＲＹＳＵＲＦＡＣＥＲＥＬＥＶＡＮＴＭＡＴＲＩＸＭＥＴＨＯＤＦＯＲＣＡＬＣＵＬＡＴＩＮＧＤＹＮＡＭＩＣＲＥＳＰＯＮＳＥＯＦＳＴＲＵＣＴＵＲＥ￥ＤｕＧｕｏ...     

实对称矩阵最大特征值极小化问题的一个BT型ε－次梯度算法

实对称矩阵最大特征值极小化问题的一个ＢＴ型ε－次梯度算法叶东毅（福州大学计算机科学系）ＡＢＴＴＹＰＥε－ＳＵＢＧＲＡＤＩＥＮＴＡＬＧＯＲＩＴＨＭＦＯＲＭＩＮＩＭＩＺＩＮＧＴＨＥＧＲＥＡＴＥＳＴＥＩＧＥＮＶＡＬＵＥＯＦＡＲＥＡＬＳＹＭＭＥＴＲＩＣＭＡＴ...     

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

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

类别不平衡的多任务人脸属性识别

属性的识别对物体的识别起到了比较重要的作用,例如人脸验证和场景识别。提高属性的识别率对后面基于属性特征的应用的正确率有很大的影响。近些年来,有些工作也开始关注于属性的学习,而很多的工作都是基于属性之间独立的假设,但在实际中很多的属性都是强相关的,例如没有胡子和女性,光头和头发的颜色;很多的工作忽略了类别之间的不平衡性,例如光头的样本比例可能只占样本的很小一部分。基于这2个观察,本文提出一种基于多任务的类别不平衡的人脸属性识别网络架构,该网络结构是由Densenet修改而来。该方法比以往的方法效果要好,一定程度上缓解了不平衡问题,且参数少,计算效率更高,在公开人脸属性数据集CelebA和LFWA上的实验验证了该方法的有效性。     

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

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

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

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

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

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

Integration | Innovation | Inclusion: Values,Variables and the Design of Human Environments

Complexity, complication, contradiction, consumption, confusion, delusion, depression. Opportunity, inspiration, ingenuity, compassion, wisdom. Our world is perplexing, our times are fast moving, and our choices are many. To find an appropriate path is a daunting yet vital challenge that confronts us as individuals, as communities, and as a civilization. How sustainable is our world? How reasonable are our behaviors? The present article is a collection of thoughts on a series of intertwined issues related to the contemporary world, its environmental dimensions, and their present-day problems. The goal is to survey the landscape through a lens of Environmental Design, to provide some perspectives, to raise some questions, and to explore systems, beliefs, and values informing and influencing actions. It is important to consider how people's belief systems influence, inform, and shape actions. This holds true in realms political, spiritual, and cultural. It also proves relevant in the ways in which we imagine, design, develop, and construct our buildings, cities, spaces, and places.

Appropriate solutions to some of our most daunting problems will arise through the concerted efforts, open dialogue, and collective wisdom of the wide array of stakeholders, professionals, politicians, decision makers, and citizens (both engaged and disenfranchised) who have the will and wherewithal to make a difference and to make the world safer, healthier, and better. It seems vital for us to critically examine, and question, our belief systems and their connections to the ways we define, refine, and realize progress. Architecture and Environmental Design, in both a philosophical and a practical sense, reflect as well as form greater aspirations, directions, and events of our times.     

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

针对未知环境中移动机器人的实时路径规划问题，提出一种基于量子蚁群优化(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).