SLAN-4?A Software Specification and Design Language

SLAN-4 (``Software Language-4') was developed to meet the need for a formal tool for specifying and designing large software systems. It provides language constructs for algebraic and axiomatic specifications and also pseudocode constructs for the design step. A major design goal was to ease subsequent refinements of a (given) specification. The design can start with a very informal specification, which can be implemented later using lower level concepts. This paper gives an overview of the SLAN-4 syntax and semantics. It concentrates on the most important aspects of: ? abstract data types, ? algebraic specification of abstract data types, and ? axiomatic specification of modules. Because the pseudocode part of SLAN-4 consists mainly of control structures similar to those in modern high-level programming languages, this element of the language is not separately described. The paper includes an example of how to use SLAN-4, and also the experiences gained in using the language to formally specify a real-world software product of about 18 000 lines of code written in an IBM internal high-level language.     

先进制造与可持续城市发展

“工业4.0” [17,、18、 28]、“工业互联网”[15、16]和“中国制造”[3]是3个经济上高度相关的话题,它们都关乎当前国际价值网络的未来。实现“先进制造”的3个途径是针对即将到来的“第四次工业革命”而提出的,“第四次工业革命”的基础就是所有工业和服务的生产逐步数字化的过程[4]。这些长期规划和战略的制定基于现有的技术,即信息物理系统、物流网、分布式软件服务和云计算等。它们高度依赖于数字基础设施的水平和运作完好的物流系统,也对其所在的城市和地区产生影响。因此,对城市发展和先进制造之间的联系目前仍少有研究是个令人吃惊的现象,因为全球生产和物流会在相应制造战略的实施过程中引起重大变化。在工业领域内,与城市相关、可持续的经济活动将调整自身以适应新的地方、区域和全球ICT型的价值链和物流链。 　　由于全球范围内关于先进制造和城市发展之间的关系还没有充足的科学研究或实践经验,文章以探索的方式论述了一个学术和实践的新领域。首先,本文尝试建立一个假设,而不提出基于数据或案例的分析证据。我们在包含（1）高质量增长、（2）绿色城市经济和（3）可持续城市发展这3个概念的语境下讨论先进制造,这3个概念曾由德国国际发展公司（GIZ）做出过定义和释义[10、11]。绿色城市经济和大都市地区的可持续发展与增长方法的质量密切相关,在城市语境下,它们将涉及更广的范围并改变增长的质量。 　　高质量经济增长被视为高生产力、体面的就业的前提,后者进而对根除贫困和促进公平的社会经济发展起到了非常关键的作用[10]。GIZ从以下几方面定义了高质量增长。 　　精明增长：通过鼓励知识和创新型的经济发展提高生产力和竞争力。 　　可持续增长：使一代人的经济发展不会对后代造成负担的环境可持续性,以及向绿色经济的转型。 　　包容性/共享性增长：社会的所有部门都高产地参与到经济进程中。 　　弹性增长：减少经济波动,减缓经济发展受经济危机的危害或影响。 　　整合增长：改善商品和服务跨国流通的框架条件。 　　增长治理：建立强力机制和透明、参与式决策过程。 　　这几方面构成了颇有价值的框架,本文也将以之为分析的指南。在精明增长方面,很显然,对先进制造概念的理解有助于理解精明生产环境系统的概念。 　　绿色城市经济这个概念帮助城市利益相关者在城市语境中理解国际上和国内关于绿色经济的争论。这个概念基于这样的假设：在世界绝大部分已经是城市的未来,城市应该成为绿色经济转型的先锋。GIZ所定义的绿色城市经济的关键因素包括[2]： 　　包容的经济增长：“未来的发展战略必须不再只专注于量化的目标。相反,必须要有能造福所有人口组成部分的质的增长。尤其在城市中,贫富差距日益扩大,还有越来越多的人群不能充分参与社会和经济活动”[2]。 　　环境兼容性：“经济增长脱离资源消耗和温室气体排放是非常关键的一点。这是可以通过鼓励创新和环境无害的技术来实现的。由于其人口密度高,城市往往可以提供建立高效基础设施网络的机遇” [2]。 　　减少贫困：“包容、生态无害的增长必然要走向减少贫困和为人们在生活中提供机会。这需要产生更多的收入机会,尤其要为低收入人群和城市非正式产业提供收入机会,改善贫民和非正式住区居民获得基本市政服务的情况” [2]。 　　大都市地区的可持续发展是应对城市群和大都市地区需求,并努力提升其治理结构的的途径。GIZ认为有4个多部门的优先点是相关的[2]： 　　大都市地区作为创新产业地区：“大都市为地方、国家和全球商业的商品和信息的交流提供了场所。他们吸引知识型公司,并推进和落实可促进可持续经济活动的新想法。但是,为了实现这一点,必须要建立适当的框架” [2]。 　　大都市地区作为包容的劳动力市场和住宅中心：“大都市地区以其经济增长可创造广泛的服务类工作岗位,贫困人群也可从中受益[2]。” 　　大都市地区作为“密集纽带”网络：大都市地区把大量的人口、生产和消费集中在一个区域,它要消耗巨量的能源和自然资源。但是由于大都市地区存在着紧密交织的地理连接和部门连接,还是有很好的机会以提高其物质和能量循环的效率的” [2]。 　　大都市地区作为治理体系：“城市群需要新的治理结构以组织和控制它们所面临的多部门的挑战……”[2] 　　上述的3个途径：高质量增长、绿色城市经济和可持续城市发展,有不少相互重合和联系之处。高质量增长关注总体上的经济发展,而绿色城市经济和大都市地区可持续发展的概念把增长质量转化到城市发展的语境中。因此,我们取增长质量这个方法来作为分析的基础。     

Hyperplane arrangements for the fast matching and classification of visual landmarks

Many robotics and mechatronics systems rely on a fast analysis of visual landmarks. Recently, binary feature representations of the popular SIFT and SURF landmarks have been proposed that offer large speed improvements and low memory consumption at high accuracy. In this paper, we compare a binarisation based on median-centred hyperplanes to the dominating approach of random hyperplanes. We describe the algorithms in a joint taxonomy and show that the kernel for median-centred hyperplanes satiesfies Mercer’s condition. Speed and accuracy are benchmarked in a registration and classification task. Both methods achieve the same dramatic speedup in kernel evaluation. But we show that median-centred hyperplanes are faster in binarisation, find better matches and generalise better over pose and individual variation in the classification.