九女磷矿地压监测与空场处理

鄂西九女磷矿的矿层位于高山之下,倾角7～10°,厚2m左右,采用房柱法开采。由于大面积空场的存在,地压活动明显。为了防止大规模地压活动,采用爆破崩顶,声发射技术及其它手段监测崩顶过程。结果,成功地消除了空场,控制了冒落范围,并作出了预报,保证了采矿的安全,取得了明显的社会效益和600多万元的直接经济效益。     

基于Alloy的服务组合验证

服务组合是服务计算的核心问题,而服务组合的正确性与可算性则是服务正确执行的前提保证。首先提出一种基于Alloy的服务组合验证方法,采用有限的状态机建模WS-BPEL业务流程的状态变迁,利用Alloy语言对待验证的属性进行描述,通过Alloy模型完成有限状态机的形式化,最后使用Alloy Analyzer分析组合服务是否满足验证属性要求。实验研究表明,所提出的基于Alloy的服务组合验证方法具有较好的可行性。     

继往开来 再谱新篇——在庆祝昆明院建院50周年大会上的发言

尊敬的各位领导、各位来宾，各位前辈及同事：今天是昆明院建院50周年的喜庆日子，十分荣幸代表全院在职职工在这样一个隆重而热烈的庆典大会上发言，这将成为我人生中最珍贵的记忆。在此，我代表昆明院全体在职职工对远道而来的集团公司领导、兄弟院领导以及各位前辈们表示热烈的欢迎!对你们长期以来为水电建设所做出的重要贡献及给予我们工作上的关心、支持和帮助，表示最衷心的感谢!     

小湾水电站高拱坝设计与基础处理

小湾拱坝高达294.5 m,总水推力为176 520 kN.拱坝应力水平高,最大主压应力按10 MPa控制.工程位于强地震区,拱坝抗震设防要求高.通过可行性研究、初步设计以及国家"九五"科技攻关等一系列研究,逐步解决了小湾拱坝体形优化、坝踵防裂防渗、抗震、泄洪消能、坝基基础处理和坝肩抗力体地质缺陷处理等关键技术.     

动态设计中的小湾水电站边坡工程

小湾水电站边坡工程针对其两岸边坡的不同地形地质情况和要求，分别以左岸“强开挖弱支护”，右岸“弱开挖强支护”为设计原则进行边坡处理，初步提出了不同失稳机制与模式的针对性合理定量分析评价体系，对于深厚覆盖层分布，规模巨大的堆积边坡首次大规模采用预应力网板深孔锚索治理并取得了成功，还将动态设计理念渗透到了小湾水电站边坡的具体工程中。     

网络工作站自动注册入网的简便方法

现在各学校的计算机教育机房一般都采用网络的方法来组建。在我国大都为NOVELL网。采用网络特点是:能够资源共享、管理方便、防病毒能力强。 在网络机房上机时,初学计算机的学生不知怎样注册上网,高年级的学生又随意在网上漫游,降低了学生的上机效率,不能完成教师规定的实验任务。能否让学生一开计算机电源,计算机就能自动注册到规定的用户,不用学生输入注册命令和用户名。传统的方法是为各工作站做一个独立的远程引导文件,还要建立一个BOOTCONF.SYS文件,工作站开机时才能自动注册到特定的用户。采用这种方法要建立很多的远程引导文件,而且当要改变一个工作站的注册用户时非常麻烦。     

雷击背后的故障

学校教工宿舍区的网络交换机近时受到雷击，该宿舍区有五栋宿舍楼，每栋楼各一台24口可网管式交换机，雷电袭击后有两栋楼的交换机从网管上看是红色的，表明已不能正常工作。经现场维修后确认有1台交换机由于损坏的网口太多无法满足用户使用，便更换了1台新的Quidway S2403交换机。