求解高次方程的一个异步并行迭代算法

用高次方程正项分解方法，将求解实系数高次方程非零实数根的问题，转化成求解两单调上升凹函数在平面直角系第一象限内交点横坐标的等价问题；给出了基于共享存储多指令流多数据流(MIMD)并行计算模型求解任意实系数高次方程全部实数根的大范围收敛性异步并行迭代算法，并分析了算法计算的复杂程度。     

低空空域飞行冲突避让算法

为了预防航空器在低空空域飞行中发生相撞，根据空中交通管理规则的飞行间隔规定，采用速度矢量三角分析法，分析了避免冲突的基本条件，确定了航空器B与航空器A的速度矢量关系，提出了调整速度和改变航向两种解决方法，推导出速度和航向改变量的计算公式。通过系统演算和DRS-98型雷达管制模拟机的验证表明，在任何情况下都能够使用改航法避让飞行冲突，航空器之间的距离和航向差越大，航向的改变量就越小；当航空器之间的距离大于6倍的飞行间隔时，应当使用调速法避让飞行冲突，这样航空器可以继续保持原定的飞行航线。     

基于模糊神经网络的Horn集上的输入归结

关于定理机器证明的归结原理已应用到人工智能的很多领域，同时提出了各种改进方法，其中，输入归结是一种非常好的推理方法，它对于Horn集是完备的，模糊神经网络是模糊逻辑与神经网络的融合，文中利用模糊神经网络的知识表示及学习的特点，结合输入归结的优点，进行Horn集上的输入归结。     

Modeling traffic operation at signalized intersections without explicit left‐turn yielding rules with an enhanced cell transmission model

This paper presents an enhanced cell transmission model (CTM) to capture traffic operation at signalized intersections without explicit permissive left‐turn yielding rules (i.e. aggressive permissive left‐turn maneuvers may not necessarily yield to opposing through traffic), which can be widely observed in many developing countries. Different from previous studies that focus on traffic dynamics on approaching links, this study contributes to modeling traffic operations within the intersection. A novel cell transmission framework with various types of virtual cells is proposed to model the dynamics of traffic movements from approach to exit. The unique phenomenon of competitive occupying of the conflict point between the left turn and opposing through movements is modeled. The cell state indicating its blockage is proposed to capture the dynamic queue formulation and dissipation and to evaluate the operational traffic performance at the intersection. Field validation results show that the proposed model can capture the operation of traffic at signalized intersections without explicit permissive left‐turn yielding rules with significantly higher level of accuracy than traditional traffic flow models. Copyright © 2016 John Wiley & Sons, Ltd.     

本田HG7230轿车可变气门机构故障诊断与排除

根据由可变气门（VTEC）控制机构的控制线路断路引发的低速工作时动力不足、高速工作时油耗增加的现象,阐述本田轿车VTEC控制机构的结构原理和故障检修方法,从而排除故障。     

STUDY ON CONFLICT MANAGEMENT FOR COLLABORATIVE DESIGN SYSTEM

IntroductionAdvances in computer networks and informationtechnology have enabled product designers tomore effectively communicate,collaborate,ob-tain and exchange a wide range of design re-sources during product development.ComputerSupported Cooperative Work( CSCW) describesa research area concerned with people working ingroups and computer systems supporting them,and collaborative design is an important applica-tion of CSCW.Collaborative design has typicallydistributed multiple functional…     

A query resolution engine to handle a path operator with multiple paths

An end-user query of a Geographical Information System (GIS) can formally be defined as the application of a set of operators (spatial or not). Geographical Information Systems used for Transportation (GIS-T) must provide a path evaluation operator. For example, an end-user query may involve a selection based on alphanumeric criteria, an evaluation of path, and a spatial intersection. This composition of operators and the fact that the evaluation of a path may not provide a unique result impose the definition of a query resolution model or a database query language able to support this composition. In this paper we present a query resolution model. The use of multi-criteria analysis and the definition of aggregates in a query (nearly mandatory) may involve ambiguities in the final presentation of the results to an end-user. The formal modeling of query results must take into account this risk. The philosophies of a query definition and the presentation of the results may be different (e.g., formular vs visual). The management of query results must take into account the data model associated with the query results, the results themselves (metabase/database), and the interpretation. The interpretation avoids errors due to visual ambiguities of an operator with an aggregate function.     

高速铁路列车运行冲突判定及其实现

为了提高高速铁路行车调度水平,保障行车安全,研究了车站间隔时间冲突、区间冲突、到发线运用冲突、行车作业与维修作业冲突、列车运行与旅客换乘时间冲突、动车组接续时间冲突和跨线列车跨线时间冲突7类冲突的判定方法.根据高速铁路列车运行冲突的判定依据,运用时间拓扑矩阵理论,建立了事件时间片时态关系的计算准则,实现了列车事件的时间逻辑判断.将高速铁路列车运行冲突判定分为到发线运用冲突判定和其他类型冲突判定,提出了冲突判定的思路和步骤.应用实例表明:利用上述列车运行冲突判定规则和时间拓扑矩阵模型的组合,能够实现各类列车运行冲突的实时判断,满足高速铁路行车指挥的需要.      

三轴磁传感器性能标定方法研究

三轴磁传感器被广泛应用于空间磁场测量。利用高精度磁环驱动器、16位A/D、D/A数据卡和格拉斯磁环构建了三轴磁传感器的灵敏度和分辨率标定系统。依据当地地磁场垂直分量为35uT的特性得出了传感器3.52V/Gass的灵敏度。建立闭环测试系统的基础上,通过对采集到信号进行滤波去噪和功率谱分析,对比分析得到传感器的分辨率是6nT。     

水泥砼路面的水损害及防治措施

首先分析了水泥砼路面产生水损害的现象和原因,然后提出了阻止水进入路面结构、采用路面内部排水系统和提高路面基层抗冲刷能力等主要措施来解决水泥砼路面的水损害.