从形证角度论“太阳为开”学术思想的临证意义

“太阳为开”学术思想是开阖枢理论的重要组成部分,张仲景尤为重视开阖枢理论,将其贯穿于辨证论治体系的理法方药中。形证乃辨证论治之基础,故本文以形证为角度,探析“太阳为开”学术思想的辨治之理及临床意义,认为临证过程需紧抓形证,以有规律的症状组合的形式去分析疾病的功能状态,可在纷繁复杂的临床症状中迅速找到病因、病机,抓住辨证关键;并遵循太阳为开,经气畅则顺的治则,从而做到灵活运用经方,以取得良好的临床疗效。

元散曲《〈般涉调〉哨遍·十煞》“■”字诂——兼谈音义未详疑难字的“形求用证”训诂方法

《汉语大字典·示部》"■"字"音义未详",只在四部丛刊影元刊本元散曲中出现过一次,其异文有"■""衣""袑"。隋树森、吴庚舜、王文才、徐征等诸家均考释过该字,其结论均有疑。以"形求用证"为训诂方法,从形体讹误、对文、文意、方言用字以及作者等诸方面分析考证,"■"可能是"裋"的形讹字,读shù,指粗布袍子;又"裋"是古代楚地用以指称"袍子"的方言用字。

论王船山“观解的形上学”体系及其对儒学宗教性的消解

一个具有启蒙作用的圆满的哲学体系必须是'体证的形上学'与'观解的形上学'并建,但船山的生命形态之于'体证的形上学'根本隔膜,故他只建立了'观解的形上学'体系。这样的哲学体系必然导致对儒学宗教性的消解,具体表现在两个方面:其一,船山'观解的形上学'体系的唯一本体是'气',由此而重建儒家天人性命之道德系统,必导致以知识的方式论道德,从而消解儒家天人之学的宗教性。其二,以'知几审位'为工夫,必导致以知能之优越论圣人,从而消解圣人的道德宗教性位格。由于对宗教性的消解,船山哲学有肤浅的事务主义之嫌,且有滑入价值虚无主义的可能。要避免这种嫌疑及可能性,必须补上'体证的形上学',使之成为一个圆满的哲学体系。由此,方可言真正的事功与启蒙。

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.

Determining Topographic Shielding from Digital Elevation Models for Cosmogenic Nuclide Analysis:a GIS Approach and Field Validation

Topographic shielding of cosmic radiation flux is a key parameter in using cosmogenic nuclides to determine surface exposure ages or erosion rates. Traditionally, this parameter is measured in the field and uncertainty and/or inconsistency may exist among different investigators. This paper provides an ArcGIS python code to determine topographic shielding factors using digital elevation models （DEMs）. This code can be imported into ArcGIS as a geoprocessing tool with a user-friendly graphical interface. The DEM-derived parameters using this method were validated with field measurements in central Tian Shan. Results indicate that DEM-derived shielding factors are consistent with field-measured values. It provides a valuable tool to save fieldwork efforts and has the potential to provide consistent results for different regions in the world to facilitate the comparison of cosmogenie nuclide results.

Syntactic Extension of Lattice-valued Propositional Logic LP(X)

We have given a semantic extension of lattice-valued propositional logic LP（X） in [6]. In this paper, we investigate its corresponding syntactic extension of LP（X） and give the relations between these two extensions.

Fluid Flow Past a Circular Cylinder with Tandem Rod and Staggered Rod at Low Reynolds Number

The flow past a primary cylinder with one tandem control rod and one staggered control rod is simulated in this paper through solving the Navier-Stokes equations. Two examples are simulated to validate the model, and the results matched well with those of previous researches. The Reynolds number based on the diameter of the primary cylinder is 500. The diameter ratio between the control rod and the primary cylinder （d/D） is 0.25. It was found that the effect of the combination of one upstream tandem control rod and one staggered control rod on the hydrodynamics of the primary cylinder is a linear superposition of the effect of a corresponding single control rod, and the effect of the upstream tandem control rod is dominant at larger spacing ratios such as G/D=2. For the combination of a downstream tandem control rod and a staggered control rod, the effect of the control rods is different from that of the corresponding single control rod in the region of 0.2〈G/D〈0.5 ＆ 30°〈a〈120° and 0.9〈G/D〈1.4 ＆ 30°〈a〈50°, where the additional effect is obvious. In this case, the effect of the downstream tandem control rod is dominant at small spacing ratios （such as G/D=0.1）. At moderate spacing ratios such as G/D=0.4, the effects of the tandem control rod and the staggered control rod are comparable in both cases.

S100B protein in the gut:The evidence for enteroglial-sustained intestinal inflammation

Glial cells in the gut represent the morphological and functional equivalent of astrocytes and microglia in the central nervous system （CNS）. In recent years, the role of enteric glial cells （EGCs） has extended from that of simple nutritive support for enteric neurons to that of being pivotal participants in the regulation of inflammatory events in the gut. Similar to the CNS astrocytes, the EGCs physiologically express the SIOOB protein that exerts either trophic or toxic effects depending on its concentration in the extracellular milieu. In the CNS, SIOOB overexpression is responsible for the initiation of a gliotic reaction by the release of pro-inflammatory mediators, which may have a deleterious effect on neighboring cells. SlOOB-mediated pro-inflammatory effects are not limited to the brain： SIOOB overexpression is associated with the onset and maintenance of inflammation in the human gut too. In this review we describe the major features of EGCs and SIOOB protein occurring in intestinal inflammation deriving from such.

Downlink SINR and Rate Distribution of Ultra-Dense Het Nets with Burst Traffic

SINR distribution and rate overage distribution are crucial for optimization of deployment of Ultra-dense Het Nets.Most existing literatures assume that BSs have full queues and full-buffer traffic.In fact,due to ultra-dense deployment of small cells,traffic in small cell varies dramatically in time and space domains.Hence,it is more practical to investigate scenario with burst traffic.In this paper,we consider a two-tier non-uniform ultra-dense Het Net with burst traffic,where macro BSs are located according to Poisson Point Process(PPP),and pico BSs are located according to Poisson Hole Process(PHP).The closed-form expressions of SINR distribution and rate distribution are derived,and then validated through simulation.Our study shows that different from the result of full buffer case,the SINR distribution and rate distribution of users depend on the average transmission probabilities of BSs in burst traffic case.

A Textual Research on the Image of＂Gaomei God＂ in the Stone Relief of the Han Dynasty

As the most primitive and the highest-level media in ancient Chinese society, Gaomei God played a pivotal role in the social life of the Han Dynasty. The stone relief is a vivid portrayal of the Han Dynasty society, and we can use the format routine method to fred out the image of Gaomei God in it. Starting from the Gaomei portrait, a research on typology is carried out before the portrait is divided into three types on the basis of its development and evolution, which is followed by a comprehensive analysis of its time, distribution area, configuration combination, carving techniques, image composition, development in a way to sum up the law of Gaomei portrait.

Rising Labor Costs Exert Tenacious Effects on Inflation

With diminishing population divident, rising labor costs＇ will become a medium- to long-term trend and this change will significantly affect price formation and the direction of development in China. This paper uses a New Keynesian Phillips Curve （NKPC） model to conduct empirical analysis on all possible drivers of inflation in China. The authors conclude that while monetary expansion and expectation on inflation both have significant, driving impacts on China＇s inflation, rising labor costs have also become an important driver of China＇s rising prices. They argue that the solution to China＇s inflation problem lies not in currency policy and currency controls alone; it must be complemented by other policies that address the root causes of inflation.

Dynamic Portfolio Choice under Uncertainty about Asset Return Model

The effect of uncertainty about stochastic diffusion model on dynamic portfolio choice of an investor who maximizes utility of terminal portfolio wealth was studied.It applied stochastic control method to obtain the closed-form solution of optimal dynamic portfolio,and used the Bayesian rule to estimate the model parameters to do an empirical study on two different samples of Shanghai Exchange Composite Index.Results show,model uncertainty results in positive or negative hedging demand of portfolio,which depends on investor's attitude toward risk;the effect of model uncertainty is more significant with the increasing of investment horizon,the decreasing of investor's risk-aversion degree,and the decreasing of information;predictability of risky asset return increases its allocation in portfolio,at the same time,the effect of model uncertainty also strengthens.

A Note on Wigner Functions and *-Genvalue Equation

In deformation quantization, static Wigner functions obey functional ,-genvalue equation, which is equivalent to time-independent Schrodinger equation in Hilbert space operator formalism of quantum mechanics. This equivalence is proved mostly for Hamiltonian with form H^ = （1/2）p^2 ＋ V（x^） [D. Fairlie, Proc. Camb. Phil. Soc. 60 （1964） 581]. In this note we generalize this proof to a very general Hamiltonian H^（x^,p^） and give examples to support it.

Future and Scientific Conception of the World without Philosophy？

Often conceived as metaphysical approach, in the XX Century, philosophy is object of a crusade antimetaphysical in the movement of Logical Positivism. I will try to demonstrate that a philosophical perspective is conceivable even in the scientific conception of the world elaborated by the neopositivists. I discuss this point of view with attention to the turn represented by pragmatic philosophy of Neurath, which represents a crucial passage for the future of philosophy. In this vision, the science is not conceivable without philosophy, namely without an open and pluralist scientific philosophy. The philosophy--so--is not insufficient too for the perspective of scientific conception of the world.

Formal Verification in 3oux Tripartite Diffie-Hellman Protocol

Security analysis of cryptographic protocols has been widely studied for many years.As far as we know,we have not found any methods to effectively analyze group key exchange protocols for the three parties yet,which did not sacrifice the soundness of cryptography.Recently,Canetti and Herzog have proposed Universally Composable Symbolic Analysis(UCSA) of two-party mutual authentication and key exchange protocol which is based on the symmetric encryption schemes.This scheme can analyze the protocols automatically and guarantee the soundness of cryptography.Therefore,we discuss group key exchange protocol which is based on Joux Tripartite Diffie-Hellman(JTDH) using UCSA.Our contribution is analyzing group key exchange protocol effectively without damaging the soundness of cryptography.

Computer Vision Applied to Recognition Barcodes

The bar code is one of the identification technologies used more successfully in the world. This technology was first developed as the second half of the twentieth century and quickly achieved acceptance in both industry and commerce. In this paper studies are discussed on the design, development and printing of one-dimensional barcodes of the symbologies Code 39 and Interleaved 2 of 5. There are also discussed techniques for recovering the information encoded in the bar code, which can be extended to other symbologies. The purpose of the paper is the development of an open solution with the objective to make the decoding of barcodes using computer vision techniques possible, which will be divided into four basic stages： acquisition, pre-processing, processing and presentation of results. Practical tests conducted with samples show satisfactory results, validating the operating principles of the elements involved. The proposed objective was achieved and practical tests validated the operating principles of the elements addressed by providing contribution to that segment decoding barcodes.

Terrain-Aided Navigation Considering Map Error

Terrain referenced navigation estimates an aircraft navigation status by utilizing a radar altimeter measuring a distance between the aircraft and terrain elevation. Accurate digital elevation map is essential to estimate the aircraft states correctly. However, the elevation map cannot represent the real terrain perfectly and there exists map error between the estimated and the true maps. In this paper, an influence of the map error on measurement equation is analyzed and a technique to incorporate the error in the filter is proposed. The map error is divided into two sources, accuracy error and resolution error. The effectiveness of the suggested technique is verified by simulation results. The method modifies a sensor noise covariance only so there is no additional computational burden from the conventional filter.

Culture, Violence, and the Female Body： The Practice of Nholowemwizana Custom as a Form of Cultural Violence Amongst the Kalanga Women of Mpalawali Area in Zimbabwe

This paper is based on the interviews that the author carried out between 2005 and 2006 on the Nholowemwizana custom in Plumtree, Zimbabwe. Here the author deploys the concept of cultural violence following the peace researcher Johan Galtung, who suggested speaking of cultural violence as aspects of culture that can be used to justify or legitimize direct or structural violence, and may be exemplified by religion and ideology, language and art, empirical science and formal science （Galtung, 1969, pp. 167-191）. Using the example of the Nholowemwizana custom among the Kalanga people, the paper will highlight the extent to which women in this society have been exposed to cultural, gender based violence and direct sexual violence. However literature on Nholowemwizana is scarce in Zimbabwe. As such the paper will borrow from literature on cultural violence in general. The paper also acknowledges the fact that not all culture is violent, and that in some certain aspects of culture that permit gender based violence especially in African societies. The starting point for this paper is the question of what role cultural arguments have played in the abuse of women through the Nholowemwizana custom.

IPA Analysis of First-time Tourists＇ Perceptions on the Image of the Tourist Destination Take Hainan International Tourism Islands for Example

Nowadays, the image construction of Hainan International Tourism Islands has been vigorously promoted. The research is going to make an empirical analysis of Hainan tourism image, adopting IPA analysis method. Generally speaking, there is a big gap between the Hainan tourist destination and tourists＇ expectations. The Hainan Tourist Destination image is mainly built on natural-advantage-resource projects such as natural sceneries, air quality, and climate, etc., meanwhile, the relatively insufficient constructions of soft-wares such as tourism-related facilities, as well as the quality of tourism services, etc., are the focus of future efforts.

FEM simulation and experimental verification of roll forming and springback process under complex contact conditions

The application of advanced high strength steel （AHSS） has an important significance in the development of the lightweight of automobile, but the parts made of AHSS usually have defects, such as fracture and large amount of springback, etc. In this paper, a model of multi-pass roll form- ing and springback process of AHSS is established with finite element software ABAQUS. Then a roll forming experiment is performed, and simulation and experimental results have been compared and analyzed. The model is established under complex contact conditions, including self-contact condi- tion. The results shows that during the process of sheet bending, large Mises stresses appear at ben- ding corners. The smaller the bending radius is, the larger the Mises stress and strain are. Thick- ness of sheet metal changes exceeds a certain limit, the differently if the bending radius is different. When the bending radius change tendency of the sheet thickness turns from increase to decrease.