证券投资基金和产业投资基金的协调发展模式分析

证券投资基金和产业投资基金作为投资基金的两种不同类型,具有各自不同的内在特征和发展模式。正是基于这种差异性,它们二者存在着协调发展的可能,而刚出台的基金法却只对证券投资基金作了法律上的规定。本文就这两种投资基金的内在特征和运行机制进行比较分析,并对它们之间的协调发展进行了进一步的分析和探讨

基于时间事件模型的实时系统仿真与时序分析

提出了一种基于时间事件模型的实时系统时序分析方法。该方法以仿真为基础对目标系统进行分析,不仅可以描述实时系统的周期和非周期任务,各种同步事件以及与时间有关的行为特征,而且还能够刻画实时系统中多个任务间的通信与同步特性;通过基于优先级的可抢占式的任务调度算法对目标模型进行仿真执行,并基于仿真结果对其进行时序分析,如任务响应时间和执行时间等,避免了形式化分析方法存在的状态空间爆炸问题。最后通过实例验证本模型与方法的有效性与实用性

实时嵌入式系统的竞态条件及其分析方法研究

竞态条件使得多个任务对共享资源进行操作的先后顺序在不同的执行情况下发生改变,从而可能引起系统异常.为了分析实时嵌入式系统可能出现的竞态条件及其所带来的影响,根据目标系统的执行特征,建立系统的执行序列模型,对相关的竞态条件进行精确描述,并在此基础上提出一种竞态集来存储和分析系统的竞态条件,然后利用获取到的竞态集,构建系统的竞态条件图来预测系统潜在的竞态同步关系.实验分析表明该方法能够有效地分析和预测目标系统各种可能的竞态同步关系及其所带来的不同执行情况和结果

基于克隆选择算法的面向程序路径测试数据生成方法

面向程序路径的测试数据自动生成技术是软件测试自动化的关键技术之一。文中结合程序分支函数叠加法和克隆选择算法的全局搜索性,提出一种基于克隆选择算法的面向程序路径测试数据生成方法。希望能够借助克隆选择算法具有多样性、记忆性、可实现快速全局优化搜索的优点,设计一种新的面向程序路径的测试数据自动生成方法。对算法的原理和实现做了详细描述,并将其与传统的基于遗传算法、模拟退火算法来实现软件测试数据自动生成方法进行实验对比,证实了该方法能较快地生成指定路径的测试数据

基于超级块支配图插装的软件测试工具设计与实现

通过超级块支配图来分析软件测试探针的合理插装位置,可有效地减少插装探针数量,降低代码插装对程序的影响。基于超级块支配图的代码插装原理,设计一种针对C语言的软件自动测试工具(SAT),介绍了该工具中词法语法分析器、静态分析器、代码插装器等主要功能模块的具体实现方案,同时对SAT的插装性能进行了分析

一种基于宿主机/目标机架构的追踪/重演方法

实时嵌入式系统固有的不确定性使得系统运行具有不可重现性,从而造成系统调试与测试时故障可能无法重现。提出一种基于宿主机/目标机架构的追踪/重演方法来解决实时嵌入式系统运行的不可重现性问题。该方法通过插装探针来追踪系统的任务调度、任务间通信同步以及I/O操作等信息,并自动将系统的执行信息保存到宿主机端,然后通过任务控制模块来控制系统中的任务按照原有的先后顺序来执行,从而实现实时嵌入式系统执行情况的正确回放。目前,该方法已在ML505开发板和uC/OS-II操作系统上进行实现,并已成功应用到IC图像拍摄系统中。通过实验分析表明,该方法能够以较小的时间和空间开销实现实时嵌入式系统运行情况的追踪和重演

基于ICE与HTTP Tunnel技术的NAT/FW穿越方案

在现代网络中,越来越多的主机被部署在NAT和防火墙(FW)之后,这就要求VoIP、P2P等通信软件必须具备穿越NAT/FW的能力,才能实现端到端的数据传输。现有的STUN、TURN、ICE等方案虽然可以穿越大部分NAT/FW,但对有端口或协议限制的防火墙却无能为力。本文提出了将ICE和HTTP Tunnel技术相结合的穿越方案,设计并实现了可跨平台运行的HTTP Tunnel模块来配合ICE进行穿越。实验证明,在防火墙只开放80端口这种苛刻的条件下,该HTTP Tunnel模块也能够成功穿越大部分防火墙,实现数据流的稳定传输

“建筑适应性”主题沙龙

"地域建筑"是当下建筑学界共同尊重的准则,但这一术语的过度使用,也使得其内涵在当代建筑创作中逐渐模糊。本期沙龙主题"建筑适应性",是对"地域建造"这一命题的具体化。"适度"的"适应"是当下应当倡导的地域建筑设计创作原则。"建筑适应性"中的"适应",强调对历史文脉与所处环境的积极回应,研究建筑与环境之间的复杂应答关联;除此,"建筑适应性"还强调对经济、技术、材料的"适度

中国物理海洋学研究70年：发展历程、学术成就概览

本文概略评述新中国成立70年来物理海洋学各分支研究领域的发展历程和若干学术成就。中国物理海洋学研究起步于海浪、潮汐、近海环流与水团,以及以风暴潮为主的海洋气象灾害的研究。随着国力的增强,研究领域不断拓展,涌现了大量具有广泛影响力的研究成果,其中包括:提出了被国际广泛采用的"普遍风浪谱"和"涌浪谱",发展了第三代海浪数值模式;提出了"准调和分析方法"和"潮汐潮流永久预报"等潮汐潮流的分析和预报方法;发现并命名了"棉兰老潜流",揭示了东海黑潮的多核结构及其多尺度变异机理等,系统描述了太平洋西边界流系;提出了印度尼西亚贯穿流的南海分支(或称南海贯穿流);不断完善了中国近海陆架环流系统,在南海环流、黑潮及其分支、台湾暖流、闽浙沿岸流、黄海冷水团环流、黄海暖流、渤海环流,以及陆架波方面均取得了深刻的认识;从大气桥和海洋桥两个方面对太平洋–印度洋–大西洋洋际相互作用进行了系统的总结;发展了浅海水团的研究方法,基本摸清了中国近海水团的分布和消长特征与机制,在大洋和极地水团分布及运动研究方面也做出了重要贡献;阐明了南海中尺度涡的宏观特征和生成机制,揭示了中尺度涡的三维结构,定量评估了其全球物质与能量输运能力;基本摸清了中国近海海洋锋的空间分布和季节变化特征,提出了地形、正压不稳定和斜压不稳定等锋面动力学机制;构建了"南海内波潜标观测网",实现了对内波生成–演变–消亡全过程机理的系统认识;发展了湍流的剪切不稳定理论,提出了海流"边缘不稳定"的概念,开发了海洋湍流模式,提出了湍流混合参数化的新方法等;在海洋内部混合机制和能量来源方面取得了新的认识,并阐述了混合对海洋深层环流、营养物质输运等过程的影响;研发了全球浪–潮–流耦合模式,推出一系列海洋与气候模式;发展了可同化主要海洋观测数据的海洋数据同化系统和用于ENSO预报的耦合同化系统;建立了达到国际水准的非地转(水槽/水池)和地转(旋转平台)物理模型实验平台;发展了ENSO预报的误差分析方法,建立了海洋和气候系统年代际变化的理论体系,揭示了中深层海洋对全球气候变化的响应;初步建成了中国近海海洋观测网;持续开展南北极调查研究;建立了台风、风暴潮、巨浪和海啸的业务化预报系统,为中国气象减灾提供保障;突破了国外的海洋技术封锁,研发了万米水深的深水水听器和海洋光学特性系列测量仪器;建立了溢油、危险化学品漂移扩散等预测模型,为伴随海洋资源开发所带来的风险事故的应急处理和预警预报提供科学支撑。文中引用的大量学术成果文献(每位第一作者优选不超过3篇)显示,经过70年的发展,中国物理海洋学研究培养了一支实力雄厚的科研队伍,这是最宝贵的成果。这支队伍必将成为中国物理海洋学研究攀登新高峰的主力军

The Analysis on the Harmonious Development Model between the Securities Investment Fund and the Industries Investment Fund

证券投资基金和产业投资基金作为投资基金的两种不同类型,具有各自不同的内在特征和发展模式。正是基于这种差异性,它们二者存在着协调发展的可能,而刚出台的《中华人民共和国证券投资基金法》却只对证券投资基金作了法律上的规定。本文就这两种投资基金的内在特征和运行机制进行比较分析,并对它们之间的协调发展进行了进一步的分析和探讨。There are different characters and developing models between the two kinds of the Investment Fund:The Securities Investment Fund and the Industries Fund: Because of the difference between them,it is probable for them to develop harmoniously.However,the new law of the Fund has been set only for the Securities Investment Fund.The inner characters and operational mechanism of the two kinds of the Investment Fund has been analysed and compared in this paper. Furthermore,the harmonious development model of the two investment funds has been analysed and researched