开源软件与开源软件生态:现状与趋势

 开源正在侵吞软件世界。目前已有80%的软件声称使用了开源的方式进行开发。开源技术占据主导地位的领域包括云、内容管理、安全、移动和社交媒体等。本文回顾了开源软件（OSS）的历史发展脉络,探讨了开源软件的研究进展及开源软件对技术、行业和社会的影响,展望了开源软件生态系统的演变趋势。     

《三角形的认识》教学设计

教学内容 苏教版小学数学教科书四年级（下册）第22—25页。 教学目标 1．通过学生积极地探索和一系列的实践操作活动，使学生进一步了解三角形意义、特征、特性。 2．在探索中感受将未知变已知的“转化”数学思想，并掌握三角形的特性在生活中的初步应用。     

需求驱动的Web服务建模及其验证:一个基于本体的方法

从Web服务所交互的环境角度出发，提出了基于环境本体的Web服务能力描述框架，从Web服务操作的环境以及操作导致的环境变化两个方面刻画Web服务的能力，并由此建立了需求驱动的Web服务组合模型．同时提出用π演算的进程表达式表示Web服务的行为语义，并建立了从Web服务概念化的能力表示到形式化的进程表示的自动转换机制，在此基础上给出Web服务组合的可行性验证算法及需求可满足性的验证方法．经过验证的Web服务组合模型可以作为备选执行方案之一反馈给需求提出者．     

用计算机探索规律——“商不变的规律及应用”教学设计

教学内容 苏教版小学数学课程标准四年级（下册）第81-82的例题，及82-83“想想做做”的第1-4题。     

物联网服务建模：一种基于环境建模的方法

物联网服务是传统Web服务通过传感器网络向物理环境的延伸,它通过传感器网络感知物理环境中的实体,也向物理环境实体施加作用.与传统Web服务相比,由于物联网服务受到所依赖的物理环境的时间受限性、资源受限性和设备潜在故障概率的影响,物联网服务的响应速度、服务能耗和容错能力等特性成为影响物联网系统整体特性的重要因素.因此,对物联网服务进行全面建模,对物联网服务所处的外部环境进行形式化描述,并结合物理环境模型对物联网服务的性质进行分析,对于确保物联网系统的正确性、稳定性非常必要.本文针对物联网服务的特点,结合基于环境建模的需求工程思想,提出一种基于环境的物联网服务三元问题域建模框架,给出了物联网服务建模本体以及相应的建模原则.在此基础上,提出了一种物联网服务行为建模方法,该方法将物联网服务和物理环境建模为概率时间自动机,将用户期望的服务特性描述为时序逻辑公式,为物联网服务功能行为正确性验证和非功能性约束可满足性验证奠定了基础.     

珍惜每一滴水

教学内容 六年级学生学习过大数目估算和统计之后，师生自行组织的数学综合实践活动。 教学目标 1、通过综合运用已学知识，进一步理解和掌握估算和统计的初步知识，初步感受数学知识间的相互联系。[编者按]     

多范例自动需求建模和分析: 一种基于本体的方法

提出基于组织本体的问题领域描述, 用领域用户能够理解的术语与他们交互, 引导他们提供需求. 提出以问题领域描述为起点的多范例自动建模和分析方法, 提出组织结构的合理性, 组织目标的可实现性和组织过程的可行性等三个分析准则. 分析的结果可以进一步引导领域用户补充和修改问题领域描述, 分析完成后得到的问题领域模型可以作为前期需求文档, 为进一步的软件需求建模提供依据.