Experience with Applying Formal Methods to Protocol Specification and System Architecture

In the last three years or so we at Enterprise Platforms Group at Intel Corporation have been applying formal methods to various problems that arose during the process of defining platform architectures for Intel's processor families. In this paper we give an overview of some of the problems we have worked on, the results we have obtained, and the lessons we have learned. The last topic is addressed mainly from the perspective of platform architects.     

预付费及后付费融合的业务支撑系统探讨

针对预付费及后付费业务融合如何实现，提出并分析了融合支撑系统的组成、功能结构、流程，对融合支撑中涉及到的重要问题和对现有系统的影响进行了探讨、分析并提出了建议.     

IP网络资源调度与接纳控制技术研究

从IP QoS技术的研究现状出发,结合IETF的研究成果与电信网NGN的技术发展方向,阐述基于策略的端到端接纳控制框架的技术原理,在各大标准组织的技术框架内,给出一个具体的、切实可行的实现方法。     

成品油销售企业导入顾客满意战略之浅见

从中国石化股份有限公司浙江温岭石油分公司所面临的市场态势和企业的经营状况出发，考虑企业的长足发展，阐述了实施顾客满意（CS）战略的紧迫性，指出必须实施CS战略，必须要在组织落实、宣传发动、具体措施及奖惩分明的激励机制等各方面采取得力措施。     

3G中的QoS结构及无线资源分配策略

在3G（第3代移动通信系统）中，为了给不同类型的业务提供不同级别的端到端QoS，网络资源必须进行合理分配。QoS和资源分配是密不可分的，而无线资源分配显得尤为重要。文中提出了UMTS的QoS结构，分3部分对空中接口部分的QoS（即无线资源分配策略问题）进行了讨论：首先提出了一种RRA算法，接着讨论了W－CDMA和TD－CDMA系统的无线资源分配问题，最后讨论了下行链路及上行链路的呼叫允许控制（CAC）。     

ATM网络中CBR业务连接允许控制机制

该文提出了一种基于有限容量缓冲区下CBR业务信元丢失率和最小速率替换的线性近似连接允许控制机制，与原有的CAC机制相比，该文的CAC机制存在两个方面的改进：一方面，使用更合理、精确的CLR表达式，从而能够作出更为准确的连接允许判断：另一方面，能够提供服务质量服务。     

Cleanbot-Ⅰ擦窗机器人的智能化技术

本文简述了擦窗机器人智能化的主要概念．介绍了Ｃｌｅａｎｂｏｔ－Ｉ擦窗机器人系统的结构特点、主要组成部分、工作原理，操作方式，未知局部环境的模型建立，各类内、外传感器的结构、原理和信息融合技术，以及路径规划的方法．     

提高连续油管使用寿命的方法

从采用软件跟踪疲劳寿命 ,截断法 ,变径连续油管 ,反转使用连续油管 ,防止连续油管损伤 ,合理配置设备 6个方面讨论了控制管串疲劳 ,提高连续油管使用寿命的方法 ,并得出结论 :控制管串疲劳的方法中 ,最有效的方法是实际作业截断法。指出要尽量减少连续油管在带内压下工作 ,也要研究开发降阻性能好的工作液 ,以延长连续油管使用寿命、降低作业风险。     

New developments in speciality polymers: polymeric stabilizers

Many new speciality polymers have been developed in the last few years. In this paper polymeric stabilizers (antioxidants, flame retardants and ultraviolet stabilizers) will be discussed. Polymeric antioxidants of the hindered-phenol type, copolymers of 2,6-ditertiarybutyl-4-vinyl(or isopropenyl)phenol with styrene, methyl methacrylate, or more importantly butadiene or isoprene have been prepared; hydrogenation of the latter copolymers gave copolymers of the two polymerizable phenolic antioxidants with ethylene or ethylene/propylene. The polymeric antioxidants have been blended with diene polymers and selected polyolefins and have improved the long-term oxidative stability of these polymers. Polymeric flame retardants have been prepared by copolymerizing styrene and/or acrylonitrile with acrylates and methacrylates of aliphatic bromine-containing alcohols or bromine-containing phenols. Polymers with polymer-bound flame retardants have a higher limiting oxygen index compared with the original polymer. A new class of polymerizable ultraviolet stabilizers has also been developed; these stabilizers are styryl, α-methylstyryl, acryloyl and methacryloyl derivatives of 2(2-hydroxyphenyl)2H-benzotriazoles. These monomers have been copolymerized with styrene, acrylates and methacrylates. 2(2-Hydroxyphenyl)2H-benzotriazoles substituted in the 4 position of the benzotriazole ring with hydroxyl, acetoxy or carboxyl groups suitable for incorporation into polyesters, polycarbonates, polyamides and epoxy resins have also been synthesized. All 2(2-hydroxyphenyl)2H-benzotriazole ultraviolet absorbers and the polymers into which they are incorporated have high light absorbency with γ_max between 330 and 350 nm and extinction coefficients in some cases as high as 4.5 × 10⁴ 1 mol^?1 cm^?1.     

澳大利亚2001～2002年度Internet业务市场回顾

在2001－2002年度中，澳大利亚Internet用户已超过总人口的50％。用户订购业务的类型有较大程度的变化，按月、季度和年度订购Internet业务的用户数量不断增长，免费订房、按小时付费和按容量接入的用户在减少。网上商业交易和政府业务在增加，政府积极实施公共Internet接入项目。澳大利亚各州和地区的ISP及相应的接入点数量逐渐减少，通信基础设施则进一步改善。