基于数据库管理系统的MIS的分析与设计─—对瀑布模型的改进

本文介绍了一种改进后的瀑布模型，将原模型中需求分析阶段细分为用户需求分析、数据库表设计和系统分析三个阶段，并对改进的原因及意义做了说明．文中还详细介绍了用户分析阶段所采用的技术和文档．最后，文中给出了信息流程图及其相应数据字典；并列出了编制规则．     

一种移植串行系统到并行环境的MSP方法

提出一种把串行系统移植到并行处理环境的工程化方法ＭＳＰ（Ｍｉｇｒａｔｉｎｇ Ｓｅｑｕｅｎｔｉａｌ ｓｙｓｔｅｍ ｔｏ Ｐａｒａｌｌｅｌ ｅｎｖｉｒｏｎｍｅｎｔｓ）。它分为３个阶段；分析阶段获取串行系统的设计描述，综合阶段根据分析阶段获得的设计描述生成程序相关图，转移阶段根据分析阶段与综合阶段的结果得出原系统的并行设计描述。该方法弥补了传统转换方法片面集中于代码到代码的转换，对原程序总体设计理解不够     

Object-Z规格说明的结构模拟动画技术

形式化方法让软件需求的规格说明变得更加简洁精确,但是它的抽象难懂让用户难以确定形式规格说明中所叙述的用户需求就是他们所期望的.另外,大多的规格说明语言都是不可执行的,因此人们采用一种动画模拟的方式,将形式规格说明转换成一种可模拟执行的形式,从而帮助用户和规格说明者确认形式规格说明是否与用户的非形式化需求相一致.通过分析比较形式规格说明的两种动画策略———形式化程序合成和结构模拟的优缺点,决定使用结构模拟技术将Object-Z规格说明转换成SICStus Prolog可执行程序并加以执行,从而实现对Object-Z规格说明的确认.     

面向信息系统的柔性报表系统的逻辑模型设计

针对信息系统的报表系统不能适应需求变化的问题，分析了报表系统共性和变性，提出了柔性报表系统的框架结构和层次逻辑模型，描述了柔性报表系统中数据域、信息域、映射以及与操控平台和制作平台之间的关系。柔性报表系统由报表系统操控平台和报表制作平台构成，开发人员和分析员利用操控平台设置和定制特定信息系统的报表制作平台，用户利用报表制作平台定义和生成需要的报表。     

用形式化和非形式化技术对VB程序逆向工程

研究了采用形式化和非形式化相结合的方法，为VB程序生成形式化规格说明的逆向工程技术。给出了VB语言基本结构的最强后件语义表示、模式匹配规则、抽象匹配规则以及产生规格说明的基于结构化分析的3阶段过程。在此基础上使用VB语言实现了原型工具BasicSpec。此工具首先为VB程序建立非形式化的抽象模型：窗体结构图和过程调用图；然后为关键模块生成形式化规格说明。生成的结果清晰明确，有助于软件工程师理解VB源程序。     

UML在柔性管理信息系统开发中的应用

为了解决管理信息系统在实际开发应用中的企业需求的“柔性”和系统自身的“刚性”的矛盾问题，采用应用建模的方法，以领导综合查询系统科研项目为实例，总结了UML的建模机制与方法。在该系统的开发过程中，利用UML，完成了系统的需求分析，概念设计和详细设计，构建了系统的需求模型、静态结构模型和动态的行为模型。结果表明，系统可视化模型的建立，加深了用户对系统的开发平台、体系架构和实现功能的认识，用户的意见不断的修补系统的模型和文档，大大减少了系统实现阶段的工作量，有效应对用户的需求变更。提高了系统对企业环境的适应能力。     

代数规格说明语言ASL及到PROLOG的转换

本文讨论了代数规范说明技术及其到逻辑程序设计语言ＰＲＯＬＯＧ的转换。首先给出了一种基于抽象数据类型的代数规格说明语言ＡＳＬ：然后介绍了由ＡＳＬ描述的规格说明到ＰＲＯＬＯＧ转换　的形式化方法；在这种方法的基础上设计了一个自动转换系统，该系统接受ＡＳＬ语言描述的规格说明，通过转换规则，逐步将此规格说明转换成可执行的ＰＲＯＬＯＧ语言程序。     

信息系统分析阶段评价指标体系及方法研究

分析了管理信息系统分析阶段评价的研究现状和存在的问题,指出了在系统分析阶段进行评价的重要性根据系统评价的原则,建立了信息系统评价指标体系,并分析了每个阶段评价指标体系的特点、建立的目的和作用,并在此基础上建立了评价模型.     

新冠疫情下政务APP服务质量、满意度及使用行为分析——以“i厦门”为例

结合政务APP特性改进信息系统成功模型，构造政务APP服务质量、满意度及使用行为模型，应用SmartPLS30对调查问卷进行分析。结果表明:信息质量、系统质量和应急服务功能对政务APP服务质量有显著正向影响，服务质量对用户满意度有显著正向影响，用户满意度对使用行为有显著正向影响，技术素养在用户满意度与使用行为之间有负向调节作用。政府应加强政务APP应急服务功能，将应急服务视为常态化工作；从信息语言表达、内容和版面设计，系统功能完善、更新和维护角度提高政务APP信息质量和系统质量；提供“一站式”服务，优化各模块服务操作流程，不断提升用户服务质量感知与满意度，促进用户使用。     

TCP协议的Z语言描述

计算机通信协议的开发难度随着复杂程度的增加而日益增大，潜在错误也越来越多，其中对协议规格说明理解的偏差是重要原因之一．因此需要对规格说明进行验证和确认，并对协议的实现进行一致性测试．一致性测试就是测试协议的实现是否与相关国际标准中的规格说明相一致．协议的规格说明主要是以自然语言描述的，对其进行形式化是为了精确描述协议，因而可减少这类错误的出现．Z语言是基于一阶谓词逻辑和集合论的形式规格说明语言，采用了严格的数学理论，可产生简明、精确、无歧义且可证明的规格说明．本文以TCP协议为例详细介绍了如何使用Z语言对协议进行形式化，为协议一致性测试打下基础．     

基于区块链的匿名密码货币支付协议

借助Mixcoin模型和代理重签名算法的签名所有权的转化思想,提出了一种基于区块链的匿名密码货币支付系统模型。在支付阶段,通过利用代理重签名技术把交易用户的签名转换为权威机构的签名,然后通过权威机构的信任背书提高交易的确认速度,从而缩短交易确认时间和阻止了用户的双重花费,提高了交易效率;基于Diffie-Hellman密钥协商思想,利用用户和商家能够产生相同的一次公钥地址作为收款地址,更好地实现了资金流向的匿名性,即实现了交易的隐私保护。最后通过与其它两种方案进行性能比较,所建议的方案综合性能具有较大优势。     

液压控制系统建模和仿真方法的研究

利用液压伺服阀频响实验结果建立伺服阀的动态模型，同时采用键合图方法对液压缸进行建模，又利用Simulink工具箱提供的定义子系统和封装的方法，对组成位置伺服控制系统的元件和环节建立了形式统一的仿真模型，在此基础上构建了整个系统的仿真模型并对系统进行了仿真．通过建模和仿真过程说明，与用单一环节建模方法建立的系统模型比较，根据不同元件的频响特性用不同的环节建模方法建立的系统模型容易保证仿真的可靠性；系统仿真模型与用户的良好交互性及本身所具有的通用性，在很大程度上方便了系统仿真模型的构建和仿真的运行．     

一个基于AI产生式系统的软件开发新模型

在设计一个程序以前，应该完整地并且精确地说明要求解的问题．作为一个产品。软件相对于其形式规格说明来说应该是可靠和正确的．规格说明是程序变换方法的起点，程序变换方法保证了程序的正确性．本文给出了ＡＤＴＳＬ的简要描述，并提出了一个基于人工智能中的产生式系统的软件开发新模型．     

基于逻辑系统的用户需求功能规格说明语言及其应用

在基于谓词逻辑对知识的表示的基础上，用Unity逻辑系统对其加以扩充，形成一个小型的用户需求功能规格说明语言（Small problem Specification Language），用这种形式化的语言对电梯控制系统作出形式化的用户需求功能规格说明。     

考虑用电效用的用户购电决策优化

随着售电侧市场的逐步放开，电力用户的市场化程度逐渐加深，需要制定科学合理的购电策略以保障自身用电效用的同时降低风险。该文提出了考虑用电效用的用户购电决策优化策略。首先基于实时电价建立了三种不同类型的套期保值合同供用户选择；接着引入了需求价格弹性模型引导用户调整用电策略，实现负荷和电价的实时联动；基于条件风险价值法以用电效用最大化为目标建立用户购电决策模型；并采用阿基米德算法来求解该模型；最后通过算例验证了该模型能够有效提高用户的购电效用，为用户的购电决策提供参考。     

基于Petri网的电梯系统规格说明

为克服非形式化技术描述系统规格说明带来的二义性,采用了一种形式化技术——Petri网来描述电梯系统的规格说明。Petri网技术是对离散并行系统的数学表示,适合于描述并发的计算机系统模型,可以正确的描述电梯系统。     

试论产品设计与用户认知特性的匹配

产品设计中形态语意的表达与用户认知特性不匹配，常造成用户使用操作困难．本文列举典型案例说明匹配不到位的表现，指出实现准确匹配的方法是针对具体产品，通过科学的设计调查，把握用户的认知特性，建立用户模型，准确表达产品的形态语意。     

构件化技术在编译器语义分析中的应用研究

基于构件化软件开发思想,在航空领域通用测试语言ATLAS编译器的实现过程中,提出采用构件化开发方式解决语义分析阶段中"仪器选择和分配"模块的多样性和复杂性问题,给出实现"仪器选择和分配"模块的层次软件体系结构的详细描述,以及通过微软公司的COM构件对象模型给出的资源配置构件的接口说明.项目完成中,采用这种COM构件实现模型很好解决了语义分析阶段中的资源调用和信号语句的语义翻译问题.     

苏南丘陵区小流域综合治理规划方法研究

研究小流域综合治理方法,将多指标多层次模糊评价模型、投入产出模型与非线性目标有机结合起来,应用于小流域综合治理规划。技术创新点为：建立一个全新的分阶段规划方案,即：资料收集分析阶段、问题识别、综合治理目标鉴别阶段、优化模型构造及求解阶段、综合治理措施布置阶段、最优方案评价及论证阶段,最终组成治理规划方法。     

21世纪我国高等教育管理体制改革的走向

根据我国经济、政治体制改革和教育自身发展的要求以及世界高等教育改革发展趋势，具体阐述了21世纪我国高等教育管理体制改革的基本走向，即在促进合并院校实现学科融合，优化资源配置；加强院校合作办学，实现优势互补，资源共享；扩大高等学校办学自主权；加强省级政府统筹决策权；加强校企合作；转变政府职能，加强宏观调控；优化结构，引导院校正确定位，办出特色等几个主要方面要继续深化与扩展。