Effects of formal credit on pastoral household expense: Evidence from the Qinghai-Xizang Plateau of China

Formal credit is critical in agricultural production,allowing more expenditure and productive input,thereby improving farmers'welfare.In pastoral China,formal financial institutions are gradually increasing.However,a limited understanding remains of how formal credit affects herders'household expenses.Based on a survey of 544 herders from the Qinghai-Xizang Plateau of China,this study adopted the propensity score matching approach to identify the effect of formal credit on herders'total household expenses,daily expenses,and productive expenses.The results found that average age,grassland mortgage,and other variables significantly affected herders'participation in formal credit.Formal credit could significantly improve household expenses,especially productive expenses.A heterogeneity analysis showed that formal credit had a greater impact on the household total expense for those at higher levels of wealth;however,it significantly affected the productive expense of herders at lower wealth levels.Moreover,the mediating effect indicated that formal credit could affect herders'household income,thus influencing their household expenses.Finally,this study suggests that policies should improve herders'accessibility to formal credit.

A Formal Model for Analyzing Fair Exchange Protocols Based on Event Logic

Fair exchange protocols play a critical role in enabling two distrustful entities to conduct electronic data exchanges in a fair and secure manner.These protocols are widely used in electronic payment systems and electronic contract signing,ensuring the reliability and security of network transactions.In order to address the limitations of current research methods and enhance the analytical capabilities for fair exchange protocols,this paper proposes a formal model for analyzing such protocols.The proposed model begins with a thorough analysis of fair exchange protocols,followed by the formal definition of fairness.This definition accurately captures the inherent requirements of fair exchange protocols.Building upon event logic,the model incorporates the time factor into predicates and introduces knowledge set axioms.This enhancement empowers the improved logic to effectively describe the state and knowledge of protocol participants at different time points,facilitating reasoning about their acquired knowledge.To maximize the intruder’s capabilities,channel errors are translated into the behaviors of the intruder.The participants are further categorized into honest participants and malicious participants,enabling a comprehensive evaluation of the intruder’s potential impact.By employing a typical fair exchange protocol as an illustrative example,this paper demonstrates the detailed steps of utilizing the proposed model for protocol analysis.The entire process of protocol execution under attack scenarios is presented,shedding light on the underlying reasons for the attacks and proposing corresponding countermeasures.The developedmodel enhances the ability to reason about and evaluate the security properties of fair exchange protocols,thereby contributing to the advancement of secure network transactions.

LANGUAGE CORNER Lesson 3:Authorizing the Handling of Formalities

地点:中国旅行社驻外分社营业部Setting:China Travel Service,Overseas Branch人物:杰克·乔治、黄先生Characters:Jack George and Mr.Huang 会话 Dialogue黄先生:乔治先生,您决定了没有?Mr.Huang:Have you made up your mind,Mr.George?乔治:你叫我杰克好了。我决定从上海入境。

A FORMAL REPRESENTATION FOR FEATURE-BASED DESIGN

Feature based design has been regarded as a promising approach for CAD/CAM integration.This paper aims to establish a domain independent representation formalism for feature based design in three aspects: formal representation,design process model and design algorithm.The implementing scheme and formal description of feature taxonomy,feature operator,feature model validation and feature transformation are given in the paper.The feature based design process model suited for either sequencial or concurrent engineering is proposed and its application to product structural design and process plan design is presented. Some general design algorithms for developing feature based design system are also addressed.The proposed scheme provides a formal methodology elementary for feature based design system development and operation in a structural way.

范式的补充还是取代？——评塞西尔·巴尔蒙的informal

本文主要以informal书中库哈斯和巴尔蒙合作的两个作品为例,阐述informal思想中的若干重要概念。并引申出对结构技术进步的可能性,工程师和建筑师间的可能关系以及建筑学的可能发展方向等方面的反思,从而完成对informal这种以鼓励原创性为主的思想方式的批判性继承。

A Definition Formalism of Machining Features for DFM

Benefiting from advances in feature technology for design and manufacture can not be expected before a formal methodology is established. This paper makes attempt to establish a definition formalism of machining features in design for manufacturability from two aspects: formal definition and manufacturability analysis. Some definitions for machining feature based upon the selection and sequencing of material removal operations for component in accordance with the design geometry are presented and a framework of feature based design for manufacturability is outlined correspondingly. The proposed scheme contributes to several aspects of feature based CAD/CAM integration, especially to encourage potentially a more generic approach to the automation of design.

Quantum Chemical Studies on Structure and Detonation Performance of Bis（2,2-dinitropropyl ethylene）formal

Based on the full optimized molecular geometric structures via B3LYP/6-311＋G（2d,p） method, a new gem-dinitro energetic plasticizer, bis（2,2-dinitropropyl ethylene）formal was investigated in order to search for high-performance energetic material. IR spectrum, heat of formation, and detonation performances were predicted. The bond dissociation energies and bond orders for the weakest bonds were analyzed to investigate the thermal stability of the title compound. The results show that the four N-NO2 BDEs are nearly equal to the values of 164.38 kJ/mol, which shows that the title compound is a stable compound. The detonation velocity and pressure were evaluated by using Kamlet-Jacobs equations based on the theoretical density and condensed HOF. The crystal structure obtained by molec-ular mechanics belongs to P21 space group, with lattice parameters Z=2, a=13.8017 A, b=13.4072 A, c=5.5635 A.

Aesthetism, Russian Formalism, and Their Comparison

In our class,we have already learned some articles of Aesthetism.The famous aesthetes,such as Walter Pater,Oscar Wilde,Benedetto Croce,all give us huge impressions.And Russian Formalism is also very important school of thoughts.As they all study art,literature and form,I would like to know the relationship between them.In this paper,first I will show some of my own understandings on Both Aesthetism and Russian Formalism.Then I will compare them to find similarities and differences.At last,I will say something about my preference.

协同形式验证环境Co-Formal的建立与应用

形式验证存在状态爆炸的问题,特别是软硬件的协同验证难以解决.为此研究了片上系统的协同形式验证问题,给出了一种高效的协同形式验证环境Co-Formal,用于从行为级到具体实现级的软硬件协同形式验证.以一个实际的硬件系统验证了该环境的可用性.

Formal and Informal Styles

This article intends to discuss one fundamental aspect of style...differences between formal and informal English with concrete examples through some specific features that distinquish these two types of English.

基于Formal Methods的基本存款账户新增数量变动分析

基本存款账户期末数量代表了经济实体的开户数量,在一定程度上反映了经济实体发展环境的好坏程度。就此引入形式化描述方法,对基本存款账户数量变动情况进行分析,精确刻画商业银行的开户行为,对存在恶性争抢客户的商业银行,采取相应措施,规范开户行为。

Formal analysis of robust email protocol based on authentication tests

Based on the authentication tests and the strand space model, the robust email protocol with perfect forward secrecy is formally analyzed, and the security shortcomings of the protocol is pointed out. Meanwhile, the man-in-the-middle attack to the protocol is given, where the attacker forges the messages in the receiving phase to cheat the two communication parties and makes them share the wrong session keys with him. Therefore, the protocol is not ensured to provide perfect forward secrecy. In order to overcome the above security shortcomings, an advanced email protocol is proposed, where the corresponding signatures in the receiving phase of the protocol are added to overcome the man-in-the-middle attack and ensure to provide perfect forward secrecy. Finally, the proposed advanced email protocol is formally analyzed with the authentication tests and the strand space model, and it is proved to be secure in authentication of the email sender, the recipient and the server. Therefore, the proposed advanced email protocol can really provide perfect forward secrecy.

“形式主义”不完全等于“formalism”——基于CCL和COCA语料库的对比分析

"形式主义"一词在国内的大众媒体中频频出现,是中国政治文献常用的术语之一。国内的权威词典大多将其翻译成formalism。文章基于CCL语料库和COCA语料库,从词频、搭配和语义韵三个角度进行了对比分析,发现"形式主义"一词在不同领域中含义大相径庭,特别是在中国政治领域中,该词更是含义特殊。笔者建议中国政治文献中的"形式主义"应翻译成formism,以便与其他语境下该词被翻译成formalism相区分。

Construction and application of formal ontology for mine

Digital mine is the only way for the development of mining industry in China. Due to lack of appropriate standards and norms, and different awareness in the field of digital mine among academia and industry insiders, the meaning for digital mine is still unclear. Starting from the nature of mining and removing of views of specialized fields, this paper constructs formal ontology for digital mine and proposes the four levels for it. The ontology clarifies the concept world for digital mine, defines the meaning of concepts and relations clearly, provides a reference for the standard construction for digital mine and provides a unified semantic framework for the integration of heterogeneous mine data. Meanwhile, it can provide formal reasoning knowledge for expert system of digital mine and improve the intelligence and automation while the machine automatically interpreting and processing mine spatial data.

Study of the Factors Influencing Entrepreneurial Farmers' Formal Financial Credit Demand and Credit Constraints in Sichuan and Chongqing

Based on a survey of 939 farmers in Sichuan and Chongqing,this paper analyzes the influencing factors of entrepreneurial farmers' formal financial credit demands and credit constraints with Probit model. It is found that entrepreneurial farmers have strong demand for formal financial credit,which is mainly production investment demand,but the formal financial credit constraint is obvious. Family size,cognition of loan procedures and conditions have a positive effect on entrepreneurial farmers' formal financial demand,while family per capita income,the distance between family location and the nearest formal financial organization,have negative influence. The relationship between householder'age and entrepreneurial farmers' successful formal loan presents inverted U shape,and educational level presents a negative correlation with successful loan. Compared with the traditional scale agricultural business,farmers engaged in other entrepreneurial businesses would get loan from formal financial institutions more difficultly. Understanding level of the loan procedures and conditions has a positive effect on successful loan. Compared with entrepreneurial farmers without employment,employed farmers are more likely to get loans. Statistically,householder' age and educational level,entrepreneurial business choices do not have significant effect on entrepreneurial households' formal financial credit demands. Family size,family per capital income,the distance between family location and the nearest formal financial organization,and the size of loan do not have significant influence on entrepreneurial households' successful loan. To get rid of formal financial credit constraints,we must implement the incremental reform of financial institutions,promote the formal finance of the villages and towns which can adapt to the farmers' financial demand,and create a good financial environment. Meanwhile,it is necessary to give impetus to innovation of financial management,products and services,reduce credit threshold,and adapt to the characteristics and demands of entrepreneurial households.

Establishing formal state space models via quantization forquantum control systems

Formal state space models of quantum control systems are deduced and a scheme to establish formal state space models via quantization could been obtained for quantum control systems is proposed. State evolution of quantum control systems must accord with Schrdinger equations, so it is foremost to obtain Hamiltonian operators of systems. There are corresponding relations between operators of quantum systems and corresponding physical quantities of classical systems, such as momentum, energy and Hamiltonian, so Schrdinger equation models of corresponding quantum control systems via quantization could been obtained from classical control systems, and then establish formal state space models through the suitable transformation from Schrdinger equations for these quantum control systems. This method provides a new kind of path for modeling in quantum control.

Research on system-of-systems combat simulation model formal specification and representation

To makesystem-of-systems combat simulation models easy to be developed and reused, simulation model formal specification and representation are researched. According to the view of system-of-systems combat simulation, and based on DEVS, the simulation model＇s fundamental formalisms are explored. It includes entity model, system-of-systems model and experiment model. It also presents rigorous formal specification. XML data exchange standard is combined to design the XML based language, SCSL, to support simulation model representation. The corresponding relationship between SCSL and simulation model formalism is discussed and the syntax and semantics of elements in SCSL are detailed. Based on simulation model formal specification, the abstract simulation algorithm is given and SCSL virtual machine, which is capable of automatically interpreting and executing simulation model represented by SCSL, is designed. Finally an application case is presented, which can show the validation of the theory and verification of SCSL.

Formal Inferring the Law of Conservation of Energy from Assuming A-Priori-ness of Knowledge in a Formal Axiomatic Epistemology System Sigma

The research purpose is invention (construction) of a formal logical inference of the Law of Conservation of Energy within a logically formalized axiomatic epistemology-and-axiology theory Sigma from a precisely defined assumption of a-priori-ness of knowledge. For realizing this aim, the following work has been done: 1) a two-valued algebraic system of formal axiology has been defined precisely and applied to proper-philosophy of physics, namely, to an almost unknown (not-recognized) formal-axiological aspect of the physical law of conservation of energy;2) the formal axiomatic epistemology-and-axiology theory Sigma has been defined precisely and applied to proper-physics for realizing the above-indicated purpose. Thus, a discrete mathematical model of relationship between philosophy of physics and universal epistemology united with formal axiology has been constructed. Results: 1) By accurate computing relevant compositions of evaluation-functions within the discrete mathematical model, it is demonstrated that a formal-axiological analog of the great conservation law of proper physics is a formal-axiological law of two-valued algebra of metaphysics. (A precise algorithmic definition of the unhabitual (not-well-known) notion “formal-axiological law of algebra of metaphysics” is given.) 2) The hitherto never published significantly new nontrivial scientific result of investigation presented in this article is a formal logical inference of the law of conservation of energy within the formal axiomatic theory Sigma from conjunction of the formal-axiological analog of the law of conservation of energy and the assumption of a-priori-ness of knowledge.

ON THE FORMAL SOLUTION OF INITIAL VALUE PROBLEM OF NAVIER-STOKES EQUATION

A necessary and sufficient conditions of the existence of formal solution to the initial value problem of Navier-Stokes equation an R-3 x R are presented. A computation case is also given.

Structure,Dynamic-Mechanical and Acoustic Properties of Oil Palm Trunk Modified by Melamine Formaldehyde

The performance of oil palm trunk wastes from Banjarbaru of South Kalimantan was improved with the help of chemical modification in a two-step treatment.The first was formalization with formaldehyde solution with varying pH,and the second was impregnation with melamine-formaldehyde resin under 5 bar pressure for an hour.In these processes,the samples were cured at 120℃ for 10 min and then dried in an oven at(103±2)℃ in order to attain a moisture content of less than 6%.These treatments improved the physical properties(density,moisture content,and volume swelling),mechanical resistance,dynamic-mechanical and acoustic performance of the woods.The combination of impregnation and formalization changed the structure and the morphology of the woods such that the surface became flatter and denser.This was confirmed by results from FTIR,SEM,and DMA.Samples with alkaline modification displayed the best results for dimensional stability,storage modulus,and damping factor in varied frequencies.The treatments in this study also heightened acoustic performances as evidenced by the resulting characteristics of sound absorption coefficient and acoustic impedance.