In recent years, many important discoveries have been made in the marine deepwater hydrocarbon exploration in the South China Sea, which indicates the huge exploration potential of this area. However, the seismic prediction of deepwater reservoirs is very challenging because of the complex sedimentation, the ghost problem, and the low exploration level with sparse wells in deepwater areas. Conventional impedance inversion methods interpolate the low frequencies from well-log data with the constraints of interpreted horizons to fill in the frequency gap (...) between the seismic velocity and seismic data and thereby recover the absolute impedance values that may be inaccurate and cause biased inversion results if wells are sparse and geology is complex. The variable-depth streamer seismic data contain the missing low frequencies and provide a new opportunity to remove the need to estimate the low-frequency components from well-log data. Therefore, we first developed a broadband seismic-driven impedance inversion approach using the seismic velocity as initial low-frequency model based on the Bayesian framework. The synthetic data example demonstrates that our broadband impedance inversion approach is of high resolution and it can automatically balance between the inversion resolution and stability. Then, we perform seismic sedimentology stratal slices on the broadband seismic data to analyze the depositional evolution history of the deepwater reservoirs. Finally, we combine the broadband amplitude stratal slices with the impedance inversion results to comprehensively predict the distribution of deepwater reservoirs. Real data application results in the South China Sea verify the feasibility and effectiveness of our method, which can provide a guidance for the future deepwater hydrocarbon exploration in this area. (shrink)
: This essay breaks new ground in defending the view that contemporary care-based ethics and early Confucian ethics share some important common ground. Luo also introduces the notion of relational virtue in an attempt to bridge a conceptual gap between relational caring ethics and agent-based virtue ethics, and to make the connections between the ethics of care and Confucian ethics philosophically clearer and more defensible.
In this paper we propose a way to deal with natural language inference by implementing Modern Type Theoretical Semantics in the proof assistant Coq. The paper is a first attempt to deal with NLI and natural language reasoning in general by using the proof assistant technology. Valid NLIs are treated as theorems and as such the adequacy of our account is tested by trying to prove them. We use Luo’s Modern Type Theory with coercive subtyping as the formal language into (...) which we translate natural language semantics, and we further implement these semantics in the Coq proof assistant. It is shown that the use of a MTT with an adequate subtyping mechanism can give us a number of promising results as regards NLI. Specifically, it is shown that a number of inference cases, i.e. quantifiers, adjectives, conjoined noun phrases and temporal reference among other things can be successfully dealt with. It is then shown, that even though Coq is an interactive and not an automated theorem prover, automation of all of the test examples is possible by introducing user-defined automated tactics. Lastly, the paper offers a number of innovative approaches to NL phenomena like adjectives, collective predication, comparatives and factive verbs among other things, contributing in this respect to the theoretical study of formal semantics using MTTs. (shrink)
This essay breaks new ground in defending the view that contemporary care-based ethics and early Confucian ethics share some important common ground. Luo also introduces the notion of relational virtue in an attempt to bridge a conceptual gap between relational caring ethics and agent-based virtue ethics, and to make the connections between the ethics of care and Confucian ethics philosophically clearer and more defensible.
Within Luo’s (2001, J. Math. Econ. 36, 95–109) framework of a general system, I establish an equivalence theorem for the conservative stable standard of behavior (CSSB for short) developed by J. Greenberg (“The Theory of Social Situation: An Alternative Game-Theoretic Approach,” Cambridge University Press, 1990). It is shown that a standard of behavior for a situation is a CSSB if, and only if, its graph is a φ-stable set for the associated general system.
Biomarkers can be powerful tools to guide diagnosis, treatment, and research. However, prudent use of bio-markers requires formal validation efforts. Although the data needed for biomarker validation has traditionally been hard to access, new research initiatives can ease this process.
Recent studies have revealed that the temporal lobe, a cortical region thought to be in charge of episodic and semantic memory, is involved in creative insight. This work examines the contributions of discrete temporal regions to insight. Activity in the medial temporal regions is indicative of novelty recognition and detection, which is necessary for the formation of novel associations and the “Aha!” experience. The fusiform gyrus mainly affects the formation of gestalt-like representation and perspective taking. The anterior and posterior middle (...) temporal gyri are individually associated with extensive semantic processing and inhibiting salient or routine word associations, which are necessary to form non-salient, novel and remote associations. The anterior and posterior superior temporal gyri are individually responsible for integrating/binding and accessing various types of available conceptual representations. Based on the current knowledge, an integrated model of the temporal lobe's role in insight and some future directions are proposed. (shrink)
In the formal semantics based on modern type theories, common nouns are interpreted as types, rather than as predicates of entities as in Montague’s semantics. This brings about important advantages in linguistic interpretations but also leads to a limitation of expressive power because there are fewer operations on types as compared with those on predicates. The theory of coercive subtyping adequately extends the modern type theories and, as shown in this paper, plays a very useful role in making type theories (...) more expressive for formal semantics. It not only gives a satisfactory solution to the basic problem of ‘multiple categorisation’ caused by interpreting common nouns as types, but provides a powerful formal framework to model interesting linguistic phenomena such as copredication, whose formal treatment has been found difficult in a Montagovian setting. In particular, we show how to formally introduce dot-types in a type theory with coercive subtyping and study some type-theoretic constructs that provide useful representational tools for reference transfers and multiple word meanings in formal lexical semantics. (shrink)
According to social learning theory, we explored the relation between ethical leadership and knowledge hiding. We developed a moderated mediation model of the psychological safety linking ethical leadership and knowledge hiding. Surveying 436 employees in 78 teams, we found that ethical leadership was negatively related to knowledge hiding, and that this relation was mediated by psychological safety. We further found that the effect of ethical leadership on knowledge hiding was contingent on a mastery climate. Finally, theoretical and practical implications were (...) discussed for leadership and knowledge management. (shrink)
Bioethical debates on the use of human embryos and oocytes for stem cell research have often been criticized for the lack of empirical insights into the perceptions and experiences of the women and couples who are asked to donate these tissues in the IVF clinic. Empirical studies that have investigated the attitudes of IVF patients and citizens on the donation of their embryos and oocytes have been scarce and have focused predominantly on the situation in Europe and Australia. This article (...) examines the viewpoints on the donation of embryos for stem cell research among IVF patients and students in China. Research into the perceptions of patients is based on in-depth interviews with IVF patients and IVF clinicians. Research into the attitudes of students is based on a quantitative survey study. The empirical findings in this paper indicate that perceptions of the donation of human embryos for stem cell research in China are far more diverse and complex than has commonly been suggested. Claims that ethical concerns regarding the donation and use of embryos and oocytes for stem cell research are typical for Western societies but absent in China cannot be upheld. The article shows that research into the situated perceptions and cultural specificities of human tissue donation can play a crucial role in the deconstruction of politicized bioethical argumentation and the assumptions about “others” that underlie socio-ethical debates on the moral dilemmas of technology developments in the life sciences. (shrink)
In this paper, we will consider the neuro-cognitive systems involved in mediating morality. Five main claims will be made. First, that there are multiple, partially separable neuro-cognitive architectures that mediate specific aspects of morality: social convention, care-based morality, disgust-based morality and fairness/justice. Second, that all aspects of morality, including social convention, involve affect. Third, that the neural system particularly important for social convention, given its role in mediating anger and responding to angry expressions, is ventrolateral prefrontal cortex. Fourth, that the (...) neural systems particularly important for care-based morality are the amygdala and medial orbital frontal cortex. Fifth, that while Theory of Mind is not a prerequisite for the development of affect-based 'automatic moral attitudes', it is critically involved in many aspects of moral reasoning. (shrink)
Squirrel search algorithm is a new biological-inspired optimization algorithm, which has been proved to be more effective for solving unimodal, multimodal, and multidimensional optimization problems. However, similar to other swarm intelligence-based algorithms, SSA also has its own disadvantages. In order to get better global convergence ability, an improved version of SSA called ISSA is proposed in this paper. Firstly, an adaptive strategy of predator presence probability is proposed to balance the exploration and exploitation capabilities of the algorithm. Secondly, a normal (...) cloud model is introduced to describe the randomness and fuzziness of the foraging behavior of flying squirrels. Thirdly, a selection strategy between successive positions is incorporated to preserve the best position of flying squirrel individuals. Finally, in order to enhance the local search ability of the algorithm, a dimensional search enhancement strategy is utilized. 32 benchmark functions including unimodal, multimodal, and CEC 2014 functions are used to test the global search ability of the proposed ISSA. Experimental test results indicate that ISSA provides competitive performance compared with the basic SSA and other four well-known state-of-the-art optimization algorithms. (shrink)
The existing literature provides conflicting results on the association between firm performance and corporate social responsibility (CSR) disclosure. This paper empirically examines the effect of firm performance on CSR disclosure in terms of disclosure frequency and quality among Chinese listed firms and the possible mediating effect of corporate ownership on the relationship between firm performance and CSR disclosure. Our findings show that better-performing firms are more likely than worse-performing ones to disclose CSR information and to produce higher quality CSR reports. (...) In addition, the link between firm performance and CSR disclosure is found to be weaker among state-owned enterprises compared with non-state-owned ones. (shrink)
Prior studies have demonstrated that social-cognitive factors such as children’s false-belief understanding and parenting style are related to children’s lie-telling behaviors. The present study aimed to investigate how earlier forms of theory-of-mind understanding contribute to children’s lie-telling as well as how parenting practices are related to children’s antisocial lie-telling behaviors. Seventy-three three-year-olds from Hangzhou, P. R. China were asked not to peek at a toy in the experimenter’s absence. The majority of children who peeked, lied about it. Children’s lies were (...) positively related to performance on the knowledge-ignorance theory-of-mind task. Additionally, Control parenting, characterized by high levels of monitoring and demanding, unquestioning obedience, was negatively related to three-year-olds’ lying. The relation between Control parenting and lie-telling was partially mediated by children’s theory-of-mind understanding. These findings suggest that children’s early lie-telling behaviors are influenced by social and social-cognitive factors. (shrink)
Given that women CEOs are usually more risk averse, engage less in opportunistic behavior, and provide higher quality earnings than men CEOs, we argue that firms with women CEOs are likely to face lower operational and information risk and thus enjoy cheaper external funds. Using a large sample of Chinese A-share listed firms operating from 2006 to 2012, we find consistent evidence that Chinese banks tend to impose lower loan costs on firms with women CEOs compared to firms with men (...) CEOs. This effect is more pronounced for non-state-owned enterprises than for state-owned enterprises, for firms without political connections than for firms with political connections, and during non-crisis periods. We do not find any significant effects for firms with women chairpersons, CFOs, or directors. (shrink)
In this paper we present a study of adjectival/adverbial modification using modern type theories, i.e. type theories within the tradition of Martin-Löf. We present an account of various issues concerning adjectival/adverbial modification and argue that MTTs can be used as an adequate language for interpreting NL semantics. MTTs are not only expressive enough to deal with a range of modification phenomena, but are furthermore well-suited to perform reasoning tasks that can be easily implemented given their proof-theoretic nature. In MTT-semantics, common (...) nouns are interpreted as types rather than predicates. Therefore, in order to capture the semantics of adjectives adequately, one needs to meet the challenge of modeling CNs modified by adjectives as types. To explicate that this can be done successfully, we first look at the mainstream classification of adjectives, i.e. intersective, subsective and non-subsective adjectives. There, we show that the rich type structure available in MTTs, along with a suitable subtyping framework, offers an adequate mechanism to model these cases. In particular, this modelling naturally takes care of the characterising inferences associated with each class of adjectives. Then, more advanced issues on adjectival modification are discussed: degree adjectives, comparatives and multidimensional adjectives. There, it is shown that the use of indexed types can be usefully applied in order to deal with these cases. In the same vein, the issue of adverbial modification is discussed. We study two general typings for sentence and VP adverbs respectively. It is shown that the rich type structure in MTTs further provides useful organisational mechanisms in giving formal semantics for adverbs. In particular, we discuss the use of \-types to capture the veridicality/non-veridicality distinction and further discuss cases of intensional adverbs using the type theoretic notion of context. We also look at manner, subject and speech act adverbials and propose solutions using MTTs. Finally, we show that the current proof technology can help mechanically check the associated inferences. A number of our proposals concerning adjectival and adverbial modification have been formalised in the proof assistant Coq and many of the associated inference patterns are checked to be correctly captured. (shrink)