基于Web的虚拟现实系统在实验教学中的应用

本文介绍了虚拟现实技术的基本原理和特征，并从素质教育的角度出发，探讨了基于WWW网络的虚拟现实系统在高校实验教学中的应用。     

Blockchain verification and validation: Techniques,challenges, and research directions

As blockchain technology is gaining popularity in industry and society, solutions for Verification and Validation (V&V) of blockchain-based software applications (BC-Apps) have started gaining equal attention. To ensure that BC-Apps are properly developed before deployment, it is paramount to apply systematic V&V to verify their functional and non-functional requirements. While existing research aims at addressing the challenges of engineering BC-Apps by providing testing techniques and tools, blockchain-based software development is still an emerging research discipline, and therefore, best practices and tools for the V&V of BC-Apps are not yet sufficiently developed. In this paper, we provide a comprehensive survey on V&V solutions for BC-Apps. Specifically, using a layered approach, we synthesize V&V tools and techniques addressing different components at various layers of the BC-App stack, as well as across the whole stack. Next, we provide a discussion on the challenges associated with BC-App V&V, and summarize a set of future research directions based on the challenges and gaps identified in existing research work. Our study aims to highlight the importance of BC-App V&V and pave the way for a disciplined, testable, and verifiable BC development.     

Some Kind of Analogtivity: anti-simulation through design

This paper discusses and explores issues surrounding current approaches to the design of technological products and offers two critical design proposals for presentation and debate. Primarily driven by contemporary theoretical writings and thoughts on the subject of ‘technology’ and ‘simulation’, currently being offered by leading thinkers on these subjects and expressed as ‘technological objects’; they are the result of a critical investigation into the emerging design issues surrounding ‘interaction’ and ‘transparency’. By using ‘popular’ language of product design as a vehicle, they exist as ‘cultural offerings’ exploring an alternative future for technological products not necessarily governed by science and economics.     

Technology roles and paths of influence in an ecosystem model of technology evolution

We propose a new conceptual model for understanding technology evolution that highlights dynamic and highly interdependent relationships among multiple technologies. We argue that, instead of considering technologies in isolation, technology evolution is best viewed as a dynamic system or ecosystem that includes a variety of interrelated technologies. By considering the interdependent nature of technology evolution, we identify three roles that technologies play within a technology ecosystem. These roles are components, products and applications, and support and infrastructure. Technologies within an ecosystem interact through these roles and impact each others’ evolution. We also classify types of interactions between technology roles, which we term paths of influence. We demonstrate the use of our proposed model through examples of wireless networking (Wi-Fi) technologies and a business mini-case on the digital music industry.

混合配置的PLC在邯钢7#高炉热风炉自动控制系统中的应用

本文简介了邯钢7#高炉热风炉的工艺状况，重点描述了基于Quantum PLC的热风炉本体仪控系统、基于西门子S7-400PLC（软件配置按PCS7系统模式）的热风炉热油预热控制系统和基于西门子S7与S5系列PLC混合配置的热风炉换炉电控系统的构成、软硬件配置、工作原理、主要控制功能和应用效果。     

Confidence interval optimization for testing hypotheses under data with low statistics

The notion of a confidence interval (CI) is used in the both major sections of the mathematical statistics: parameter estimation and hypothesis testing. While estimating parameters a CI defines the bounds of the parameter estimates with a certain confidence probability, and while testing hypotheses a CI defines with a certain confidence probability an interval of values of the random variable which do not contradict the tested hypothesis about them.     

Optimal testing resource allocation during module testing considering cost, testing effort and reliability

Software reliability is one of the most important quality attributes of commercial software. During software testing, software reliability growth models (SRGMs) are commonly used to describe the phenomenon of failure occurrence and/or fault removal which consequently enhancements software reliability. Large software systems are developed by integrating a number of relatively small and independent modules, which are tested independently during module testing phase. The amount of testing resource available is limited which is desired to be consumed judiciously so as to optimize the testing process. In this paper we formulate a resource allocation problem of minimizing the cost of software testing under available amount of testing resource, given a reliability constraint. We use a flexible SRGM considering testing effort which, depending upon the values of parameters, can describe either exponential or S-shaped failure pattern of software modules. A systematic and sequential Algorithm is proposed to solve the optimization problem formulated. Numerical examples are given to illustrate the formulation and solution procedures. Sensitivity analysis is performed to examine the behavior of some parameters of SRGM with most significant influence.     

“智能科学与技术”专业课程体系建设的思考

本文阐述了"智能科学与技术"学科建设的重要性。通过分析传统学科课程体系建设的情况,结合"智能科学与技术"专业的特点,针对该专业的课程体系建设问题,提出了几点探索性的建设思路和构建方案。     

计算机信息技术在生产性服务业组织建设中的渗透

大力发展生产性服务业是使我国经济继续保持健康发展的必由之路。计算机信息技术的渗透将促使这一过程得以加速。本文从相关要领介绍入手，研究了基于计算机信息技术的生产性服务业的管理过程、组织设计和组织文化，以期使其更有效地在生产性服务业实践中加以应用。     

秦安县农村户用改进型沼气池建造的关键技术

近年来,随着我县农村户用沼气建设力度的不断加大,为缓解我县能源资源短缺的现状,通过对农村户用沼气池施工技术及工艺的改进,进行技术集成示范,总结出秦安农村户用改进型沼气池的建造技术,为该地区沼气事业的发展提供科学依据.