Web应用的UML协作图建模与形式化规格说明

针对Web应用的特点,从整体功能层面和交互行为层面用UML协作图构建了Web应用模型,以便精确、有效地描述参与协作对象间的结构关系和交互行为,保证在利用UML形式的规格说明推导测试用例时所需的语义信息。研究了运用Object-Z语言来形式化描述Web应用模型,提出了相应的转换规则。设计了形式化规格说明自动化生成的工具(UMLTOZ)中的主要相关类库。

先天性桡骨缺如3例

例1.男,早产生后3 d。娩出后即发现右上肢畸形伴Ⅲ度唇腭裂,染色体核型：46XY,染色体未见异常。体格检查：胸腹部外观正常,躯干、双下肢及左上肢无畸形,右侧前臂短小,腕部向桡侧呈直角偏斜,右手拇指较短。右侧尺桡骨正位X线片：右侧桡骨缺如,第1掌骨短缩畸形,手向桡侧偏斜,与尺骨干近成直角（见图1）。X线诊断：完全性右侧桡骨缺如,第1掌骨发育不良。

通用调度框架的改进及其在Linux中的实现

在嵌入式Linux实时系统中,要求内核对不同时间约束的任务采用不同的调度算法。但目前Linux内核采用单一的实时调度模式,不能灵活地执行多种调度算法,也就无法满足实时系统中实时任务的时间约束。引入了一种能够在Linux内核调度中执行多种调度算法的框架,即通用调度框架(GSF),并改进了其中的多算法调用机制,从而更好地在Linux内核中实现GSF。

新常态下地方政府融资平台转型发展探析

近年来,融资平台的发展可谓一日千里,自一九九四年至今国家先后出台了包括《新预算法》和《地方政府性债务管理意见》等一系列法律法规,大力推动融资平台的发展。笔者首先分析地方融资平台的诞生起源,然后分析地方融资平台存在的价值和必要性,针对其目前存在的问题,最后提出地方融资平台转型发展的建议。

新课标背景下小学数学大单元教学实施策略

在当前新课标背景下,小学数学教育正面临着前所未有的挑战与机遇。随着教育理念的更新和教学方法的创新,大单元教学逐渐成为小学数学教学改革的重要方向。然而,传统的教学模式往往过于注重知识的碎片化传授,忽视了学生的主体性和综合素养的培养。因此,如何在新课标背景下有效实施小学数学大单元教学,提高学生的数学素养和综合能力,成为当前教育工作者亟待解决的问题。本文旨在针对这一问题,提出一系列实施策略,以期为小学数学教学的改革与发展提供有益的参考。

PPP模式化解地方政府债务风险的研究

随着经济增长速度的放缓,传统行业出现产能过剩的现象,在加上城镇化建设进程的加快,地方政府的债务危机风险越来越明显.PPP模式的出现为解决地方政府债务风险带来了光明,为我国公共设施的建设提供资金援助,为社会和公众提供更优质的公共服务带来活力.民间资金注入政府项目,分担政府债务风险,为政府解决了资金短缺的问题,是政府解决债务危机的有效手段.鉴于此,本文对PPP模式进行简单的介绍,最后为PPP模式化解政府债务危机提供新的路径和思路,为我国地方政府债务危机的解除提供参考.

基于多Agent的动态服务器集群研究

针对信息服务系统面临的服务器性能瓶颈、海量信息与用户个性化需求的矛盾这两个突出问题,以内容服务平台为例,引入了多Agent技术与服务器集群技术,提出了基于多Agent的负载均衡策略,实现服务器整体性能提升,通过JADE平台实现服务器结构的迁移,通过原型系统实现了集群节点的动态选取。

舰船识别在UUV电子侦察作战中应用

水下无人航行器(UUV)在电子侦察作战中对舰船目标的快速识别有助于掌握战场态势、获取战场主动权,智能化UUV将在海战中扮演更加重要的角色。为了提高UUV的目标识别侦察能力,充分利用其无人、无声、无形等作战优势,发挥非对称作战能力。将具有实时检测、目标识别准确率高并对UUV计算性能要求不高的YOLOv3算法搭载于UUV中,并将YOLOv3算法网络结构进行微调,针对舰船目标特点进一步优化网络模型提高识别能力,并应用于UUV对舰船目标识别侦察,将会大大提高UUV电子侦察作战能力。将模型经过训练优化并在公开舰船数据集上测试,得到有效的舰船目标识别模型,针对多种复杂环境下的目标识别准确率为92.76%。实验数据表明,该模型应用于UUV电子侦察作战检测与识别舰船目标具有显著优势。

十二指肠平滑肌肉瘤一例

十二指肠平滑肌肉瘤一例朱洪宝患者男性，４７岁。３年前上腹部疼痛，突然呕血约７００ｍｌ，３年间有类似发作史，经对症治疗病情缓解。由于再次出现上腹疼痛及柏油样便于１９９４年９月１０日入院。查体除双腹股沟、左胸壁可触及淋巴结外，其余系统检查无异常。大便潜血...

有机无机肥配施对烤烟品种云烟105产质量的影响

通过对腐熟菜籽饼肥与复合肥不同比例混施研究,分析了对照和3个不同比例有机无机肥混施与植烟土壤综合肥力,烤烟农艺性状、主要病害、烟叶品质以及经济效益之间的关系。结果表明,在总施用纯氮量为90kg/hm^2的条件下,采用30%腐熟菜籽饼有机肥(540kg/hm^2)等氮替代烟草复合肥对植烟土壤综合肥力的改善效果最佳,综合肥力指标值(IFI)较对照提升21.05%。与对照相比,20%腐熟菜籽饼有机肥(360kg/hm2)等氮替代烟草复合肥处理能使烤烟生育期缩短6d,显著提高中部烟叶单叶面积(P<0.05),能显著减少烤烟黑胫病、根黑腐病和根结线虫病的发病率(P<0.05),并使烟叶综合品质平均提升8.56%。该肥料配比处理的烤后烟叶中上等烟比例、均价和产值较对照分别提高5.23%、8.57%和5.38%,经济效益明显。

祥云股份营销将士豪迈出征

1月31日(农历正月初十),湖北祥云(集团)化工股份有限公司举行2023年营销将士出征仪式。随着祥云股份党委书记、董事长胡华文的一声令下——出发,六门礼炮声震大地,锣鼓喧天欢送出征,200余名营销将士驱车奔赴全国市场,开启2023年发展新征程。上午8时30分,祥云股份党委副书记、总经理廖起成主持活动并宣布出征仪式开始。他代表集团公司党委、董事会、经理层和全体祥云家人,向营销将士及其家人致以美好的祝福和衷心的感谢!

壮士出征 祥云复肥事业公司逐梦前行

开工伊始,春节的欢闹气氛还未散去,农资市场就已悄然开启。2月12日,祥云复肥事业公司召开2018年表彰大会暨2019年出征誓师大会,会议表彰了2018年先进团队和先进个人,介绍了复肥事业公司组织结构调整文件.

祥云股份:绿色创新,打造生态“祥云”

从一家小型县化肥厂,发展成为行业翘楚,在一代又一代人的努力下,湖北祥云(集团)化工股份有限公司已走过50余年的发展历程。在半个多世纪里,中国经济风起云涌、波澜壮阔,祥云股份勇立潮头、破浪前行,从巍巍大别山,昂首迈向全球市场的蓝海。特别是2003年改制以后,祥云股份以民营企业的身份重新出发,大胆创新、锐意改革,创造了辉煌20年的“祥云速度”。

内生外延双循环 祥云股份2021年持续发力

“农为邦本,本固邦宁。”农业是国民经济的基础,而粮食则是基础的基础。化肥作为粮食的“粮食”,在农业生产中的地位不言而喻。湖北徉云(集团)化工股份有限公司作为中国磷复肥行业的领先企业之一,在保障我国农业生产的化肥供应链中也一直发挥着重要的作用。

城市垃圾处理及资源化利用

介绍了我国城市垃圾处理及资源化技术的现状与发展,对我国城市垃圾处理及资源化利用带来的经济效益进行了评估,提出了我国城市垃圾处理及资源化利用的几点对策。