First-principles calculation of L10 -disorder phase equilibria for Fe–Ni system

By combining Cluster Variation Method with FLAPW electronic structure total energy calculations and the Debye–Grüneisen theory within quasi-harmonic approximation, L1₀-disorder phase equilibria for Fe–Ni system are calculated. The transition temperature, 483 K, determined in the present calculation is lower than that obtained in the previous calculation without thermal vibration effects. The decrease of the transition temperature is ascribed to the enhanced phase stability of a disordered phase due to the thermal softening of a lattice.     

2-Covered paths by a set of antennas with minimum power transmission range

In this paper we describe and solve the following geometric optimisation problem: given a set S of n points on the plane (antennas) and two points A and B, find the smallest radial range r∈^ℜ+ (power transmission range of the antennas) so that a path with endpoints A and B exists in which all points are within the range of at least two antennas. The solution to the problem has several applications (e.g., in the planning of safe routes). We present an O(nlogn) time solution, which is based on the second order Voronoi diagram. We also show how to obtain a path with such characteristics.     

线性自抗扰控制系统的鲁棒稳定性

针对线性自抗扰控制系统,研究了模型参数不确定情况下的鲁棒稳定性问题.首先给出对象为非自治模型时该系统的H∞判据.然后针对线性误差模型的状态矩阵只在某一行存在不确定参数的情况,基于奇异值理论,得到H∞判据的一种新的等价描述,把H∞范数约束转化为对奈奎斯特图的约束.之后为了降低新判据在实际应用中的保守性,对不确定性矩阵的分解方式进行优化.在此基础之上提出了一种新的方法,用于计算时变参数不确定性的最大边界,为线性自抗扰控制器设计提供理论依据.数值实例表明该方法不仅保守性小,而且计算简单.     

考虑客流拥堵的城轨网络脆弱性评估

考虑区段中断造成的客流拥堵,提出城轨网络脆弱性定量评估方法。利用动态客流分配模型模拟突发中断后客流在城轨时空网络中的分布情况,以乘客广义出行费用增长为指标衡量各运行区段的脆弱性,鉴别关键区段;并根据车站客流动态,确定应采取限流措施的车站与时段。以北京市轨道交通网络为例计算突发中断下各区段脆弱性,研究结果表明,复兴门至王府井区段、雍和宫至建国门区段和天通苑至大望路区段为该网络中的关键区段。当复兴门至王府井区段临时中断时,应在复兴门站、王府井站、大望路站与四惠东站实施限流,并在西单站与天安门东站实行封站。该方法能评估突发中断下城轨系统客流拥堵动态,为客运组织应急规划提供数据支持和决策评价。     

基于符号零压缩二叉决策图的装配可行性判定方法

为了扩大装配序列规划的求解规模并提高求解效率,提升装配自动化水平,给出了装配体联接矩阵和干涉矩阵的零压缩二叉决策图描述,建立了基于符号零压缩二叉决策图的装配操作可行性判定方法。基于该方法,可以高效地求解出一个装配体的可行装配操作。结合实例验证了基于符号零压缩二叉决策图的装配体模型和可行装配操作判定方法的正确性和可行性。     

Slice coherence in a query-based architecture for 3D heterogeneous printing

We report on 3D printing of artifacts with a structured, inhomogeneous interior. The interior is decomposed into cells defined by a 3D Voronoi diagram and their sites. When printing such objects, most slices the printer deposits are topologically the same and change only locally in the interior. The slicing algorithm capitalizes on this coherence and minimizes print head moves that do not deposit material. This approach has been implemented on a client/server architecture that computes the slices on the geometry side. The slices are printed by fused deposition, and are communicated upon demand.     

基于改进SLIC与区域邻接图的高分辨率遥感影像建筑物提取

针对传统SLIC超像素算法在高分辨率遥感影像上分割质量差的问题,提出一种基于降维的改进SLIC与区域合并的方法对建筑物进行分割.首先,对传统SLIC的五维计算进行降维简化,采用灰度特征信息替换色彩信息,减少LAB颜色空间五维特征向量表征的冗余;其次,采用区域邻接图对过分割图像进行合并;最后,对改进SLIC中的主要参数即超像素数目k、紧凑度m和迭代次数p对分割结果的影响做了分析与比较.实验表明：该方法不仅分割出了大部分的建筑物信息,还提高了算法的运行效率与空间效率.运行时间效率比传统SLIC提高了25.5%;对建筑物的提取精度能达到97.6%.     

基于通用知识的软件设计安全性评估

安全性作为软件系统的重要属性,越来越受到人们的重视．在软件开发的早期对安全性进行评估,对软件的质量控制和成本控制有着重要意义．当前的软件安全性评估主要依靠专家评审,结果的客观性及准确性常常受到专家主观意见的影响．通过使用通用知识作为评估依据,提出一种可以对UML顺序图形式的软件设计文档进行自动化分析的方法,可以发现软件设计中潜在的安全性漏洞．该方法可以减少结果中的主观性,同时,通过基于该方法的辅助工具的使用,可以大大提高评估效率．