搜索结果: 1-8 共查到“软件理论 系统”相关记录8条 . 查询时间(1.523 秒)
2023年4月11日，教育部正式公布了第二批国家级一流本科课程认定结果，拟认定5751门课程为第二批国家级一流本科课程。计算机与信息工程学院有2门课程入选，分别是陈燕红老师开设的《数据库系统原理》和孟小艳老师开设的《树莓派接口及项目开发》入选线上线下混合式一流课程。
华中科技大学服务计算技术与系统教育部重点实验室软件著作权。
在Hoare逻辑理论和ACSL语法规范的基础上，设计一种针对密码软件的形式化验证系统，由程序规范、验证推理规则、可靠性策略、验证推理等模块组成。以OpenSSL中RC4算法的软件实现为例，对其功能正确性、保险性和信息流安全性进行验证，结果表明，该系统具有较高的自动化水平，可在一定程度上降低形式化验证方法的复杂度。
从构件角度出发，结合软件agent技术，提出一种能表示根据需求和环境的变化实施自主行为的E-BDI构件模型。基于高阶多型π演算理论，在现有的动态体系结构描述语言D-ADL基础上，提出一种能从运行时角度描述自适应构件的动态行为的体系结构描述语言SOS-ADL。利用SOS-ADL形式化描述E-BDI结构的自适应构件行为，使构件能根据变化的环境和需求,自主推导自身的行为，达到实现软件自适应的目的。案例说...
为了提高软件人的管理效率，基于Linux操作系统的LKM机制，并融合软件人的迁移和演化等关键特性，提出了一个新的概念：基于Linux LKM机制的软件人管理系统。首先，分析了软件人系统和LKM机制融合的可行性，然后详述了基于Linux LKM机制的软件人管理系统的功能需求和结构设计，并给出了部分关键数据结构和算法。
地震采集系统开发中的构件模式软件体系结构
软件体系结构 构件模式 分层结构
2009/11/5
地震采集软件KLSeis分采集设计、地质模型分析、静校正和质量控制四大系列。为了适应用户需求的频繁变化，同时在可维护性、易用性、可用性、性能等方面获得较好的平衡，KLSeis软件设计时采用了基于构件的软件体系结构，定义了框架部分和功能构件两大块。为降低软件开发难度，实现可扩展性，在定义构件时采用了分层结构，包括业务服务层、通用处理层和数据层3层，其中通用处理层保持相对的稳定性。通过采用分层构件的体...
一种基于模型的并发系统测试目的描述
约束事件 测试用例生成 测试目的
2009/6/29
提出了带约束事件的时序逻辑TLCE，用于描述系统运行中输入/输出事件之间的时序关系以及对事件参数的数据相关性约束。阐述了一种基于模型的并发系统测试框架，采用TLCE描述测试目的以引导测试用例生成。缓存一致性协议和会议协议的实例研究中所生成的测试用例集显著优于随机测试用例集。这说明了TLCE作为测试目的描述的有效性。
LIS系统中中英文软件间存在的问题及解决方法?
实验室信息管理系统(LIS) 软件
2008/5/23
目的： 分析中英文软件转换中的问题，并解决问题，以便提高检验效率减少误差。方法： 通过对多种检验仪器的英文软件部分和中文软件的使用，以及中英文软件之间的转换误差因素分析。结果： 中文软件和英文软件共存在10个问题，分别提出改进意见，以及减少差错的方法。结论： 实验室信息管理系统中中英文软件间转换是其中的一个重要问题，解决问题可以提高检验质量，减少差错事故的发生。