基于接口精化的广义无干扰性研究

在复杂构件化软件的设计和实现过程中,由于安全属性的可组合性难以实现,使得系统整体的安全需求难以得到有效保证,因而安全属性的规约和验证问题是构件化软件开发过程中关注的关键问题。针对当前构件化软件设计过程中,信息流安全属性仅局限于二元安全级格模型的问题,在现有安全接口结构基础上提出广义安全接口结构,在广义安全接口结构上定义精化关系,并利用这一精化关系定义了能够支持任意有限格模型的基于安全多执行的无干扰属性,首次将安全多执行的思想应用于构件化系统的信息流安全属性验证。使用 Coq 定理证明工具实现了接口自动机程序库以及对精化关系的判定过程,并用实例验证说明了无干扰属性定义的特点及判定方法的有效性。     

面向云计算环境的动态公平性度量方法

针对云计算环境资源动态性特点,给出了一种资源分配算法公平性动态度量模型——DFE (dynamic fairness evaluation)。模型引入了公平、效率和时间参数,通过将资源分配结果进行量化处理,定量地描述不同分配算法的公平性。首先考虑了云环境下的2种典型动态因素：1）节点资源需求动态变化;2）虚拟节点动态变化,并分别对这2种场景建立子模型,通过这2种模型导出了公平性动态度量模型DFE。分析了2种子模型以及DFE,通过DFE对几种典型资源分配算法进行度量,验证了在资源需求以及虚拟节点动态变化的情况下,DFE能够有效度量分配算法公平性,为云计算平台资源分配算法的选择提供了重要的参考。     

顶管施工三维数值模拟及土质适用性研究

为了研究大直径顶管在不同土质中施工的适用性,结合广州市某引水工程,对外径2.8m、壁厚0.028m的顶管隧道施工进行了三维数值模拟。通过模拟结果与Peck经验公式对比,验证了所建模型能够反应顶管施工造成地层扰动的基本规律,并得出地表沉降横向和纵向的受影响范围分别为-3.6~3.6D和-2.14~2.14D(D为外径)。基于以上模型,改变顶管穿越土层的土性参数,得出了不同砂性土的模量及摩擦角、粘性土的模量及粘聚力、顶管穿越复杂土层情况下地表沉降的变形规律,并对顶管隧道不同土质条件下的适用性进行了初步讨论。     

基于模型检测的服务链信息流安全可组合验证方法

提出了一种可组合的服务链信息流安全验证方法。在保证单一组件信息流安全的基础上,给出相邻组件可组合的信息流安全条件和验证算法。实验和仿真结果表明,相比传统模型检测方法,所提的可组合验证算法能够有效减小验证开销,提高验证效率。     

高压输油泵中开面强度模拟优化与试验分析

为了对中石化某管线高压输油泵(670DYN420-HY型泵,壳体承压要求20MPa)的中开面强度进行优化,采取加大螺栓直径、改变螺栓分布、增加中开面厚度3种方案与原方案进行对比,利用ANSYS计算4种方案中开面的变形量和受力情况,通过对比分析中开面垫子的变形量和螺栓强度的安全系数,得到了保证中开面强度的最优方案。优化后的产品实际水压试验结果与数值模拟分析相符,大大减少了多次反复试制样机的风险,节约了试制成本。     

基于模块化的云梯消防车协同设计研究

针对云梯消防车设计的柔性、设计的概念化、产品性能优化的需要,探讨了基于协同设计的云梯消防车功能模块化体系架构。基于模块化思想和Visual C++软件开发平台,构造分布式功能模块交互界面。各个分布式功能模块共享云梯消防车信息模型中的数据,进行设计信息的通信和交流,并通过C++程序对Matlab后台调用,实现结构的优化,保证了协同设计中的数据一致性。采用了基于模糊数学理论的冲突消解方法来协调不同学科之间的目标冲突。     

面向服务移动社交网络中基于信任的分布式服务组合方法

针对服务不透明性、信任需求主观性及移动参与者连接机会性对面向服务移动社交网络中可信服务组合带来的问题,提出基于信任的分布式服务组合方法.该方法基于格模型建立分布式服务信任评估框架,分别在组件和组合级评估服务信任度以避免不可信的数据传输;通过分析服务依赖关系,实现满足全局和局部信任约束可信服务选择;基于蒙特卡洛方法建立可信路径选择、优化和容错算法传输服务评估调用信息.实验结果表明所提方法在服务评估开销低,在路径选择成功率和信任度高,是适应面向服务移动社交网络的服务组合方法.     

云计算下保障公平性的多资源分配算法

针对云计算平台多资源分配公平性问题,文中在DRF算法基础上,提出了云计算动态资源需求公平分配模型,并提出了基于信誉因子的增强公平性分配算法．算法引入信誉因子,对云中计算节点资源使用情况进行实时评估,对恶意长时间侵占资源行为进行惩罚性分配,刺激节点在任务结束后释放占用资源,确保了平台中其他节点资源配额不受影响．与现有方案相比,基于信誉的增强公平性分配算法在保证分配公平的前提下,增强了对公平性的保障,有效地确保了云计算平台资源调度的公平性、可靠性．     

堆载预压加固软土地基的沉降计算分析

某海塘拟修筑道路,采用堆载预压法对地基进行加固处理.运用砂井固结理论及太沙基一维固结理论,对海塘拟修筑道路的沉降进行计算分析 ,推算地基的最终沉降量及沉降稳定时间,并确定工后沉降,判断其是否超过容许的范围,以便进行地基变形设计.这对实际工程具有现实的指导意义,可保证工程施工安全、稳定、有效地进行.     

基于反演法的高填土软土地基沉降预测

通过改进太沙基一维固结理论建立计算最终沉降量的反演计算模型,结合某植物园沉降实测资料,采用反演计算模型,确定各土层的压缩模量和固结系数,将理论计算模型与实测结果进行比较,验证反演计算理论模型的合理性和可靠性,对今后其它类似工程的设计和施工有很大的参考价值和指导意义.