The full basis theorem does not imply analytic wellordering

A finite support product of ${\omega }_1$ clones of Jensen's minimal ${\Pi }_2^1$ singleton forcing is used to define a model in which any non-empty analytically definable set of reals contains an analytically definable real (the full basis theorem), but there is no analytically definable wellordering of the reals.     

基于校园网的实验管理系统的设计

主要讨论了应用实验室管理系统的必要性,并从用户需求分析、系统总体设计、功能模块的设计等方面对B/S实验室管理系统的开发进行了详细的阐述。     

Signed graphs for portfolio analysis in risk management

We introduce the notion of structural balance for signed graphsin the context of portfolio analysis. A portfolio of securitiescan be represented as a signed graph with the nodes denotingthe securities and the edges representing the correlation betweenthe securities. With signed graphs, the characteristics of aportfolio from a risk management perspective can be uncoveredfor analysis purposes. It is shown that a portfolio characterizedby a signed graph of positive and negative edges that is structurallybalanced is characteristically more predictable. Investors whoundertake a portfolio position with all positively correlatedsecurities do so with the intention to speculate on the upside(or downside). If the portfolio consists of negative edges andis balanced, then it is likely that the position has a hedgingdisposition within it. On the other hand, an unbalanced signedgraph is representative of an investment portfolio which ischaracteristically unpredictable.     

A MODEL OF TROPICAL MARINE RESERVE‐FISHERY LINKAGES

ABSTRACT. The excessive and unsustainable exploitation of our marine resources has led to the promotion of marine reserves as a fisheries management tool. Marine reserves, areas in which fishing is restricted or prohibited, can offer opportunities for the recovery of exploited stock and fishery enhancement. In this paper we examine the contribution of fully protected tropical marine reserves to fishery enhancement by modeling marine reserve‐fishery linkages. The consequences of reserve establishment on the long‐run equilibrium fish biomass and fishery catch levels are evaluated. In contrast to earlier models this study highlights the roles of both adult (and juvenile) fish migration and larval dispersal between the reserve and fishing grounds by employing a spawner‐recruit model. Uniform larval dispersal, uniform larval retention and complete larval retention combined with zero, moderate and high fish migration scenarios are analyzed in turn. The numerical simulations are based on Mombasa Marine National Park, Kenya, a fully protected coral reef marine reserve comprising approximately 30% of former fishing grounds. Simulation results suggest that the establishment of a fully protected marine reserve will always lead to an increase in total fish biomass. If the fishery is moderately to heavily exploited, total fishery catch will be greater with the reserve in all scenarios of fish and larval movement. If the fishery faces low levels of exploitation, catches can be optimized without a reserve but with controlled fishing effort. With high fish migration from the reserve, catches are optimized with the reserve. The optimal area of the marine reserve depends on the exploitation rate in the neighboring fishing grounds. For example, if exploitation is maintained at 40%, the ‘optimal’ reserve size would be 10%. If the rate increases to 50%, then the reserve needs to be 30% of the management area in order to maximize catches. However, even in lower exploitation fisheries (below 40%), a small reserve (up to 20%) provides significantly higher gains in fish biomass than losses in catch. Marine reserves are a valuable fisheries management tool. To achieve maximum fishery benefits they should be complemented by fishing effort controls.     

合作联盟资源集成计划一种新方法

合作联盟里，资源集成计划往往是联盟成员群体谈判博弈的结果。本以两人博弈为例，对联盟的资源集成计划给出一个谈判博弈模型，能够较好地模仿和反映合作联盟资源整合计划的制订过程。     

社会经济管理系统和谐性模型的构建与分析

本文从非线性自然观的视野。引用与分析了社会经济系统功能模型与效应模型。构建了系统和谐状态模型与和谐状态可信度模型，形象地说明了企业系统的和谐既是一个随机不确定状态。又是企业和谐力量与不和谐力量相互抗争干涉的过程。依据协同学原理提出了企业系统和谐演进的机制，表明企业系统的和谐发展是子系统和谐协同的过程。即子系统竞争合作的过程。文中所构建的模型，从理论上清晰地说明了企业系统和谐有序运行的机理，为如何构建和谐企业。提供了建设性的思考。     

基于图像处理技术的束流剖面监视系统

 介绍了在兰州重离子加速器上利用荧光靶图像获取装置测量并计算束流剖面参数的方法，并建立了图像获取、处理、束流参数计算的实时测量软件系统。该系统具有可靠性好、测量直观、界面友好等优点。     

内部审核在计量体系中的作用

介绍内部审核制度在计量测试工作中的目的和作用，提出了内部审核工作应注意的事项，如内部审核工作计划的完整性，内部审核工作的有效性，管理者工作内容的全面性，以及后续工作的完善性。     

长江堤防工程地质信息处理模型及技术方法

长江中下游的主要防洪工程是长江干堤 ,长江堤防线路长、工程浩大、堤基工程地质水文地质条件复杂 ,涉及大量的已有地质数据和资料。今后在整治加固堤防的工程地质勘察工作中 ,还需随时进行数据的收集、存储、检索、分析、统计和维护 ,随时调用这些数据进行综合处理、编制报告和图件 ;在防汛期间可以针对堤防险工险段的险情 ,随时查询和调用有关的资料、数据或者图件 ,提供采取抢险措施决策的地质依据。这既提高了地质数据的利用价值和利用率 ,又保证了信息的准确性、完整性和共享性。因此 ,建立合理的长江堤防工程地质信息处理模型及其成熟的技术方法具有重要的意义。     

Isoperimetric estimates in products

In a product M ₁ × M ₂ of Riemannian manifolds, the least perimeter required to enclose given volume among general regions is at least 1/√ 2 times that among regions of product form, assuming that the isoperimetric profiles of M ₁ and M ₂ are concave. This result sharpens earlier work of Grigor'yan, generalizes results of Bollobás and Leader and of Barthe, and yields a lower bound on the Cheeger isoperimetric constant of a product.