摘要：Jaekson系统开发方法(Jackson Sy-stem DeveloPment)JSD是1980年***-ckson提出的结构化软件系统设计方法。 JsD的基本观点是软件系统的设计应该反映现实世界。

摘要：在《基于格子Ｂｏｌｔｚｍａｎｎ方法的流体力学问题仿真》一文中详细介绍了格子Ｂｏｌｔｚｍａｎｎ方法（ＬＢＭ）的通用模型；模拟了一些典型流体流动现象，证明ＬＢＭ模拟流体流动的简单有效性，适合基于区域分解的分布式算法；首次提出并实现了基于ＬＢＭ的流体力学问题的自动建模算法。现设计一个九点正方形ＬＢＭ的外力模型。设粒子运动方向为ｅｉ＝Ｒｉ（ｃｏｓｉ－１４π，ｓｉｎｉ－１４π），ｉ＝１，２，…，８；ｅ０＝（０，０）。式中Ｒｉ＝｜ｃｏｓｉ－１４π｜＋｜ｓｉｎｉ－１４π｜。流场各节点Ｒ有外力Ｇ（Ｒ），Ｇ（Ｒ）＝（ｇｘ（Ｒ），ｇｙ（Ｒ））＝（ｇｘ（Ｒ），０）＋（０，ｇｙ（Ｒ））＝Ｇｘ（Ｒ）＋Ｇｙ（Ｒ）。则可得到格子Ｂｏｌｔｚｍａｎｎ的外力模型ｆｉ（Ｒ＋ｅｉ，ｔ＋１）＝（１－ω）ｆｉ（Ｒ，ｔ）＋ωｆｅｑｉ（Ｒ，ｔ）＋ｇｉ（Ｒ）ｉ＝０，１，…，８其中：ｆｅｑ０＝４ρ９［１－３２｜ｕ｜２］；ｆｅｑｉ＝ρ９［１＋３（ｅｉ·ｕ）＋９２（ｅｉ·ｕ）２－３２｜ｕ｜２］ｉ＝１，３，５，７；ｆｅｑｉ＝ρ３６［１＋３（ｅｉ·ｕ）＋９２（ｅｉ·ｕ）２－３２｜ｕ｜２］ｉ＝２，４，６，８．ｇｉ（Ｒ）＝［ｓｉｇｎ（＜Ｇｘ（Ｒ）·ｅｉ＞）ｇｘ（Ｒ）＋ｓ?

摘要：提出了两种新的并行排序算法,在第一部分设计了一种有效的异步并行算法,可应用于多指令和多数据流计算机,且提供了该算法的最小和最大的运算时间.第二部分给出了一种新的并行排序网络,对于n个元素的排序序列,可以使用n(n-1) 2个比较元素和n(n-1) 2个反转换元素及n个转换元素能达到常数数量级的运行时间进行快速排序,同时给出了以{0,1}元素组成的序列的排序过程.

摘要：弹性移动云计算(Elastic Mobile Cloud Computing,EMCC)中,移动设备按照当前需求将部分计算任务迁移到云端执行,无缝透明地利用云资源增强自身功能。首先,在总结现有EMCC方案的基础上,抽象出通用的EMCC框架;指出EMCC程序中敏感模块的迁移会给EMCC带来隐私泄露、信息流劫持等安全风险;然后设计了融合风险管理的弹性移动云计算通用框架,该框架将安全风险看作EMCC的一种成本,保证EMCC的使用对用户来说是有利的;最后,指出风险管理的难点在于风险量化以及敏感模块标注。对此,设计了风险量化算法,实现了Android程序敏感模块自动标注工具,并通过实验证明了自动标注的准确性。

摘要：随着对等计算的广泛应用,对等应用软件的设计与开发方法研究,是当前软件工程领域一个值得关注的问题.遵循软件复用的思想,提出一种适应于对等应用软件设计与开发的构件化重叠网中间件技术.该技术涵盖支撑构件重叠网的中间件模型、及其实现框架等两方面内容,分别用于对等应用软件的设计时与开发阶段.相关对比实验结果表明,该技术是可行和有效的.

摘要：基于构件的软件开发,是软件工程领域一个重要的方法,其中构件模型是该方法的理论基础.目前,适用于基于对等结构的分布式应用软件开发的构件模型尚不多见.针对对等应用软件的特点,首先在给出一个开发框架的前提下,对对等应用软件进行了构件特征分析,并将基于该框架开发的对等应用软件系统所涉及到的构件形态,归结为可迁移构件、轻量级构件和耦合容器构件3类,然后在此基础上提出一个支持对等应用的构件模型,并对构件模型中语义和语法进行了表述,最后介绍了该构件模型的生成与部署、合成与组装、查找与匹配、通讯与协作、以及相关对比等方面的研究工作.