哲学进步与时代发展

从哲学进步与时代发展的关系上 ,论述马克思主义哲学仍然是当代哲学发展的主流 ;马克思主义哲学的时代基础没有变 ,是当代不可逾越的哲学。对待现代西方哲学要采取扬弃、对话和借鉴的态度 ,从而促进哲学的进步与发展     

“科学技术是第一生产力”命题的哲学思考

1988年 ,邓小平同志明确提出了“科学技术是第一生产力”的科学命题 ;江泽民同志在庆祝中国共产党成立80周年大会上的讲话中再次强调“科学技术是第一生产力 ,而且是先进生产力的集中体现和主要标志”。“科学技术是第一生产力”的命题是对当代科学技术突飞猛进并极大地推动了社会生产力发展这一现实的正确反映和科学概括 ,它的提出体现了马克思主义与时俱进的理论品质 ,是马克思主义理论特别是马克思主义生产力理论发展史上的一个伟大创新。但是 ,反思人们对此命题的某些论证 ,却可以发现一些值得注意的问题。所以 ,在人们以往对此命题论证的基础上 ,进一步用马克思主义哲学的基本观点来分析、说明和论证科技生产力 ,对于全面、准确地理解邓小平及江泽民同志提出和强调的“科学技术是第一生产力”这一科学命题 ,具有重要的理论意义和现实意义。     

科学发展观指导下的高校思想政治理论教育的有效性探讨

作为中国共产党和社会主义事业指导思想的马克思主义,在高校思想政治理论教育课堂中扮演者重要的角色,即坚持马克思主义思想为教材中理论指导,在新时代的发展背景下,将该指导思想融入到高校思想政治理论教育课堂教学实践中,按照新课改下的一切以学生为中心的要求,在科学发展的指导下为社会主义现代化建设提供更好的思想指导。     

对马克思主义理论创新的三个维度的探讨

马克思主义理论能够保持旺盛而鲜活的生命力就在于它能够与时俱进，不断创新。毛泽东思想和中国特色社会主义理论体系就是马克思主义理论创新的重要佐证。而在马克思主义理论创新中实践性、主体性和时代性是三个重要的维度。本文要探讨了实践性、主体性和时代性三个维度在马克思主义理论创新中的重要作用。     

基于马克思主义人性理论视角下的辅导员管理

马克思主义人性理论是从哲学的高度上对人的本质所做的最高的理论概括，它为我们科学地认识人、教育人、发展人提供了理论依据。本文以介绍马克思主义人性理论为基础，分析了高职院校辅导员人性化管理的内涵和意义，并对高职院校辅导员人性化管理的路径进行了初步地探索。     

医院管理信息系统的有序化模式讨论

本文利用系统科学的耗散理论和协同论对医院管理信息系统（ＨＩＳ）的有序化模式进行初步探讨，提出应象对待算法结构一样重视ＨＩＳ系统的输入输出，要特别注重降低ＨＩＳ与其使用者之间的阻滞强度和距离，提高系统的协同程度，使ＨＩＳ应用呈现整体大于加和的系统优越性。     

坚持理论创新不断开拓马克思主义的新境界

社会实践不断发展,人们的思想认识必须不断前进,与时俱进是马克思主义的理论品格,理论创新是马克思主义的本质要求。以江泽民同志为核心党的第三代领导集体,高举邓小平理论的旗帜,在经济、政治、文化等方面丰富发展了邓小平理论,成为开拓马克思主义新境界的典范。全面贯彻“三个代表”重要思想,必须以理论创新推动实践的发展,通过实际问题的解决不断丰富和发展马克思主义,只有这样中国特色的社会主义事业才能走在时代的前列。     

马克思主义民族理论与中国梦的实践

中国梦是民族的梦,是实现马克思主义民族理论在中国不断发展创新的梦.马克思主义民族理论的发展和实践经过中国革命、建设和改革时期,逐步形成了具有中国特色的社会主义民族理论.在社会主义道路全面建成小康社会时期,对中国特色社会主义民族理论的内涵、内容和现实意义进行探讨,指出中国特色社会主义民族理论是实现中国梦的理论武器.     

略论邓小平社会主义本质理论的特征

邓小平关于社会主义本质的理论把对社会主义的认识提高到新的科学水平。文章结合马克思主义的基本原理和社会主义的实践经验，分析阐明了社会主义本质理论所具有的科学发展性、现实针对性、时代性和科学指导性的鲜明特征，使我们更加深刻地理解社会主义本质理论的重大理论意义和实践意义。     

基于B2C架构的综合性科学数据共享系统

科学数据共享在促进科学发展过程中具有重要意义。综合性科学数据中心要对多元化的科学数据提供服务,保护数据提供者的权益,也要保证数据的可获取性。回顾了科学数据共享的发展现状,针对综合性科学数据中心,将科学数据作为一种虚拟商品对待,利用B2C概念构建综合性科学数据共享系统,基于数据用户、数据提供者、数据中心3类用户实现了对应的功能。从科学数据的描述、发布、发现、流通以及评价5个方面对科学数据共享系统的关键问题进行了讨论。以中国西部环境与生态科学数据中心为应用实例,介绍了基于B2C架构的科学数据共享系统的应用方法。     

Unity enhances product aesthetics and emotion

Although the aesthetic properties of a product are likely associated with users' emotional responses, empirical evidence does not explain how the aesthetic properties of a product evoke an emotional response. This study presents the hypothesis that users' emotions are evoked when they observe an aesthetically pleasing product with unity. The results implied that a product form with more unity had a greater likelihood of affecting users' positive emotions compared with those with less unity, and that the unity aesthetic may act as a mediator in evoking emotion. In addition, the results confirmed that products composed of curvier elements tended to evoke a stronger pleasure response compared with those defined by straight lines. A systematic approach, namely the decision tree method, acts as a unity design guideline for the enhancement of product aesthetics, which may evoke users’ pleasure responses further.Relevance to industryOur findings imply that a product form with more unity had a greater likelihood of affecting users’ positive emotions compared with those with less unity. In addition, a systematic approach, namely the decision tree method, acts as a unity design guideline for the enhancement of product aesthetics, which may apply for designing products with pleasures.     

On the Fly Estimation of the Processes that Are Alive in an Asynchronous Message-Passing System

It is well known that in an asynchronous system where processes are prone to crash, it is impossible to design a protocol that provides each process with the set of processes that are currently alive. Basically, this comes from the fact that it is impossible to distinguish a crashed process from a process that is very slow or with which communications are very slow. Nevertheless, designing protocols that provide the processes with good approximations of the set of processes that are currently alive remains a real challenge in fault-tolerant-distributed computing. This paper proposes such a protocol, plus a second protocol that allows to cope with heterogeneous communication networks. These protocols consider a realistic computation model where the processes are provided with nonsynchronized local clocks and a function alpha () that takes a local duration Delta as a parameter, and returns an integer that is an estimate of the number of processes that could have crashed during that duration Delta. A simulation-based experimental evaluation of the proposed protocols is also presented. These experiments show that the protocols are practically relevant.     

Sensory-motor enhancement in a virtual therapeutic environment

The sensory-motor skills of persons with neuromuscular disabilities have been shown to be enhanced by intensive and repetitive therapeutic interventions. This paper describes a form of low immersion virtual reality and a prototype, open source system that allow a user with significant physical disability to actively interact with computer-generated objects whose behaviors promote a game-like interaction. Unlike fully immersive and haptic virtual reality, this approach frees the user from head-mounted displays and gloves. It extracts the user’s real-time silhouette from the output of a remote video camera and uses that two-dimensional outline to interact with graphical objects on screen. In contrast to video games that have been modified with specialized interfaces, this virtual interaction system promotes the repetitive use of goal directed movements of the arms and body, which are essential to promote cortical reorganization, as well as discourage unwanted changes in muscle tissue that result in contracture. A prototype system demonstrates the potential of low immersion technology to motivate users and encourage participation in therapy. It also offers the potential of accommodating the sensory-motor skills of individuals with very significant impairment. The behaviors of the computer-generated graphics can be altered to allow use by those with very limited range of motion and/or motor control. These behaviors can be adjusted to provide a continuing challenge as the user’s skills improve. This prototype is described in terms of functional capabilities that include a silhouette extraction from a video image, and generation of graphical objects that interact with the silhouette. The work is extended with a discussion of a more sophisticated region of interest detection algorithm that can select specific parts of the body.     

An adaptive RFID middleware for supporting metaphysical data independence

Sensor devices produce data that are unreliable, low-level, and seldom able to be used directly by applications. In this paper, we propose metaphysical data independence (MDI), a layer of independence that shields applications from the challenges that arise when interacting directly with sensor devices. The key philosophy behind MDI is that applications do not deal with any aspect of physical device data, but rather interface with a high-level reconstruction of the physical world created by a sensor infrastructure. As a concrete instantiation of MDI in such a sensor infrastructure, we detail MDI-SMURF, a Radio Frequency Identification (RFID) middleware system that alleviates issues associated with using RFID data through adaptive techniques based on a novel statistical framework. Met·a·phys·ics: A division of philosophy that is concerned with the fundamental nature of reality and being [2].     

基于角色的自主访问控制的构建

面向角色的访问控制是策略中性的,面向角色中的自主访问控制应可与其它可能的访问策略一起协调工作,这必然使自主访问控制必须能与角色的层次结构（继承关系）对话。该文给出了一个实用的构建方法使角色系统中自主访问控制满足以上的需求。     

On sorting triangles in a delaunay tessellation

In a two-dimensional Delaunay-triangulated domain, there exists a partial ordering of the triangles (with respect to a vertex) that is consistent with the two-dimensional visibility of the triangles from that vertex. An equivalent statement is that a polygon that is star-shaped with respect to a given vertex can be extended, one triangle at a time, until it includes the entire domain. Arbitrary planar triangulations do not possess this useful property which allows incremental processing of the triangles.This work was partially supported by the National Science Foundation's US-Italy Collaborative Research Program under Grant INT-8714578 and Information, Robotics, and Intelligent Research Grant IRI-8704781.     

State Estimation of λ-free Labeled Petri Nets with Contact-Free Nondeterministic Transitions*

In this paper we deal with the problem of estimating the marking of a labeled Petri net with nondeterministic transitions. In particular, we consider the case in which nondeterminism is due to the presence of transitions that share the same label and that can be simultaneously enabled. Under the assumption that: the structure of the net is known, the initial marking is known, the transition labels can be observed, the nondeterministic transitions are contact-free, we present a technique for characterizing the set of markings that are consistent with the actual observation. More precisely, we show that the set of markings consistent with an observed word can be represented by a linear system with a fixed structure that does not depend on the length of the observed word.*Contact author is Alessandro Giua.     

Parameter consistency and quadratically constrained errors-in-variables least-squares identification

In this article, we investigate the consistency of parameter estimates obtained from least-squares identification with a quadratic parameter constraint. For generality, we consider infinite impulse-response systems with coloured input and output noise. In the case of finite data, we show that there always exists a possibly indefinite quadratic constraint depending on the noise realisation that results in a constrained optimisation problem that yields the true parameters of the system when a persistency condition is satisfied. When the noise covariance matrix is known to within a scalar multiple, we prove that solutions of the quadratically constrained least-squares (QCLs) estimator with a semidefinite constraint matrix are both unbiased and consistent in the sense that the averaged problem and limiting problem produce, respectively, unbiased and true (with probability 1) estimators. In addition, we provide numerical results that illustrate these properties of the QCLS estimator.     

The Value of Temptation

There is an implicit assumption in electronic commerce that induces the buyers to believe that their deals will be handled appropriately. However, after a seller has already committed to a buyer, he may be tempted by several requests though he will not be able to supply them all. We analyze markets in which a finite set of automated buyers interacts repeatedly with a finite set of automated sellers. These sellers can satisfy one buyer at a time, and they can be tempted to break a commitment they already have. We have found the perfect equilibria that exist in markets with a finite horizon, and with an unrestricted horizon. A significant result stemming from our study reveals that sellers are almost always tempted to breach their commitments. However, we also show that if markets' designers implement an external mechanism that restricts the automated buyers actions, then sellers will keep their commitments.     

Discrete-Time Risk-Sensitive Filters with Non-Gaussian Initial Conditions and Their Ergodic Properties

In this paper, we study asymptotic stability properties of risk-sensitive filters with respect to their initial conditions. In particular, we consider a linear time-invariant systems with initial conditions that are not necessarily Gaussian. We show that in the case of Gaussian initial conditions, the optimal risk-sensitive filter asymptotically converges to a suboptimal filter initialized with an incorrect covariance matrix for the initial state vector in the mean square sense provided the incorrect initializing value for the covariance matrix results in a risk-sensitive filter that is asymptotically stable, that is, results in a solution for a Riccati equation that is asymptotically stabilizing. For non-Gaussian initial conditions, we derive the expression for the risk-sensitive filter in terms of a finite number of parameters. Under a boundedness assumption satisfied by the fourth order absolute moment of the initial state variable and a slow growth condition satisfied by a certain Radon-Nikodym derivative, we show that a suboptimal risk-sensitive filter initialized with Gaussian initial conditions asymptotically approaches the optimal risk-sensitive filter for non-Gaussian initial conditions in the mean square sense. Some examples are also given to substantiate our claims.