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.     

基于混合遗传算法的去耦电容网络设计

结合基于目标阻抗的设计方法,将混合遗传算法应用于PDN(电源分配网络)的去耦电容网络设计,对所需去耦电容器的种类和数目进行优化计算,同时与标准遗传算法和传统设计方法进行对比,借助Cadence电源完整性仿真工具验证设计结果的有效性和合理性。避免了传统设计需要借助EDA工具进行反复修改和验证的繁琐过程,同时减少了设计冗余,节省了PCB布局布线空间,为高频电路的PDN设计提供参考。     

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.     

基于软件的环境量化模型

在一些特殊领域中需要建立一定的实验环境对软件性能进行测试,因此实验环境与实际环境之间的近似程度对软件的性能起到关键作用。为建立环境之间的近似度量,在进程代数理论基础上,根据软件与环境的交互程度,利用拓扑度量和论域理论中的偏序关系,建立实验环境之间近似程度的量化模型。根据软件与环境之间的部分交互,建立实验环境之间近似程度的度量模型。通过实例对度量模型进行说明,并证明度量模型的代数性质。     

地下结构震害风险信息融合方法研究

为提高地下结构震害风险判决的科学性和智能化水平,提出一种基于证据理论的地下结构震害风险信息融合方法。在地下结构震害风险智能监测的基础上,根据震害风险融合原理,构建基于智能监测和专家判决的地下结构震害风险融合模型。遵循证据理论的原则和模型规则,构造统一的地下结构震害状态空间和风险概率表达方式,建立风险融合证据框架,确定判决规则,设计风险融合证据模型组件。计算结果表明,该模型能有效提高地下结构震害信息诊断的可信度,充分显示了该融合模型组件的有效性。     

基于CPG的双足机器人多层步行控制器设计

针对双足机器人步行控制器的设计问题,基于生物学启发原理,提出一种基于中枢模式发生器(CPG)与稳定性分析相结合的多层次结构控制器设计方法。分析机器人的步行运动,给出双足运动描述。基于CPG理论设计多层次结构的步行控制器,应用极限环理论方法分析运动稳定性。在保证步行稳定的前提下,所提出的控制方法具有结构简单、通用性好、方便在线平滑修正等优点,步行仿真实验验证了所提出算法的有效性。