网络冗余在企业中的应用

随着企业生产经营活动与信息化的日益密切,对企业信息化基础的网络设施要求也日益苛刻,本文对如何设计健壮性网络提出解决方案。     

中石油聚丙烯STP营销战略研究

运用STP理论对聚丙烯产品进行市场细分,根据聚丙烯产品的实际情况从各子市场中选取有一定规模和发展前景、并且符合公司的目标和能力的细分市场作为公司的目标市场,之后,将聚丙烯市场定位在目标客户所偏好的位置上,通过采取一系列的营销手段吸引并锁定目标客户。     

基于WebService的MSTP网管系统北向接口

给出了MSTP网管系统北向接口的设计与实现方案,阐明了北向接口的总体架构、交互机制和功能规划等方面的设计思路,描述了北向接口所采用的技术框架以及系统管理、配置管理、故障管理和性能管理等接口的实现过程。     

高层建筑外墙外保温系统选型分析研究

为遏制当前频发的高层建筑外保温系统火灾,国家发布了公消[2011]65号文,要求民用建筑外保温材料采用燃烧性能为A级的材料.文中选择国内技术较成熟的几种A级防火外保温系统,分析了其保温材料特性、构造及系统特点,提出了各个系统使用的注意点,为当前高层建筑工程外保温系统选用提供技术支撑.     

富硒茶多糖的提取及其对运动疲劳恢复的影响

目的：研究紫阳富硒茶多糖（selenium-rich tea polysaccharide,STP）的基本理化性质及其对小鼠游泳能力与疲劳恢复的影响。方法：采用水提醇沉法提取STP,对其基本成分含量、紫外和红外光谱进行了检测;同时建立了一个5 周的小鼠耐力运动模型,灌胃不同剂量的STP水溶液,测定了小鼠的游泳力竭时间,然后分别在小鼠在力竭运动即刻、运动后24 h恢复两种情况下取材,测定了血糖、血尿素氮、血乳酸的浓度以及肝糖原含量、肝谷胱甘肽过氧化物酶（glutathione peroxidase,GSH-Px）活性和丙二醛（malondialdehyde,MDA）含量。结果：STP是一种含蛋白的硒多糖,对小鼠游泳力竭时间有明显的延长作用;对于小鼠的糖代谢能力具有调节作用,而且显著提高小鼠肝组织的GSH-Px活性,降低MDA的含量。结论：STP具有抗运动性疲劳的作用,其机理与其调节机体糖代谢和改善运动造成机体组织脂质过氧化作用有关。     

KRM轧管机与STP轧管新工艺

介绍了冶钢集团东方钢铁有限公司筹备建设的φ114mmKRM轧管机组的工艺及设备特点。产品质量好,生产成本低,生产组织灵活,能够创造很好的经济效益,具有发展前景。     

汽车高速CAN线的特性阻抗研究与测试

对于高速HSC(High Speed CAN)电线,普通汽车可以依据标准ISO 11898-2,选用非屏蔽双绞线。电动车的电磁干扰强,要求采用特制的屏蔽双绞线。测试和研究表明,带屏蔽层的CAN线的特性阻抗比去除屏蔽层的双绞线的特性阻抗要小。     

Modeling,Reachability and Controllability of Bounded Petri Nets Based on Semi‐Tensor Product of Matrices

In this paper, we present a comprehensive modeling technique for bounded Petri net systems (BPNSs) in the framework of the semi‐tensor product (STP) of matrices. The two dynamic properties of BPNSs, namely, reachability and controllability, are investigated systematacially. First, the dynamics of a bounded Petri net system (BPNS), by resorting to the STP of matrices, are expressed in the form of a discrete‐time bilinear equation, which is called the marking evolution equation (MEE) of BPNSs. Second, controllability and transition‐marking adjacency matrix (TMAM) of BPNSs are defined, respectively. Further, several necessary and sufficient conditions for reachability and controllability of BPNSs are given in terms of the MEE and TMAM. Third, an efficient algorithm to verify reachability property of BPNSs, in this paper, is provided, as well as its computational complexity. Finally, an example is presented to illustrate the theoretical results in this paper. The main contribution of this paper is the presentation of a precise mathematical model for BPNSs. The main advantage of the proposed approach is that not only it can be applied to verify whether or not any given marking is reachable from the other in state space, but also it is very convenient to find all firing sequences between any two reachable markings.     

谈外墙STP超薄保温系统施工

结合STP保温板的特点,阐述了外墙STP保温系统的施工工艺流程,材料要求及施工方法,归纳总结了施工过程中应注意的事项,并提出了有针对性的质量控制措施和成品保护措施,同时将该系统应用于北京某棚户区改造工程中,取得了良好的效果。     

A novel matrix approach to observability analysis of finite automata

In this paper, the observability of finite automata (acronym is FA) that contain both deterministic finite automata and non-deterministic finite automata is investigated under the framework of the semi-tensor product of matrices. For both initial state and current state cases, two different observability definitions with or without input information are considered, respectively. First, we show that how the observability problem of initial state of FA can be transformed to the construction problem of an initial state-outputs matrix that presents the relationship between initial state and outputs. Second, a current state-outputs matrix to verify the observability problem of current state is given. When two matrices are obtained, four theorems to verify the observability of initial state and current state are presented, respectively. In particular, compared with the existing approach, the proposed approach not only provides a unified verification for the two types of observability of both initial state and current state but also reduces the computational complexity considerably. An illustrative example is presented to show the theoretical results.