类型系统的构造、实现及其在程序设计语言中的应用

类型系统是一种设计和研究程序设计语言的形式化方法和工具，既可在语言设计之初构造，便于严格、准确、正确地设计实现语言；也可在语言实现后构造，为研究语言的语义及其它性质建立模型。详细讨论了类型系统的基本构造和实现，通过基于图重写的函数式语言SClean的类型系统，提出一种实用的类型系统的构造和实现方法。     

构造广义混沌同步系统的一种方法

从已知的混沌驱动系统出发，恰当地拆分驱动系统线性部分使其稳定，采用输出信号的线性变化关系构造出响应系统，由此给出一种构造广义混沌同步系统的理论方法．将该方法分别应用到离散和连续系统中，理论分析和数值模拟结果均表明，在构造广义混沌同步系统的理论方法方面它是十分简单而有效的。     

Newton-Leipnik系统的线性反馈控制与同步研究

构造一个简单的线性控制器，通过对控制参数的适当选取，将Newton-Leipnik系统分别控制到稳定的周期轨道和稳定的不动点，利用Mathematics软件进行数值模拟证明这种控制达到预期的目标；同时，基于线性系统的稳定性理论，构造一个混沌同步系统，研究了Newton-Leipnik(N-L)系统的完全同步问题，数据模拟结果也证实本文构造的同步混沌系统的可行性与有效性．     

可能性构造空间的性状评价及相关问题

在创造性思维中可能性构造空间理论模型研究的基础上，从思维的信息加工处理的角度对思维系统和可能性构造空间的状态特性进行了分析，给出和描述了系统状态函数、有序度及其变化率的分析，给出和论述了PCS中元素的特点、分类性质和类间相关性质分析，论述了PCS系统的发散度，并给出了I集元素变化率、虚构元素集构造速度和选定速度等关于系统品质的一系列性状评价指标．     

相山铀矿田成矿构造系统及找矿方向探讨

相山铀矿田是我国著名的大型火山岩型热液铀矿田。近年来,断裂构造对铀矿的控制作用得到越来越多的认同。本文在前人研究的基础上,依据成矿构造系统的概念,通过划分构造系统类型、研究各构造系统与铀成矿的时空关系和成因联系,厘定了相山矿田铀成矿构造系统。矿田构造系统可划分为陆相火山构造系统、区域应力断裂构造系统和陆相沉积构造系统。陆相火山构造系统为矿前构造系统,沉积构造系统与区域应力断裂构造系统近同步发育。区域应力断裂构造系统及其与火山构造系统复合控制了铀矿的空间定位。区域应力断裂构造系统与铀成矿具有密切的时间、空间和成因联系,为成矿构造系统。区域应力断裂构造系统及其与陆相火山构造系统复合区域为相山矿田主要找矿方向,区域应力断裂构造系统内部的火山岩盖层断裂构造与基底构造复合区域、区域应力断裂构造系统与沉积构造系统复合区域为值得进一步探索的方向。     

新构造应力作用形迹系列的发现

近年来，笔者相继发现黄土构造节理系［１］、松散土层破裂［２］和黄土沟槽网络［３］。野外考察证实，黄土构造节理和松散土层破裂是新构造应力场作用的直接产物；成系统土层沟槽（合黄土沟槽）是黄土构造节理和松散土层破裂的地貌反映；许多水文网［４］常常是成系统的土层沟槽进一步发展后连通的结果，三者间有着密切的成生联系，都是区域新构造应力场作用的痕迹，组成形迹系列。     

一个改进的背包公钥密码系统

给出了一个改进的背包公钥密码系统。和原系统一样，作者利用中国剩余定理 （孙子定理）构造背包，但同时将某些随机选取的秘密量加到和乘到各背包分量上（以前构造背包密码系统从未用到加法）．因而大大提高了系统安全性。     

金佛山菱形构造格局区域变形场和应力场遥感图像解析

川鄂黔毗邻地区由走向北东或北东东和南北向、北北东向几组构造线交织成一系列网状构造变形图案，金佛山菱形构造是其中典型之一。文章应用恢复区域构造应力场的新方法──遥感图像解析法，通过宏观构造和相关节理系统的详细解译和野外调研及综合分析，建立了该区两次构造变形场并反演了构造应力场。     

新构造运动活跃的库车盆地含油气系统特征

新构造运动一方面对先存盆地和古生油气藏进行着破坏与改造，一方面促进烃源岩热演化、提供优质储层、改造盆地疏导运移系统，为晚期成藏提供条件。本结合库车盆地的构造演化、构造样式，着重分析了新构造与油气系统的关系，进而论述了新构造运动控制下的库车盆地含油气系统特征。最后分析得出该区域三个油气勘探目标区：拜城、阳霞凹陷南坡秋里塔格背斜带；库姆格列木一依奇克里克断层相关褶皱带；南部构造带。     

地球卫星遥感影像解译中国台湾地区的构造系统

运用区域地质调查资料和地球卫星遥感资料进行综合分析,发现并确定和划分了环形构造系统、北北东向构造系统、南北向构造系统、北东向构造系统和弧形构造系统等5套构造系统。采用结构面组合及配套的方法恢复重建构造演化序次和形成时期并讨论了地质发展过程等问题,为研究东亚构造域和板块运动以及大陆板内构造活动提供新信息。     

高速公路施工测量数据库系统研制

高速公路施工测量数据库系统的基本功能为有关资料的输入,添加,删除,更新,施工测量的数据处理,施工监测的数据分析及各种设计,放样,监测数据的检索和输出。库文件包括线路和构筑物设计要素文件、桩位和构筑物放样元素文件、测量控制点文件及施工监测数据文件等。应用程序采用模块化的总体设计。     

省属高校装备采购管理系统的设计与实现

为解决当前装备采购工作Excel辅助处理方式难以实现的过程透明化、信息共享利用、工作协同等现实问题,设计并开发了一套装备采购管理系统。该系统采用异构模式设计,有效实现了装备采购过程的动态化、精细化管理,为省属高校装备采购信息化建设提供了一种可行的解决方案。     

遥感图像解释专家系统(RSPES)的设计

介绍了一种遥感图像解释专家系统的设计思想,总体结构,知识表示,推理规则和实现功能。ＲＳＰＥＳ系统将图像处理系统,专家系统和地理信息系统集成为一个整体,主要应用于遥感图像处理,分类与解释中。     

往复泵微机数据采集处理系统的设计

往复泵在不同工况下的工作参数对泵的设计、工作状态分析和研究有重要影响.因此,提高采集参数的精度有非常重要的意义.本文介绍一种新的往复泵数据采集和处理系统,论述了泵参数的系统设计原理,以及硬件和软件设计要点。     

基于WSN和RFID的稻米溯源系统设计

基于WSN和RFID技术设计了稻米溯源系统,来对稻米的种植、存储、加工、运输和销售环节进行实时、精准的溯源.该系统利用CC2530无线模块传输生长环境数据,采用RFID对稻米的收割、储运和加工过程中的信息进行溯源记录,构建了溯源数据库与农产品电子电商的对接平台,使农产品生产者、农产品和消费者之间建立了完整的数据链条.     

工作流的信息处理模型浅论

本文介绍了信息处理模型,并结合工作流技术阐述了工作流的信息处理模型,对信息系统的建设是具有十分重要意义的。     

科技计划项目全流程管理信息平台设计研发与应用

科技计划项目全流程管理信息平台包括科技项目库、应用基础平台、网上信息采集平台、综合业务处理平台等主要内容的开发建设，将建成一个覆盖全市科技管理行政范畴内的科技业务管理体系，连接内网和外网，实现“外网接收，内网处理”的业务模式，满足项目管理过程规范处理的实际业务需要。     

机械零件设计思维的信息加工模型

本文应用认识心理学的理论和方法,剖析了人类专家进行机械零件设计的思维规律,提出了用思维的信息加工理论来解释复杂的人类设计活动。文中以标准三角胶带传动设计为例,利用计算机模拟,证实了详细设计阶段的思维信息加工模型,同时,利用机械零件设计的信息加工模型,为智能CAD系统的研制提供了一个理论依据。     

基于三层C／S模式的公安旅店业信息管理系统

三层Ｃ／Ｓ模式是基于Ｗｅｂ的ＤＢＭＳ服务，与常规的Ｃ／Ｓ模式相比，具有简便性，灵活性和瘦客户等特点，是信息系统建设的发展方向。本文提出了基于三层Ｃ／Ｓ模式的公安旅店业管理系统，详细讨论了系统设计与实现方法，包括数据库设计，三层Ｃ／Ｓ模式的实现以及图像采集与处理，数据实时归并，动态查控等功能模块的设计与实现，本系统已投入使用。     

矿井智能管控平台的设计及应用

在分析智能煤矿发展方向与需求的基础上,提出并设计了基于感知层、传输层、数据层、平台层、应用层和展现层的智能矿井整体架构,探讨了智能矿井建设过程中所涉及的地理信息技术、数据库及数据融合技术、协同处理技术、物联网与智能传感器、虚拟化技术与云计算技术等。提出了矿井智能化管控平台设计方法,包含全井智能监控系统、安全生产执行系统、企业经营管理系统、智能决策分析系统和3D透明矿山系统等。利用设计的矿山智能管控系统进行作业应用,结果表明提高了指挥调度决策效率,增强了矿井作业平台各信息显示的直观性和可操作性,并进一步通过智能会议系统,加快了信息交流速度,提高了办事效率,降低了行政管理成本,为智慧矿井的建设提供了新的参考。