小型办公网络常用组网方式浅议

小型办公网络在日常生活中随处可见,但由于其需求和大型办公网络不一样,面临着资金有限、管理缺失的局面。本文针对这一问题,探讨了小型办公网络常用的三种组网方式,并分析了其优缺点,以便为人们根据自身的情况选择合适的组网方式提供参考。     

A formal model of composing components: the TLA+ approach

In this paper, a method for writing composable TLA⁺ specifications that conform to the formal model called Masaccio is introduced. Specifications are organized in TLA⁺ modules that correspond to Masaccio components by means of a trace-based semantics. Hierarchical TLA⁺ specifications are built from atomic component specifications by parallel and serial composition that can be arbitrary nested. While the rule of parallel composition is a variation of the classical joint-action composition, the authors do not know about a reuse method for the TLA⁺ that systematically employs the presented kind of a serial composition. By combining these two composition rules and assuming only the noninterleaving synchronous mode of an execution, the concurrent, sequential, and timed compositionality is achieved.     

基于ADE7758芯片的同步发电机智能数据采集系统设计

介绍了一种基于ADE7758的同步发电机智能数据采集系统的设计,在简要描述ADE7758基本特性的基础上,重点阐述了系统的硬件设计和软件设计.系统采集数据丰富,工作稳定可靠,测量精度高,凸显了智能性.     

纯电动汽车用内置式永磁同步电机弱磁控制策略综述

针对纯电动汽车对内置式永磁同步电机（IPMSM）要求有较宽的调速区间,结合内置式永磁同步电机的结构特点,并在内置式永磁同步电机的数学模型基础上,介绍了其弱磁扩速原理。综述了永磁同步电机（PMSM）弱磁控制策略的研究和发展现状,根据每个弱磁控制策略的特点进行分类和归纳,并进行分析。最后对纯电动汽车用永磁同步电机的弱磁控制算法进行展望。     

一种增强型PTP光纤级联精细时频同步方法

该文提出了一种增强型PTP光纤级联精细时频同步方法,该方法以PTP同步技术为基础,结合同步以太网时钟传递技术和基于数字双混频时差法的多级级联精细时钟同步技术,对PTP技术进行改进和增强,然后基于该方法,通过多级时频设备光纤级联的形式实现多节点、大跨度、网络化的时频信号传递与同步输出,并解决多级级联情况下同步精度会逐级恶化的问题,实现ns量级的系统时间同步精度,保证系统各环节在高度统一的时间尺度下进行高效同步与联动工作。通过设计、试验,验证了该方法的可行性和有效性。     

社交网站监管法律问题研究

本文着重分析了社交网站常见的法律问题,并通过比较研究各国的做法,试图总结出我国加强社交网站管理的监管措施。     

煤与瓦斯突出联网系统的应用研究

介绍了煤与瓦斯突出联网系统的总体结构和联网数据的形成。该系统通过分析和计算各矿井的煤质结构、地压活动范围和瓦斯倍率的密切关系,得出判断煤与瓦斯突出事故的综合分析指标,以预测与防治事故的发生。实际应用表明,该系统实现了对煤与瓦斯突出的预测功能。     

CHV190系列变频器在永磁同步电机驱动矿井提升机中的应用

本文分析了矿井提升机的运行特点,详细阐述了英威腾CHV190系列起重提升专用变频器用于永磁同步电动机驱动的节能型矿井提升机的选型配置原则,最后介绍了应用现场的调试步骤及注意事项。     

浅谈计算机信息技术在图书馆中的应用

在社会日益发展的今天,传统的图书馆服务模式已经无法适用新形势的发展要求,数字化、网络化等计算机信息技术的出现并应用,促使图书馆从传统功能模式向开放式、网络式的信息服务模式转变,由单一功能向多功能转变,从根本上推动了图书馆事业的发展。     

Exploring Privacy Management on Facebook: Motivations and Perceived Consequences of Voluntary Disclosure

This study examined the perceived motivations and consequences of voluntary disclosure of Facebook active users using a survey administered to college students in a public‐speaking course. College‐age students who took the survey were motivated to use Facebook because they perceived their relationships improved with friends and family, although using Facebook could become negatively habit forming. The research suggests that users of Facebook use it more for disclosing to distant friends rather than to close friends, which is divergent from most early disclosure research that equates disclosure with intimacy. This research utilizes Communication Privacy Management Theory for the theoretical framework.