国内网络问政研究进展之文献计量分析——以CNKI2008.01—2013.12文献为基础

以CNKI2008年1月1日-2013年12月25日相关文献为基础,对我国网络问政研究的文献进行梳理,从网络问政研究的兴起与进展、网络问政研究文献的结构分析以及网络问政研究的主题和内容分布三个方面综合分析研究者的观点,可以看出当前我国在网络问政领域的研究存在着不足,如有关网络问政的相关概念有待明晰,研究领域倚重、研究范围有待拓展,研究主题泛化、理论深度有待挖掘,研究方法滞后、学术规范性偏弱。今后,应及时总结并汲取国内外先进经验,加强学术规范性及多学科理论交叉研究。     

孟津煤矿二2-11031工作面顺槽支护方案优化设计初探

孟津煤矿属煤与瓦斯突出矿井,采用开采解放层结合底板抽放巷进行回采,二2煤层是解放层,本煤层11031工作面顺槽属半煤岩巷道,支护主体采用锚网索＋双工字钢棚联合支护,锚网索作为补强支护,钢材消耗量大,操作工序多,成本高,进度慢,支护方案优化就显得尤为重要。     

断层网建模关键技术研究

面对大多数的建模方法主要采用基于多源数据交互的建模方式,需要大量人工交互且不便于计算机自动或半自动化处理等问题,本文引入空间索引和OBB碰撞检测方法来检测断层间的接触关系,使用符合地质规律的测地线进行追踪,采用路径切割方法处理两个地质界面间的线性接触关系,从而自动处理任意断层面间的截切关系,构建复杂断层网。利用某地区作为研究区域,从实际数据出发,构建该区复杂的三维断层网,以验证本文提出的断面接触关系处理技术的有效性。     

基于抗差估计的变形监测基准网坐标系统转换

为监测地下煤炭开采对某矿工业广场内主、副井筒的影响,布设了由10个点构成的GPS基准网,从而为由54个监测点构成的井筒监测网提供在矿区坐标系统下的变形分析基准;在求解坐标转换参数时,为克服转换基准点中存在的位移对求参的影响,提出了采用抗差估计理论求参的模型及数据处理流程,并建立转换后GPS网的质量评价模型。根据对GPS基准网的处理结果,采用抗差估计求参,有利于保留GPS技术高精度的特点。     

企业Intranet/MIS的实现技术研究

介绍了组建企业Intranet/MIS的必要性、所采用的技术路线,并以新会市电力局Intranet/MIS为例进行说明.     

指挥自动化网安全管理的思考

阐述了指挥自动化网面临的主要安全威胁,从规章制度、组织管理、应急措施及安全预防等方面提出了指挥自动化网安全管理措施。     

对一个Petri网进程表达式的探讨

Petri网进程是Petri网分析和验证的有效手段,而Petri网的进程表达式可以给出系统全部进程的描述。针对文献《一种基于同步合成构造Petri网进程表达式的方法》提出的基于同步合成的Petri网表达式构成方法中的一个引理进行深入研究,并通过一个反例,说明这种方法的错误之处。     

P2P网络贷款模式及其风险管理

互联网在创造巨大社会财富的同时,也使人们的生活发生了翻天覆地的变化。淘宝、京东商城、苏宁电器使人们“足不出户逛天下”,支付宝、余额宝等第三方支付方式也在悄然地改变着人们的支付习惯。最近几年,资金借贷也迅速地在网络上创新性的出现和发展起来。一方面,网络贷款颠覆了传统的以商业银行间接借贷为主的资金借贷方式,为中小企业和创业者们带来了福音;另一方面,网络贷款在实际运营过程中面临着很多风险,仍然需要政府和监管部门进行规范管理。 P2 P网贷作为互联网金融的一种形式,研究其经营模式并探讨如何对其面临的风险进行管理具有重要的理论和现实意义。     

一种验证软件演化过程行为的代数推导方法

针对现有软件过程验证主要以结构验证和性质验证为主,缺乏行为验证的不足,提出了一种验证软件演化过程行为的代数方法.该方法使用通信进程代数ACP对软件演化过程元模型EPMM进行扩展,提出软件演化过程元模型代数EPMM-A.针对EPMM建模产生的软件演化过程模型,一方面使用EPMM-A形式定义软件演化过程模型的行为规约,另一方面在其公理系统的支持下,基于等式推导验证软件演化过程模型的行为与行为规约是否一致,使行为验证方式从模型推导(非形式化)变为代数推导(形式化).为了说明代数推导的正确性,证明了软件演化过程元模型代数的公理系统具有可靠性.