基于Spring与DI的项目开发研究与实现

软件项目开发中,其设计思想有以前的面向过程到面向对象,程序的规模和需要处理的逻辑越来越复杂,面向对象技术有时也显苍白无力。组件化的编程思想很好地解决了以上矛盾,以常用黑白打印机为例。     

Dimension and tolerance modeling and transformations in feature based design and manufacturing

This paper describes the development and application of a geometric dimension and tolerance (GD&T) model for use in both design and process planning. The model meets criteria for computability and compatibility with the Y14.5M standard. The model is first used to capture the designers GD&T scheme on a feature based design model, validate its completeness, and then transfer the GD&T to machining features extracted automatically by feature recognition. The model is based on relative degrees of freedom of geometric entities: feature axes, edges, faces and features-of-size. Dimension graphs are created based on the degrees of freedom for each control direction. Datum reference frames and standard tolerance classes are incorporated into the graph. The model allows dimension specification, dimension scheme modification, and dimension scheme validation. A methodology to automatically determine the GD&T of machining volumes obtained by feature recognition is also described.     

Stochastic balancing and approximation-stability and minimality

A new method of stochastic model reduction has recently been introduced by Desai et al. [1], [2]. The stability of the reduced order model has not previously, been considered. In this paper, we show that the stability of the reduced order model follows directly from the results of Pernebo and Silverman [3]. It is also shown that the reduced order model is minimal, in the controllability/observability sense. The relevance of this notion of minimality to stochastic minimality is made clear.     

Integrating and automating analysis and optimization

The development of an interface coupling program on personal computers for an analysis software system such as ANSYS, SAP, etc. and an optimization software system, MOST, is presented. By controlling and directing the communications the interface coupler integrates the two programs while retaining their versatility and interactive features. The integrated system is used to solve a numerical example of active noise control for a three-dimensional enclosure, in which an energy density level of control points is minimized by adding the sound source to cancel the unwanted noise. The interface coupling program automates with relatively low cost the iterative process for designing an engineering system, remaining flexible in acoustical modelling and efficient in equation solving. Also, the coupling interface is developed in a general-purpose way so that it can be expanded easily to integrate more analysis software packages of different kinds.     

QNX与VxWorks的特性分析和实时性能测试

复杂的测控应用对于实时性的要求非常高.在硬件已经确定的情况下,实时系统的性能很大程度上取决于所采用的实时操作系统.分析了QNX RTOS v6.1和VxWorks AE 1.1的特性,对这两个操作系统的实时性能指标进行了对比测试,测试结果表明,QNXRTOSv6.1的实时性能优于VxWorksAE 1.1.     

Dietary restriction and lifespan: Control and modeling

Effect of dietary restriction on extended lifespan for various living organisms is examined. The fact that lifespan increases with moderate dietary restriction and the increase is determined by diet components, not the calorie content is noted. The following hypothesis is considered: change in the lifespan under dietary restriction is related to transition of the organism to the nonsteady state when control processes become activated for recovery to the stationary state. The energy expenditures for reproduction decreases, metabolism alteration sets in, and the substrate yield goes up. The extended life span observable in a number of cases may be a collateral result of these processes. Simulated results that confirm these inferences have been obtained.     

Competition and evolution of linear and two-part tariff

The duopoly competition model presented in this paper tries to explain why a two-part tariff exists in the telecommunication industry. The investigation of competition and evolution between linear and two-part tariffs shows how the growth of the market and the sequence of action may affect equilibrium. The two pricing patterns are assumed to be virtual participants to constitute a tariff competition and evolution model, and by calculation, we can obtain metaphase equilibrium and evolution equilibrium. The conclusion shows that optimized Pareto equilibrium should be carried out by combining linear pricing and buffet pricing, this case being presented as a three-part tariff when many sub-markets coexist.     

Pragmatism and purism in artificial intelligence and legal reasoning

The paper identifies and assesses the implications of two approaches to the field of artificial intelligence and legal reasoning. The first — pragmatism — concentrates on the development of working systems to the exclusion of theoretical problems. The second — purism — focuses on the nature of the law and of intelligence with no regard for the delivery of commercially viable systems. Past work in AI and law is classified in terms of this division. By reference to The Latent Damage System, an operational system, the paper articulates and responds to conceivable purist (jurisprudential and AI) objections to such a program. The methods of the pragmatist are also called into question and refined. The author concludes that pragmatism within a purist framework is the only sound approach to developing reliable AI systems in law.     

智能材料结构的研究与发展

智能材料结构的自诊断、自适应与自修复功能的研究是近几年发展起来的研究课题,现已成为相关领域研究的热点之一.智能夹层及其先进信号处理技术的研究是智能材料结构研究的主要内容.对实现自诊断、自适应、自修复功能的智能夹层及其信号处理技术的研究现状进行了综述,并对智能材料结构的未来发展进行了展望.     

Dynamic Scheduling and Fault-Tolerance: Specification and Verification

Considera distributed real-time program which is executed on a systemwith a limited set of hardware resources. Assume the programis required to satisfy some timing constraints, despite the occurrenceof anticipated hardware failures. For efficient use of resources,scheduling decisions must be taken at run-time, considering deadlines,the load and hardware failures. The paper demonstrates how toreason about such dynamically scheduled programs in the frameworkof a timed process algebra and modal logic. The algebra providesa uniform process encoding of programs, hardware and schedulers,with an operational semantics of a process depending on the assumptionsabout faults. The logic specifies the timing properties of aprocess and verifies them via this fault-affected semantics,establishing fault-tolerance. The approach lends itself to applicationof existing tools and results supporting reasoning in processalgebras and modal logics.     

柔性MIS及其分析与开发过程

介绍了FMIS的定义与主要特点以及开发模型,对FMIS的柔性进行了分析,并针对其特点提出了FMIS的开发与适应需求变化的过程.最后利用构件技术实现了FMIS的开发过程.柔性MIS的开发减少了不必要的人力、时间的浪费,大大提高系统的开发效率,使企业MIS更加灵活,以满足用户多层次、多用途和变化的需求.     

Design and deployment challenges in immersive and wearable technologies

The current century has brought an unimaginable growth in information and communications technology (ICT) and needs of enormous computing. The advancements in computer hardware and software particularly helped fuel the requirements of human beings, and revolutionized the smart products as an outcome. The advent of wearable devices from their development till successful materialisation has only taken less than a quarter of a century. The huge benefits of these smart wearable technologies cannot be fully enjoyed until and unless the reliability of a complete system is ensured. The reliability can be increased by the consistent advancements in hardware and software in parallel. User expectations actually are the challenges that keep the advancements alive while improving at an unmatchable pace. The future of wearable and other smart devices depends on whether they can provide a timely solution that is reliable, richer in resources, smaller in size, and cheaper in price. This paper addresses the threats and opportunities in the development and the acceptance of immersive and wearable technologies. The hardware and software challenges for the purpose of development are discussed to demonstrate the bottlenecks of the current technologies and the limitations that impose those bottlenecks. For the purpose of adoption, social and commercial challenges related to innovation and acceptability are discussed. The paper proposes guidelines that are expected to be applicable in several considerable applications of wearable technologies, for example, social networks, healthcare, and banking.     

Hybrid systems modelling and validating using Statecharts and Grafcet

The Statechart and Grafcet synchronous models are compared in view of their application to the control of hybrid systems. The Cruise Control case study emphasises the specific features and similarities of both methods. The simulation of the Grafcet model uses an original algorithm. Issues about the coherent management of variables in hybrid systems are raised.     

System threats and vulnerabilities and the contrary principle

Security literature exhibits many instances where the terms “threats” and “vulnerabilities” are often used in error and, more than occasionally, wrongly interchanged. Threats are confused with vulnerabilities and vice versa. The reason for the confusion is that almost everyone starts with two false premises. One is the assumption that threats and vulnerabilities are always separate and distinct throughout their analysis. The second error is the assumption that the names historically attached to the technical processes of determining threats and vulnerabilities are valid.Why do very intelligent, credentialed writers consistently commit these errors? The author believes the security industry has, itself, created and continued the problem. The apparent confusion is precisely that which is supposed to occur. It is the writer's contention that what is needed is an infusion of contrary thought. The work product of a vulnerability analysis is not vulnerabilities but threat identification. The work product of a threat analysis is not threats, but rather vulnerabilities. In both cases, the result created is precisely the opposite effect from that which the task's name would imply. A step-by-step illustrative example drives the discussion.     

VoIP认证与计费的设计与实现

基于RADIUS的VoIP认证系统，采用分散受理、集中管理的接入认证管理体系，数据集中存放在认证中心(RADIUS服务器)，用户身份认证由PC向网守发起，网守通过RADIUS协议向认证中心的认证服务器发起认证请求。这样，可以保证用户安全地使用网络资源，以确保用户身份的合法性。同时其落地话单经过处理，可进行计费及其它帐务处理。文中论述了RADIUS对VoIP的支持，提出了一个Gatekeeper与RADIUS结合的整体解决方案。     

相关测度与增量式支持度和信任度的计算

通过相关测度的定义,从理论上探讨了增量式规则发现问题,并把分类规则挖掘和关联规则挖掘联系起来进行研究,为该问题的深入研究奠定了理论基础.相关测度刻画了给定关系和相关集合的数字特征.对相关测度的概念、定义、性质以及与支持度和信任度的关系等方面作了详细的分析和探讨,给出了基于相关集合的支持度和信任度的定义及计算方法.证明了测度增量定理和支持度增量定理,并给出了增量式支持度和信任度的计算公式.另外还详细地分析了数据增量对关联规则和信任度的影响,探讨了基于新支持度的候选项的修剪问题.所提出的相关测度及其思想为研究既能用于分类规则又能用于关联规则的统一数据挖掘方法提供了有价值的新思路.     

弱电工程施工和管理研究与探讨

弱电工程项目的质量控制的关键是对工程的设计、施工和管理过程进行严格的控制和把关,并按规范步骤进行操作和实施。通过工程的前期沟通、技术选择、需求确定、配置清单和施工图纸等措施可规范设计过程。通过施工前会议、施工要点、材料和设备采购、工程进度、方案设计等措施可规范施工过程。通过制定施工组织和协调管理等措施可规范施工管理。通过规范的设计、施工和管理可以提高工程质量和工程效益。     

植物生长建模与可视化——回顾与展望

回顾了植物生长的建模与可视化研究.为了加深对不同模型的目的、内涵与局限性的 理解,该文对植物生长模型进行了分类.在植物生长机研究中,对目前常见的分形方法、随机过 程、人工智能等建模方法的特点进行了比较分析.分别介绍了植物仿真与可视化方面的研究进 展及其相关技术,以及植物生长软件的发展状况.最后,总结了该领域研究中存在的主要问题, 并讨论了未来研究与应用方面的发展趋向及其前景.     

Storage System and Multimedia: Classification and Extensions

With the increasing processing speeds, there is a shift away from the paradigm of centralized, sequential storage systems towards distributed and network based storage systems. Further, with the new imaging and real time multimedia applications, it is becoming more than ever important to design powerful, efficient and scaleable I/O systems. In this paper, the requirements of storage subsystems in multimedia environment were presented. The storage system components relating to those requirements were analyzed. Current solutions were surveyed and classified. Then we proposed approaches to improve storage subsystem performance for multimedia. The first approach applies constrained layout currently used for single disk model to multi-disk system. The second calls for using a stripping unit that meets both media and storage system optimization criteria. The third uses a pool of buffers instead of single buffer per stream.