模型找矿在相山矿田山南矿区接替资源勘查中的应用

山南矿区横涧、岗上英、石马山矿床历经40余年开采,资源严重危机,急需开展接替资源勘查.在深化矿区铀成矿地质特征、关键成矿要素及铀矿化定位规律认识的基础上,认为矿区内三个铀矿床均可归属为斑岩型铀矿床,据此明确了接替资源勘查找矿目标及技术思路.基于相似类比和地质异常理论,通过攻深找盲物化探技术,提取了各类铀成矿信息,对矿区...     

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

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

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

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

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

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

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

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

浅谈人力资源管理中激励机制的构建

企业的竞争,从根本上说是人才的竞争,是人力资源开发质量的竞争。人才成为企业最为宝贵的"第一资源",并最终决定着企业的市场竞争与发展前景。随着现代先进的管理理念在组织中的发展,人力资源管理在组织管理中的作用也随即显得极其重要起来。这便要求企业必须重视人力资源管理,建立有效的人力资源激励机制,提供与其价值相适应的报酬,以便激发他们的工作积极性,提升企业的竞争力。     

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

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

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

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

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

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

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

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