基于Alloy的服务组合验证

服务组合是服务计算的核心问题,而服务组合的正确性与可算性则是服务正确执行的前提保证。首先提出一种基于Alloy的服务组合验证方法,采用有限的状态机建模WS-BPEL业务流程的状态变迁,利用Alloy语言对待验证的属性进行描述,通过Alloy模型完成有限状态机的形式化,最后使用Alloy Analyzer分析组合服务是否满足验证属性要求。实验研究表明,所提出的基于Alloy的服务组合验证方法具有较好的可行性。     

悬铃木球果总黄酮提取及其抗氧化活性研究

以悬铃木成熟的球果为原料,通过单因素和正交试验对超声波辅助提取悬铃木总黄酮的工艺进行优化;并通过考察总黄酮对DPPH自由基和ABTS自由基的清除率来评价其抗氧化活性。结果表明,悬铃木总黄酮的最佳提取条件如下:乙醇体积分数为60%,料液比为1∶25(g/mL),超声时间30 min,超声温度60℃,在此优化条件下,总黄酮的含量为21.82 mg/g。总黄酮质量浓度为20μg/mL时,具有较强的清除自由基能力,清除DPPH自由基和ABTS自由基为85.38%和98.84%。     

响应面法优化去内毒素乳铁蛋白纯化工艺的研究

通过采用离子交换色谱法来去除乳铁蛋白中的内毒素,通过鲎试剂来检测内毒素的含量,并使用响应面法优化了乳铁蛋白的纯化工艺.结果表明:去内毒素后乳铁蛋白中内毒素从原来的18.26 EU/mL降低为0.77 EU/mL,在洗脱剂pH值为4.83,洗脱速度1.21 bV/h,洗脱剂浓度0.05 mol/L醋酸钠缓冲溶液条件下,蛋白得率可达到最大值62.87％.     

杭州良渚白鹭湾世贸君澜度假酒店设计

工程位于良渚文化村核心区、104国道北侧,占地18.3hm2,总建筑面积7.3万m2.是一个集餐饮娱乐、休闲健身、会议住宿等多种功能于一体的超五星标准的度假酒店.良渚文化村位于杭州市西北,距离武林广场16km,规划面积8km2,设计人口规模3.2万,是我国第一个与著名文化遗址相邻,又与大都市相连的复合旅游城镇.     

从“乡土建筑”到“乡土主义”建筑的实践——浙江余杭临云山庄设计

通过临云山庄的设计实践 ,希望能对“乡土建筑”进行有益的和可行的现代诠释     

与自然共生的家园

该文阐述了建筑师这一角色在市场经济中的延展与新涵义,并对两个工程实例对城市居住区的空间环境进行分析,讨论了营造生态建筑环境,争取对自然界的最优化关系的重要性与必然性。     

Mozzarella干酪成熟过程中风味变化的研究

通过对pH值为4.6的可溶性成分的HPLC分离,发现干酪成熟过程中大分子的肤类逐渐减少,小分子的肽类和氨基酸逐渐增多,对成熟干酪中的挥发性物质进行GC-MS分析.结果表明,鉴定出许多重要的风味化合物,如:2-甲基-3戊醇、3-甲基丁醛、壬醛、苯甲醛、2-庚酮和2-壬酮、3-羟基-2-丁酮、辛酸、丁酸乙酯、己酸乙酯、二甲基二硫醚等.在Mozzarella干酪的成熟过程中,醛、酮、酯的数量增多,而烃、酸、醇的种类逐渐减少.     

史密斯钻井新技术介绍——史密斯随钻扩眼器系统和犀牛稳定器

史密斯具有全球领先的扩眼技术，主要产品包括犀牛XS扩眼器和Reamaster，这些产品是同史密斯钻头一同研制开发的钻井新工具及系统软件，产品还包括双心钻头和IDEAS。史密斯的随钻扩眼器是建立在技术、经验和全球资源等基础上，以为用户提供高质量井眼为宗旨，通过大量的作业前期分析、优质的作业记录和作业之后的数据统计而证实有效的扩眼工具。史密斯能够提供广泛的随钻扩眼器工具系列产品和全方位的技术服务，确保在复杂的工况下实现优质井眼。     

栖水而居的现代诠释：杭州“清水湾人家”设计随笔

前言:“清水湾人家”方案在1999年8月举行的“杭州炮台项目习规划设计国际竞赛”中,获得竞赛第一并中标。作为方案的参与者,笔者感触最深的是“水的问题”。并认为,该主案最具特色的方面在于运用现代理念重新诠释传统的水乡生活方式,通过运用“水脉”这一古老而仍极具活力的素材,来解决现代住区漠视人的精神需求而造成的种种弊端,以此回答现代水乡城市的住区应该如何可持续发展。     

带墙裙的波浪形圆柱面砖壳体结构的受力性能及建造技术研究

以直线、正弦曲线和悬链线为基本线型,通过不同的曲线放样方法可以形成多种不同造型的屋顶筒壳和墙裙.选取两种典型的屋顶筒壳和墙裙,将其进行组合,并赋予砖的材料属性,从而形成了两种带墙裙的波浪形圆柱面砖壳体结构.本文主要针对带墙裙的波浪形圆柱面砖壳体的组成、受力性能及参数化的设计、建造技术展开系统研究.通过分析可知,两种带墙裙的波浪形圆柱面砖壳体均可用于砌体结构,且两种模型中屋顶增加正弦曲线放样的曲面具有更好的受力特性;复杂砖壳体可以引入参数化建模,并以一种建筑信息模型BIM的新模式,来指导建筑、结构的设计和施工放样.本文研究成果可为复杂砖壳体的初步设计、优化设计和建造施工提供参考.