This paper studies the application of C language graphic function in the computer design process through a practical example of menu design using C language. It consists of three main modules: the instruction of self-...This paper studies the application of C language graphic function in the computer design process through a practical example of menu design using C language. It consists of three main modules: the instruction of self-definition function used in the process of initialization of screen and menu system, the instruction of ini- tialization screen and menu system, and the instruction of self-definition function used in keyboard service program. The study reveals the properties of abundance and practice of the library function of C language.展开更多
We present a method for using type theory to solve decision making problem. Our method is based on the view that decision making is a special kind of theorem proving activity. An isomorphism between problems and types...We present a method for using type theory to solve decision making problem. Our method is based on the view that decision making is a special kind of theorem proving activity. An isomorphism between problems and types, and solutions and programs has been established to support this view which is much similar to the Curry-Howard isomorphism between propositions and types, and proofs and programs. To support our method, a proof development system called PowerEpsilon has been developed, and the synthesis of a decision procedure for validity of first-order propositional logic is discussed to show the power of the system.展开更多
The purpose of this work is to propose a scheme to stabilize the predictive control systems in the practical stability sense. In the paper, the authors dealt with a general discrete predictive control system x j+1|t =...The purpose of this work is to propose a scheme to stabilize the predictive control systems in the practical stability sense. In the paper, the authors dealt with a general discrete predictive control system x j+1|t =f(x j|t , u j|t ) by using the Lyapunov direct method combining with receding horizon control technique, and presented a new condition to guarantee the practical stabilization of the systems. With the proposed results, one can design the optimal controllers easily to practically stabilize the predictive control systems.展开更多
为提高应用文编写效率,提出一种融合大语言模型(large language model,LLM)与向量知识库(vector knowledge base)的应用文自动生成框架.根据目标应用场景,以人工编写的标准应用文为范本,构建结构化辅助生成文件,并建立相应类型应用文的...为提高应用文编写效率,提出一种融合大语言模型(large language model,LLM)与向量知识库(vector knowledge base)的应用文自动生成框架.根据目标应用场景,以人工编写的标准应用文为范本,构建结构化辅助生成文件,并建立相应类型应用文的向量知识库.利用目标类型应用文的章节标题和用户输入的关键信息在知识库中进行检索,匹配相关文段;设置提示词引导LLM,以召回的参考文段及用户输入的提示信息为参考,使用末级标题作为分割标志,分章节生成应用文文本;最终按规定格式整合全文并输出完整的目标应用文.以应急预案为例,在同一评价标准下使用ChatGPT-4Turbo进行评测,自动生成的应急预案高度趋近于人工编写的质量,二者的文档质量相似度达95.87%.所提方法能够在算力资源有限的情况下突破字数限制,生成符合基本标准的长篇幅应用文,可供人工参考或直接使用,极大提高了编写人员的工作效率.展开更多
文摘This paper studies the application of C language graphic function in the computer design process through a practical example of menu design using C language. It consists of three main modules: the instruction of self-definition function used in the process of initialization of screen and menu system, the instruction of ini- tialization screen and menu system, and the instruction of self-definition function used in keyboard service program. The study reveals the properties of abundance and practice of the library function of C language.
文摘We present a method for using type theory to solve decision making problem. Our method is based on the view that decision making is a special kind of theorem proving activity. An isomorphism between problems and types, and solutions and programs has been established to support this view which is much similar to the Curry-Howard isomorphism between propositions and types, and proofs and programs. To support our method, a proof development system called PowerEpsilon has been developed, and the synthesis of a decision procedure for validity of first-order propositional logic is discussed to show the power of the system.
文摘The purpose of this work is to propose a scheme to stabilize the predictive control systems in the practical stability sense. In the paper, the authors dealt with a general discrete predictive control system x j+1|t =f(x j|t , u j|t ) by using the Lyapunov direct method combining with receding horizon control technique, and presented a new condition to guarantee the practical stabilization of the systems. With the proposed results, one can design the optimal controllers easily to practically stabilize the predictive control systems.
文摘目的常频听力正常的噪声暴露人群大脑皮质功能研究尚少。本研究旨在应用功能性近红外光谱技术(functional near-infrared spectroscopy,fNIRS)分析长期噪声暴露的常频听力正常人群静息态大脑网络功能连接变化。方法选取2023年1月至2023年7月于川北医学院附属医院体检中心就诊的常频听力正常受试者54例,按照是否有噪声暴露将受试者分为试验组(有噪声暴露史)27例和对照组(无噪声暴露史)27例。应用fNIRS分析两组静息状态下各脑区之间功能连接强度,比较两组背外侧前额叶皮质(dorsolateral prefrontal cortex,DLPFC)、Broca区、Wernicke区间同源、异源脑网络差异;所有受试者行相关点位P300检查及简易智能精神状态检查量表(mini-mental state examination,MMSE)评分,采用Pearson相关性分析DLPFC功能连接强度与认知的相关性。结果基于氧合血红蛋白(oxyhemoglobin,HbO_(2))情况下,试验组全脑功能连接强度均低于对照组,差异有统计学意义(P<0.05)。同源比较中,试验组左侧((left,L))-Broca区、L-DLPFC区及右侧(right,R)-Wernicke区的功能连接强度均显著低于对照组,差异有统计学意义(P<0.05);两组(R-Broca、R-DLPFC及L-Wernicke)兴趣区(regions of interest,ROI)比较,差异无统计学意义(P>0.05)。异源比较中,试验组L-Wernicke与L-Broca,R-Wernicke与L-Broca,L-Broca与L-DLPFC,L-Broca与R-DLPFC,L-Wernicke与R-Broca,R-Broca与L-DLPFC,R-Broca与R-DLPFC,R-Wernicke与L-Wernicke,R-Wernicke与L-DLPFC区功能连接强度均显著低于对照组,差异有统计学意义(P<0.05);两组(L-Broca与R-Broca,R-Broca与R-Wernicke,R-Broca与R-DLPFC,L-Wernicke与L-DLPFC,L-Wernicke与R-DLPFC,R-Wernicke与R-DLPFC,L-DLPFC与R-DLPFC)ROI比较,差异无统计学意义(P>0.05)。结论长期接触噪声暴露的人群在听力损失之前,大脑听觉语言及认知皮层已经发生改变。
文摘为提高应用文编写效率,提出一种融合大语言模型(large language model,LLM)与向量知识库(vector knowledge base)的应用文自动生成框架.根据目标应用场景,以人工编写的标准应用文为范本,构建结构化辅助生成文件,并建立相应类型应用文的向量知识库.利用目标类型应用文的章节标题和用户输入的关键信息在知识库中进行检索,匹配相关文段;设置提示词引导LLM,以召回的参考文段及用户输入的提示信息为参考,使用末级标题作为分割标志,分章节生成应用文文本;最终按规定格式整合全文并输出完整的目标应用文.以应急预案为例,在同一评价标准下使用ChatGPT-4Turbo进行评测,自动生成的应急预案高度趋近于人工编写的质量,二者的文档质量相似度达95.87%.所提方法能够在算力资源有限的情况下突破字数限制,生成符合基本标准的长篇幅应用文,可供人工参考或直接使用,极大提高了编写人员的工作效率.
