基于骨架理论的机电特种设备启动故障检测系统设计

针对当前机电特种设备启动故障检测方法缺少故障检测指标提取过程,导致系统准确率低、召回率高的问题,设计基于骨架理论的机电特种设备启动故障检测系统;设计二极管组成整流电流采集电路模块消除开关电弧,通过吸收太阳光直接加热或间接产生能量提供热量,构成太阳能光伏电池板或组件,以L298N为主驱动芯片,避免损坏稳压片,使用5 V外部电源供电,采用大容量滤波电容,设计自由保护二极管的L298N电机驱动模块,利用有载调容变压器监测变压器低压侧的电压、电流,判断当前负载电流,完成系统硬件设计,重新定义离散化获得离散域骨架,基于骨架理论,提取节点散度、骨架节点、骨架曲率特征故障检测指标,由此设计故障检测流程,完成系统软件设计;实验结果表明,该系统的召回率较低,能够有效提高故障检测准确率。     

狭义相对论与钟慢效应关系再认识--纪念狭义相对论创立110周年

从爱因斯坦建立狭义相对论的科学方法与狭义相对论理论的逻辑构成入手,综合运用A· P·弗伦奇在国际著名的改革教材“美国麻州理工学院物理学导论丛书”第二卷《狭义相对论》中的研究观点和闵可夫斯基的四维时空理论,阐明狭义相对论与钟慢效应之间的正确关系。     

含氮、磷有机配体对(CdSe)_2量子点结构和电子性质的影响

使用密度泛函理论方法研究了量子点(CdSe)2与配体L(L=PH3、PH2Me、PHMe2、PMe3、NH3、NH2Me、NHMe2、NMe3)之间的相互作用及其产物的结构和性质。配体中的P或N原子与Cd原子上分别形成较强的Cd—P和Cd—N配位键,从而影响(CdSe)2的结构和电子性质。配体作用下,(CdSe)2的几何结构、电荷分布、轨道能级、吸收光谱等均发生变化,但2类配体的影响,尤其是甲基数目的影响,存在较大差异。     

含B2O3渣系的热力学计算模型

根据炉渣结构的共存理论和相图，推导了ＣａＯＢ２Ｏ３和ＦｅＯＦｅ２Ｏ３Ｂ２Ｏ３渣系的热力学计算模型。结果表明：（１）理论计算的ＣａＯＢ２Ｏ３渣系的作用浓度ＮＣａＯ及ＮＢ２Ｏ３与实测的活度ａＣａＯ及ａＢ２Ｏ３一致；（２）理论计算的ＦｅＯＦｅ２Ｏ３Ｂ２Ｏ３渣系的氧化能力ＮＦｅｔＯ与实测的炉渣ＦｅｔＯ的活度值相符合。这说明本文提出的热力学计算模型是合理的。     

Understanding the intentions of users to ‘stick’ to social networking sites: a case study in Taiwan

Social networking sites (SNSs) are the most popular social platforms for developing personal networks. They provide multiple interactive functions for users to create and use large social networks. To determine why people exhibit ‘stickiness’ to SNSs, this study uses the uses and gratifications theory as an underlying structure and builds the research model with factors of motivational needs and interactivity. Our results showed that social needs, information needs, human–message interaction, and human–human interaction are crucial factors that affect the ‘stickiness’ of users to SNSs. The implications of these findings are presented in this paper.     

Longitudinal test of ePortfolio continuous use: an empirical study on the change of students’ beliefs

The electronic portfolio (ePortfolio) is learner-centred, and its effectiveness depends on the learners’ long-term use. Thus, it is proper to conduct the study from the learners’ perspectives. Currently, most research on the use of the ePortfolio is in the form of cross-sectional studies, and it is difficult to find the reasons for the changes in students’ beliefs with regard to the long-term use of the ePortfolio. Based on the longitudinal test, this study explained the students’ continuous use of ePortfolio and the changes in their beliefs. With 122 samplers in the adoption–continuous stage (t ₁–t ₂) and 117 samplers in the continuous stage (t ₂–t ₃), this study demonstrates that in continuous use stage (t ₂–t ₃), perceived ease of use still influences the users’ perceived usefulness (PU) and attitude towards the ePortfolio. Attribution significantly moderates the users’ beliefs from the adoption stage (t ₁) to the continuous use stage (t ₂). However, the moderating effect of attribution in the continuous use stage (t ₂–t ₃) is insignificant; satisfaction and attribution are the key factors driving the users’ continuous intention towards the ePortfolio rather than PU and attitude. Meanwhile, satisfaction and attribution will change because of the users’ expectation disconfirmation, and it will influence the users to continue using ePortfolio.     

Eliminability of cut in hypersequent calculi for some modal logics of linear frames

Hypersequent calculi, introduced independently by Pottinger and Avron, provide a powerful generalization of ordinary sequent calculi. In the paper we present a proof of eliminability of cut in hypersequent calculi for three modal logics of linear frames: K4.3, KD4.3 and S4.3. Our cut-free calculus is based on Avron's HC formalization for Gödel–Dummett's logic. The presented proof of eliminability of cut is purely syntactical and based on Ciabattoni, Metcalfe, Montagna's proof of eliminability of cut for hypersequent calculi for some fuzzy logics with modalities.     

Exploring the Belief Systems of Software Development Professionals

It is commonly accepted that an individual's beliefs and actions are based on his or her assessment and perceptions of the world. In order to determine what practices an individual is likely to follow at any given time, it is necessary to understand the individual's behavioral intention in a given circumstance. From an Information Technology perspective, a software development professional's belief systems are potentially the basis for the adoption and implementation of new and innovative work practices and processes. In this article, we explore the belief systems of software development professionals in order to understand the beliefs underlying intention and practice, and we seek answers about how they adopt or reject new and innovative software development processes and practices. The results point out a strong influence of past experiences, personality types, and repeated behavior on current software development processes and practices in industrial settings.     

Walking Through Cantor's Paradise and Escher's Garden: Epistemological Reflections on the Mathematical Infinite (I)

Infinity is not an easy concept. A number of difficulties that people cope with when dealing with problems related to infinity include its abstract nature: understanding of infinity as a never-ending process, understanding infinity as a set of an infinite number of elements, and understanding some well-known paradoxes. Infinity can be understood in a number of ways, some of which are incompatible, and can involve value judgments or assumptions that are neither explicit nor desired. In its definition, we distinguish several aspects, teleological, artistic (Escher 2000 Escher, M. C. Estampas y dibujos. Colonia: Ed. Taschen, 2000. (In Spanish). [Google Scholar]), some essential, some potential, and others actual. Cantor's work on set theory is linked to infinity and has implications for belief in God.     

Swarm Intelligent Compressive Routing in Wireless Sensor Networks

This article proposes a novel algorithm to improve the lifetime of a wireless sensor network. This algorithm employs swarm intelligence algorithms in conjunction with compressive sensing theory to build up the routing trees and to decrease the communication rate. The main contribution of this article is to extend swarm intelligence algorithms to build a routing tree in such a way that it can be utilized to maximize efficiency, thereby rectifying the delay problem of compressive sensing theory and improving the network lifetime. In addition, our approach offers accurate data recovery from small amounts of compressed data. Simulation results show that our approach can effectively extend the network lifetime of a large‐scale wireless sensor network.