知识经济:可持续发展的基础

对可持续发展与知识经济的关系进行了深入分析,提出了知识经济是可持续发展的基础,发展中国家要实现可持续发展,必须首先进入知识经济时代     

用样条函数法求重力异常二阶垂向导数和向上延拓计算

对于二元三次样条函数的插值问题,本文给出了插值系数的求法及利用样条函数求导数、不定积分和定积分的统一计算公式,并用二元三次样条函数对地质模型进行了重力异常二阶垂向导数和向上延拓的计算。模型试其值和理论值的比较结果证明了本文提出的方法精度高且方便实用。     

基于社会生态记忆的青山湖绿道场景构建策略

城市近郊的绿道作为区域绿地系统中的重要组成部分,是城镇居民使用率较高的绿地类型.基于社会生态记忆视角,以青山湖环湖绿道规划设计为例,研究如何保护绿地格局的完整性与生态环境的原真性,并让游客在场所中获得归属感与群体认同.规划设计正视场地变迁的时代印记,结合现阶段绿道发展的定位,针对每个发展阶段遗留的特征,保留、修复、融合...     

基于复杂接续面的蒙特卡罗接续计算方法研究

为了提高大型复杂问题的计算效率,提出一种适用于具有多个空间区域表面与复杂曲面型表面结构体的蒙特卡罗接续计算方法。该方法以结构体外边界面作为接续面源进行接续计算,将写源过程的计算结果与接续过程的计算结果之和作为计算的最终结果;该方法通过一次写源计算与多次接续计算,避免直接计算过程中对相同结构的重复计算,大大提升了计算效率。以MCNP程序建立典型反应堆结构计算模型,以该接续计算方法进行4种结构方案的计算,并与直接计算方法的计算结果进行对比。结果表明,该接续计算方法的计算结果与直接计算的计算结果一致,且使用该方法比直接计算方法在效率上取得了约3倍的提升效果。因此,本研究提出的蒙特卡罗接续计算方法对于涉及大量重复计算的大型复杂问题可以取得显著的效率提升。     

Tracing the equilibrium path beyond compound critical points

Procedures to handle critical points with coincident or nearly coincident buckling loads in a geometrically non‐linear continuation process are presented. The proposed branch switching algorithm is based on a Liapunov–Schmidt–Koiter‐type asymptotic reduction which is used for the prediction step into the post‐buckling range. A critical review of the existing methodology for the numerical treatment of post‐bifurcation branches at a multiple bifurcation point is also given. In the review the main emphasis is given to robustness, but also implementational issues and computational requirements are addressed. Some modifications to the existing algorithms are proposed in order to improve their robustness or efficiency. Numerical examples of a flat plate and a thin‐walled structure are shown. Copyright © 1999 John Wiley & Sons, Ltd.     

按速度分区的裂步傅里叶叠前深度偏移方法

本文提出了一种按速度构造对速度场进行分区的裂步傅里叶叠前深度偏移方法。裂步傅里叶法(SSF)的理论基础是摄动项，在一个步长的波场延拓中，当速度反差较大时，摄动项的误差也随之加大。所以当横向速度剧烈变化时，要根据速度构造对速度场进行分区，在每一个速度区内，分别采用不同的参考速度，这样可以最大限度地减小参考速度和真实速度之间的反差，进而提高裂步法成像精度，同时可以最大限度地减少参考速度的个数，使计算量降到最小。实现步骤为：①在每一个延拓步长内，首先求出某层的最大速度和最小速度。然后从两者之间确定一个合适的分界速度；②以分界速度为界，将该速度场分为若干高速区和低速区，各个区之间不必连续；③在每一速度区内分别采用不同的参考速度，应用裂步傅里叶方法进行波场延拓，即先在频率一波数域中做相位移，然后再回到频率一空间域逐点实现裂步法；④对分区延拓后得到的不同波场，按照实际对应的网格点进行合并，合并波场时应做适当的光滑处理，即可得到该层延拓后的完整波场；⑤重复以上步骤，直至完成所有速度分区的波场延拓及合并。理论分析和简单模型的叠后深度偏移试算及Marmousi模型叠前深度偏移的试算结果表明了该方法的可行性。     

实现重磁异常向下延拓的一种新方法

本文针对重磁异常向下延拓的不稳定性和原始资料中的噪声干扰,提出了一种新方法。该方法将原始资料中的误差作为随机量处理,并通过引入一平滑准则来克服向下延拓的不稳定性,使向下延拓问题得到了较好解决。     

三维混合延拓一步法波动方程深度偏移

对于二维陡倾斜地层，相位移延拓方法成像精度高、稳定性好、速度快，但难以适应速度的横向变化；频率、空间域的有限差分算法简单、稳定性好、能适应速度的纵、横向变化，但成像精度低、运算速度慢；而用快速的45°有限差分法与相位移延拓法相结合，则能使整个延拓过程既适应速度的纵、横向变化，又能够使得陡倾角地层精确归位。本文把这种混合延拓思想拓展成三维相位移加有限差分混合延拓法，并进一步提出了能适应速度纵、横向变化，构造任意复杂介质的三维一步法深度偏移。数值模拟试验结果表明，该方法具有移速度快、精度高的特点。     

工业互联网云网关架构及实现

针对工业生产数据通信协议复杂、工业设备与云端通信困难的问题,提出一种工业互联网云网关架构。针对传输协议复杂多样的问题,提出了一种多协议数据解析方法,能够对多种协议下的数据进行解析,并转换为MQTT协议,实现数据统一协议并上传至云平台。针对协议转换中的实时可靠性问题,提出一种支持断点续传并可以快速处理并发任务的异步处理机制来保证协议转换的实时可靠性。在保证实时可靠的基础上,提出一种三层加密方式以提高数据传输的安全性。在软硬件上实现了上述云网关架构,并在工业过程控制设备上进行了实验。实验结果表明,该架构能够有效解决工业系统与云平台的数据融合问题。     

A continuation‐based task programming model for C++: design of the Causeway library

There is a big class of problems that requires writing programs in an asynchronous manner. Cloud computing, service‐oriented architectures, multi‐core and heterogeneous systems all require programs to be written with asynchronous components. The necessity of concurrency and asynchronous execution brings in the added complexity of the inversion of control into the system, either through message passing or through event processing. In this paper, we introduce explicit programming language support for asynchronous programming that completely hides inversion of control. The presented programming model defines a common abstraction of the different types of tasks, both synchronous and asynchronous. It defines common imperative control constructs equivalent to those of the host programming language, along with a few more advanced ones for transactional and parallel execution that can universally work for any task type. It allows the programmer to implement the logic of an asynchronous system in a natural way by writing simple, seemingly, synchronous imperative code. We will show that the programs written using this approach are easier to understand by programmers. They are also easier to design automated tests for, and for performing computer‐based static analysis of the program logic. The principles behind this approach were tested in a couple of real‐world systems with worldwide user base. Our experience shows that it makes the complex code with a lot of interdependencies between asynchronously executed tasks easy to write and reason about. Copyright © 2016 John Wiley & Sons, Ltd.