自动信任协商安全性的形式化分析与验证

为了对自动信任协商(ATN)的安全性进行形式化分析与验证,文中借鉴安全协议的形式化分析方法,提出一种用进程代数Applied π演算对ATN建模并验证其安全性的方法.该方法将ATN形式化为两个协商者进程的并发执行,其中一个协商者的进程就是对其拥有的证书及授权策略的静态建模;ATN的安全性被定义为Applied π演算的观察等价性,从而使该方法不仅能检查授权策略执行的安全性,而且能对协商者的隐私安全进行验证.借助安全协议的自动分析工具ProVerif,文中实现了对ATN安全性的自动分析.实验结果表明,用Applied π演算形式化及验证ATN的安全性是可行的,安全性验证可自动完成,并且效率较高.     

如何控制空心板梁预制气囊上浮

本文提出了预制空心板梁内模气囊上浮的问题,并对预制空心板梁内模气囊上浮的控制方法做了详细的介绍。     

新漏斗模型：开创网络撮合交易蓝海

亚马逊创始人贝索斯曾说过：“我们不是通过卖东西赚钱，而是通过帮助顾客找到想要的商品而赚钱。”的确。原本并不起眼的撮合交易在搭上互联网快车后，逐步打开了一个巨大的市场，其规模有望达翻在线零售交易的5～6倍。网络撮合交易的本质是一个由“购买、分享到推荐促成新购买”组合而戒的用户行为链。其在中国市场会如何发展延伸？在即将刭来的2012年。网络撮合交易市场能否迎来新的蓝海？     

经济萧条中，企业的盈利空间在哪里

布发罗水牛行走在美国草原的景色，壮观而诱人，但它们是流动的，常常可遇而不可求。于是，一个年轻人就想了一个赚钱的主意：每天在报纸上刊登一美元销售观看水牛的邀请函。若不能如期看到水牛群的将获得2美元信息赔偿。     

实施先行先试政策推进厦台产业合作加强厦台科技交流

产业深度对接合作是经济功能性一体化与紧密经贸联系的主要体现。科技与产业又密切联系着。特别是，台湾经济体的产业技术创新与发展水平与能力位居世界前列。因此，推进厦台产业深度对接合作。是形成“两岸经贸合作的紧密区域”、推进厦台科技交流并发展厦门自身经济与科技的一个重要方式。当前，两岸全面直接“三通”基本实现，     

广西物流与经济增长的关联性研究

从物流业对经济的贡献出发,从实证角度研究了广西物流业与经济增长的关联性。相关分析、回归分析和经济物流弹性分析发现广西GDP与货物周转量间高度相关,经济物流弹性远大于1,广西物流业的发展还具有广阔的空间。广西具有发展物流业的区位优势和政策优势。发展广西物流业的主要措施包括:加强物流基础设施建设、培养高素质人才、培育大企业集团、推进信息技术服务等。     

高压全膜电力电容器用新浸渍剂苄基甲苯的研究

进行了由氯化苄与甲苯合成苄基甲苯的工艺研究,筛选了精制方法.合成和精制后的油品,检测了理化电性能,作成模型电容器进行各种试验,表明该绝缘油具有优异的性能.     

多画面全景体视投影和全景体视塔

讨论了多画面体视投影的几何特性和4画面系中的投影分配规律,推导了多画面全景体视方程,介绍了判别投影真伪及投影转折点的一种方法,以及用微机自动绘制体视图的程序,和由多画面全景体视投影构成的全景体视塔。     

交通运输产业在国民经济中的作用和地位

本文将交通运输作为整个国民经济中的一个产业部门来进行研究。针对目前交通运输业不能适应经济发展需要的情况,本文运用高速增长定理从定量、定性两个方面来说明交通运输业在国民经济中应有的作用和地位。由此,我们可以得到一条最优增长路线和对应的价格射线。它将有助于我们在定量方面把握交通运输业的作用和地位,从而为制定交通运输业的发展战略提供依据。     

玉米叶片原生质体的制备

本文以玉米黄化叶片为材料，采用两步酶解的方法研究了从玉米叶片制备原生质体的方法，发现第一次酶解以３０℃处理１ｈ为宜，第二次酶解以３０℃处理２．５～３ｈ较合适。同时发现所得原生质体净化悬浮时用２５％的蔗糖溶液在２５００ｒｐｍ离心５ｍｉｎ能获得较好的净化效果。