迈向合一——《世界信义宗联合会与罗马天主教有关成义教义的声明》初探

大祭司的祷文(约17:20-26)表明了主耶稣基督特别关注教会的合一性。但不幸的是,教会的历史竟然是一部分裂史。1054年,教会分裂为天主教和东正教。1517年,由天主教分裂出新教。在新教自身内部,也有形形色色的分裂。迄今为止,教会仍旧没有达到合一的地步。1999年世界信义宗联合会与罗马天主教签署了一部对于两者之间的合一具有极其重要意义的文献——《世界信义宗联合会与罗马天主教有关成义教义的联合声明》。这是双方在迈向合一道路上共同努力的成果。本文尝试对该文献进行解读,从而挖掘教会合一之可能性的模式,以对普世教会合一运动有所贡献。

日语人体词汇惯用语研究

日语人体词汇惯用语不但数量多,使用频率高,而且在品词特征、词形特征、成义类型等方面都有一定的规律。它通过词语意义的转用和比喻等方式,形成简洁易懂的表达,形象生动。比如要表达"生气"之意,用‘腹■’就要比‘怒■’具有更强的表现力。因此,研究、把握日语人体词汇惯用语的用法和特点,对于提高日语教学效果、加强日语语言的实际使用能力有着重要的意义。

中世纪与现代之间的马丁·路德

宗教改革是随着马丁·路德于1517年10月在威腾堡的城堡教堂大门所张贴的改革论纲而开始的,基督教会从此以后分裂为教义不同的派别。罗马教廷与教宗的腐败经常被认为是路德宗教改革的起因。然而事实证明,路德改革的核心并不是对罗马天主教会的批判,而是力图阐明因上帝而成义的福音。路德认为成义思想是圣经信仰的关键内容。在过去的几十年中,各基督教会已经在成义问题上达成共识。1999年罗马天主教会与路德宗共同签署的《成义共同声明》确定,成义思想的分歧将不再构成教会分裂的原因。2017年要举行的宗教改革纪念活动,将有利于促进各基督教派之间的共融。

大型工件表面电火花刻字技术

叙述了大型工件表面刻字的有关技术和方法 ,从经济和技术的角度分析了用电火花加工方法进行大型工件表面刻字的原因。根据电火花加工原理和大型工件表面刻字特点提出了大型工件表面电火花刻字的技术方案。该技术方案以小型电火花机床的主轴头和电源控制柜为基础 ,重点研究了总体结构、电极与工件之间的三坐标移动、电极精确定位、工作液循环系统等关键技术。简要介绍了为某大型钢铁企业研制的大型轧辊电火花刻字专用机床。现场应用情况表明 ,该技术方案经济实用 。

Ontology based approach of semantic information integration

In order to solve the problem of semantic heterogeneity in information integration, an ontology based semantic information integration （OSII） model and its logical framework are proposed. The OSII adopts the hybrid ontology approach and uses OWL （web ontology language） as the ontology language. It obtains unified views from multiple sources by building mappings between local ontologies and the global ontology. A tree- based multi-strategy ontology mapping algorithm is proposed. The algorithm is achieved by the following four steps： pre-processing, name mapping, subtree mapping and remedy mapping. The advantages of this algorithm are： mapping in the compatible datatype categories and using heuristic rules can improve mapping efficiency; both linguistic and structural similarity are used to improve the accuracy of the similarity calculation; an iterative remedy is adopted to obtain correct and complete mappings. A challenging example is used to illustrate the validity of the algorithm. The OSII is realized to effectively solve the problem of semantic heterogeneity in information integration and to implement interoperability of multiple information sources.

A New Class of Biased Linear Estimators in Deficient-rank Linear Models

In this paper, we define a new class of biased linear estimators of the vector of unknown parameters in the deficient_rank linear model based on the spectral decomposition expression of the best linear minimun bias estimator. Some important properties are discussed. By appropriate choices of bias parameters, we construct many interested and useful biased linear estimators, which are the extension of ordinary biased linear estimators in the full_rank linear model to the deficient_rank linear model. At last, we give a numerical example in geodetic adjustment.

DIFFERENTIABILITY OF C_0-SEMIGROUPS WITH APPLICATION

This paper considers the differentiability of C 0 semigroups with respect to (w.r.t.) parameters contained in their infinitesimal generators.It is proved that the generalized continuity and strong differentiability of their infinitesimal generators w.r.t.parameters imply the differentiability of the C 0 semigroups.The results are applied to the differentiability of the solution of a linear delay differential equation w.r.t.its delays.

Multi-slice Spiral CT Three-dimensional Portography in Portal Vein Tumor Thrombus of Hepatic Cancer

Objective: To study the clinical significance of multi-slice spiral CT 3-dimensional (3D) portography in portal vein tumor thrombosis of hepatocellular cacinoma.Methods: 57 cases undergoing 3D portography were collected, of which 6 cases were normal, 5 cases were subjected to cirrhosis and hypertension of portal vein, 42 cases had portal tumor thrombus of hepatic cancer, and the remaining 4 cases showed lymph node enlargment in hilar of liver. All data of the patients came from conventional multi-slice spiral CT double phase of liver. Contrast media was 1.5–2 ml/kg with the injection rate being 2.5–3 ml/s. Axis and 3D portography was analyzed and compared in 42 cases of portal tumor thrombus of hepatic cancer.Results: According to portal tumor thrombus position, 42 cases were fallen into three categories: left (13 cases), right (20 cases), main (9 cases) of potal vein. There was no difference between axis and 3D portography in displaying portal tumor thrombus of hepatic cancer (P>0.05), but 3D portography showing collateral branches was better than axis portography after main portal vein thrombus.Conclusion: Multi-slice spiral CT 3D portography can display the position and types of portal tumor thrombus of hepatic cancer. 3D combined with axis portography can better evaluate the portal tumor thrombus of hepatic cancer and guide to select the therapies. Key words portal vein - tumor thrombus - multi-slice CT - 3 dimension imaging

圣经能使天主的人得到充分的装备，适合行善

亲爱的弟兄:你应坚持你所学到和所确信为真理的一切,不要忘了谁是你的导师,并记住你如何从小就熟悉圣经,是圣经使你学到智慧,指引你籍着信仰基督耶稣而获得救恩。全部圣经是受天主默示写成的,对于驳斥谬论、指导人生、教人成义,都有好处,并使献身于天主的人,得到充分的装备,适合行善。

Ontology-based schema matching method in web query interface integration

Deep web data integration needs to do schema matching on web query interfaces and obtain the mapping table.By introducing semantic conflicts into web query interface integration and discussing the origins and categories of the semantic conflicts,an ontology-based schema matching method is proposed.The process of the method is explained in detail using the example of web query interface integration in house domain.Conflicts can be detected automatically by checking semantic relevance degree,then the categories of the conflicts are identified and messages are sent to the conflict solver,which eliminates the conflicts and obtains the mapping table using conflict solving rules.The proposed method is simple,easy to implement and can be flexibly reused by extending the ontology to different domains.

Signed Additive Fuzzy Measure

In this paper, we introduce the concept of signed additive fuzzy measure on a class of fuzzy sets, then, on certain condition, a series of decomposition theorems of signed additive fuzzy measure are proved.

High-order generalized screen propagator migration based on particle swarm optimization

Various migration methods have been proposed to image high-angle geological structures and media with strong lateral velocity variations; however, the problems of low precision and high computational cost remain unresolved. To describe the seismic wave propagation in media with lateral velocity variations and to image high-angle structures, we propose the generalized screen propagator based on particle swarm optimization （PSO-GSP）, for the precise fitting of the single-square-root operator. We use the 2D SEG/EAGE salt model to test the proposed PSO-GSP migration method to image the faults beneath the salt dome and compare the results to those of the conventional high-order generalized screen propagator （GSP） migration and split-step Fourier （SSF） migration. Moreover, we use 2D marine data from the South China Sea to show that the PSO-GSP migration can better image strong reflectors than conventional imaging methods.

Three-dimensional Imaging of Multi-slice Spiral CT in Bronchial Artery Correlative Study on Blood Supply of Central Lung Cancer and Its Clinical Significance

Objective: To evaluate three-dimensional bronchial artery imaging charactersin central lung cancer and applied values with multi-slice spiral CT (MSCT) to provide theoreticalevidence on blood supply and intervention therapy. Methods: Eighteen patients with central lungcancer underwent MSCT with real time helical thin-slice CT scanning. Three-dimensional bronchialartery reconstruction was done at the console work-station. The space anatomical characters ofbronchial artery were observed through different rotations. Results: For 6 cases, thethree-dimensional images of bronchial artery (33.33%) could exactly show the origins, the routes(lung inner segment and mediatism segment) and the diameters of bronchial arteries. Vision rate ofbronchial arteries was the highest in pulmonary artery stricture and truncation groups, and thevessels' diameter became larger apparently. These characters demonstrated blood supply of this kindof central lung cancer come from bronchial artery. Volume rendering images were the best ones amongthree-dimensional images. Conclusion: Three-dimensional imaging with MSCT in bronchial artery canreveal the anatomical characters of bronchial artery and provide theoretical evidence on bloodsupply and intervention therapy of central lung cancer.

Application of SAGE algorithm in PET image reconstruction using modified ordered subsets

A new method that uses a modified ordered subsets （MOS） algorithm to improve the convergence rate of space-alternating generalized expectation-maximization （SAGE） algorithm for positron emission tomography （PET） image reconstruction is proposed.In the MOS-SAGE algorithm,the number of projections and the access order of the subsets are modified in order to improve the quality of the reconstructed images and accelerate the convergence speed.The number of projections in a subset increases as follows：2,4,8,16,32 and 64.This sequence means that the high frequency component is recovered first and the low frequency component is recovered in the succeeding iteration steps.In addition,the neighboring subsets are separated as much as possible so that the correlation of projections can be decreased and the convergences can be speeded up.The application of the proposed method to simulated and real images shows that the MOS-SAGE algorithm has better performance than the SAGE algorithm and the OSEM algorithm in convergence and image quality.

Formability improvement and blank shape definition for deep drawing of cylindrical cup with complex curve profile from SPCC sheets using FEM

In the current work, to predict and improve the formability of deep drawing process for steel plate cold rolled commercial grade （SPCC） sheets, three parameters including the blanking force, the die and punch comer radius were considered. The experimental plan according to Taguchi＇s orthogonal array was coupled with the finite element method （FEM） simulations. Firstly, the data from the test of stress-strain and forming limit curves were used as input into ABAQUS/Explicit finite element code to predict the failure occurrence of deep drawing process. The three parameters were then validated to establish their effects on the press formability. The optimum case found via simulation was finally confirmed through an experiment. In order to obtain the complex curve profile of cup shape after deep drawing, the anisotropic behavior of earring phenomenon was modeled and implemented into FEM. After such phenomenon was correctly predicted, an error metric compared with design curve was then measured.

The Physical Significance of the Synthetic Running Correlation Coefficient and Its Applications in Oceanic and Atmospheric Studies

In order to study the temporal variations of correlations between two time series,a running correlation coefficient(RCC)could be used.An RCC is calculated for a given time window,and the window is then moved sequentially through time.The current calculation method for RCCs is based on the general definition of the Pearson product-moment correlation coefficient,calculated with the data within the time window,which we call the local running correlation coefficient(LRCC).The LRCC is calculated via the two anomalies corresponding to the two local means,meanwhile,the local means also vary.It is cleared up that the LRCC reflects only the correlation between the two anomalies within the time window but fails to exhibit the contributions of the two varying means.To address this problem,two unchanged means obtained from all available data are adopted to calculate an RCC,which is called the synthetic running correlation coefficient(SRCC).When the anomaly variations are dominant,the two RCCs are similar.However,when the variations of the means are dominant,the difference between the two RCCs becomes obvious.The SRCC reflects the correlations of both the anomaly variations and the variations of the means.Therefore,the SRCCs from different time points are intercomparable.A criterion for the superiority of the RCC algorithm is that the average value of the RCC should be close to the global correlation coefficient calculated using all data.The SRCC always meets this criterion,while the LRCC sometimes fails.Therefore,the SRCC is better than the LRCC for running correlations.We suggest using the SRCC to calculate the RCCs.

Pancreatic hyperechogenicity on endoscopic ultrasound examination

There is an ongoing discussion on how to diagnose a hyperechogenic pancreas and what is the clinical significance of diffusely hyperechogenic pancreas. Computerized tomography and magnetic resonance imaging are the more appropriate methods to diagnose pancreatic hyperechogenicity when compared with transcutaneous or endoscopic ultrasound examination. More importantly, pancreatic hyperechogenicity may not be a certain indicator of pancreatic fat infiltration. Even if it is true, we do not know the clinical significances of pancreatic fat accumulation. Some suggested that excess fat in the pancreas is associated with chronic pancreatitis. However, several histological studies on human alcoholic chronic pancreatitis did not prove the presence of fatty pancreas in such cases. Thus, except for aging, it is very rare to have truly steatotic pancreas in the absence of certain human diseases.

从修改成语现象看今天国人的实用主义价值观

The practice of four-character Chinese idioms alteration used in the signboards by substituting character （s） with their homophonous words has grown into a general trend. Fifty-one altered idioms are collected. The majority of the modifiers are medium-small store owners. Idiom alteration for specific purpose differs from the idiom misinterpretation. Speedy economic growth and material wealth pursuit social context stimulate the idiom alteration behavior which enforces the pragmatism value orientation. By modifying idioms into four-character structures of strong practical effect, the obvious pragamtic value of the businessmen and of Chinese are manifested. A causal analysis method is used.

A new model for verification

Formal verification is playing a significant role in IC design.However,the common models for verification either have their complexity problems or have applicable limitations.In order to overcome the deficiencies,a novel model-WGL(Weighted Generalized List)is proposed,which is based on the general-list decomposition of polynomials,with three different weights and manipulation rules introduced to effect node sharing and the canonicity.Timing parameters and operations on them are also considered.Examples show the word-level WGL is the only model to linearly represent the common word-level functions and the bit-level WGL is especially suitable for arithmetic intensive circuits.The model is proved to be a uniform and efficient model for both bit-level and word-level functions.Then based on the WGL model,a backward-construction verification approach is proposed,which reduces time and space complexity for multipliers to polynomial complexity(time complexity is less than O(n3.6)and space complexity is less than O(n1.5))without hierarchical partitioning.Both the model and the verification method show their theoretical and applicable significance in IC design.

Students＇ Withdrawal of Teacher＇s Deposited Knowledge in Teacher-Dominated Classroom Talk

Prior studies on classroom discourse research often concluded that a teacher＇s control of classroom interaction greatly affected his/her students＇ response to classroom talk. Students as academic novices are often expected to accept the teacher＇s deposited knowledge for academic achievement in traditional school contexts. Given little attention being paid to their withdrawal of teacher＇s deposited knowledge for use as meaning-negotiation, this study observes one academically-irrelevant curriculum context----one free and non-compulsory adult Chinese class offered by one local Taiwan Residents government to its foreign residents--to know whether the students＇ motivation for responding to classroom talk is still affected much by the teacher＇s dominance of classroom talk. It employs Courtney Cazden＇s I-R-E （teacher-initiation, student-response, and teacher-evaluation） classroom talk model and Paulo Freire＇s banking education metaphor as theoretical frameworks to discuss the classroom power relations reflected on the students＇ withdrawal of the teacher＇s deposited knowledge. The findings show that when the students＇ academic achievement is not the instructional objective, the teacher＇s thematic control, affects the students＇ motivation for responding more than his/her control of classroom interaction. It concludes that a classroom talk highlighting the students＇ interest activates their participation and allows the instructor to gain access to the students＇ knowledge, values, attitudes, and perceptions.