用强有力的行政手段规范林业项目资金管理

在国家加快林业发展,林业建设资金投入不断加大之际,林业项目资金管理问题日益突出,各种违规违纪现象时有发生。查找问题根源,研究管理对策,成为林业项目资金安全有效运行,推动林业事业全面发展的重要任务。     

通用试题库系统的设计与实现

试题库系统是教学信息化建设的重要内容,是公平、公正、合理检验学生真实水平的依据,使用试题库进行组卷有利于实现教考分离,任课教师需要按照教学大纲的要求,不断改进教学方法,切实提高教学水平.从实用的角度出发,探讨了通用试题库系统的组成方案和实现方法,在此基础上开发了通用试题库软件程序.     

关于嘉兴市凤桥镇冯家大院修缮工程施工监理要点

结合文物工程的特点,明确古建筑的文物的修缮的原则和规范,分析了文物修缮工程的施工监理要点。     

关于广联达软件中钢筋锚固计算的几点辨析

造价人员在使用工程造价软件过程中,应当以准确理解规范为前提,客观认识造价软件的计算结果,使所做的工程造价更加合理。     

Accurate test limits under nonnormal measurement error

When screening a production process for nonconforming items the objective is to improve the average outgoing quality level. Due to measurement errors specification limits cannot be checked directly and hence test limits are required, which meet some given requirement, here given by a prescribed bound on the consumer loss. Classical test limits are based on normality, both for the product characteristic and for the measurement error. In practice, often nonnormality occurs for the product characteristic as well as for the measurement error. Recently, nonnormality of the product characteristic has been investigated. In this paper attention is focussed on the measurement error. Firstly, it is shown that nonnormality can lead to serious failure of the test limit. New test limits are therefore derived, which have the desired robustness property: a small loss under normality and a large gain in case of nonnormality when compared to the normal test limit. Monte Carlo results illustrate that the asymptotic theory is in agreement with moderate sample behaviour.     

全寿命周期成本评估特高压直流输电线路导线选型探讨

笔者结合多年工作经验,从全寿命周期成本评估特高压直流输电线路导线选型基本控制条件着手,对导线选型模型构建以及系统实现及实例做了简要分析。     

Extension of specification language for soundness and completeness of service workflow

A Service Workflow is an aggregation of distributed services to fulfill specific functionalities. With ever increasing available services, the methodologies for the selections of the services against the given requirements become main research subjects in multiple disciplines. A few of researchers have contributed to the formal specification languages and the methods for model checking; however, existing methods have the difficulties to tackle with the complexity of workflow compositions. In this paper, we propose to formalize the specification language to reduce the complexity of the workflow composition. To this end, we extend a specification language with the consideration of formal logic, so that some effective theorems can be derived for the verification of syntax, semantics, and inference rules in the workflow composition. The logic-based approach automates compliance checking effectively. The Service Workflow Specification (SWSpec) has been extended and formulated, and the soundness, completeness, and consistency of SWSpec applications have been verified; note that a logic-based SWSpec is mandatory for the development of model checking. The application of the proposed SWSpec has been demonstrated by the examples with the addressed soundness, completeness, and consistency.     

浅谈多层住宅底层功能优化

普通多层住宅为了既提高容积率又满足规范要求,底层设计存在使用不便问题,通过动线分离设计、地坪标高分区设计等进行功能优化,满足业主实际使用功能。     

Generic land registry and cadastre data model supporting interoperability based on international standards for Turkey

Managing land information effectively is a key factor in achieving successful land administration and sustainable land development. To manage land, each government has a land policy and administration system. A land administration system (LAS) enables identification, registration and sharing of information about land in compliance with land policies by using information technologies effectively. In this context, land information systems (LISs) are designed to fulfill the requirements related to land, to provide tenure assurance and to manage natural resources sustainably. In Turkey, the necessity of information technologies and geographic information systems (GIS) was recognised by public institutions in the early 1990s. The Land Registry and Cadastre Information System Project (TAKBIS in Turkish) started to manage land registry and cadastre data and processes throughout Turkey. By using a standard framework, the project aimed to digitise land registry and cadastre data and to perform all activities and queries in a digital environment. However, the project did not reach the expected level of success because the data infrastructure was not standardised and did not meet the data requirements of other stakeholders at the national and international level.On the other hand, studies of a new e-government project called Turkish National GIS (TUCBS in Turkish) was initiated to establish a national geographic data infrastructure (GDI) which allows efficient management of geographic data and corresponds to national-level user requirements and Infrastructure for Spatial Information in Europe (INSPIRE) specifications. In this study, to provide data interoperability among different institutions and meet stakeholder needs, the data model of the Land Registry and Cadastre Data Theme is examined and improved. Within the design process, the ISO 19152 Land Administration Domain Model (LADM) and INSPIRE Cadastral Parcels are examined and applied as the baseline international standards. In addition, main land and land group parcel types in the Turkish cadastral system, the main rights, restrictions and responsibilities related to land in the Turkish registration system, mortgages established over rights, cadastral maps, standard subdivision of two-dimensional (2D) space with special names, surveyed point and monumentation types were explained briefly within the revised land registry and cadastre data model. As a case study, data sets from different sources were transformed to open data sets compatible with the model. This model enables data interoperability in land-related applications. However, models should be kept as simple as possible for effective data transformation and management.     

超短波数传设备的关键技术指标分析

超短波数据链的发展使得高速超短波数传设备的研制倍受关注，超短波数传设备能实现的最快速率、系统灵敏度等指标成为设备研制者关注的问题。根据香农的信息容限理论和超短波设备的噪声系数在理论上对超短波数传的灵敏度、系统信息容限进行了分析。分析结果表明，白噪声干扰条件下的系统灵敏度受噪声系数、温度、信号带宽的影响；系统带宽较窄时，系统信息容限和带宽成正比，频带利用率高；带宽增加到一定程度后容量不再随带宽变化，频带利用率降低到接近0。