Branching into Cosmic Unity

Valeriy Grachov creates both abstract and representational digital works using such programs as Corel Painter, Adobe Photoshop, and Alien Skin Eye Candy 4000.     

Unity Pro软件介绍(一)

Unity Pro是支持IEC61131-3全部五种语言的应用编制、程序调试和诊断操作的软件套装工具,可用于施耐德电气的Premium,Atrium,M340和Quantum PLC硬件平台,该软件结合了施耐德电气原PL7和Concept软件的优点,并进一步增加了大量的新功能,使其解决复杂问题的能力更强,对用户的开放程度更高,对制造的生产率的提高更多,同时对企业中不同软件的协同能力更好.     

A Mechanization of Unity in PC-NQTHM-92

This paper presents in detail how the Unity logic for reasoning about concurrent programs was formalized within the mechanized theorem prover PC-NQTHM-92. Most of Unitys proof rules were formalized in the unquantified logic of NQTHM, and the proof system has been used to mechanically verify several concurrent programs. The mechanized proof system is sound by construction, since Unitys proof rules were proved about an operational semantics of concurrency, also presented here. Skolem functions are used instead of quantifiers, and the paper describes how proof rules containing Skolem function are used instead of Unitys quantified proof rules when verifying concurrent programs. This formalization includes several natural extensions to Unity, including nondeterministic statements. The paper concludes with a discussion of the cost and value of mechanization.     

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.     

Diversity in reuse processes

Examines the impact of software process diversity in one specific area: software reuse, which means that the work products developed elsewhere (in another project, group or company) are used again. To learn how to achieve reuse, we initiated a two-year study in 1997 of roughly two dozen European companies that were establishing reuse programmes in the context of process improvement experiments. We discovered that, despite diversity in business context, technical and managerial traditions and company size, companies can indeed achieve reuse, using diverse processes. From that study, we present four companies (Sodalia, Thomson-CSF, Eliop and Chase Information Technology Services) as case histories, selected for the variety and effectiveness of their approaches. These four European companies successfully achieved software reuse despite pursuing radically different processes and technologies. The authors explore the reasons behind the companies' success and present guidelines for others wanting to establish reuse programmes     

Multi-Level Partition of Unity Algebraic Point Set Surfaces

We present a multi-level partition of unity algebraic set surfaces (MPU-APSS) for surface reconstruction which can be represented by either a projection or in an implicit form. An algebraic point set surface (APSS) defines a smooth surface from a set of unorganized points using local moving least-squares (MLS) fitting of algebraic spheres. However, due to the local nature, APSS does not work well for geometry editing and modeling. Instead, our method builds an implicit approximation function for the scattered point set based on the partition of unity approach. By using an octree subdivision strategy, we first adaptively construct local algebraic spheres for the point set, and then apply weighting functions to blend together these local shape functions. Finally, we compute an error-controlled approximation of the signed distance function from the surface. In addition, we present an efficient projection operator which makes our representation suitable for point set filtering and dynamic point resampling. We demonstrate the effectiveness of our unified approach for both surface reconstruction and geometry modeling such as surface completion.     

Unity and diversity of fuzziness-from a probability viewpoint

Like the fields of probability and statistics, fuzzy set theory is characterized by a variety of viewpoints. Adherents of fuzzy methods, however, consistently maintain that probability is not necessarily the optimal representation of uncertainty. We rebut this view     

单位功率因数三相PWM整流器的设计

针对传统的二极管整流器和相控整流器对电网造成的谐波污染问题,设计了一种单位功率因数三相PWM整流器,详细介绍了该整流器功率电路的拓扑结构、PWM整流器的控制策略、硬件电路和软件设计方法。实验结果表明,该PWM整流器采用电压电流双闭环的直接电流控制策略,网侧功率因数高,谐波畸变率低,减小了对电网的污染。     

Unity and non-unity feedback: a comparison†

The paper compares the unity feedback with the non-unity feedback servo problem from the point of view of sensitivity and the minimum order of the realization. It is proved that the non-unity feedback solution has smaller sensitivity ‘on the band of interest’ and that the ‘dimension’ (defined in a precise sense) of the non-unity feedback solution is never smaller than that of the unity feedback solution.     

基于Unity3D的仓储可视化编辑器

近年来,随着仓储业的快速发展和仓库物资种类的不断增加,传统的人工管理远远不能满足现代仓库管理的需要. 而能够提供实时、直观、沉浸式管理的三维可视化管理系统越来越受到仓库管理人员的青睐. 任何三维可视化系统的开发都需要一款无缝对接的编辑器. 本文提出的仓储可视化编辑器是针对仓储可视化系统的开发人员,可帮助开发人员迅速搭建一个真实的三维场景,缩短可视化系统的开发周期. 本文实现了基于Unity3D的仓储可视化编辑器,首先,实现了编辑器的总体框架. 然后,实现了3D交互层、统一通信接口、模型操作面板等功能.     

集成学习中的多样性度量

在集成学习中, 基分类器之间的多样性对于解释多分类器系统的工作机理和构造有效的集成系统具有重要的作用, 但至今仍没有统一的度量多样性的方法. 首先总结介绍常用的多样性度量方法, 阐述每种方法评估多样性的角度和方式; 然后从对多样性新的解释和度量、多样性度量在选择性集成中的应用、多样性度量和集成学习精度的关系3 个方面探讨多样性度量的研究进展; 最后给出关于多样性度量进一步的研究方向.

     

施耐德Unity Quantum在烧结余热回收利用控制系统中的应用

介绍了施耐德Unity Quantum控制系统在烧结余热回收利用项目中的应用,主要包括系统的组成和主要控制功能等.     

基于元数据的故障诊断知识统一方法

为了解决远程协同故障诊断系统知识统一问题,通过研究故障诊断知识和面向对象表示方法的特点,提出诊断知识元数据融合数学模型,采用改进的虚拟法对异构元数据进行融合,实现诊断知识统一。通过某型磨床故障诊断知识融合的过程证明该方法可以实现诊断知识统一,提高诊断知识搜索和调用的效率。     

MEMS-IMU /GPS组合导航系统中坐标系统一的方法研究

针对MEMS-IMU/GPS组合导航系统数据融合时坐标系不统一的问题,提出了一种由GPS坐标系(WGS-84坐标系)到惯性坐标系(当地水平游移坐标系)的转换方法。该方法在由GPS坐标系转换到西北天惯性坐标系的基础上,计算与西向的游移偏航角,最终完成坐标系的统一。经实际的跑车实验验证,由GPS信息转换到惯性坐标系下的偏航角与惯性偏航角偏差小于1°,精确的实现两坐标系的统一,在实际的工程应用中具有一定的参考价值。     

信息安全技术课程的知行合一教学模式

从信息安全类课程教学与实践两大环节中的共性问题入手,在分析信息安全技术课程实际教学活动的基础上,提出教学内容点面结合、教学实践知行合一的内容安排与学生认知评价体系。该教学模式在信息安全工程与应用型本科人才培养中取得了较好的效果,达到了厚基础、重实践的培养目标。     

Schema-Centred Unity and Process-Centred Pluralism of the Predictive Mind

Proponents of the predictive processing (PP) framework often claim that one of the framework’s significant virtues is its unificatory power. What is supposedly unified are predictive processes in the mind, and these are explained in virtue of a common prediction error-minimisation (PEM) schema. In this paper, I argue against the claim that PP currently converges towards a unified explanation of cognitive processes. Although the notion of PEM systematically relates a set of posits such as ‘efficiency’ and ‘hierarchical coding’ into a unified conceptual schema, neither the frameworks’ algorithmic specifications nor its hypotheses about their implementations in the brain are clearly unified. I propose a novel way to understand the fruitfulness of the research program in light of a set of research heuristics that are partly shared with those common to Bayesian reverse engineering. An interesting consequence of this proposal is that pluralism is at least as important as unification to promote the positive development of the predictive mind.

     

基于Unity3D的仓储可视化管理系统

虚拟现实技术是当今计算机领域的一个研究热点,将虚拟现实技术应用到仓储管理上是现代仓储发展趋势.结合现代仓储理论,以Unity3D引擎为基础,提出仓储可视化管理系统的实现方法.该管理系统是以B/S架构部署在仓储中心的服务器上,客户通过浏览器访问和控制三维仓储中心.将各类商品模型导入Unity3D引擎,通过功能脚本实现漫游、定位、商品出入库等功能.通过WebService接口,可以实现门禁、监控、动环等信息的实时控制.实践表明,该系统可以极大的节约仓储管理成本,提高仓储效率.     

基于Unity平台的漫游交互系统的设计

随着网络及计算机技术的发展,3D实景虚拟漫游已经作为一种全新的展示在房产销售中普遍运用。本系统运用了3Dmax、Photoshop、Unity3D软件,参考现实广场小区,创建虚拟场景。为达到预期效果,通过骨骼动画及JavaScript语言实现控制角色移动转向等动作,用户可以对场景自主漫游、浏览,让用户真正沉浸在虚拟交互环境当中,实现用户与虚拟环境直接交互。     

动态矩阵控制系统的单位反馈控制结构

基于单位反馈控制系统,对动态矩阵控制算法的机理进行了重新阐述。研究表明,动态矩阵控制器由积分器和有延时的积分器组成,具有和Dahlin控制器相同的控制器结构。本文还对动态矩阵控制系统的性能进行了讨论。