用带时钟变量的线性时态逻辑扩充Object-Z

Object-Z是形式规格说明语言Z的面向对象扩充,适合描述大型面向对象软件规格说明,但它不能很好地描述连续性实时变量和时间限制。线性时态逻辑能够描述实时系统,但不能很好地处理连续时间关系,也不能很好地模块化描述形式规格说明。首先用时钟变量扩充线性时态逻辑,接着提出了一个方法——用带时钟变量的时态逻辑(LTLC)来扩充Object-Z。用LTLC扩充的Object-Z是一个模块化规格说明语言,是Object-Z语法和语义的最小扩充,其最大优点在于它能方便地描述和验证复杂的实时软件规格说明。

电器和插座用带插头电源线产品质量安全问题分析

介绍了电器和插座用带插头电源线产品和行业概况,质量安全状况,并对常见质量安全问题进行分析,主要涉及导体电阻、延长线插座的配线、插头和电源线的标志、带插头电源线的配线等项目。

介词正反迭用带宾格式的句法语用考察

通过考察介词"P"的范围、介词宾语"X"的性质以及"P不P+X"结构的句法分布,探讨介词正反迭用带宾格式的句法特征,指出介词正反迭用和动词或形容词正反迭用格式的句法功能是互补关系。在此基础上,从发问形式、回答形式等方面讨论了该格式在构成疑问句上的特点,重点探讨了在语用上具有的营造焦点游移的功能,并指出这是其形成的主要动因。

“以用带学”学习方法的案例探究——新课标培训之反思

江苏省小学美术新课程标准培训活动中尹少淳等教授对新课标进行了解读，其中所传达出的有“以用带学”学习方法。针对“以用带学”的学法方法对一节公开课案例进行了相应的探究。

通用车系变速箱支架用带钢材料的试验开发

采用已有汽车横梁钢坯料，试验不同轧制工艺，从而确定产品性能完全符合要求的工艺路线，研制出变速箱支架用窄带钢。试验结果表明，采用轧后控冷的工艺路线，得到的产品组织为铁素体＋珠光体，晶粒度达到10级以上，带状组织1．0级，夹杂物均在1．0级以下，各项力学性能指标均符合用户的要求。

薄板坯连铸连轧线生产冷轧基板的强度控制

为解决薄板坯连铸连轧生产线生产的冷轧用钢屈服强度较高问题,采用了铁素体轧制工艺和加硼等措施,使SPHD带卷的平均屈服强度降至230MPa,比用常规轧制工艺生产的热轧板卷降低了61MPa。

优化南京创业环境:探索建立新型产学研结合的技术创新机制

"富民强市"的关键是大力推进技术创新。产学研结合机制是推动技术创新的有效途径。产学研结 合技术创新机制要以企业为主导,原因主要有两个,一是有利于在产学研结合中引入市场机制,实现研发工作 的市场导向;二是企业贴近市场,能够准确地把握市场的技术需求,在产学研结合中正确把握研发方向,把高 校、科研院所和企业的科技资源整合起来,提供有市场前景的产品和服务,提高产学研结合的成功率和效益。 技术创新决定南京未来,应从重视发挥产学研与政府的合力作用,构建利益与风险共担的产学研合作利益机 制,建立以用带研的产学研新机制等方面探索建立新型产学研结合技术创新机制。

Accelerated transmission in peer-to-peer network

The design and evaluation of accelerated transmission （AT） systems in peer-to-peer networks for data transmission are introduced. Based on transfer control protocol （TCP） and peer-to-peer （P2P） substrate networks, AT can select peers of high performance quality, monitor the transfer status of each peer, dynamically adjust the transmission velocity and react to connection degradation with high accuracy and low overhead. The system performance is evaluated by simulations, and the interrelationship between network flow, bandwidth utilities and network throughput is analyzed. Owing to the collaborative operation of neighboring peers, AT accelerates the process of data transmission and the collective network performance is much more satisfactory.

Multi-access performance of DS UWB systemunder indoor dense multi-path channel

The performance of multi-user code to direct spreading bi-phase shift keying （DS-BPSK） direct impulse ultra wideband （UWB） systems under indoor multi-user and multi-path environment is analyzed and simulated. The system output signals with Rake receiver are derived, then a simple and practical code selection scheme is given; i. e., with a large occupation to empty ratio of the repeating pulses, directly choosing those random or pseudo-random user codes with enough length and good co-relative orthogonal features will make the performance of DS-BPSK approximate the optimum and, so there is no need to carefully design the code or its type. The system multi-access performances are simulated using Gold sequence and PN codes as multi-user codes under CMI-CM4 multi-path channels. Simulation results prove that the proposed scheme is feasible.

CHANGES OF ATMOSPHERIC CO_2, PHOTOSYNTHESIS OF THE GRASS LAYER AND SOIL CO_2 EVOLUTION IN A TYPICAL TEMPERATE DECIDUOUS FOREST STAND IN THE MOUNTAINOUS AREAS OF BEIJING

Middle-sized chambers (40cmx40cmx20 cm) and an infrared gas analyzer (IRGA) were used for the measurement of net photosynthesis of the grass layer and soil CO2 evolution, in Quercus liaotungensis Koidz. forest, which is a typical temperate forest ecosystem in the mountainous areas of Beijing. Changes of CO2 concentrations in both the atmosphere (2m above canopy) and the forest canopy (2m below the top of the canopy) together with those of net photosynthesis and soil CO2 evolution were also examined, in order to find the characteristics of CO2 exchange between the different components of the temperate forest ecosystem and the atmosphere. Atmospheric CO2 averaged (323+10) and (330+1) mol mol-1 respectively in summer and autumn. During the 24-hour measurements, large differences as much as -46 and -61 mol mol-1 respectively in the atmosphere and forest were found. Net photosynthesis of the grass layer in summer was (2. 59 9+ 1.05) mol CO2 m-2 S-1, two times of that in autumn, (1.31+0.39) mol CO2 s-1 In summer, there was much more CO2 evolved from soil than in autumn, averaging (5.18+0.75) mol CO2 m-2 s-1 and (1.96 + 0.57) (mol CO2 m-2 s-1, respectively. A significant correlation was found between soil CO2 evolution and ground temperature, with F =-0.864 2+0.310 1X,r=0.7164, P<0.001 (n=117). Both the minimal atmospheric CO2 level and the maximum net photosynthesis occurred around 14:00; and an increase in atmospheric CO2 and of soil CO2 evolution during night times were also found to be remarkable.

Application of CEDA and ASPIC computer packages to the hairtail (Trichiurus japonicus) fishery in the East China Sea

Surplus-production models are widely used in fish stock assessment and fisheries management due to their simplicity and lower data demands than age-structured models such as Virtual Population Analysis. The CEDA (catch-effort data analysis) and ASPIC (a surplus-production model incorporating covariates) computer packages are data-fitting or parameter estimation tools that have been developed to analyze catch-and-effort data using non-equilibrium surplus production models. We applied CEDA and ASPIC to the hairtail (Trichiurus japonicus) fishery in the East China Sea. Both packages produced robust results and yielded similar estimates. In CEDA, the Schaefer surplus production model with log-normal error assumption produced results close to those of ASPIC. CEDA is sensitive to the choice of initial proportion, while ASPIC is not. However, CEDA produced higher R 2 values than ASPIC.

A comparison of the energy consumption and carbon emissions for different modes of transportation in open-cut coal mines

Transportation accounts for 80% of open-cut coal mine carbon emissions. With regard to the energy con- sumption and carbon emissions of transportation within an open-cut mine, this paper systematically compared the work and energy consumption of a truck and belt conveyor on a theoretical basis, and con- structed a model to calculate the energy consumption of open-cut mine transportation. Life cycle carbon emission factors and power consumption calculation model were established through a Process Analysis- Life Cycle Analysis （PA-LCA）. The following results were obtained： （1） the energy consumption of truck transportation was four to twelve times higher than that of the belt conveyor; （2） the C02 emissions from truck transportation were three to ten times higher than those of the belt conveyor; （3） with the increase in the slope angle for transportation, the ratio of truck to belt conveyor for both energy consumption and carbon emissions gradually decreased; （4） based on 2013 prices in China, the energy cost of transportation using a belt conveyor in open-cut coal mines could save 0.6-2.4 Yuan/（t kin） compared to truck transportation.

Preliminary Response of Soil Fauna to Simulated N Deposition in Three Typical Subtropical Forests

A field-scale experiment arranged in a complete randomized block design with three N addition treatments including a control (no addition of N), a low N (5 g m-2 year-1), and a medium N (10 g m-2 year-1) was performed in each of the three typical forests, a pine (Pinus massoniana Lamb.) forest (PF), a pine-broadleaf mixed forest (MF) and a mature monsoon evergreen broadleaf forest (MEBF), of the Dinghushan Biosphere Reserve in subtropical China to study the response of soil fauna community to additions of N. Higher NH4+ and NO3- concentrations and a lower soil pH occurred in the medium N treatment of MEBF, whereas the NO3- concentration was the lowest in PF after the additions of N. The response of the density, group abundance and diversity index of soil fauna to addition of N varied with the forest type, and all these variables decreased with increasing N under MEBF but the trend was opposite under PF. The N treatments had no significant effects on these variables under MF. Compared with the control plots, the medium N treatment had significant negative effect on soil fauna under MEBF. The group abundance of soil fauna increased significantly with additions of higher N rates under PF. These results suggested that the response of soil fauna to N deposition varied with the forest type and N deposition rate, and soil N status is one of the important factors affecting the response of soil fauna to N deposition.

Performance Comparison of Space-Time Trellis Codes and Space-Time Transmit Diversity under the Same Bandwidth Efficiency

Space time coding can provide high data rate and performance gain for wireless communication system. Performance comparison of space time trellis codes and space time transmit diversity is carried out under the same bandwidth efficiency in this paper. We also propose some optimum low rate space time trellis codes in quasi static Rayleigh fading chan￣nel. Performance analysis and simulation show that the low rate space time trellis codes outperform space time transmit diversity at the same bandwidth efficiency, and are more suitable for the power limited wireless communication system which has no strict requirement on bandwidth efficiency.

Importance of kelp-derived organic carbon to the scallop Chlamys farreri in an integrated multi-trophic aquaculture system

Bivalves and seaweeds are important cleaners that are widely used in integrated multi-trophic aquaculture （IMTA） systems. A beneficial relationship between seaweed and bivalve in the seaweed- based IMTA system has been confirmed, but the trophic importance of seaweed-derived particulate organic materials to the co-cultured bivalve is still unclear. We evaluated the trophic importance of the kelp Saccharinajaponica to the co-cultured scallop Chlamysfarreri in a typical IMTA farm in Sungo Bay （Weihai, North China）. The dynamics of detritus carbon in the water were monitored during the culturing period. The proportion of kelp-derived organic matter in the diet of the co-cultured scallop was assessed via the stable carbon isotope method. Results showed that the detritus carbon in the water ranged from 75.52 to 265.19 ~tg/L, which was 25.6% to 73.8% of total particulate organic carbon （TPOC） during the study period. The amount of detritus carbon and its proportion in the TPOC changed throughout the culture cycle of the kelp. Stable carbon isotope analysis showed that the cultured scallop obtained 14.1% to 42.8% of its tissue carbon from the kelp, and that the percentages were closely correlated with the proportion of detritus carbon in the water （F=0.993, P=0.003）. Evaluation showed that for 17 000 tons （wet weight） of annual scallop production, the kelp contributed about 139.3 tons of carbon （535.8 tons of dry mass）. This confirms that cultured kelp plays a similar trophic role in IMTA systems as it does in a natural kelp bed. It is a major contributor to the detritus pool and supplies a vital food source to filter-feeding scallops in the IMTA system, especially during winter and early spring when phytoplankton are scarce.

Third-order active-RC complex filter with automatic frequency tuning for ZigBee transceiver applications

A 3rd-order Butterworth active-RC complex band-pass filter was presented for Zig Bee(IEEE802.15.4) transceiver applications. The filter adopted cascaded complex pole stages to realize the 3 MHz bandwidth with a centre frequency of 2 MHz which was required by the Zig Bee transceiver applications. An automatic frequency tuning scheme was also designed to accommodate the performance deterioration due to the process, voltage and temperature(PVT) variations. The whole filter is implemented in a 0.18 μm standard process and occupies an area of 1.3 mm×0.6 mm. The current dissipation is 1.2 m A from a 1.8 V single power supply. Measurement results show that the image rejection ratio(IRR) of the filter is 24.1 d B with a pass-band ripple less than 0.3 d B. The adjacent channel rejection is 29.8 d B@7 MHz and alternate channel rejection 47.5 d B@12 MHz, respectively.

A K-means clustering based blind multiband spectrum sensing algorithm for cognitive radio

In this paper,a blind multiband spectrum sensing(BMSS)method requiring no knowledge of noise power,primary signal and wireless channel is proposed based on the K-means clustering(KMC).In this approach,the KMC algorithm is used to identify the occupied subband set(OSS)and the idle subband set(ISS),and then the location and number information of the occupied channels are obtained according to the elements in the OSS.Compared with the classical BMSS methods based on the information theoretic criteria(ITC),the new method shows more excellent performance especially in the low signal-to-noise ratio(SNR)and the small sampling number scenarios,and more robust detection performance in noise uncertainty or unequal noise variance applications.Meanwhile,the new method performs more stablely than the ITC-based methods when the occupied subband number increases or the primary signals suffer multi-path fading.Simulation result verifies the effectiveness of the proposed method.

Joint Optimal Sensing Threshold and Subcarrier Power Allocation in Wideband Cognitive Radio for Minimising Interference to Primary User

Cognitive Radio （CR） can use the fre- quency band allocated to a Primary User （PU） on the premise that it will prevent significant of avoiding causing great interference to the PU. In this paper, we consider a wideband CR system where the Secondary User （SU） mini- raises its interference to the PU by jointly al- locating the optimal sensing threshold and sub- carrier power. A multi-parameter optimization problem is formulated to obtain the joint opt- imal allocation by alternating direction opti- mization, which minimises the total interfer- ence to the PU over all of the subcarriers sub- ject to the constraints on the throughput, Bit Error Rate （BER） and maximal total power of the SU, the subcarrier rate and interference power of the PU, and the false alarm and mis- detection probabilities of each subcarrier. The simulation results show that the proposed joint allocation algorithm can achieve the desired mitigation on the interference to the PU at the different subcarrier gains.

Diagnostic utility of narrow-band imaging endoscopy for pharyngeal superfi cial carcinoma

AIM: To investigate the endoscopic features of pharyngeal superfi cial carcinoma and evaluate the utility of narrow-band imaging (NBI) for this disease. METHODS: In the present prospective study, 335 patients underwent conventional white light (CWL) en-doscopy and non-magnifi ed/magnifi ed NBI endoscopy, followed by an endoscopic biopsy, for 445 superfi cial lesions in the oropharynx and hypopharynx. The macroscopic appearance of superfi cial lesions was categorized as either elevated (< 5 mm in height), flat, or depressed (not ulcerous). Superficial carcinoma (SC) was defi ned as a superfi cial lesion showing high-grade dysplasia or squamous cell carcinoma on histology. The color, delineation, and macroscopic appearances of the lesions were evaluated by CWL endoscopy. The ratio of the brownish area/intervascular brownish epithelium (IBE), as well as microvascular proliferation, dilation, and irregularities, was determined by non-magnifi ed/ magnifi ed NBI endoscopy. An experienced pathologist who was unaware of the endoscopic fi ndings made the histological diagnoses. By comparing endoscopic fi ndings with histology, we determined the endoscopic features of SC and evaluated the diagnostic utility of NBI. RESULTS: The 445 lesions were divided histologically into two groups: a non-SC group, including non-neoplasia and low-grade dysplasia cases, and an SC group. Of the 445 lesions examined, 333 were classified as non-SC and 112 were classif ied as SC. There were no significant differences in age, gender, or the location of the lesions between the patients in the two groups. The mean diameter of the SC lesions was signif icantly greater than that of non-SC lesions (11.0 ± 7.6 mm vs 4.6 ± 3.6 mm, respectively, P < 0.001). Comparisons of CWL endoscopy fi ndings for SC and non-SC lesions by univariate analysis revealed that the incidence of redness (72% vs 41%, respectively, P < 0.001) and a flat or depressed type of lesion (58% vs 44%, respectively, P = 0.013) was significantly higher in the SC group. Using non-magnifi ed NBI endoscopy, the incidence of a brownish area was signifi cantly higher for SC lesions (79% vs 57%, respectively, P < 0.001). On magnifi ed NBI endoscopy, the incidence of IBE (68% vs 33%, P < 0.001) and microvascular proliferation (82% vs 51%, P < 0.001), dilation (90% vs 76%, P =0.002), and irregularity (82% vs 31%, P < 0.001) was also signifi cantly higher for the SC compared with the non-SC lesions. Multivariate analysis revealed that the incidence of redness (P = 0.022) on CWL endoscopy and IBE (P < 0.001) and microvascular irregularities (P < 0.001) on magnif ied NBI endoscopy was signif icantly higher in SC than non-SC lesions. Redness alone exhibited signifi cantly higher sensitivity and signifi cantly lower specifi city for the diagnosis of SC compared with redness plus IBE and microvascular irregularities (72% vs 52%, P = 0.002; and 59% vs 92%, P < 0.001, respectively). The accuracy of redness plus IBE and irregularities for the diagnosis of SC was signifi cantly greater than using redness alone (82% vs 62%, respectively, P < 0.001). CONCLUSION: Redness, IBE, and microvascular irregularities appear to be closely related to SC lesions. Magnifi ed NBI endoscopy may increase the diagnostic accuracy of CWL endoscopy for SC.