Improved reservoir characterization by means of supervised machine learning and model-based seismic impedance inversion in the Penobscot field,Scotian Basin

The present research work attempted to delineate and characterize the reservoir facies from the Dawson Canyon Formation in the Penobscot field,Scotian Basin.An integrated study of instantaneous frequency,P-impedance,volume of clay and neutron-porosity attributes,and structural framework was done to unravel the Late Cretaceous depositional system and reservoir facies distribution patterns within the study area.Fault strikes were found in the EW and NEE-SWW directions indicating the dominant course of tectonic activities during the Late Cretaceous period in the region.P-impedance was estimated using model-based seismic inversion.Petrophysical properties such as the neutron porosity(NPHI)and volume of clay(VCL)were estimated using the multilayer perceptron neural network with high accuracy.Comparatively,a combination of low instantaneous frequency(15-30 Hz),moderate to high impedance(7000-9500 gm/cc*m/s),low neutron porosity(27%-40%)and low volume of clay(40%-60%),suggests fair-to-good sandstone development in the Dawson Canyon Formation.After calibration with the welllog data,it is found that further lowering in these attribute responses signifies the clean sandstone facies possibly containing hydrocarbons.The present study suggests that the shale lithofacies dominates the Late Cretaceous deposition(Dawson Canyon Formation)in the Penobscot field,Scotian Basin.Major faults and overlying shale facies provide structural and stratigraphic seals and act as a suitable hydrocarbon entrapment mechanism in the Dawson Canyon Formation's reservoirs.The present research advocates the integrated analysis of multi-attributes estimated using different methods to minimize the risk involved in hydrocarbon exploration.

Other Cities’Distribution Institutions for Publishing Books in Modern Chinese Libraries:Taking Huating Bookstore,the Shanghai General Distribution Office of Modern Zhejiang Library,as an Example

Many modern Chinese libraries have established distribution agencies in other cities to distribute books published or sold on consignment.Huating Bookstore,which was once the Shanghai General Distribution Office of Zhejiang Library in modern times,is one of them.On the basis of a brief description of modern Zhejiang Library and its book publishing,as well as the overview of Huating Bookstore,the paper introduces and analyzes the ZPL Publishing Book Catalogue sent by Huating Bookstore,and the ZPL publishing and selling consignment books issued by Huating Bookstore.It points out that Huating Bookstore is a bridge between the ZPL located in Hangzhou and various retail ZPL publishing bookstores in Shanghai.Their production and sales relationship is a mutually beneficial one.

Model-Based Systems Engineering Approach to Design a Human Settlement to Better Serve Displaced People

The challenge of transitioning from temporary humanitarian settlements to more sustainable human settlements is due to a significant increase in the number of forcibly displaced people over recent decades, difficulties in providing social services that meet the required standards, and the prolongation of emergencies. Despite this challenging context, short-term considerations continue to guide their planning and management rather than more integrated, longer-term perspectives, thus preventing viable, sustainable development. Over the years, the design of humanitarian settlements has not been adapted to local contexts and perspectives, nor to the dynamics of urbanization and population growth and data. In addition, the current approach to temporary settlement harms the environment and can strain limited resources. Inefficient land use and ad hoc development models have compounded difficulties and generated new challenges. As a result, living conditions in settlements have deteriorated over the last few decades and continue to pose new challenges. The stakes are such that major shortcomings have emerged along the way, leading to disruption, budget overruns in a context marked by a steady decline in funding. However, some attempts have been made to shift towards more sustainable approaches, but these have mainly focused on vague, sector-oriented themes, failing to consider systematic and integration views. This study is a contribution in addressing these shortcomings by designing a model-driving solution, emphasizing an integrated system conceptualized as a system of systems. This paper proposes a new methodology for designing an integrated and sustainable human settlement model, based on Model-Based Systems Engineering and a Systems Modeling Language to provide valuable insights toward sustainable solutions for displaced populations aligning with the United Nations 2030 agenda for sustainable development.

Library-Inside:AI赋能图书馆新质生产力的一种基础模型

AI正引发知识服务的生产力×生产关系的革命性变革,迫切需要推动AI与图书馆服务深度融合,打造符合新的发展理念的先进生产力质态。本文提出,从第一性原则思维出发,面向复杂适应性系统,以问题驱动和场景驱动的创新和设计驱动的创新,不断演进发展AI赋能的图书馆服务的新质生产力。在回归原点分析“人们到图书馆干什么”的基础上,基于大语言模型+AI智能体提供的能力,提出Library-Inside作为AI赋能图书馆新质生产力的一种基础模型,并描述了三种可能的实现模式:Library-Inside 1.0作为用户知识应用的智能助手,Library-Inside 2.0作为用户知识生产的智慧座舱和Library-Inside 3.0(Library×)打造用户AI赋能知识生产力的生态养育站。本文指出,要以战略创新推动图书馆新质生产力发展,要注意克服战略创新中的内在的结构性缺失和系统性偏差。

Formal management-specifying approach for model-based safety assessment

In the field of model-based system assessment,mathematical models are used to interpret the system behaviors.However,the industrial systems in this intelligent era will be more manageable.Various management operations will be dynamically set,and the system will be no longer static as it is initially designed.Thus,the static model generated by the traditional model-based safety assessment(MBSA)approach cannot be used to accurately assess the dependability.There mainly exists three problems.Complex:huge and complex behaviors make the modeling to be trivial manual;Dynamic:though there are thousands of states and transitions,the previous model must be resubmitted to assess whenever new management arrives;Unreusable:as for different systems,the model must be resubmitted by reconsidering both the management and the system itself at the same time though the management is the same.Motivated by solving the above problems,this research studies a formal management specifying approach with the advantages of agility modeling,dynamic modeling,and specification design that can be re-suable.Finally,three typical managements are specified in a series-parallel system as a demonstration to show the potential.

An efficient method for constructing a random insertional mutant library for forward genetics in Nannochloropsis oceanica

Insertional mutation,phenotypic evaluation,and mutated gene cloning are widely used to clone genes from scratch.Exogenous genes can be integrated into the genome during non-homologous end joining(NHEJ)of the double-strand breaks of DNA,causing insertional mutation.The random insertional mutant library constructed using this method has become a method of forward genetics for gene cloning.However,the establishment of a random insertional mutant library requires a high transformation efficiency of exogenous genes.Many microalgal species show a low transformation efficiency,making constructing random insertional mutant libraries difficult.In this study,we established a highly efficient transformation method for constructing a random insertional mutant library of Nannochloropsis oceanica,and tentatively tried to isolate its genes to prove the feasibility of the method.A gene that may control the growth rate and cell size was identified.This method will facilitate the genetic studies of N.oceanica,which should also be a reference for other microalgal species.

The Book Publishing and Analysis of Modern Peking University Library

The paper is based on literature search,introducing and analyzing the book publishing situation of modern Peking University Library from the perspective of the publisher being Peking University Library and its predecessor.It is pointed out that the majority of the book printing methods published by the modern Peking University Library are lead printing,and among the types of Chinese library classification,catalogue of library collections is the most common.

Marketing Strategies for Reading Promotion Activities in Academic Libraries:A Case Study of the University of Shanghai for Science and Technology

In the contemporary digital age,traditional reading habits have been compromised by digital media,a situation that has forced academic libraries to adopt proactive marketing approaches to promote reading among students and faculty.This article investigates the implementation of marketing strategies in promoting reading activities within academic libraries,taking the University of Shanghai for Science and Technology as a case study.The paper explores various marketing strategies employed by academic libraries,including market segmentation,utilization of new media platforms,and the creation of personalized content for readers.Drawing from an extensive literature review and real-world examples,the study establishes a framework for marketing reading promotion activities tailored to academic libraries.These findings underscore how effective marketing strategies can enhance user participation,expand library influence,and optimize resource utilization.

Integrated Project Library Exploration in Landscape Design Teaching for Environmental Design Majors

To enhance our talent cultivation model through“school-enterprise cooperation and industry-teaching fusion”,we aim to improve the“4321”Industry-Education Integration System.This includes actively promoting the use of case banks and project banks in teaching to develop students’practical engineering skills through hands-on application of professional knowledge.Additionally,landscape design courses emphasize practical learning experiences to implement the fundamental goal of“cultivating morality”.Guided by enhancing students’practical skills,we ensure alignment with course objectives and professional training requirements,emphasizing the seamless integration of theory and practice.

The Optimization Path of Research Support Services in University Libraries from the Perspective of Affordance Theory

University libraries,as an integral component of university research capabilities,are tasked with serving education by providing research support to faculty and students.This study adopts an affordance research perspective originating from ecological psychology to explore the optimization path of research support services in libraries in the new media era.Based on the characteristics of university library services,this research analyzes three aspects:production affordance,mobile affordance,and social affordance,and proposes practical recommendations to guide future research service practices of university libraries.

Analysis of the Books Issued by Yadong Library, Published by Peking University Publishing Department: Taking Several Bibliography Advertisements Carried in Newspapers and Magazines From 1919-1922 as Examples

Based on several bibliographic advertisements carried in newspapers and magazines from 1919 to 1922 for books published by Peking University Publishing Department,and issued by Yadong Library,the paper analyzes the characteristics of the books published by Peking University Publishing Department during this period,and points out that Yadong Library entered its golden period of development due to move from the alley to the main road and obtain the management rights of the books published by Peking University Publishing Department.

高校图书馆员数据素养提升策略——来自Library carpentry课程项目的经验

通过网络调查和文献调研分析了图书馆员的数据素养提升的Library carpentry课程项目,从发起背景、课程团队、经费支持、课程目标、课程内容等方面调查了Library carpentry的管理和运行实践,从项目组织、课程和教学方面总结出Library carpentry项目的特点。根据Library carpentry的成功经验,从开拓图书馆服务视野、打造实用化课程体系、推动教育可持续发展,搭建协同教育平台等角度思考对我国图书馆员数字素养教育的启示。

Model-Based Degree Estimation of Unbalance and Misalignment in Flexible Coupling-rotor System

The condition of rotor system must be assessed in order to develop condition-based maintenance for rotating machinery. It is determined by multiple variables such as unbalance degree, misalignment degree, the amount of bending deformation of the shaft, occurrence of shaft crack of rotor system and so on. The estimation of the degrees of unbalance and misalignment in flexible coupling-rotor system is discussed. The model-based approach is employed to solve this problem. The models of the equivalent external loads for unbalance and misalignment are derived and analyzed. Then, the degrees of unbalance and misalignment are estimated by analyzing the components of the equivalent external loads of which the frequencies are equal to the 1 and 2 times running frequency respectively. The equivalent external loads are calculated according to the dynamic equation of the original rotor system and the differences between the dynamical responses in normal case and the vibrations when the degree of unbalance or misalignment or both changes. The denoise method based on bandpass filter is used to decrease the effect of noise on the estimation accuracy. The numerical examples are given to show that the proposed approach can estimate the degrees of unbalance and misalignment of the flexible coupling-rotor system accurately.

Use of models in large-area forest surveys： comparing model-assisted, model-based and hybrid estimation

This paper focuses on the use of models for increasing the precision of estimators in large-area forest surveys. It is motivated by the increasing availability of remotely sensed data, which facilitates the development of models predicting the variables of interest in forest surveys. We present, review and compare three different estimation frameworks where models play a core role： model-assisted, model-based, and hybrid estimation. The first two are well known, whereas the third has only recently been introduced in forest surveys. Hybrid inference mixes design- based and model-based inference, since it relies on a probability sample of auxiliary data and a model predicting the target variable from the auxiliary data.We review studies on large-area forest surveys based on model-assisted, model- based, and hybrid estimation, and discuss advantages and disadvantages of the approaches. We conclude that no general recommendations can be made about whether model-assisted, model-based, or hybrid estimation should be preferred. The choice depends on the objective of the survey and the possibilities to acquire appropriate field and remotely sensed data. We also conclude that modelling approaches can only be successfully applied for estimating target variables such as growing stock volume or biomass, which are adequately related to commonly available remotely sensed data, and thus purely field based surveys remain important for several important forest parameters.

Experts' Knowledge Fusion in Model-Based Diagnosis Based on Bayes Networks

In previous researches on a model-based diagnostic system, the components are assumed mutually independent. Howerver , the assumption is not always the case because the information about whether a component is faulty or not usually influences our knowledge about other components. Some experts may draw such a conclusion that 'if component m 1 is faulty, then component m 2 may be faulty too'. How can we use this experts' knowledge to aid the diagnosis? Based on Kohlas's probabilistic assumption-based reasoning method, we use Bayes networks to solve this problem. We calculate the posterior fault probability of the components in the observation state. The result is reasonable and reflects the effectiveness of the experts' knowledge.

Feedback Scheduling of Model-based Networked Control Systems with Flexible Workload

In this paper,a novel control structure called feedback scheduling of model-based networked control systems is proposed to cope with a flexible network load and resource constraints.The state update time is adjusted according to the real-time network congestion situation.State observer is used under the situation where the state of the controlled plant could not be acquired.The stability criterion of the proposed structure is proved with time-varying state update time.On the basis of the stability of the novel system structure,the compromise between the control performance and the network utilization is realized by using feedback scheduler. Examples are provided to show the advantage of the proposed control structure.

Optimized model-based control of main mine ventilation air flows with minimized energy consumption

In early 2018,the Boliden Garpenberg operation implemented an optimized control strategy as an addition to the existing ventilation on demand system.The purpose of the strategy is to further minimize energy use for main and booster fans,whilst also fulfilling airflow setpoints without violating constraints such as min/max differential pressure over fans and interaction of air between areas in mines.Using air flow measurements and a dynamical model of the ventilation system,a mine-wide coordination control of fans can be carried out.The numerical model is data driven and derived from historical operational data or step changes experiments.This makes both initial deployment and lifetime model maintenance,as the mine evolves,a comparably easy operation.The control has been proven to operate in a stable manner over long periods without having to re-calibrate the model.Results prove a 40%decrease in energy use for the fans involved and a greater controllability of air flow.Moreover,a 15%decrease of the total air flow into the mine will give additional proportional heating savings during winter periods.All in all,the multivariable controller shows a correlation between production in the mine and the ventilation system performance superior to all of its predecessors.

The Role of Library and Information Science Education in the Development of Community Health Information Services for People Living with HIV/AIDS: Perspectives of Directors and Managers of Public Libraries

This article identifies the role of library and information science (LIS) education in the development of community health information services for people living with HIV/AIDS (PLWHA). Preliminary findings are presented from semi- structured qualitative interviews that were conducted with eleven directors and managers of local branches in the Knox County Public Library (KCPL) System that is located in the East Tennessee region in the United States. Select feedback reported by research participants is summarized in the article about strategies in LIS education that can help local public librarians and others in their efforts to become more responsive information providers to PLWHA. Research findings help better understand the issues and concerns regarding the development of digital and non-digital health information services for PLWHA in local public library institutions.

On the model-based networked control for singularly perturbed systems

In this paper, the control of a two-time-scale plant, where the sensor is connected to a linear controller/ actuator via a network is addressed. The slow and fast systems of singularly perturbed systems are used to produce an estimate of the plant state behavior between transmission times, by which one can reduce the usage of the network. The approximate solutions of the whole systems are derived and it is shown that the whole systems via the network control are generally asymptotically stable as long as their slow and fast systems are both stable. These results are also extended to the case of network delay.

Virtual Home Library System—— Let every Chinese family having their own libraries

Virtual Home Library (VHL) is an integrated IT system that utilizes virtual reality technology and an IPTV set-top box (STB) to virtually construct a ‘library’ and the relevant reading environment on televisions in people’s home. Unlike the online e-book reading applications, Virtual Home Library can be applied on televisions – the world’s most convenient and most efficient communication tool. Providing extended digital library services, it will be a perfect group reading utility for family readers. The system has been investigated by a joint research team formed by the National Library of China and the Communication University of China, collaborating with a Chinese IPTV equipment manufacturer. This paper presents some preliminary investigations of the VHL system performed by the research team.